Inyectiva, suprayectiva y biyectiva

Denición:

Sea una aplicación lineal o transformación f : A −→ B es inyectiva (monomorsmo) si a los

elementos distintos de A se hace corresponder imágenes distintas en B . Esto es:

f es inyectiva ⇐⇒ ∀ x, y ∈ A, si f (x) = f (y) entonces x = y.

Sea una aplicación lineal o transformación f : A −→ B es sobreyectiva (epimorsmo) si todo

elemento del segundo conjunto es imagen de alguno del primero. Es decir

f es sobreyectiva ⇐⇒ ∀ b ∈ B, ∃ a ∈ A de forma que f (a) = b.

Un aplicación será biyectiva (isomorsmo) si a la vez es inyectiva y sobreyectiva.

Ejemplos simbólicos:

Proposición:
Sea una aplicación lineal o transformación f : V −→ W tal que dim(V ) = n y dim(W ) = m, y sea T
la matriz m × n asociada a f respecto a ciertas bases B y C . Entonces
f es inyectiva ⇐⇒ Ker(f ) = 0
f es sobreyectiva ⇐⇒ Img(f ) = W
Colorario:
Sea una aplicación lineal o transformación f : V −→ W tal que dim(V ) = n y dim(W ) = m, y sea T
la matriz m × n asociada a f respecto a ciertas bases B y C . Entonces
f es inyectiva ⇐⇒ rang(T ) = n (monomorsmo)
f es sobreyectiva ⇐⇒ rang(T ) = m (epimorsmo)
f es biyectiva ⇐⇒ T es cuadrada y regular (isomorsmo)
Dos espacios vectoriales se dice que son isomorfos si existe un isomorsmos entre ellos.