Surjective Functions

A function mapping created such that every $y$ in the functions Codomain has atleast one element $x$ in its Domain.

Formal Definition

$\forall y\in W,\exists x\in V$ s.t $y=f(x)$

Image Definition

$T$ is surjective $⟺$ $dim(Image(T))=dim(W)$

Theorems

• Image and Surjectivity Theorem