Tema 3
Tema 3
Y DETERMINANTES
Propiedades:
• Gracias a su definición, las aplicaciones lineales respetan la estructura de espacio
vectorial.
• f (−x) = −f (x).
Ejemplos:
• f : V −→ W
x 7−→ f (x) = 0, ∀ x ∈ V.
• f : V −→ V
x 7−→ f (x) = x, ∀ x ∈ V (operador identidad).
44
• f : R2 −→ R3 definida por su actuación sobre la base canńonica del siguiente
modo: f (e1 ) = e2 y f (e2 ) = e3 . Entonces, sea x = (x1 , x2 ) ∈ R2 , tenemos que
f (x) = f (x1 e1 + x2 e2 ) = x1 e2 + x2 e3 = (0, x1 , x2 ).
• f : Rn −→ Rn
x 7−→ f (x) = x1 e1 , ∀ x = (x1 , · · · , xn ) ∈ Rn .
En efecto, f (ax + by) = (ax1 + by1 )e1 = af (x) + bf (y).
• f : Rn −→ Rn
si x1 > 0
(
x1 e1
x −
7 → f (x) = .
0 si x1 ≤ 0
Esta aplicación no es lineal: sea x = (x1 , · · · ) con x1 > 0, entonces f (−x) = 0 6=
−f (x) = −x1 e1 .
• f : K −→ K
a 7−→ fλ (a) = λ a con λ ∈ K.
De hecho en este caso K → K todas las aplicaciones lineales son de esa forma:
f (ab) = af (b) = bf (a), entonces f (a)/a = f (b)/b = f (1) ≡ λ =⇒ f (a) = λ a.
• f : C −→ C
z 7−→ f (z) = z̄.
Es una aplicación lineal con C espacio vectorial sobre R: f (az + bu) = az̄ + bū =
af (z) + bf (u) ∀ a, b ∈ R , ∀ z, u ∈ C.
Pero no es aplicación lineal con C espacio vectorial sobre sí mismo: si a ∈ C,
f (az) = āz̄ 6= af (z).
• f : M n×n (K) −→ K
A 7−→ f (A) = det(A)
No es una aplicación lineal (det(A + B) 6= det(A) + det(B) en general).
45
• Dada una base B = {v1 , · · · , vn } de V y un conjunto de vectores {w1 , · · · , wn } ∈
W , existe una única f ∈ L(V,P W ) tal P que f (vi ) = wi (podrían repetirse los wi ).
En efecto, definimos f (x = i ci vi ) = i ci wi , que es lineal y tal P
que f (vi ) = wi .
Veamos que es única: si g(vi ) = wi con g lineal =⇒ g(x) = i ci wi = f (x)
∀x ∈ V −→ Unicidad de la caracterización de f mediante su acción sobre una base.
f −1 ◦ f (x) = x , f ◦ f −1 (y) = y.
Nótese que no está definida necesariamente sobre todo W : no todo y tiene por qué
ser imagen de algún x, y no se cumple necesariamente que f (x1 ) 6= f (x2 ) si x1 6= x2 .
Demostración: Sean f (x1 ) = y1 , f (x2 ) = y2 ∈ W1 , f −1 (W1 ) 3 f −1 (ay1 + by2 ) =
f −1 (af (x1 )+bf (x2 )) = ax1 +bx2 = af −1 (y1 )+bf −1 (y2 ) =⇒ af −1 (y1 )+bf −1 (y2 ) ∈
f −1 (W1 ) para todo y1 , y2 ∈ W1 .
2 Núcleo e imagen
Asociados a toda aplicación lineal f : V → W hay dos subespacios vectoriales que
desempeñan un papel destacado:
Definición 2. Núcleo de f :
Definición 3. Imagen de f :
im f = {y ∈ W, y = f (x) ∀x ∈ V } = f (V ) ⊂ W.
46
⇐) Si im f ⊂ ker f =⇒ ∀ x ∈ V , f (x) ∈ im f =⇒ f (f (x)) = 0.
Ejemplo: f : R2 −→ R2 tal que f (e1 ) = e2 , f (e2 ) = 0. Tenemos que im f = lin {e2 } y
ker f = im f .
Demostración:
⇒) Sea f inyectiva y x ∈ ker f =⇒ f (x) = f (−x) = 0 =⇒ x = −x =⇒ x = 0.
⇐) Sean x1 , x2 ∈ V , f (x1 ) = f (x2 ) =⇒ f (x1 − x2 ) = 0 =⇒ x1 − x2 = 0 =⇒
x1 = x2 .
47
Definición 5. Una aplicación lineal f ∈ L(V, W ) se dice suprayectiva (o sobreyec-
tiva)si
∀ y ∈ W, ∃ x ∈ V tal que f (x) = y.
Propiedades:
Ejemplos:
48
( (
y1 +y2
x2 + x 3 = y 1 x2 =
ii) y = y1 e1 + y2 e2 , y = f (x) ⇐⇒ → 2
y1 −y2
x2 − x3 = y 2 x3 = 2
Ya podemos ver también cuándo una aplicación lineal transforma conjuntos de vec-
tores linealmente independientes en conjuntos de vectores linalmente independientes:
49
Corolario 1. Si f : V → W es un isomorfismo y B es base de V =⇒ f (B) es base de W .
De hecho se tiene:
Teorema 5. f : V → W isomorfismo y B base de V ⇐⇒ f (B) base de W .
Demostración:
Pn
⇐) B = {x 1 , · · · , xn }. x ∈ ker f =⇒ f (x) = 0 =⇒ f ( i=1 αi xi ) = 0 =⇒
por ser los linealmente independientes
Pn
α
i=1 i f (x i ) = 0 =⇒ α i = 0 ∀ i f (x i )
=⇒ ker f = {0}, o sea f es inyectiva.
Por otro lado, im f = f (V ) = f (lin B) = lin[f (B)] = W =⇒ f es suprayectiva,
y por tanto isomorfismo.
Consecuencia: Dos espacios vectoriales V y W son isomorfos (V ≈ W ), es decir existe
un isomorfismo f : V → W , si y solo si dim V = dim W .
Además:
Teorema 6. Si f : V → W y dim V = dim W , basta con que f sea inyectiva para
asegurar que es isomorfismo: f inyectiva ⇐⇒ f suprayectiva ⇐⇒ f biyectiva.
Demostración:
⇒) Si f es inyectiva, dada una base BV = {v1 , · · · , vn } de V , tenemos que BW =
{f (v1 ), · · · , f (vn )} es base de W , y por tanto cualquier vector y ∈ W se puede
escribir como combinación lineal de los vectores de BW , así que f es suprayectiva,
y por tanto biyectiva.
⇐) Si f es suprayectiva, dada una base BV = {v1 , · · · , vn } de V , lin{f (v1 ), · · · , f (vn )} =
W , así
Pnque {f (v1 ), · · · , f (vn )} es base de W (tieneP
n elementos),Py por tanto, dado
x = i=1 xi vi ∈ ker f , tenemos que 0 = f (x) = f ( ni=1 xi vi ) = ni=1 xi f (vi ) ⇐⇒
xi = 0 ∀ i =⇒ f inyectiva.
Ejemplo: R2 ≈ R1 [x]
Un posible isomorfismo lo proporciona la aplicación lineal
f : R2 −→ R1 [x]
x = (x1 , x2 ) 7−→ f (x) = x1 + x2 x.
50
Nótese que en la base canónica de R2 , el vector x tiene coordenadas
x1
,
x2
es decir las mismas, lo que hace explícito que los vectores de ambos espacios se pueden
identificar uno-a-uno, y que por tanto ambos espacios sean isomorfos.
Demostración:
• Por ser g y f inyectivas tenemos que ker f = 0 ∈ V y ker g = 0 ∈ W . Dado
x ∈ ker g ◦ f =⇒ g[f (x)] = 0 =⇒ f (x) ∈ ker g =⇒ f (x) = 0 =⇒ x = 0 =⇒
g ◦ f inyectiva.
con
F11 · · · F1n
F21 · · · F2n
F = (Fij ) = .. . . .. , f (V ) = (f (v1 ), · · · , f (vn )) , W = (w1 , · · · , wm ) .
. . .
Fm1 · · · Fmn
51
Vemos que, dado el vector vj ∈ V de la base BV , la columna j-ésima de la matriz F son
las coordenadas del vector f (vj ) ∈ W en la base BW . Obtenemos así una representación
matricial de la aplicación lineal f : F se llama la matriz de la aplicación lineal f en las
bases BV y BW .
Si no decimos nada, por defecto entenderemos que BV y BW son las bases canónicas.
Además, para operadores lineales f ∈ L(V ) lo normal es usar la misma base en la imagen
que en el espacio de partida.
Ejemplos:
• f : R2 → R2 dada por f (e1 ) = e1 + e2 y f (e2 ) = 2e1 + e2 .
En la base canónica de R2 (BV = {e1 , e2 } y BW = {e1 , e2 }), la matriz de f es
12
F = .
11
Sin embargo si tomamos BV = {e1 , e2 }, pero para la imagen BW = {e1 +e2 , 2e1 +e2 },
tenemos que la matriz de f en estas bases es
10
F = .
01
52
Ejemplo:
Sea la aplicación lineal cuya matriz en las bases canónicas de R2 es
1 1−1
F =√ .
2 1 1
x1
Dado un vector de coordenadas (en la base canónica) X = , el transformado de él
x2
bajo dicha aplicación es el vector de coordenadas
y1 1 1−1 x1 1 x1 − x2
Y = FX → =√ =√ .
y2 2 1 1 x2 2 x 1 + x2
Esta aplicación queda definida por f (e1 ) = √12 (1, 1) y f (e2 ) = √12 (−1, 1), y por tanto
y = f (x) = x1 f (e1 ) + x2 f (e2 ) con x = (x1 , x2 ). Nótese que la norma de f (x) es igual a
la de x: f resulta ser una rotación de ángulo π/4.
Ejercicio:
Hallar bases del núcleo y de la imagen de la aplicación lineal f : R4 → R3 cuya acción
sobre la base canónica de R4 es
f (e1 ) = (1, −1, 2) , f (e2 ) = (2, 1, 1) , f (e3 ) = (4, −1, 5) , f (e4 ) = (−1, −5, 4) .
En las bases canónicas de R4 y R3 , la ecuación matricial Y = F X de esta aplicación
lineal es
x1
y1 1 2 4 −1
y2 = −1 1 −1 −5 x2 .
x3
y3 2 1 5 4
x4
El núcleo lo forman las soluciones de f (x) = 0, que escrito en coordenadas es el sistema
homogéneo 0 = F X. Lo resolvemos por eliminación gausiana:
1 2 4 −1 1 2 4 −1 1 2 4 −1 102 3
x1 = −2x3 − 3x4
−1 1 −1 −5 → 0 3 3 −6 → 0 1 1 −2 → 0 1 1 −2 →
x2 = −x3 + 2x4
2 1 5 4 0 3 3 −6 000 0 000 0
Por tanto los vectores del núcleo son de la forma (−2a − 3b, −a + 2b, a, b). Una base es
por ejemplo {(−2, −1, 1, 0), (−3, 2, 0, 1)}, y por tanto
ker f = lin{(−2, −1, 1, 0), (−3, 2, 0, 1)}.
La imagen es el subespacio de R3 generado por {f (e1 ), f (e2 ), f (e3 ), f (e4 )}. Busquemos
una base dentro de ese conjunto de vectores:
1 −1 2 1 −1 2 1 −1 2
2 1 1 0 3 −3 0 1 −1
→ → ,
4 −1 5 0 3 −3 0 0 0
−1 −5 4 0 −6 6 0 0 0
así que
im f = lin{(1, −1, 2), (2, 1, 1)},
ó
im f = lin{(1, −1, 2), (0, 1, −1)}.
53
3.1 Matriz de una composición de aplicaciones
Sean f ∈ L(V, W ), g ∈ L(W, U ), h = g ◦ f ∈ L(V, U ), es decir h : V − → U, y sean
f g
→W −
las bases BV = {v1 , · · · , vn }, BW = {w1 , · · · , wm }, BU = {u1 , · · · , up }. En dichas bases
la matriz de f es F , la de g es G y la de h es H. Entonces ∀ j = 1, · · · , n tenemos
p
m
! m m
!
X X X X
h(vj ) = g[f (vj )] = g Fij wi = Fij g(wi ) = Fij Gki uk
i=1 i=1 i=1 k=1
p m
!
X X
= Gki Fij uk ,
k=1 i=1
Y 0 = F 0X 0 → Q−1 Y = F 0 P −1 X → Y = QF 0 P −1 X.
Comparando concluimos
F = QF 0 P −1 ↔ F 0 = Q−1 F P.
Se entiende con el siguiente diagrama (para las coordenadas), donde las dobles flechas se
corresponden con aplicaciones y no son necesariamente invertibles, y las flechas simples
son cambios de base:
54
F
<latexit sha1_base64="huGjp/7X5D20y8rcIf/3porI4o0=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeiwK4rEF+wFtKJvtpF272YTdjVBCf4EXD4p49Sd589+4bXPQ1gcDj/dmmJkXJIJr47rfzsrq2vrGZmGruL2zu7dfOjhs6jhVDBssFrFqB1Sj4BIbhhuB7UQhjQKBrWB0O/VbT6g0j+WDGSfoR3QgecgZNVaq3/VKZbfizkCWiZeTMuSo9Upf3X7M0gilYYJq3fHcxPgZVYYzgZNiN9WYUDaiA+xYKmmE2s9mh07IqVX6JIyVLWnITP09kdFI63EU2M6ImqFe9Kbif14nNeG1n3GZpAYlmy8KU0FMTKZfkz5XyIwYW0KZ4vZWwoZUUWZsNkUbgrf48jJpnle8y4pXvyhXb/I4CnAMJ3AGHlxBFe6hBg1ggPAMr/DmPDovzrvzMW9dcfKZI/gD5/MHnGmM0A==</latexit>
BV =) BW
<latexit sha1_base64="FqFj2UAhg7hESYCo1GPzkyYVt+w=">AAACDnicbVDLSsNAFJ3UV62vqEs3g6XgQkoioi5L3bisYB/QhDCZTtqhM5MwMxFK6Be48VfcuFDErWt3/o2TNovaeuDC4Zx7ufeeMGFUacf5sUpr6xubW+Xtys7u3v6BfXjUUXEqMWnjmMWyFyJFGBWkralmpJdIgnjISDcc3+Z+95FIRWPxoCcJ8TkaChpRjLSRArvmcaRHGDHYDDrQO4ce5WYvUXDB6AZ21ak7M8BV4hakCgq0AvvbG8Q45URozJBSfddJtJ8hqSlmZFrxUkUShMdoSPqGCsSJ8rPZO1NYM8oARrE0JTScqYsTGeJKTXhoOvMb1bKXi/95/VRHN35GRZJqIvB8UZQyqGOYZwMHVBKs2cQQhCU1t0I8QhJhbRKsmBDc5ZdXSeei7l7V3fvLaqNZxFEGJ+AUnAEXXIMGuAMt0AYYPIEX8AberWfr1fqwPuetJauYOQZ/YH39AjkGmvU=</latexit>
1
<latexit sha1_base64="Ef/WTq/Hki80Dwvuu3WDZmi2qN8=">AAAB7XicbVBNSwMxEJ34WetX1aOXYBG8WHZF1GPRi8cK9gPatWTTbBubTZYkK5Sl/8GLB0W8+n+8+W9M2z1o64OBx3szzMwLE8GN9bxvtLS8srq2Xtgobm5t7+yW9vYbRqWasjpVQulWSAwTXLK65VawVqIZiUPBmuHwZuI3n5g2XMl7O0pYEJO+5BGnxDqpUXvITv1xt1T2Kt4UeJH4OSlDjlq39NXpKZrGTFoqiDFt30tskBFtORVsXOykhiWEDkmftR2VJGYmyKbXjvGxU3o4UtqVtHiq/p7ISGzMKA5dZ0zswMx7E/E/r53a6CrIuExSyySdLYpSga3Ck9dxj2tGrRg5Qqjm7lZMB0QTal1ARReCP//yImmcVfyLin93Xq5e53EU4BCO4AR8uIQq3EIN6kDhEZ7hFd6QQi/oHX3MWpdQPnMAf4A+fwD+Go7A</latexit>
P 1
<latexit sha1_base64="HLTop4MQ8c1dYp0E98tTxrXWb+4=">AAAB7XicbVBNSwMxEJ2tX7V+VT16CRbBi2VXRD0WvXhswX5Au5Zsmm1js8mSZIWy7H/w4kERr/4fb/4b03YP2vpg4PHeDDPzgpgzbVz32ymsrK6tbxQ3S1vbO7t75f2DlpaJIrRJJJeqE2BNORO0aZjhtBMriqOA03Ywvp367SeqNJPi3kxi6kd4KFjICDZWajUe0jMv65crbtWdAS0TLycVyFHvl796A0mSiApDONa667mx8VOsDCOcZqVeommMyRgPaddSgSOq/XR2bYZOrDJAoVS2hEEz9fdEiiOtJ1FgOyNsRnrRm4r/ed3EhNd+ykScGCrIfFGYcGQkmr6OBkxRYvjEEkwUs7ciMsIKE2MDKtkQvMWXl0nrvOpdVr3GRaV2k8dRhCM4hlPw4ApqcAd1aAKBR3iGV3hzpPPivDsf89aCk88cwh84nz//o47B</latexit>
P
<latexit sha1_base64="FLmIyDLkKBJGMSCZJa29LRHj2Qs=">AAAB6HicbVDLSgMxFL1TX7W+qi7dBIvgqsyIVJdFNy5bsA9oB8mkd9rYTGZIMkIZ+gVuXCji1k9y59+YtrPQ1gOBwznnkntPkAiujet+O4W19Y3NreJ2aWd3b/+gfHjU1nGqGLZYLGLVDahGwSW2DDcCu4lCGgUCO8H4duZ3nlBpHst7M0nQj+hQ8pAzaqzUbDyUK27VnYOsEi8nFchh81/9QczSCKVhgmrd89zE+BlVhjOB01I/1ZhQNqZD7FkqaYTaz+aLTsmZVQYkjJV90pC5+nsio5HWkyiwyYiakV72ZuJ/Xi814bWfcZmkBiVbfBSmgpiYzK4mA66QGTGxhDLF7a6EjaiizNhuSrYEb/nkVdK+qHq1qte8rNRv8jqKcAKncA4eXEEd7qABLWCA8Ayv8OY8Oi/Ou/OxiBacfOYY/sD5/AGrkYza</latexit>
Q Q
<latexit sha1_base64="wcHHGyAeAwPZicrrEneyjqN6PVU=">AAAB6HicbVBNS8NAEJ3Ur1q/qh69LBbBU0lE1GPRi8cW7Ae0oWy2k3btZhN2N0IJ/QVePCji1Z/kzX/jts1BWx8MPN6bYWZekAiujet+O4W19Y3NreJ2aWd3b/+gfHjU0nGqGDZZLGLVCahGwSU2DTcCO4lCGgUC28H4bua3n1BpHssHM0nQj+hQ8pAzaqzUaPTLFbfqzkFWiZeTCuSo98tfvUHM0gilYYJq3fXcxPgZVYYzgdNSL9WYUDamQ+xaKmmE2s/mh07JmVUGJIyVLWnIXP09kdFI60kU2M6ImpFe9mbif143NeGNn3GZpAYlWywKU0FMTGZfkwFXyIyYWEKZ4vZWwkZUUWZsNiUbgrf88ippXVS9q6rXuKzUbvM4inACp3AOHlxDDe6hDk1ggPAMr/DmPDovzrvzsWgtOPnMMfyB8/kDrRWM2w==</latexit>
BV0 =) BW
0
<latexit sha1_base64="Z+FN+JCklUGYXqqcSxXdyZWivXE=">AAACEHicbVDLSsNAFJ34rPUVdelmsEhdSElE1GWpG5cV7AOaECbTSTt0ZhJmJkIJ/QQ3/oobF4q4denOv3HSZlFbD1w4nHMv994TJowq7Tg/1srq2vrGZmmrvL2zu7dvHxy2VZxKTFo4ZrHshkgRRgVpaaoZ6SaSIB4y0glHt7nfeSRS0Vg86HFCfI4GgkYUI22kwK56HOkhRgw2qkEbeufQo9wsJgrOO53Arjg1Zwq4TNyCVECBZmB/e/0Yp5wIjRlSquc6ifYzJDXFjEzKXqpIgvAIDUjPUIE4UX42fWgCT43Sh1EsTQkNp+r8RIa4UmMems78SLXo5eJ/Xi/V0Y2fUZGkmgg8WxSlDOoY5unAPpUEazY2BGFJza0QD5FEWJsMyyYEd/HlZdK+qLlXNff+slJvFHGUwDE4AWfABdegDu5AE7QABk/gBbyBd+vZerU+rM9Z64pVzByBP7C+fgEOK5tX</latexit>
F0
<latexit sha1_base64="FSCTg/lShY7H2wgjQESp4khA5mg=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ6KomIeiwK4rGK/YA2lM120i7dbMLuRiih/8CLB0W8+o+8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2l5ZXVtvbBR3Nza3tkt7e03dJwqhnUWi1i1AqpRcIl1w43AVqKQRoHAZjC8mfjNJ1Sax/LRjBL0I9qXPOSMGis93J50S2W34k5BFomXkzLkqHVLX51ezNIIpWGCat323MT4GVWGM4HjYifVmFA2pH1sWypphNrPppeOybFVeiSMlS1pyFT9PZHRSOtRFNjOiJqBnvcm4n9eOzXhlZ9xmaQGJZstClNBTEwmb5MeV8iMGFlCmeL2VsIGVFFmbDhFG4I3//IiaZxVvIuKd39erl7ncRTgEI7gFDy4hCrcQQ3qwCCEZ3iFN2fovDjvzsesdcnJZw7gD5zPH/yvjQE=</latexit>
En particular, si f es un endomorfismo
F
<latexit sha1_base64="huGjp/7X5D20y8rcIf/3porI4o0=">AAAB6HicbVBNS8NAEJ34WetX1aOXxSJ4KomIeiwK4rEF+wFtKJvtpF272YTdjVBCf4EXD4p49Sd589+4bXPQ1gcDj/dmmJkXJIJr47rfzsrq2vrGZmGruL2zu7dfOjhs6jhVDBssFrFqB1Sj4BIbhhuB7UQhjQKBrWB0O/VbT6g0j+WDGSfoR3QgecgZNVaq3/VKZbfizkCWiZeTMuSo9Upf3X7M0gilYYJq3fHcxPgZVYYzgZNiN9WYUDaiA+xYKmmE2s9mh07IqVX6JIyVLWnITP09kdFI63EU2M6ImqFe9Kbif14nNeG1n3GZpAYlmy8KU0FMTKZfkz5XyIwYW0KZ4vZWwoZUUWZsNkUbgrf48jJpnle8y4pXvyhXb/I4CnAMJ3AGHlxBFe6hBg1ggPAMr/DmPDovzrvzMW9dcfKZI/gD5/MHnGmM0A==</latexit>
BV =) BV
<latexit sha1_base64="vzgVx6qIB9ClJWJqlC3eK+b/5Qo=">AAACDnicbVDLSsNAFJ3UV62vqEs3g6XgQkoioi5L3bisYB/QhDCZTtqhM5MwMxFK6Be48VfcuFDErWt3/o2TNovaeuDC4Zx7ufeeMGFUacf5sUpr6xubW+Xtys7u3v6BfXjUUXEqMWnjmMWyFyJFGBWkralmpJdIgnjISDcc3+Z+95FIRWPxoCcJ8TkaChpRjLSRArvmcaRHGDHYDDrQO4ce5WYvUXDRCOyqU3dmgKvELUgVFGgF9rc3iHHKidCYIaX6rpNoP0NSU8zItOKliiQIj9GQ9A0ViBPlZ7N3prBmlAGMYmlKaDhTFycyxJWa8NB05jeqZS8X//P6qY5u/IyKJNVE4PmiKGVQxzDPBg6oJFiziSEIS2puhXiEJMLaJFgxIbjLL6+SzkXdvaq795fVRrOIowxOwCk4Ay64Bg1wB1qgDTB4Ai/gDbxbz9ar9WF9zltLVjFzDP7A+voFN4Ka9A==</latexit>
1
<latexit sha1_base64="Ef/WTq/Hki80Dwvuu3WDZmi2qN8=">AAAB7XicbVBNSwMxEJ34WetX1aOXYBG8WHZF1GPRi8cK9gPatWTTbBubTZYkK5Sl/8GLB0W8+n+8+W9M2z1o64OBx3szzMwLE8GN9bxvtLS8srq2Xtgobm5t7+yW9vYbRqWasjpVQulWSAwTXLK65VawVqIZiUPBmuHwZuI3n5g2XMl7O0pYEJO+5BGnxDqpUXvITv1xt1T2Kt4UeJH4OSlDjlq39NXpKZrGTFoqiDFt30tskBFtORVsXOykhiWEDkmftR2VJGYmyKbXjvGxU3o4UtqVtHiq/p7ISGzMKA5dZ0zswMx7E/E/r53a6CrIuExSyySdLYpSga3Ck9dxj2tGrRg5Qqjm7lZMB0QTal1ARReCP//yImmcVfyLin93Xq5e53EU4BCO4AR8uIQq3EIN6kDhEZ7hFd6QQi/oHX3MWpdQPnMAf4A+fwD+Go7A</latexit>
P 1
<latexit sha1_base64="Ef/WTq/Hki80Dwvuu3WDZmi2qN8=">AAAB7XicbVBNSwMxEJ34WetX1aOXYBG8WHZF1GPRi8cK9gPatWTTbBubTZYkK5Sl/8GLB0W8+n+8+W9M2z1o64OBx3szzMwLE8GN9bxvtLS8srq2Xtgobm5t7+yW9vYbRqWasjpVQulWSAwTXLK65VawVqIZiUPBmuHwZuI3n5g2XMl7O0pYEJO+5BGnxDqpUXvITv1xt1T2Kt4UeJH4OSlDjlq39NXpKZrGTFoqiDFt30tskBFtORVsXOykhiWEDkmftR2VJGYmyKbXjvGxU3o4UtqVtHiq/p7ISGzMKA5dZ0zswMx7E/E/r53a6CrIuExSyySdLYpSga3Ck9dxj2tGrRg5Qqjm7lZMB0QTal1ARReCP//yImmcVfyLin93Xq5e53EU4BCO4AR8uIQq3EIN6kDhEZ7hFd6QQi/oHX3MWpdQPnMAf4A+fwD+Go7A</latexit>
P P
<latexit sha1_base64="FLmIyDLkKBJGMSCZJa29LRHj2Qs=">AAAB6HicbVDLSgMxFL1TX7W+qi7dBIvgqsyIVJdFNy5bsA9oB8mkd9rYTGZIMkIZ+gVuXCji1k9y59+YtrPQ1gOBwznnkntPkAiujet+O4W19Y3NreJ2aWd3b/+gfHjU1nGqGLZYLGLVDahGwSW2DDcCu4lCGgUCO8H4duZ3nlBpHst7M0nQj+hQ8pAzaqzUbDyUK27VnYOsEi8nFchh81/9QczSCKVhgmrd89zE+BlVhjOB01I/1ZhQNqZD7FkqaYTaz+aLTsmZVQYkjJV90pC5+nsio5HWkyiwyYiakV72ZuJ/Xi814bWfcZmkBiVbfBSmgpiYzK4mA66QGTGxhDLF7a6EjaiizNhuSrYEb/nkVdK+qHq1qte8rNRv8jqKcAKncA4eXEEd7qABLWCA8Ayv8OY8Oi/Ou/OxiBacfOYY/sD5/AGrkYza</latexit>
<latexit sha1_base64="FLmIyDLkKBJGMSCZJa29LRHj2Qs=">AAAB6HicbVDLSgMxFL1TX7W+qi7dBIvgqsyIVJdFNy5bsA9oB8mkd9rYTGZIMkIZ+gVuXCji1k9y59+YtrPQ1gOBwznnkntPkAiujet+O4W19Y3NreJ2aWd3b/+gfHjU1nGqGLZYLGLVDahGwSW2DDcCu4lCGgUCO8H4duZ3nlBpHst7M0nQj+hQ8pAzaqzUbDyUK27VnYOsEi8nFchh81/9QczSCKVhgmrd89zE+BlVhjOB01I/1ZhQNqZD7FkqaYTaz+aLTsmZVQYkjJV90pC5+nsio5HWkyiwyYiakV72ZuJ/Xi814bWfcZmkBiVbfBSmgpiYzK4mA66QGTGxhDLF7a6EjaiizNhuSrYEb/nkVdK+qHq1qte8rNRv8jqKcAKncA4eXEEd7qABLWCA8Ayv8OY8Oi/Ou/OxiBacfOYY/sD5/AGrkYza</latexit>
BV0 =) 0
<latexit sha1_base64="qu17iWYEdZ13EXNGWuvCw0yjzcE=">AAACEHicbVBNS8NAEN3Ur1q/oh69LBapBymJiHos9eKxgq2FJoTNdtMu3d2E3Y1QQn+CF/+KFw+KePXozX/jps3Btj4YeLw3w8y8MGFUacf5sUorq2vrG+XNytb2zu6evX/QUXEqMWnjmMWyGyJFGBWkralmpJtIgnjIyEM4usn9h0ciFY3FvR4nxOdoIGhEMdJGCuyax5EeYsRgsxZ0oHcGPcrNYqLgnBPYVafuTAGXiVuQKijQCuxvrx/jlBOhMUNK9Vwn0X6GpKaYkUnFSxVJEB6hAekZKhAnys+mD03giVH6MIqlKaHhVP07kSGu1JiHpjM/Ui16ufif10t1dO1nVCSpJgLPFkUpgzqGeTqwTyXBmo0NQVhScyvEQyQR1ibDignBXXx5mXTO6+5l3b27qDaaRRxlcASOwSlwwRVogFvQAm2AwRN4AW/g3Xq2Xq0P63PWWrKKmUMwB+vrFwynm1Y=</latexit>
0
B V <latexit sha1_base64="FSCTg/lShY7H2wgjQESp4khA5mg=">AAAB6XicbVBNS8NAEJ34WetX1aOXxSJ6KomIeiwK4rGK/YA2lM120i7dbMLuRiih/8CLB0W8+o+8+W/ctjlo64OBx3szzMwLEsG1cd1vZ2l5ZXVtvbBR3Nza3tkt7e03dJwqhnUWi1i1AqpRcIl1w43AVqKQRoHAZjC8mfjNJ1Sax/LRjBL0I9qXPOSMGis93J50S2W34k5BFomXkzLkqHVLX51ezNIIpWGCat323MT4GVWGM4HjYifVmFA2pH1sWypphNrPppeOybFVeiSMlS1pyFT9PZHRSOtRFNjOiJqBnvcm4n9eOzXhlZ9xmaQGJZstClNBTEwmb5MeV8iMGFlCmeL2VsIGVFFmbDhFG4I3//IiaZxVvIuKd39erl7ncRTgEI7gFDy4hCrcQQ3qwCCEZ3iFN2fovDjvzsesdcnJZw7gD5zPH/yvjQE=</latexit>
F = P F 0 P −1 ↔ F 0 = P −1 F P.
Cuando dos matrices están relacionadas así se dice que son semejantes.
Nótese que en términos de la matriz de una aplicación lineal en dos bases dadas,
ran(f ) = r(F ). Como multiplicar por matrices cuadradas invertibles no cambia el rango,
éste no depende de las bases elegidas, La imagen de f equivale pues a resolver F X = Y
para los Y . Como Q−1 F P · P −1 X = Q−1 Y =⇒ F 0 X 0 = Y 0 , al cambiar de base cambian
las cooordenadas pero im f no cambia (no cambian los vectores), y lo mismo para el
núcleo: F X = 0 ↔ F 0 X 0 = 0:
dim(ker f ) = dim V − r(F ),
como ya sabíamos y da igual qué base usemos para calcularlos.
Puesto que la suma y producto por escalares de una aplicación lineal es una aplicación
lineal, el conjunto L(V, W ) es un espacio vectorial. En particular, V ∗ es un espacio
vectorial.
55
4.1 Bases del espacio dual
Sea BV = {v1 , · · · , vn } una base de V . Definamos ahora una familia de formas lineales
sobre V , vi ∈ V ∗ con i = 1, · · · , n, de modo que vi (vj ) = δji para todo i, j = 1, · · · , n y
veamos que B ∗ = {v1 , · · · , vn } es una base de V ∗ :
Si ni=1
Pnµi v =i 0 tenemos que i=1 µi v (x) = 0 para todo x ∈ V . Tomemos x = vj ,
P i
Pn i
entonces i=1 µi δj = µj = 0 para todo j, con lo que concluimos que los v son linealmente
i
ωi : V → K
x 7→ ωi (x) = ω(x1 , · · · , xi−1 , x, xi+1 , · · · , xr ),
56
es una forma lineal.
Diremos que una forma multlineal es alternada si ω(x1 , · · · , xr ) = 0 siempre que entre
los x1 , · · · , xr haya dos vectores iguales.
ω(x1 , · · · , xk , · · · , xj , · · · , xr ) = −ω(x1 , · · · , xj , · · · , xk , · · · , xr ) ∀ j, k = 1, · · · , r.
Demostración:
⇒) Si ω es alternada
0 = ω(x1 , · · · , xk + xj , · · · , xk + xj , · · · , xr )
= ω(x1 , · · · , xk , · · · , xk , · · · , xr ) + ω(x1 , · · · , xj , · · · , xj , · · · , xr )
+ ω(x1 , · · · , xk , · · · , xj , · · · , xr ) + ω(x1 , · · · , xj , · · · , xk , · · · , xr )
= ω(x1 , · · · , xk , · · · , xj , · · · , xr ) + ω(x1 , · · · , xj , · · · , xk , · · · , xr ).
ω(x1 , · · · , xk , · · · , xj , · · · , xr ) = −ω(x1 , · · · , xj , · · · , xk , · · · , xr ),
⇐) Si ω es antisimétrica,
ω(x1 , · · · , x, · · · , x, · · · , xr ) = −ω(x1 , · · · , x, · · · , x, · · · , xr ),
57
1 2 ··· r
con s(α) la paridad de la permutación α = .
α(1)α(2)· · · α(r)
n n n
!
X X X
ω(x1 , · · · , xn ) = ω c1i1 vi1 , c2i2 vi2 , · · · , cnin vin
i1 =1 i2 =1 in =1
n
XX n n
X
= ··· c1i1 c2i2 · · · cnin ω(vi1 , vi2 , · · · , vin ).
i1 =1 i2 =1 in =1
Teniendo en cuenta que solo contribuyen los términos en los que todos los vectores son
distintos entre sí, podemos escribir
X
ω(x1 , · · · , xn ) = c1α(1) c2α(2) · · · cnα(n) ω(vα(1) , vα(2) , · · · , vα(n) ),
α∈Sn
o lo que es lo mismo
" #
X
ω(x1 , · · · , xn ) = s(α)c1α(1) c2α(2) · · · cnα(n) ω(v1 , · · · , vn ).
α∈Sn
= x1 y2 z3 + x2 y3 z1 + x3 y1 z2 − x2 y1 z3 − x3 y2 z1 − x1 y3 z2 .
58
4.4 Determinante
El determinante de n-vectores en Kn es la (única) forma n-lineal alternada tal que
det(e1 , e2 , · · · , en ) = 1.
Dada una base arbitraria {v1 , · · · , vn } diremos que esta base tiene orientación positiva
si det(v1 , v2 , · · · , vn ) > 0. La base canónica está orientada positivamente por definición.
Así, la interpretación geométrica del determinante es la del volumen orientado del par-
alelepípedo n-dimensional subtendido por los n vectores.
Por ejemplo, en dos dimensiones definimos la aplicación A(x, y) que asigna a los
vectores x, y el área orientada del paralelogramo subtendido por x e y. Dicha aplicación
cumple las propiedades
1) A(x, y) es lineal en x y en y.
3) A(e1 , e2 ) = 1.
Por la unicidad del determinante se concluye que entonces A(x, y) = det(x, y). Esto se
puede generalizar para n = 3: V = det(x, y, z), y para cualquier n.
A11 A12
Ejemplo: 2 × 2: = A11 A22 − A21 A12 .
A21 A22
Propiedades:
1) det A = det AT
Demostración: det AT = α∈Sn s(α)A1α(1) · · · Anα(n) . Ahora bien, s(αα ) = 1
−1
P
=⇒ s(α) = s(α−1 ) (el número de transposiciones que lleva α a la identidad también
lleva su inversa a la identidad), así que
X X
det AT = s(α−1 )Aα−1 (1)1 · · · Aα−1 (n)n s(β)Aβ(1)1 · · · Aβ(n)n = det A.
α∈Sn β∈Sn
59
b) Un determinante con dos filas (o columnas) proporcionales (o iguales) es cero.
c) det(cA) = det(cA1 | · · · |cAn ) = cn det A y det(A1 | · · · |cAj | · · · |An ) = c det A
para todo c ∈ K.
d) det(A1 | · · · |Ai | · · · |An ) = det(A1 | · · · |Ai + cAj | · · · |An ) con j 6= i (y lo mismo
para las filas).
e) det(A1 | · · · |Ai | · · · |Aj | · · · |An ) = −det(A1 | · · · |Aj | · · · |Ai | · · · |An ).
f) det(A1 | · · · |Ai + Bi | · · · |An ) = det(A1 | · · · |Ai | · · · |An ) + det(A1 | · · · |Bi | · · · |An ).
se llama el cofactor de Aij , siendo Mij el menor asociado a Aij , que se obtiene de
tomar A y suprimir la fila i y la columna j.
B1 A12 · · · A1n
1 .. .. . . .. ,
x1 = . . . .
detA
Bn An2 · · · Ann
..
.
A11 · · · A1n−1 B1
1 .. . . . .. .
xn = . . .. .
detA
Ann · · · Ann−1 Bn
60
4.6 Determinante de un operador lineal
Sea el endomorfismo f ∈ L(V ), F su matriz en una cierta base B, F 0 su matriz en otra
base B 0 y P la matriz de cambio de base de B a B 0 . Entonces
5 Proyectores
Sea V = V1 ⊕ V2 ⊕ · · · ⊕ Vp , tal que n1 + n2 + · · · + np = n, con ni = dim(Vi ) y n = dim(V ),
de forma que v = v1 + v2 + · · · + vp de forma única, con v ∈ V y vi ∈ Vi . Definimos el
proyector πi ∈ L(V ) sobre el espacio Vi (∀ i = 1, · · · , p) como
πi : V −→ Vi ⊂ V,
v 7−→ vi .
61
• Cambio de base
⇧i
<latexit sha1_base64="DwIRIoc+xF/htRteGxAYrQ8BTBE=">AAAB7HicbVBNS8NAEJ34WetX1aOXxSJ4KkkR9Vj04rGCaQttKJvtpF262YTdjVBCf4MXD4p49Qd589+4bXPQ1gcDj/dmmJkXpoJr47rfztr6xubWdmmnvLu3f3BYOTpu6SRTDH2WiER1QqpRcIm+4UZgJ1VI41BgOxzfzfz2EyrNE/loJikGMR1KHnFGjZX8XpP3eb9SdWvuHGSVeAWpQoFmv/LVGyQsi1EaJqjWXc9NTZBTZTgTOC33Mo0pZWM6xK6lksaog3x+7JScW2VAokTZkobM1d8TOY21nsSh7YypGellbyb+53UzE90EOZdpZlCyxaIoE8QkZPY5GXCFzIiJJZQpbm8lbEQVZcbmU7YheMsvr5JWveZd1eoPl9XGbRFHCU7hDC7Ag2towD00wQcGHJ7hFd4c6bw4787HonXNKWZO4A+czx+c8Y6Q</latexit>
B =) B
<latexit sha1_base64="ybR/wlxZG6fI1M8HxrTqtf4D44I=">AAACEnicbVDLSgMxFM3UV62vUZdugkVQKGWmiLosdePCRQX7gM5QMmlmGppJhiSjlKHf4MZfceNCEbeu3Pk3pg9QWw9cOJxzL/feEySMKu04X1ZuaXlldS2/XtjY3NresXf3mkqkEpMGFkzIdoAUYZSThqaakXYiCYoDRlrB4HLst+6IVFTwWz1MiB+jiNOQYqSN1LVPvBjpPkYM1rwS9K4FjySN+hpJKe6hV/qxu3bRKTsTwEXizkgRzFDv2p9eT+A0JlxjhpTquE6i/QxJTTEjo4KXKpIgPEAR6RjKUUyUn01eGsEjo/RgKKQpruFE/T2RoVipYRyYzvGFat4bi/95nVSHF35GeZJqwvF0UZgyqAUc5wN7VBKs2dAQhCU1t0LcRxJhbVIsmBDc+ZcXSbNSds/KlZvTYrU2iyMPDsAhOAYuOAdVcAXqoAEweABP4AW8Wo/Ws/VmvU9bc9ZsZh/8gfXxDer+nQE=</latexit>
⇧0i = P ⇧i P 1
<latexit sha1_base64="+uXa4YmyccCWd1d70QHy0eh+KL4=">AAACAHicbZDLSsNAFIYn9VbrLerChZvBIrqoJSmiboSiG5cR7AWaGCbTSTt0MgkzE6GEbHwVNy4UcetjuPNtnLZZaPWHgY//nMOZ8wcJo1JZ1pdRWlhcWl4pr1bW1jc2t8ztnbaMU4FJC8csFt0AScIoJy1FFSPdRBAUBYx0gtH1pN55IELSmN+pcUK8CA04DSlGSlu+uec69Minl45b0+RTt+bcZyd27ptVq25NBf+CXUAVFHJ889PtxziNCFeYISl7tpUoL0NCUcxIXnFTSRKER2hAeho5ioj0sukBOTzUTh+GsdCPKzh1f05kKJJyHAW6M0JqKOdrE/O/Wi9V4YWXUZ6kinA8WxSmDKoYTtKAfSoIVmysAWFB9V8hHiKBsNKZVXQI9vzJf6HdqNtn9cbtabV5VcRRBvvgABwDG5yDJrgBDmgBDHLwBF7Aq/FoPBtvxvustWQUM7vgl4yPb4yklRo=</latexit>
1 1
<latexit sha1_base64="7FObGhdYK1R7hE+zAsK7ICMoFS0=">AAAB7XicbVBNSwMxEJ2tX7V+VT16CRbBi2W3iHosevG4gv2Adi3ZNNvGZpMlyQpl6X/w4kERr/4fb/4b03YP2vpg4PHeDDPzwoQzbVz32ymsrK6tbxQ3S1vbO7t75f2DppapIrRBJJeqHWJNORO0YZjhtJ0oiuOQ01Y4upn6rSeqNJPi3owTGsR4IFjECDZWavoP2Zk36ZUrbtWdAS0TLycVyOH3yl/dviRpTIUhHGvd8dzEBBlWhhFOJ6VuqmmCyQgPaMdSgWOqg2x27QSdWKWPIqlsCYNm6u+JDMdaj+PQdsbYDPWiNxX/8zqpia6CjIkkNVSQ+aIo5chINH0d9ZmixPCxJZgoZm9FZIgVJsYGVLIheIsvL5NmrepdVGt355X6dR5HEY7gGE7Bg0uowy340AACj/AMr/DmSOfFeXc+5q0FJ585hD9wPn8A/myOwQ==</latexit> <latexit sha1_base64="7FObGhdYK1R7hE+zAsK7ICMoFS0=">AAAB7XicbVBNSwMxEJ2tX7V+VT16CRbBi2W3iHosevG4gv2Adi3ZNNvGZpMlyQpl6X/w4kERr/4fb/4b03YP2vpg4PHeDDPzwoQzbVz32ymsrK6tbxQ3S1vbO7t75f2DppapIrRBJJeqHWJNORO0YZjhtJ0oiuOQ01Y4upn6rSeqNJPi3owTGsR4IFjECDZWavoP2Zk36ZUrbtWdAS0TLycVyOH3yl/dviRpTIUhHGvd8dzEBBlWhhFOJ6VuqmmCyQgPaMdSgWOqg2x27QSdWKWPIqlsCYNm6u+JDMdaj+PQdsbYDPWiNxX/8zqpia6CjIkkNVSQ+aIo5chINH0d9ZmixPCxJZgoZm9FZIgVJsYGVLIheIsvL5NmrepdVGt355X6dR5HEY7gGE7Bg0uowy340AACj/AMr/DmSOfFeXc+5q0FJ585hD9wPn8A/myOwQ==</latexit>
P P
Bc =) Bc
<latexit sha1_base64="OnkMTSyOLIHZTL6Xq8LGhGRFNZM=">AAACFnicbVDLSgMxFM3UV62vUZdugkVwUctMEXVZ6saFiwr2AZ2hZNJMG5pJhiSjlKFf4cZfceNCEbfizr8x03ZRWw8EDuecS+49Qcyo0o7zY+VWVtfWN/Kbha3tnd09e/+gqUQiMWlgwYRsB0gRRjlpaKoZaceSoChgpBUMrzO/9UCkooLf61FM/Aj1OQ0pRtpIXfvMi5AeYMRgrYu9EvRuBe9L2h9oJKV4hF5pPtC1i07ZmQAuE3dGimCGetf+9noCJxHhGjOkVMd1Yu2nSGqKGRkXvESRGOEh6pOOoRxFRPnp5KwxPDFKD4ZCmsc1nKjzEymKlBpFgUlmO6pFLxP/8zqJDq/8lPI40YTj6UdhwqAWMOsI9qgkWLORIQhLanaFeIAkwto0WTAluIsnL5NmpexelCt358VqbVZHHhyBY3AKXHAJquAG1EEDYPAEXsAbeLeerVfrw/qcRnPWbOYQ/IH19QsK/J6t</latexit>
0
<latexit sha1_base64="YlpAwm+62Toudn3B2/WCRdfSZ9Y=">AAAB7XicbVBNSwMxEJ3Ur1q/qh69BIvoqeyKqMeiF48V7Ae0S8mm2TY2myxJVihL/4MXD4p49f9489+YtnvQ1gcDj/dmmJkXJoIb63nfqLCyura+UdwsbW3v7O6V9w+aRqWasgZVQul2SAwTXLKG5VawdqIZiUPBWuHoduq3npg2XMkHO05YEJOB5BGnxDqp2a3z0x7vlSte1ZsBLxM/JxXIUe+Vv7p9RdOYSUsFMabje4kNMqItp4JNSt3UsITQERmwjqOSxMwE2ezaCT5xSh9HSruSFs/U3xMZiY0Zx6HrjIkdmkVvKv7ndVIbXQcZl0lqmaTzRVEqsFV4+jruc82oFWNHCNXc3YrpkGhCrQuo5ELwF19eJs3zqn9ZPb+/qNRu8jiKcATHcAY+XEEN7qAODaDwCM/wCm9IoRf0jj7mrQWUzxzCH6DPH/5cjsE=</latexit>
⇧i
Ejemplos:
Se comprueba que Π01 2 = Π1 y Π02 2 = Π2 , como debe ser. Además, dado un vector
x1
arbitrario x = (x1 , x2 ), con coordenadas en la base canónica X = , se tiene
x2
0 2x1 − x2 a 0 −x1 + x2 b
Π1 X = ≡ , Π2 X = ≡
2x1 − x2 a −2x1 + 2x2 2b
62