Documentos de Académico
Documentos de Profesional
Documentos de Cultura
File PDF
File PDF
Transformaciones lineales
hXi
donde ι : X ,→ hXi es simplemente la función inclusión.
Las propiedades anteriores se pueden entender de la siguiente manera: la propiedad
(1) dice que una transformación lineal queda determinada por los valores que toma sobre
35
36 4. TRANSFORMACIONES LINEALES
un conjunto generador, la propiedad (2) dice que si además ese conjunto generador es
independiente, para definir la transformación lineal basta hacerlo sobre los generadores.
Ejemplos 4.2. (1) Si consideramos k[X], el espacio vectorial de los polinomios de
una variable y definimos la siguiente función f : {1, X, X 2 , . . . } → k[X] dada por
f (X n ) = nX n−1 , entonces la transformación lineal asociada Tf : k[X] → k[X] es la
derivada D –ver Ejemplo 2.2.38 (6).
(2) El espacio R3 está generado por el conjunto linealmente dependiente
© ª
(1, 0, 0), (1, 1, 0), (0, 1, 2), (1, 1, 1) .
En este caso no podemos definir arbitrariamente una transformación lineal dando sus
valores en los generadores. Por ejemplo, si tratamos de definir T : R3 → R por T (1, 0, 0) =
T (1, 1, 0) = T (0, 1, 2) = T (1, 1, ¡1) = 1, tenemos por un lado que
¢ T (2, 2, 2) = 2T (1, 1, 1) =
2 y por otro que T (2, 2, 2) = T (1, 0, 0) + (1, 1, 0) + (0, 1, 2) = 3.
En otras palabras, la relación dependencia no trivial (1, 0, 0) + (1, 1, 0) + (0, 1, 2) −
2(1, 1, 1) = 0 impone la relación entre los valores de T en los generadores: T (1, 0, 0) +
T (1, 1, 0) + T (0, 1, 2) − 2T (1, 1, 1) = 0
Definición 4.3.LSea V es un espacio vectorial que admite una descomposición en
suma directa V = i∈I Vi , donde {Vi : i ∈ I} es una familia de subespacios de V . Se
definen las familias de transformaciones¡P ¢lineales {ιi : Vi → V : i ∈ I} y {πi : V → Vi :
i ∈ I} como sigue: ιi (vi ) = vi ; y πi j vj = vi . Esas familias se llaman respectivamente
las inclusiones y las proyecciones canónicas en la suma directa.
Lema 4.4. (1) Si V = V1 ⊕ V2 , entonces las inclusiones y proyecciones canónicas
verifican: π1 ◦ ι1 = idV1 , π2 ◦ ι2 = idV2 , π1 ◦ ι2 = 0, π2 ◦ ι1 = 0, ι1 ◦ π1 + ι2 ◦ π2 = idV .
(2) En la situación anterior, si W es un espacio vectorial cualquiera y T1 : W → V1
y T2 : W → V2 son transformaciones lineales, existe una única transformación lineal
T : W → V que verifica π1 ◦ T = T1 y π2 ◦ T = T2 . Esa situación es ilustrada en el
siguiente diagrama:
v
W HH
v HH T2
T1 vv HH
vvv T HH
HH
vv ²
{v #
V1 o π1 V1 ⊕ V2 π2 / V2
L
(3) Si V = i∈I Vi para una familia arbitraria de subespacios, W es un espacio vectorial
cualquiera y {Ti : Vi → W : i ∈ I} es una familia de transformaciones lineales entonces
existe una única transformación lineal T : V → W de modo que T ◦ ιi = Ti para todo
i ∈ I. Esta situación es ilustrada en el siguiente diagrama:
WO cG
GG
GGTi
T GG
GG
L G
V o
i∈I i ιi V i