Professional Documents
Culture Documents
Lecture 1.7 - Functions
Lecture 1.7 - Functions
Madhavan Mukund
https://www.cmi.ac.in/~madhavan
f : X → Y , domain of f is X , codomain is Y
Madhavan Mukund Functions Mathematics for Data Science 1, Week 1 2/7
Functions and relations
Associate a relation Rf with each function f
Rsq = {(x, y ) | x, y ∈ R, y = x 2 }
Additional notation: y = x 2
Rf ⊂ domain(f ) × range(f )
Properties of Rf
Defined on the entire domain
For each x ∈ domain(f ), there is a pair
(x, y ) ∈ Rf
Single-valued
For each x ∈ domain(f ), there is exactly one
y ∈ codomain(f ) such that (x, y ) ∈ Rf
Theorem
A function is bijective if and only if it is injective and surjective