Documente Academic
Documente Profesional
Documente Cultură
( )
Esto es
12 11 12 12 1 1 21 21
... ...
n n mn mn
A a E a E a E a E a E = .
Luego es generador de
mn
.
2) Probemos que es libre.
Sea la combinacin lineal
11 11 12 12 1 1 21 21 0
... ...
n n mn mn
E E E E E M =
11 12 1
21 22 2
1 2
0 0 0
0 0 0
0 0 0
n
n
m m mn
1 1
=
( ) ( )
Por igualdad de matrices 0
ij
= para todo 1, 2,..., i m = y para todo 1, 2,..., j n = .
De donde es linealmente independiente.
De 1) y 2) es base de
mn
.
Por lo tanto dim
mn
m n = .
El conjunto se llama base cannica de
mn
.
Corolario 1: El conjunto
n
de todas las matrices cuadradas de orden n es un espacio vectorial sobre de
dimensin
2
n .
Algunos subespacios especiales de
n
Consideremos el espacio vectorial de todas las matrices cuadradas de orden n sobre el cuerpo y los siguientes
subconjuntos:
(1) El conjunto de las matrices triangulares superiores (inferiores) de orden n , es un subespacio de
n
de
dimensin igual a
( ; 1
2
n n
.
(2) El conjunto de las matrices diagonales de orden n , es un subespacio de
n
de dimensin igual a n .
(3) El conjunto de las matrices escalares de orden n , es un subespacio de
n
de dimensin igual a 1.
(4) El conjunto ( ;
n
S de las matrices simtricas de orden n , es un subespacio de
n
de dimensin igual a
( ; 1
2
n n
.
(5) El conjunto ( ;
n
A de las matrices antisimtricas de orden n , es un subespacio de
n
de dimensin igual
a
( ; 1
2
n n
.
Subespacio fila y columna de una matriz
En el espacio vectorial
( ;
, , ,
n
consideremos la matriz:
( ;
11 12 1 1
21 22 2 2
1 2
1 2
n
n
n
m m mn m
a a a F
a a a F
A C C C
a a a F
1 1
= = =
( ) ( )
Todas las
i
F pueden interpretarse como vectores de
n
, habrn m vectores:
( ;
( ;
( ;
1 11 12 1
2 21 22 2
1 2
n
n
m m m mn
F a a a
F a a a
F a a a
=
=
=
Las columnas
j
C pueden interpretarse como vectores de
m
, habrn n vectores:
11 12 1
21 22 2
1 2
1 2
n
n
n
m m mn
a a a
a a a
C C C
a a a
1 1 1
= = =
( ) ( ) ( )
Vamos a llamar:
{ ( ;
1 2
, , ,
m
S F F F = el subespacio de
m
generado por los vectores filas de A ( subespacio fila).
{ ( ;
1 2
, , ,
n
S C C C = el subespacio de
n
generado por los vectores columnas de A ( subespacio columna).
Teorema fundamental de matrices: Toda matriz
mn
A verifica que el subespacio fila y el subespacio columna
poseen la misma dimensin. (Lo cual expresa que en una matriz hay el mismo nmero de filas y de columnas
linealmente independientes).
Demostracin:
Para simplificar la demostracin consideremos una matriz de orden 4 3 .
Sean { ( ;
1 2 3 4
, , , S F F F F = el subespacio de
3
y { ( ;
1 2 3
, , S C C C = el subespacio de
4
.
Supongamos que dim 2 = , luego debo probar que dim 2 = .
Si dim 2 = entonces en A hay dos vectores filas que son linealmente independientes, supongamos que son
1
F y
2
F ,
luego
3 1 1 2 2
F F F = , entonces
31 1 11 2 21
32 1 12 2 22
33 1 13 2 23
a a a
a a a
a a a
'
1 =
1
1
1
=
!
1
1
=
1
1+
o sea
3 1 1 2 2 j j j
a a a = (1)
4 1 1 2 2
F F F = , entonces
41 1 11 2 21
42 1 12 2 22
43 1 13 2 23
a a a
a a a
a a a
'
1 =
1
1
1
=
!
1
1
=
1
1+
o sea
4 1 1 2 2 j j j
a a a = (2)
Sea {
1 2 3 4
, , , e e e e = , base cannica de
4
. Como es subespacio de
4
, cualquier vector de se puede
expresarse como combinacin lineal de .
( ; ( ;
( ; ( ;
( ; ( ;
1 2 3 4
1 1 2 2 3 3 4 4
1 1 2 2 1 1 2 2 3 1 1 2 2 4
1 1 1 3 1 4 2 2 2 3 2 4 2 5 7 8
, , ,
[(1),(2)]
[ , , , ]
T
j
j j j j
j j j j
j j j j j j
j j
C a a a a
a e a e a e a e
a e a e a a e a a e
a e e e a e e e V V V V
=
=
=
=
Luego el sistema {
1 1 3 1 4 2 2 3 2 4
, e e e e e e es generador de .
Veamos que es linealmente independiente.
Sea
( ; ( ;
( ; ( ;
1 1 3 1 4 2 2 3 2 4
1 1 3 1 4 2 2 3 2 4 8
1 2 1 2 3 1 2 4 7
0
0 [ ]
0 [ ]
e e e e e e
e e e e e e V
e e e e V
=
=
=
Tenemos una combinacin lineal de vectores de , que son linealmente independientes, igualada al vector nulo,
entonces:
1 2 1 2
0 = = = =
Por lo tanto {
1 1 3 1 4 2 2 3 2 4
, e e e e e e es base de y dim 2 = .
Rango: es el nmero mximo de vectores filas (vectores columnas) linealmente independientes. Tambin rango o
caracterstica de una matriz es la dimensin del subespacio fila o del subespacio columna.
Matriz regular: Una matriz A se dice regular o no singular si todas sus filas son linealmente independientes y todas
sus columnas son linealmente independientes.
Nota: Solo las matrices cuadradas pueden ser regulares. No toda matriz cuadrada es regular.
Simbolizaremos el conjunto de las matrices regulares de orden n con ( ;
n
R .
Inversin de una matriz cuadrada: En el anillo de las matrices cuadradas de orden n , dada una matriz A se llama
inversa de A , a la izquierda, a toda matriz G tal que G A I = y se llama inversa de A , a la derecha, a toda matriz
D tal que A D I = .
Teorema de la inversin de matrices: Toda matriz regular de orden n , admite una y slo una matriz inversa a
izquierda G y admite una y slo una matriz inversa a derecha D y G D = .
Demostracin:
Sea
11 12 1 1
21 22 2 2
1 2
n
n
m m mn n
a a a F
a a a F
A
a a a F
1 1
= =
( ) ( )
Recordemos que la representacin de un vector en una base cualquiera, existe y es nica, luego los
ij
g estn
determinados de manera nica. Al sistema (I) lo podemos expresar en forma matricial:
11 12 1
1 1
21 22 2 2 2
1 2
n
n
n n
n n nn
g g g
e F
g g g e F
e F
g g g
1
1 1
= =
( ) ( )
( )
11 12 1 11 12 1
21 22 2 21 22 2
1 2 1 2
1 0 0
0 1 0
0 0 1
n n
n n
n n nn n n nn
g g g a a a
g g g a a a
g g g a a a
1 1 1
=
( ) ( ) ( )
O sea I G A =
Hemos encontrado una matriz G que es la inversa a la izquierda de A de manera nica, dado que los
ij
g estn
determinados de manera nica.
Veamos ahora la existencia de una matriz D tal que A D I = .
( ;
11 12 1
21 22 2 1 2
1 2
n
n n
n n nn
a a a
a a a
A C C C
a a a
1
= =
( )
Los
ij
d estn determinados de manera nica.
Expresando el sistema (II) en forma matricial:
( ; ( ;
11 12 1
21 22 2 1 2
1 2
1 2
n
n n
n
n n nn
d d d
d d d
C C C e e e
d d d
1
( )
11 12 1 11 12 1
21 22 2 21 22 2
1 2 1 2
1 0 0
0 1 0
0 0 1
n n
n n
n n nn n n nn
a a a d d d
a a a d d d
a a a d d d
1 1 1
=
( ) ( ) ( )
Hemos encontrado D inversa a derecha de A y es nica dado que los
ij
d estn determinados de manera nica.
Falta probar que G D = .
( ; ( ; G G I G A D G A D I D D = = = = =
Vamos a designar con
1 1
A A A A I
= = .
Teorema 61: Si multiplicamos una matriz cualquiera A , de orden m n , por una matriz regular M a la izquierda
(derecha) el rango de la matriz producto es igual al rango de la matriz A .
Aplicaciones de matrices particionadas
Calculo de inversas
Si
0
0
P
A
R
1
=
( )
es una matriz en bloques diagonal y , P R son no singulares, entonces A es no singular
(regular) y
1
1
1
0
0
P
A
R
( )
.
Si
0
P Q
A
R
1
=
( )
es una matriz en bloques triangular superior y , P R son regulares, entonces A es regular y
1 1 1
1
1
0
P P QR
A
R
( )
.
Si
0 P
A
Q R
1
=
( )
es una matriz en bloques triangular inferior y , P R son regulares, entonces A es regular y
1
1
1 1 1
0 P
A
R QP R
( )
.
Grupo de matrices regulares de orden n
Teorema 62: El conjunto ( ;
n
R de las matrices cuadradas regulares de orden n , forman un grupo respecto al
producto matricial.
Esto es ( ;
( ;
,
n
R es un grupo no conmutativo.
Demostracin:
(1) El producto de matrices es operacin binaria interna. Es decir, si y A B son matrices regulares de orden n ,
entonces C A B = es otra matriz regular de orden n .
Como A es regular, por teorema 61 ( ; ( ; Rang C Rang B n = = , luego C es regular.
(2) Como en general el producto de matrices es asociativo, tambin lo ser en este conjunto.
(3) La matriz identidad I pertenece al conjunto de matrices regulares y ser I A A A I = = para todo A .
(4) Sea A regular, luego existe
1
A
tal que
1 1
A A A A I
= =
Como A es regular, por Teorema 61
( ; ( ;
1
Rang A Rang I n
= = . Por lo tanto
1
A
es regular.
Lema 8: Sean y A B matrices regulares del mismo orden, entonces se verifica: ( ;
1
1 1
A B B A
= .
Demostracin:
Por definicin de inversa, debemos probar ( ; ( ; ( ; ( ;
1 1
A B A B A B A B I
= = .
( ; ( ; ( ; ( ;
( ;
1
1 1
1 1
1
1
[asociativa en ]
[def. de matriz inversa]
[ es el neutro en ]
[def. de matriz inversa]
n
n
A B A B A B B A
A B B A
A I A
A A I
I
=
=
=
=
=
= .
Luego
1 1
B A
es la inversa de A B .
Lema 9: Sea A regular, entonces
( ; ( ;
1
1
T
T
A A
= .
Demostracin:
( ;
( ;
( ; ( ;
1
1
1
1
[def. inversa de una matriz]
[Prop. de la traspuesta]
[def. de inversa]
T
T
T
T
T
T
I I
A A
A A
A A
=
=
=
=
= .
Luego
T T
A A A A I = = .
Al conjunto de las matrices ortogonales lo simbolizaremos con ( ;
n
O .
Teorema 63: Una matriz regular de orden n es ortogonal si y slo si sus n vectores filas forman un sistema
ortonormal de vectores de
n
.
Nota:
La matriz regular A de orden n es ortogonal = sus n vectores filas
1 2
, , ,
n
F F F verifican ,
i j ij
F F = .
Observacin 15: En toda matriz ortogonal sus vectores columnas forman un sistema ortonormal de vectores de
n
.
Lema 10: La inversa de una matriz ortogonal es tambin ortogonal.
Lema 11: El producto de dos matrices ortogonales es tambin ortogonal.
Teorema 64: El conjunto ( ;
n
O de matrices ortogonales de orden n es un grupo multiplicativo no conmutativo.
En smbolos ( ;
( ;
,
n
O es un grupo no conmutativo.
Grupo de matrices unitarias
Definicin 61: Una matriz regular A , sobre el cuerpo de los complejos se dice unitaria si y slo si ( ;
1
T
A A
= .
Indicaremos con ( ;
n
el conjunto de todas las matrices unitarias sobre el cuerpo de los .
Observacin 16:
(1) Una matriz ortogonal real es unitaria.
(2) Una matriz unitaria es ortogonal si y solo si cada uno de sus elementos es real.
Nota:
(1) Si y A B son matrices unitarias entonces A B es tambin unitaria.
(2) Si A es una matriz unitaria, entonces
1
A
es unitaria.
Teorema 65: El conjunto ( ;
n
de las matrices unitarias de orden n es un grupo multiplicativo no conmutativo.
En smbolos ( ;
( ;
,
n
es un grupo no conmutativo.
Permutaciones
Permutar significa intuitivamente cambiar el orden de los elementos de un cierto conjunto.
Si el conjunto tuviese n elementos se podran realizar ! n permutaciones.
Se dice que en una permutacin dada de n elementos, los nmeros , i j forman una inversin, si siendo i j < , j esta
antes que i .
Una permutacin se llama par si sus elementos forman un nmero par de inversiones y ser impar en otro caso.
Determinante de una matriz cuadrada
Definicin 62: Determinante de una matriz cuadrada de orden n es la suma de sus ! n trminos.
Trmino de un determinante de una matriz cuadrada de orden n es el producto de n elementos de una matriz, uno
de cada fila y columna con el signo ms o menos segn si sus subndices forman una permutacin par o impar.
Simblicamente:
11 12 1
21 22 2
1 2
n
n
n n nn
a a a
a a a
A
a a a
1
( )
( ; ( ;
1 2
1 2 1 2
det , , , j
n
n j j nj
A A j j a a a = =
_
donde ( ;
1 2
1 si la permutacin es par
, , , j
-1 si la permutacin es impar
n
j j
'
1
1
=
!
1
1
+
=
(10)Clculo de determinantes para cierta matrices particionadas en bloques:
Si
11 12
22
0
A A
A
A
1
=
( )
es una matriz en bloques y
11
A es no singular (regular),
22
A es una matriz cuadrada,
entonces
11 22
A A A = .
Menores y Cofactores
Dada la matriz A , se llama menor correspondiente del elemento
ij
a de A al determinante de la matriz que se obtiene
al eliminar en A la fila i y la columna j y se indica
ij
M .
Sea
11 12 13
21 22 23
31 32 33
a a a
A a a a
a a a
1
=
( )
11 12
23
31 32
a a
M
a a
=
Se llama cofactor del elemento
ij
a de A a ( 1)
i j
ij ij
M
= .
Desarrollo de un determinante por los elementos de una lnea
1 1 2 2
1
1 2
1 1 2 2
1 1 2 2
1
( 1) ( 1) ... ( 1)
n
i i i i in in ij ij
j
i i i n
i i i i in in
n
j j j j nj nj ij ij
i
A a a a a
a M a M a M
A a a a a
=
=
= =
=
= =
_
_