Aplicacin lineal

Para otros usos de este trmino, vase Funcin lineal (desambiguacin).

No debe confundirse con Funcin lineal.
En matemticas una aplicacin lineal (tambin llamada funcin lineal, transformacin lineal u operador lineal) es
una aplicacin entre dos espacios vectoriales, que preserva las operaciones de adicin de vectores y multiplicacin por un
escalar.
En lgebra abstracta y en lgebra lineal una aplicacin lineal es un homomorfismo entre espacios vectoriales o en el lenguaje
de la teora de categoras un morfismo sobre la categora de los espacios vectoriales sobre un cuerpo dado.
ndice
[ocultar]

1 Definicin

2 Ejemplos

3 Propiedades de las transformaciones lineales

4 Cmo formar nuevas transformaciones lineales a partir de otras dadas

5 Teoremas bsicos de las transformaciones

6 Clasificacin de las transformaciones lineales

7 Matriz asociada a una transformacin lineal

8 Vase tambin

9 Referencias
9.1 Enlaces externos

Definicin[editar]
Se denomina aplicacin lineal, funcin lineal o transformacin lineal a toda aplicacin cuyo dominio y codominio
seanespacios vectoriales que cumpla la siguiente definicin:
Sean

espacios vectoriales sobre el mismo espacio o campo

transformacin lineal si para todo par de vectores

,y

pertenecientes a

una funcin de

en

y para todo escalar

es una

perteneciente a

satisface que:
1.
2.

donde k es un escalar.

Ejemplos[editar]
1. El mapeo
como un
que

que enva

en

(su conjugado) es una transformacin lineal si consideramos a

-espacio vectorial. Sin embargo, no lo es si lo pensamos como

.

2. Dado un espacio vectorial cualquiera, podemos definir la funcin identidad

, que resulta una transformacin lineal.

-espacio vectorial, ya

, se

3. Las homotecias:

con

. Si k > 1 se denominan dilataciones, si k < 1

se denominan contracciones.
4. Dada una matriz

, la funcin

definida como

es una

transformacin lineal. Gracias a la matriz asociada (leer ms abajo en el artculo), podemos concluir que
cualquier transformacin lineal definida entre espacios vectoriales de dimensin finita puede verse como
multiplicar por una matriz.

5. Sea

el conjunto de funciones continuas en

y defnase

mediante

ocurre que:

y
para
Por lo tanto, se cumple que
que

es una aplicacin lineal de

en

para todo

en

y todo

, as

.1

Propiedades de las transformaciones lineales[editar]

Vase tambin: Ncleo (matemtica)

Sean
Si

espacios vectoriales sobre

(donde

representa el cuerpo) se satisface que:

es lineal, se define el ncleo (ker) y la imagen (Im) de

de la siguiente manera:

Es decir que el ncleo de una transformacin lineal est formado por el conjunto de todos
los vectores del dominio que tienen por imagen al vector nulo del codominio.
El ncleo de toda transformacin lineal es un subespacio vectorial del dominio:
1.

dado que

(para probar esto, observar

que

).

2. Dados

3. Dados

Se denomina nulidad a la dimensin del ncleo.

La imagen de una transformacin lineal est formada por el conjunto de todos los vectores del
codominio que son imgenes de al menos algn vector del dominio.

La imagen de toda transformacin lineal es un subespacio del codominio.

El rango de una transformacin lineal es la dimensin de la imagen.

Cmo formar nuevas transformaciones lineales a partir de otras

dadas[editar]

Si f1: V W y f2: V W son lineales, entonces tambin lo es su suma f1 + f2 (definida

como (f1 + f2)(x) = f1(x) + f2(x)).
Si f : V W es lineal y a es un elemento del cuerpo K, entonces la funcin af, definida como
(af)(x) = a (f(x)), tambin es lineal.
Gracias a estas dos propiedades, y a que la funcin que enva todo al elemento nulo es una
aplicacin lineal, es que el conjunto de transformaciones lineales f: V W forma
un subespacio de las funciones de V en W. A este subespacio se lo nota L(V,W) o
Hom(V,W). La dimensin de L(V,W) es igual al producto de las dimensiones de V y W.
Si f: V W y g: W Z son lineales entonces su composicin gf: V Z tambin lo es.
Dado un espacio vectorial V, el espacio vectorial L(V,V), que se nota usualmente como
End(V), forma un lgebra asociativasobre el cuerpo base, donde la multiplicacin es la
composicin y la unidad es la transformacin identidad.
Si f: V W es una transformacin lineal biyectiva, entonces su inversa tambin es
transformacin lineal.

Teoremas bsicos de las transformaciones[editar]

Sea B = {vi: i J} base de V y C = {wi: i J} un conjunto vectores de W no

necesariamente distintos, entonces existe una nica transformacin lineal T: V W que
satisface:

Sea

una transformacin lineal.

Entonces
Como corolario bsico de este teorema, obtenemos que una transformacin lineal de
un espacio vectorial de dimensin finita en s mismo es un isomorfismo si y slo si es
un epimorfismo si y solo si es un monomorfismo.

Clasificacin de las transformaciones lineales [editar]

Funcional lineal: A las transformaciones lineales

(donde

es el

cuerpo base de V) las llamamos funcionales lineales.

Monomorfismo: Si

es inyectiva, o sea si el nico elemento del

ncleo es el vector nulo.

Epimorfismo: Si

es sobreyectiva (suryectiva).

Isomorfismo: Si

es biyectiva (inyectiva y sobreyectiva)

Endomorfismo: Se le llama a una transformacin lineal en el que dominio y

codominio coinciden.

Automorfismo: Se le llama a un endomorfismo biyectivo.

Matriz asociada a una transformacin lineal[editar]

Si V y W tienen dimensin finita y uno tiene elegidas bases en cada uno de los
espacios, entonces todo mapa lineal de Ven W puede representarse por una matriz.
Recprocamente, toda matriz representa una transformacin lineal.
Sean T:VW una transformacin lineal, B={v1, ..., vn} una base de V, C={w1, ..., wm}
base de W. Para calcular la matriz asociada a T en las bases B y C debemos
calcular T(vi) para cada i=1,...,n y escribirlo como combinacin lineal de la baseC:
T(v1)=a11w1+ ...+am1 wm, ..., T(vn)=a1nw1+ ...+amn wm.
La matriz asociada se nota C[T]B y es la siguiente:

Como un vector de W se escribe de forma nica como combinacin lineal de

elementos de C, la matriz es nica.
Gracias al teorema mencionado en la seccin Teoremas bsicos de las
transformaciones lineales en espacios con dimensin finita, sabemos que
dada cualquier eleccin de u1, ..., un existe y es nica la transformacin lineal que
enva vien ui. Por lo tanto, dada A cualquier matriz m n, existe y es nica la
transformacin lineal T:VW tal que C [T] B=A.
Adems, las matrices asociadas cumplen
que C [aT+bS] B = a C [T] B + b C [S] B para cualquier a,b, T,S L(V,W). Por esto

es que la aplicacin que hace corresponder cada transformacin lineal con su

matriz asociada es un isomorfismo entreL(V,W) y MnmC (K).
Si nos restringimos al caso V=W, C=B, tenemos adems que esta aplicacin es
un isomorfismo entre lgebras.

Vase tambin[editar]

Qu es una transformacin lineal?

As como cuando se estudian las funciones reales interesan especialmente las funciones continuas,
cuando se estudian funciones de un espacio vectorial en otro interesan aquellas que poseen ciertas
propiedades especiales, por ejemplo las que conservan operaciones. Es decir, que la funcin sea tal que
"conserve" las dos operaciones fundamentales que definen la estructura de espacio vectorial.
En sntesis, podemos dar la siguiente definicin:

Una funcin T: V W (de un espacio vectorial V en un espacio vectorial W)

se dice una transformacin lineal si, para todo a, b V,
k K (K es el cuerpo de escalares) se tiene:
T (a + b) = T (a) + T (b)
T (k a) = k T (a)

que se puede resumir en T ( a + b) = T (a) + T (b), llamada propiedad de linealidad.

Si T: V W es una transformacin lineal, el espacio V se llama dominio de T y el espacio W se llama
codominio de T.

Ejemplos
Ejemplo 1. A partir de la definicin, analicemos si es lineal la siguiente transformacin:
T: R2 R3 / x

R2 : T ((x1, x2)) = (x1 + x2, x1 - x2, x2)

Se deben verificar las dos condiciones de la definicin:

a) x, y

R2 : T (x + y) = T (x) + T (y) ?

x = (x1, x2)
y = (y1, y2)
x + y = (x1 + y1, x2 + y2)
T (x + y) = T (x1 + y1, x2 + y2) = (x1 + y1 + x2 + y2, x1 + y1 - x2 - y2, x2 + y2) =
= (x1 + x2, x1 - x2, x2) + (y1 + y2, y1 - y2, y2) = T (x) + T (y)
b) x

R2, k R : T (k x) = k T (x) ?

T (k x) = T (k (x1, x2)) = T (k x1, k x2) = (k x1 + k x2, k x1 - k x2, k x2) =

= k (x1 + x2, x1 - x2, x2) =
= k T (x)
Se verifican las dos condiciones de la definicin, entonces la transformacin es lineal.

Ejemplo 2. Analicemos ahora si T es lineal, siendo T: R2 R2 / x

R2 : T ((x1, x2)) = (x2, x1 + 2)

Se deben verificar las dos condiciones de la definicin:

a) x, y

R2 : T (x + y) = T (x) + T (y) ?

x = (x1, x2)
y = (y1, y2)
x + y = (x1 + y1, x2 + y2)
T (x) + T (y) = (x2, x1 + 2) + (y2, y1 + 2) = (x2 + y2, x1 + y1 + 4)
T (x + y) = T (x1 + y1, x2 + y2) = (x2 + y2, x1 + y1 + 2) T (x) + T (y)
No se verifica esta condicin, entonces la transformacin no es lineal.
Ejemplo 3. Analicemos ahora si T es lineal, siendo T: Mn x n R / v

Mn x n : T (v) = det(v)

Sabemos que det(A + B) det(A) + det(B), y det(kA) = kn det(A) k det(A), entonces esta
transformacin no es lineal.

Propiedades

Para toda transformacin lineal T: V W, T (-x) = -T (x)

Para toda transformacin lineal T: V W, T (0) = 0 ( El que aparece en la izquierda es el vector
nulo de V, mientras que el que aparece en el lado derecho es el vector nulo de W. Se puede escribir
tambin T (0V) = 0W )

Sea V un espacio vectorial de dimensin finita, W un espacio vectorial, {v1,..., vn} una base de V, y

{z1,..., zn} un conjunto cualquiera de vectores de W. Entonces existe una nica transformacin lineal T:

V W tal que T (vi) = zi (1 i n)

Clasificacin de las transformaciones lineales

Recordemos que las transformaciones lineales son funciones, y como tales, pueden ser suryectivas,
inyectivas o biyectivas. Grficamente,

Transformacin suryectiva

Transformacin inyectiva

Transformacin biyectiva

Se dice que:

T: V W es un monomorfismo si, y slo si, T es inyectiva. Es decir, T es un monomorfismo si y slo

si u, v V: T(u) = T(v) u = v.
T: V W es un epimorfismo si, y slo si, T es sobreyectiva. Es decir, T es un epimorfismo si y slo
si w W, v V / w = T(v).

T: V W es un isomorfismo si, y slo si, T es biyectiva. Es decir, T es un isomorfismo si y slo si es

un monomorfismo y un epimorfismo.

T: V W es un endomorfismo si y slo si V = W.
T: V W es un automorfismo si y slo si T es un isomorfismo y un endomorfismo.