Injective Functions

A Function is injective when different elements of the domain are mapped to different elements of the codomain.

This is also called "One-to-One"

Formally:

x1,x2X,f(x1)=f(x2)x1=x2\forall x_1, x_2 \in \mathbb{X}, f(x_1)=f(x_2) \Rightarrow x_1=x_2

or "For all elements x1,x2x_1, x_2 in X\mathbb{X}. If ff of x1x_1 equals ff of x2x_2 that implies that x1x_1 equals x2x_2"

Injective Function Example

Exercise

Show that if gfg \bullet f is Injective then ff is Injective. Show an example of where gfg \bullet f is Injective but gg is not.