Apuntes de Algebran2 PDF

Apuntes de lgebra II
2012
Leandro Franchisquini
Instituto de Profesorado Concordia

2 ndice

ndice
ndice................................................................................................................................. 1
Ley de Composicin Interna ............................................................................................. 5
Propiedades y Elementos Distinguidos ......................................................................... 5
Regularidad de un elemento respecto de una Ley Interna ........................................ 5
Distributividad de una LCI respecto de otra ............................................................. 6
Homomorfismo de Conjuntos ....................................................................................... 7
Homomorfismos Especiales...................................................................................... 7
Relacin de Equivalencia .................................................................................................. 8
Clases de Equivalencia y Conjunto Cociente ........................................................... 8
Relacin de Equivalencia Congruencia Mdulo n.................................................... 8
Particin de un Conjunto no Vaco ......................................................................... 10
Funcin Cannica ................................................................................................... 10
Compatibilidad de una Relacin de Equivalencia con una Ley Interna ................. 10
Estructuras Algebraicas .................................................................................................. 12
Estructura de Monoide ................................................................................................ 12
Definicin de Neutro o Identidad ........................................................................... 12
Definicin de Inverso .............................................................................................. 12
Estructura de Semigrupo ............................................................................................. 12
Estructura de Grupo .................................................................................................... 12
Propiedades de los grupos ....................................................................................... 13
Subgrupos ................................................................................................................... 14
Condicin suficiente para la existencia de subgrupo .............................................. 14
Homomorfismo de Grupos ..................................................................................... 16
Ncleo de un Homomorfismo de Grupos ............................................................... 16
Imagen de un Homomorfismo de Grupos ............................................................... 17
Relacin de Equivalencia Compatible .................................................................... 18
Teorema Fundamental de Compatibilidad .............................................................. 18
Subgrupos Distinguidos .......................................................................................... 19
Grupo Cclico .......................................................................................................... 19
Estructura de Anillo .................................................................................................... 20
Propiedades de los Anillos ...................................................................................... 21
Anillo sin divisores de cero..................................................................................... 22
Dominio de Integridad ............................................................................................ 24
Subanillos ................................................................................................................ 24
Ideales ..................................................................................................................... 25
Estructura de Cuerpo................................................................................................... 25
Propiedades de los Cuerpos .................................................................................... 26
Nmeros Complejos........................................................................................................ 28
Ecuaciones sin Solucin en R ..................................................................................... 28
Relacin de Equivalencia en R
2
y Nmeros Complejos ............................................. 28
Definicin de Nmero Complejo ............................................................................ 28
Operaciones con Complejos ....................................................................................... 29
Isomorfismo de los Complejos Reales en los Reales.................................................. 31
Forma Binmico de un Complejo ............................................................................... 32
Unidad Imaginaria .................................................................................................. 32
Forma Binmica de un Complejo ........................................................................... 32
Complejos Conjugados ............................................................................................... 32
Propiedades ............................................................................................................. 33
3

Automorfismo en C..................................................................................................... 33
Mdulo de un Complejo ............................................................................................. 34
Propiedades del Mdulo ......................................................................................... 34
Divisin en Complejos ................................................................................................ 35
Raz Cuadrada en C .................................................................................................... 35
Forma Polar o Trigonomtrica .................................................................................... 36
Operaciones en Forma Polar ................................................................................... 37
Forma Exponencial en C ............................................................................................. 39
Operaciones en Forma Exponencial ....................................................................... 40
Logaritmacin en C................................................................................................. 40
Matrices........................................................................................................................... 41
Matriz .......................................................................................................................... 41
Otra definicin de Matriz ........................................................................................ 41
Igualdad de Matrices ............................................................................................... 41
Adicin de Matrices ................................................................................................ 42
Multiplicacin de una Matriz por un Escalar .......................................................... 42
lgebra de Matrices .................................................................................................... 43
Diagonal de una Matriz Cuadrada .......................................................................... 43
Traza de una Matriz Cuadrada ................................................................................ 43
Matriz Diagonal ...................................................................................................... 43
Matriz Escalar ......................................................................................................... 44
Matriz Identidad o Unidad ...................................................................................... 44
Matriz Triangular Superior ..................................................................................... 44
Matriz Triangular Inferior ....................................................................................... 44
Matriz Transpuesta.................................................................................................. 44
Matriz Simtrica...................................................................................................... 44
Matriz Antisimtrica ............................................................................................... 45
Producto de Matrices .................................................................................................. 47
Producto de una Matriz Fila por una Matriz Columna ........................................... 47
Producto de una Matriz Fila por una Matriz ........................................................... 47
Producto de una matriz A
mxp
por una matriz B
pxn
................................................... 48
Propiedades de la Multiplicacin de Matrices ........................................................ 49
Potencias de una Matriz Cuadrada .............................................................................. 50
Matriz Involutiva .................................................................................................... 50
Matriz Idempotente ................................................................................................. 50
Matriz Inversa ............................................................................................................. 51
Unicidad de la Matriz Inversa ................................................................................. 51
Inversa del Producto de Matrices ............................................................................ 51
Clculo de una Matriz Inversa ................................................................................ 51
Vectores cannicos ................................................................................................. 54
Matrices Equivalentes por Renglones ..................................................................... 54
Determinante de una Matriz de 2 2 ..................................................................... 54
Determinantes ................................................................................................................. 56
Funcin determinante de orden n ................................................................................ 56
Propiedades ............................................................................................................. 56
Clculo de un Determinante.................................................................................... 57
Matriz Adjunta de una Matriz Cuadrada .................................................................... 58
Producto de una Matriz por su Adjunta .................................................................. 58
Inversa de una Matriz.............................................................................................. 59
Teorema .................................................................................................................. 59
4 ndice

Sistemas de Ecuaciones .................................................................................................. 60
Ecuaciones con una Incgnita ..................................................................................... 60
Ecuaciones con dos Incgnitas ................................................................................... 60
Sistema de Ecuaciones Lineales ................................................................................. 60
Clasificacin ........................................................................................................... 61
Sistemas Equivalentes ............................................................................................. 61
Sistemas de dos Ecuaciones con dos Incgnitas ..................................................... 61
Sistema de n Ecuaciones con n Incgnitas ............................................................. 62
Regla de CRAMER................................................................................................. 64
Eliminacin de Gauss-Jordan ................................................................................. 66
Teorema de ROUCH-FROBENIUS..................................................................... 67
Sistemas Homogneos ................................................................................................ 67
Propiedades ............................................................................................................. 68
Espacios Vectoriales ....................................................................................................... 69
Vectores ...................................................................................................................... 69
Definicin de Espacio Vectorial ................................................................................. 69
Teorema .................................................................................................................. 70
Subespacios ................................................................................................................. 71
Teorema: Para la determinacin de un subespacio ................................................. 71
Teorema: de la interseccin de subespacios ........................................................... 72
Combinacin Lineal .................................................................................................... 72
Conjunto Generador de un Espacio Vectorial ............................................................ 72
Espacio Generado por un Conjunto de Vectores ........................................................ 73
Propiedad: ............................................................................................................... 73
Independencia Lineal .................................................................................................. 73
Teorema 1 ............................................................................................................... 74
Teorema 2 ............................................................................................................... 75
Teorema 3 ............................................................................................................... 75
Teorema 4 ............................................................................................................... 75
Teorema 5 ............................................................................................................... 76
Base ............................................................................................................................. 76
Teorema: unicidad de escalares .............................................................................. 77
Dimensin ................................................................................................................... 78
Teorema .................................................................................................................. 78
Teorema .................................................................................................................. 78
Ncleo y Nulidad de una Matriz ................................................................................. 78
Teorema .................................................................................................................. 78
Recorrido de una Matriz ............................................................................................. 78
Teorema .................................................................................................................. 79
Rango de una Matriz ................................................................................................... 79
Espacio de los Renglones y Espacio de las Columnas de una Matriz ........................ 79
Cambio de Base .......................................................................................................... 79
Teorema .................................................................................................................. 82
Teorema .................................................................................................................. 82

5

Ley de Composicin Interna
Una ley de composicin interna, definida en un conjunto no vaco A, consiste en una
operacin que asigna a cada par ordenado de elementos de A un nico elemento de A.
esto significa que a cada objeto de A A le corresponde uno y slo un elemento de A.

Una ley de composicin interna definida en un conjunto no vaco A es una funcin de
A A en A.
-es ley de composicin interna en A A A -
2
:
Es decir
A b a A b A a e - e . e
Son ejemplos de leyes de composicin interna, la adicin y la multiplicacin en N, Z, Q,
R y C.
Propiedades y Elementos Distinguidos
Asociatividad
A A -
2
: es asociativa ) * ( * * ) ( : ; ; c b a c b a A c b a = - e
Conmutatividad
A A -
2
: es conmutativa a b b a A b a * * : ; = e
Existencia del elemento neutro
A ee es neutro respecto de * a a e e a A a = = e * * :
Existencia de inverso en una ley con neutro
A a e ' es inverso de A ae respecto de * e a a a a = = '* ' *
Unicidad del Neutro
Si existe un neutro en A respecto de *, entonces es nico
Supongamos que e y e son neutros respecto de *; entonces por ser e neutro y
por serlo e, se tiene:
e e e e e e = = = ' * '* '
Unicidad del inverso respecto de una ley asociativa
Si un elemento A ae admite inverso respecto de la ley *, entonces dicho
inverso es nico.
Supongamos que a y a son inversos de a. aplicando sucesivamente la
definicin de neutro, el hecho de que a es el inverso de a, la asociatividad, el
supuesto de que a es inverso de a, y la definicin de neutro, se tiene
' ' * ' * ) '* ' ( ) ' * '*( ' '* ' ' ' a a e a a a a a a e a a = = = = =
Regularidad de un elemento respecto de una Ley Interna
La regularidad de un elemento respecto de una ley de composicin interna consiste en
que es cancelable o simplificable a derecha e izquierda en los dos miembros de una
igualdad.
A ae es regular respecto de *
= =
= =
c b a c a b
c b c a b a
* *
* *

La regularidad bilateral se llama regularidad a secas; si es preciso distinguir, se debe
especificar si la regularidad es a derecha o izquierda.
La regularidad es relativa a la LCI y depende de cada elemento. As como existen
elementos que admiten inverso y otros que no, tambin existen elementos que son
6 Ley de Composicin Interna

regulares y otros que no lo son. Si en un conjunto todos sus elementos son regulares se
dice que vale la ley cancelativa o de simplificacin.

Ejemplo: se define ab b a b a Q Q + + = * / : *
2
C
Como + y . son la suma y el producto ordinarios de nmeros racionales, entonces C es LCI en Q. El
problema consiste en analizar las propiedades de * en Q.
1. Asociatividad: aplicando sucesivamente la definicin C
abc bc ac ab c b a
c ab b a c ab b a c ab b a c b a
+ + + + + + =
+ + + + + + = + + = ) ( ) ( * ) ( * ) * (
C
abc ac ab bc c b a
bc c b a bc c b a bc c b a c b a
+ + + + + + =
+ + + + + + = + + = ) ( ) ( ) ( * ) * ( *
C
De C y C resulta que ) * ( * * ) * ( c b a c b a = y la ley es asociativa

2. Conmutativa: se verifica aplicando la conmutatividad de la adicin y el producto de racionales.
a b ba a b ab b a b a * * = + + = + + =
3. Existencia de neutro: si existe e, para todo Q ae debe cumplirse que
a e a = *
Por C es 0 ) 1 ( 0 = + = + = + + a e ae e a ae e a
Luego existe el neutro 0 = e . Por la conmutatividad slo se analiz e por la derecha.
4. Existencia de inversos: si Q ae admite inverso, entonces debe existir Q a e ' , tal que:
e a a = ' *
Es decir a a a aa a a = + = + + ) 1 ( ' 0 ' '
Luego si
a
a
a a a
+
= - =
1
' / ' 1
Es decir, todos los racionales excepto -1 admiten inverso respecto de *.
5. Elementos Regulares: investigamos que racionales a son regulares a izquierda.
c a b a * * =
Por C
ac c a ab b a + + = + +
Cancelando a en (Q;+), resulta
ac c ab b + = +
Por distributividad
) 1 ( ) 1 ( a c a b + = +
Luego si 1 = a
c b =
Luego todos los racionales distintos de -1 son regulares respectos de *.

Distributividad de una LCI respecto de otra
Consideremos las dos leyes de composicin interna y *, definidas en un conjunto
A.
es distributiva a derecha respecto de * si y slo si
A c b a e , , : ) ( * ) ( ) * ( c b c a c b a =
Del mismo modo
es distributiva a izquierda respecto de * si y slo si
) ( * ) ( ) * ( : , , b c a c b a c A c b a = e
Se dice que es distributiva respecto de *, si y slo si lo es a derecha e izquierda.
7

Homomorfismo de Conjuntos
Sean los conjuntos A, B y las respectivas leyes de composicin internas
B B
A A
2
2
:
: *

La funcin B A f : es un homomorfismo respecto de * y , si y slo si la imagen de
la composicin en A es igual a la composicin de las imgenes en B. Es decir:
B A f : es homomorfismo respecto de * y ) ( ) ( ) * ( b f a f b a f = A b a e ,
Homomorfismos Especiales
Sea B A f : un homomorfismo respecto de * y
1. f es monomorfismo, si y slo si es inyectiva;
2. f es epimorfismo , si y slo si es sobreyectiva;
3. f es isomorfismo, si y slo si es biyectiva;
4. f es un endomorfismo, si y slo si B A= ;
5. f es un automorfismo, si y slo si es un endomorfismo biyectivo.

8 Relacin de Equivalencia

Relacin de Equivalencia
La relacin
2
A R c es de equivalencia en A si y slo si es reflexiva, simtrica y
transitiva.
Por razones de simplificacin se utiliza el smbolo ~, y los elementos de todo par
pertenecientes a la relacin se llaman equivalentes.
La notacin a ~ b se lee a es equivalente a b, y significa que el par ) ; ( b a pertenece a
la relacin. En este sentido las relaciones de equivalencia satisfacen:
a) Reflexividad: todo elemento de A es equivalente a si mismo
x~x A x:x e
b) Simetra: si un elemento es equivalente a otro, entonces ste es equivalente al
primero.
y~x y:x~y x
c) Transitividad: si un elemento es equivalente a otro, y ste es equivalente a un
tercero, entonces el primero es equivalente al tercero.
x~z y~z y x z y x . ~ :
Clases de Equivalencia y Conjunto Cociente
Sea ~ una relacin de equivalencia en | = A . Un problema de inters es la
determinacin de todos los elementos de A que son equivalentes a uno dado, es decir,
que forman pareja con l. La respuesta conduce a un subconjunto de A, llamado clase de
equivalencia del elemento.
Clase de equivalencia de un elemento A ae es el conjunto de todos los elementos de A
equivalentes con a.
} ~ / { a x A x K
a
e =
Supongamos que tenemos un conjunto de ndices } ; ; ; { . c b a I = , de modo tal que a
cada elemento del conjunto I le est asociada una clase de equivalencia. El conjunto
formado por todas las clases de equivalencia se llama conjunto cociente de A por la
relacin de equivalencia, y la notacin es:
{ } ; ; ;
~
c b a
K K K
A
=
O bien por la notacin del subndice:
} / {
~
I u K
A
u
e =
Las clases de equivalencia constituyen una particin del conjunto A en el sentido
siguiente:
Son no vacas;
Son disjuntas de a pares;
Su unin es A.

Relacin de Equivalencia Congruencia Mdulo n
En el conjunto Z de los enteros introducimos la relacin congruencia mdulo n,
mediante la siguiente definicin:
Dos enteros son congruentes en mdulo n, si y slo si n es divisor de su diferencia.
a y b son congruentes mdulo n b a n
9

Por definicin, el nmero natural n es divisor del entero x si y slo si ste es igual al
primero por un entero, es decir:
k n x Z k x n = e - /
Ahora especificaremos algunas propiedades de la relacin de divisor que utilizaremos
ms adelante.
a) Si un nmero divide a un entero, entonces divide al producto de ste por
cualquier entero.
y x n x n
En efecto: por definicin de divisor
( ) y x n y k n y x y k n y x k n x x n = = = ) (
b) Si un nmero divide a otros dos, entonces tambin divide a su suma o diferencia.
y x n y n x n .
En efecto: aplicando definicin de divisor, sumando y restando miembro a miembro,
aplicando la distributividad del producto respecto de la suma y la resta, y la
definicin de divisor, se tiene:
y x n q k n y x q n k n y x q n y k n x y n x n = = = . = . ) ( ) ( ) (

c) Si un nmero divide a un entero, entonces divide a su opuesto.
En efecto: estas es una consecuencia directa de la propiedad a), ya que
x n x n x n ) 1 (
Ahora nos proponemos probar que a-b n b a ~ es una relacin de equivalencia.
1) Reflexividad:
Como 0 n , se tiene
a a a a n Z a a ~ : e
2) Simetra: sean los enteros a y b tales que
b~a a b n b) (a n a-b n a~b
3) Transitividad: sean los enteros a, b y c tales que
a~c c a n c) (b b) (a n c b n a-b n b~c a~b + . .

Vamos a determinar las clases de equivalencia de los enteros. Sea Z ae ; entonces
{ } a x Z x K
a
~ / e =
Ahora traducimos esta propiedad que define al conjunto K
a
:
kn a x kn a Z/x k x-a n x~a + = = e -
Es decir, a K
a
pertenecen todos los enteros del tipo kn a + , donde a y n estn dados y k
recorre Z. En otras palabras a K
a
pertenecen las sumas de a con todos los mltiplos de n.
Los subndices de las clases de equivalencia son los posibles restos de la divisin de un
entero por n, es decir: { } 1 ; ; 2 ; 1 ; 0 = n I . , ya que de acuerdo con el algoritmo de la
divisin el resto es no negativo y menor que el divisor. Por este motivo reciben el
nombre de congruentes en mdulo n, y suelen denotarse mediante:
1 , , 2 , 1 , 0 n .
El conjunto cociente es
{ }
n
Z n
Z
= = 1 , , 2 , 1 , 0
~
.
10 Relacin de Equivalencia

O bien
{ } n u K Z
u n
< s = 0 /
Particin de un Conjunto no Vaco
Sean dos conjuntos | | = . = I A tales que, cualquiera que sea el elemento I ue ,
existe un subconjunto A K
u
c .
El conjunto } / { I u K
u
e es una particin de A si y slo si
a) | = e
u
K I u u :
b) | = =
v u
K K v u
c)
u
K a I u A a e e - e / ,
Los elementos K
u
de la particin son subconjuntos no vacos de A, y estn asociados al
conjunto de subndices I; adems, elementos distintos del conjunto de ndices
determinan subconjuntos distintos de A; finalmente la condicin c) significa que la
unin de los subconjuntos de A que son elementos de la particin, es A.
Funcin Cannica
Sea ~ una relacin de equivalencia definida en un conjunto A, no vaco, quedar
entonces determinado el conjunto cociente
~
A
.
Aplicacin cannica es la funcin
~
:
A
A
Que asigna a cada elemento de A su clase de equivalencia, es decir, tal que
x
K x = ) (
Dos elementos equivalentes pertenecen a la misma clase, en consecuencia admiten la
misma imagen, es decir, la aplicacin cannica es no inyectiva, salvo el caso de las
clases unitarias. Por otra parte, como cada clase es no vaca, ocurre siempre que es
sobreyectiva, es decir
u u
K x A x
A
K = e - e ) ( / ,
~

Compatibilidad de una Relacin de Equivalencia con una Ley Interna
Sean | = A , ~ una relacin de equivalencia definida en A, y * una ley de composicin
interna en A. cabe preguntarse si la composicin de pares respectivamente equivalentes
conduce a resultados equivalentes. Si la respuesta es afirmativa, se dice que la relacin
de equivalencia es compatible con la ley de composicin interna.
~ es compatible con * a*b~a'*b' b~b' a~a' A b a b a . e : ' , ' , ,

Ejemplo: Investigamos la compatibilidad de la congruencia mdulo n con la adicin en Z
Sean
b' b~a' a b') (a' b) (a n b') (b a') (a n b' b n a-a' n b~b' a~a' + + + + + + . .
Hemos utilizado sucesivamente la definicin de congruencia mdulo n, el hecho de que si un nmero
divide a otros dos tambin divide a su suma, suma de dos diferencias, y finalmente la definicin de la
misma relacin de equivalencia.
Ejemplo: investigaremos ahora la compatibilidad de la congruencia mdulo n con la multiplicacin en Z.
Sean
11

' '
' '
) ' ' ( ' '
' ' ' '
' '
' '
' '
2 1 1 2
2
2 1 1 2
2 1
2 1
b ab~a
n b a ab
n k k k b k a n b a ab
n k k n k b n k a b a ab
n k b b n k a a
n k b b n k a a
n b b n a a b~b' a~a'
=
+ + =
+ + + =
+ = . + =
= . =
= . = .
`
` `

Teorema Fundamental de Compatibilidad
Si ~ es una relacin de equivalencia compatible con la ley de composicin interna * en
el conjunto no vaco A, entonces existe en el conjunto cociente
~
A
una nica ley de
composicin interna *, tal que la aplicacin cannica
~
:
A
A es un homomorfismo.
Adems, las propiedades de * en A se transfieren a * en
~
A

Ejemplo: Consideremos en Z la adicin y la multiplicacin. Sabemos que la congruencia mdulo n es
compatible con estas leyes de composicin internas. Fijemos en particular 3 = n ; el conjunto cociente es
ahora el de las clases de restos mdulo 3, es decir, } 2 , 1 , 0 {
3
= Z .
De acuerdo con el teorema fundamental de compatibilidad, existen en Z
3
sendas leyes de composicin
internas, nicas, tales que la aplicacin cannica
3
: Z Z es un homomorfismo. Las leyes inducidas
se llaman respectivamente, suma y producto de clases, que simbolizamos con y las tablas de estas
leyes internas en el conjunto de las clases son:

0 1 2
0 0 1 2
1 1 2 0
2 2 0 1

0 1 2
0 0 0 0
1 0 1 2
2 0 2 1
La construccin de esta tabla se hizo en base al teorema fundamental de compatibilidad, por ejemplo:
1 ) 1 ( ) 4 ( ) 2 2 ( ) 2 ( ) 2 ( 2 2
0 ) 0 ( ) 3 ( ) 2 1 ( ) 2 ( ) 1 ( 2 1
= = = = =
= = = + = =

En la prctica, se suman las preimgenes en Z (o bien se multiplican segn el caso); la suma se la divide
por 3, y se propone como resulta en Z
3
la clase correspondiente al resto de la divisin. El esquema que
proporciona validez a este procedimiento es el teorema anterior.

12 Estructuras Algebraicas

Estructuras Algebraicas
En su forma ms simple, una estructura algebraica es un objeto matemtico consistente
en un conjunto no vaco y una relacin o ley de composicin interna definidas en l. En
situaciones ms complicadas puede definirse ms de una LCI en el conjunto, y tambin
leyes de composicin externas. Segn sean las propiedades que cumplen dichas leyes de
composicin, se tienen distintos tipos de estructuras algebraicas, que son sistemas
axiomticos.
Estructura de Monoide
El par (M;*), donde | = M y * es una funcin, es un monoide si y slo si * es una Ley
de Composicin Interna en M.
Son ejemplos de monoides los conjuntos N, Z, Q, R y C, con la adicin ordinaria de elementos. No as
) ; ( N , ya que la resta no es LCI en N
Definicin de Neutro o Identidad
Sea ;*) (M un monoide. Se definen los elementos identidad (o neutro), a izquierda o
derecha, mediante:
1. M ee es identidad a Izquierda a a e M a a = e * :
2. M ee es identidad a Derecha a e a M a a = e * :
3. M ee es identidad, si y slo si lo es a Izquierda y Derecha
Clara est que los elementos de identidad, si existen, lo son respecto de *.
Unicidad: si ' e e . son neutros a derecha e izquierda del monoide, entonces ' e e = .
En efecto:
' ' * e e e e = =
Por ser e neutro a derecha y e neutro a izquierda.
Esto demuestra la unicidad del neutro, respecto de una LCI
Definicin de Inverso
Sea ;*) (M un monoide con neutro o identidad M ee .
1. M a e
1
es inverso a izquierda de M ae , respecto de *, si y slo si e a a = *
1
;
2. M a e
2
es inverso a derecha de M ae , respecto de *, si y slo si e a a =
2
* ;
3. a es inverso de a respecto de *, si y slo si lo es a izquierda y derecha, es decir
e a a a a = = '* ' *
Estructura de Semigrupo
El par (A;*), donde | = A y * es una funcin, es un semigrupo si y slo si * es ley
interna y asociativa en A.
En otras palabras un semigrupo es un Monoide Asociativo.
En particular, si la ley de composicin es conmutativa, se dice que es un semigrupo
conmutativo; y si existe el elemento neutro, se dice que el semigrupo tiene unidad.
El par ) ; ( + N es un semigrupo conmutativo sin identidad. Sin embargo ) ; (
0
+ N si posee identidad.
Estructura de Grupo
Sea un conjunto no vaco G, y una funcin *. El par ;*) (G es un grupo si y slo si * es
una ley interna en G, asociativa, con neutro y tal que todo elemento de G admita inverso
respecto de *.
13

Es decir, se deben cumplir los siguientes axiomas:
G1. G G : *
2

G2. Asociatividad: ) * ( * = * ) * ( : , , c b a c b a G c b a
G3. Existencia de Neutro: a e a a e G a G e = * = * : /
G4. Existencia de inversos: e a a a a G a G a = '* = ' * / ' ,
G5. Conmutatividad: a b b a G b a b a * = * , : .
El axioma 5 no es excluyente, pero si la LCI cumple con l, el Grupo se llama
Conmutativo o abeliano.
Ejemplo: sea
m n
el conjunto de las matrices reales de n filas por m columnas. Definimos la adicin de
matrices en
m n
mediante:
j i b a c C b a B A
ij ij ij ij ij
+ = / = ) ( + ) ( = +
Demostraremos que
m n
9 tiene estructura de grupo abeliano.
1) Ley de cierre: se verifica por definicin.
2) Asociatividad:
[ ]
) + ( + =
) + ( + ) ( =
]) + [ + ( =
) + ] + ([ =
) ( + ) + ( =
) ( + ) ( + ) ( = + ) + (
C B A
c b a
c b a
c b a
c b a
c b a C B A
ij ij ij
ij ij ij
ij ij ij
ij ij ij
ij ij ij

3) Elemento Neutro: existe la matriz
m n
N

9 e definida por j i n
ij
= 0 , tal que cualquiera
que sea A en dicho conjunto se verifica que
A A N N A = + = +
4) Inversa: la inversa aditiva de toda matriz
m n
A

9 e es la matriz
m n
B

9 e definida por
j i a b
ij ij
= , pues
N A B B A = + = +
5) Conmutatividad:
A B
a b
a b
b a
b a B A
ij ij
ij ij
ij ij
ij ij
+ =
+ =
+ =
+ =
+ = +
) ( ) (
) (
) (
) ( ) (

Propiedades de los grupos
1. Unicidad del Neutro y del Inverso: (demostrada en incisos anteriores);
2. Regularidad: Los elemento de todo grupo son regulares, c b c a b a = = * *
En efecto:
Sea
c a b a * * =
Componiendo a izquierda con a, inverso de a
) * '*( ) * '*( c a a b a a =
Aplicando propiedad asociativa

c a a b a a * ) '* ( * ) '* ( =
Por definicin de inverso
c e b e * * =
Por definicin de Neutro
c b =
Anlogamente se prueba la regularidad a derecha.
3. Ecuaciones en un grupo: sea ;*) (G un grupo. Entonces, cada una de las
ecuaciones a x b = * y a b x = * admite solucin nica.
En efecto: demostraremos para la primera ecuacin
Componiendo los dos miembros de la primera ecuacin con b
a b x b b '* ) * '*( =
Por asociatividad
a b x b b '* * ) '* ( =
Por definicin de inverso
a b x e '* * =
Por definicin de neutro
a b x '* =
La unicidad de la solucin se debe a la unicidad del inverso y al hecho de que * es
una funcin de G
2
en G.
Anlogamente se demuestra para la segunda ecuacin.
4. Inverso de la composicin: en todo grupo, el inverso de la composicin de dos
elementos, es igual a la composicin de los inversos en orden permutado, es
decir
' '* )' * ( a b b a =
En efecto:
Sea
) ' '* ( * ) * ( a b b a
Aplicando sucesivamente Asoc., Existencia de inverso, existencia de neutro y
existencia de inverso, se tiene
e a a a e a a b b a a b b a = = = = ' * ' * * ' * ) ' * ( * ) ' '* ( * ) * (
Con lo que
)' * ( ) ' '* (
)' * ( ) ' '* ( *
)'* * ( ) ' '* ( * ) * )'*( * (
) ' '* ( * ) * (
b a a b
b a a b e
e b a a b b a b a
e a b b a
=
=
=
=

Hemos aplicado sucesivamente: definicin de inverso y de neutro dos veces.
Subgrupos
El subconjunto no vaco H, del conjunto G, es un subgrupo, del grupo ;*) (G , si y slo
si ;*) (H es grupo.
Condicin suficiente para la existencia de subgrupo
Si H es un subconjunto no vaco del grupo ;*) (G , que verifica
H b a H b H a e e . e ' *
entonces ;*) (H es un subgrupo de ;*) (G .
En efecto: Debemos probar que se cumplen los axiomas de grupo para H
i Asociatividad: se verifica por ser G H c
15

ii El neutro pertenece a H.
H a H e - =|
Por hiptesis y definicin de inverso
H e H a a H a H a e e e . e ' *
iii Todo elemento de H admite inverso en H.
Sea H ae
Por II y por hiptesis
H a H a e H a H e e e e . e ' ' *
iv H es cerrado par la ley *
Sean H b H a e . e
Por III, por hiptesis y por inverso del inverso se tiene
H b a H b a H b H a H b H a e e e . e e . e * )' ' ( * '
Con I, II, III y IV queda demostrado que ;*) (H es un subgrupo de ;*) (G . En la prctica
basta con corroborar que
i | = H
ii G H c
iii Si dos elementos pertenecen al conjunto H, entonces el primero compuesto con
el inverso del segundo, debe pertenecer a H

Ejemplo: consideremos que ) ; (
2
+ R es grupo abeliano, lo que se puede probar mediante la verificacin
de que se cumplen los cinco axiomas. Y consideremos el conjunto
} 2 / ) ; {(
2
x y R y x H = e =
Comprobaremos que ) ; ( + H es subgrupo de ) ; (
2
+ R
i | = H ya que H e ) 2 ; 1 (
ii
2
R H c por definicin de H
iii Sean H d c H b a e . e ) ; ( ) ; ( debemos probar que H d c b a e + ) ; ( ) ; (
En efecto:
H d b c a c a d b c d a b H d c H b a e = = . = e . e ) ; ( ) ( 2 2 2 ) ; ( ) ; (
Por lo tanto se verifica que H d c b a e + ) ; ( ) ; (
Hemos utilizado la definicin de H, la sustraccin en R, la definicin de H y la suma de pares.
Ejemplo: anteriormente hemos demostrado que
m n
9 es un grupo abeliano. Por lo tanto tambin lo ser
el conjunto de matrices cuadradas con la suma. Ahora consideremos el conjunto H de las matrices
cuadradas, tales que
ji ij
a a =
} / {
ji ij
n n
a a A H = 9 e =

Resulta que ) ; ( + H es un subgrupo de ) ; ( + 9
n n
. En efecto:
i La matriz nula | = e H H N
ii
n n
H

9 c por definicin de H
iii Sean
H B A b a b a b b a a H B H A
ji ji ij ij ji ij ji ij
e + = = . = e . e ) (
Hemos aplicado la definicin de H, la sustraccin en R y las definiciones de suma de matrices y
matriz opuesta.
Con todo esto queda demostrado que ) ; ( + H es un subgrupo de las matrices simtricas n n .

Homomorfismo de Grupos
Sean dos grupos ;*) (G y ) ; ( - H , la funcin H G f : es un homomorfismo si y slo si
la imagen de la composicin en G es iguala la composicin de las imgenes en H. es
decir:
H G f : es homomorfismo ) ( ) ( ) * ( b f a f b a f - =
En particular el morfismo puede ser: monomorfismo, epimorfismo, endomorfismo,
isomorfismo o automorfismo.

Ejemplo: sean los grupos ) ; ( + R y ) }; 0 { ( R . La funcin
x
x f R R f 2 ) ( / } 0 { : = es un
homomorfismo. En efecto:
y x y x
y f x f y x f R y x 2 2 2 ) ( ) ( ) ( : = = + e
+

Propiedades
1) Si H G f : es un homomorfismo de grupos, entonces la imagen del neutro
del primer grupo es el neutro del segundo grupo.
Se trata de probar que ' ) ( e e f = , donde e es el neutro en H.
En efecto:
Cualquiera que sea G xe se verifica que
) ( ) * ( * x f e x f x e x = =
Por definicin de homomorfismo
) ( ) ( ) ( x f e f x f = -
Luego, como en ) ; ( - H existe un neutro (por axioma 3)
' ) ( ) ( ) ( e x f e f x f - = -
Aplicando ley cancelativa en H
' ) ( e e f =
2) Si H G f : es un homomorfismo de grupos, la imagen del inverso de todo
elemento de G es igual al inverso de la imagen. Es decir
1 1
)] ( [ ) (

= x f x f
Cualquiera que sea x en G, por G4
e x x =
1
*
Entonces
) ( ) * (
1
e f x x f =

Por definicin de Homomorfismo y por la propiedad anterior se tiene
' ) ( ) (
1
e x f x f = -

Luego
1 1
)] ( [ ) (

= x f x f
Ncleo de un Homomorfismo de Grupos
Ncleo del homomorfismo H G f : es la totalidad de los elementos de G, cuyas
imgenes por f se identifican con el neutro de H. Es decir
} ' ) ( / { ) ( e x f G x f N = e =

Ejemplo: sean los grupos ) ; ( + Z y ) ; (
5
Z , y la funcin x x Z Z = ) ( / :
5

Luego } 5 / { } 0 ) ( / { ) (
`
= e = = e = x Z x x Z x N
17


Propiedades
1) El ncleo de todo homomorfismo de grupos es un subgrupo del primero. Es
decir
);*) ( ( f N es un subgrupo de ;*) (G
En efecto:
i Por una propiedad del homomorfismo de grupos | = e = ) ( ) ( ' ) ( f N f N e e e f
ii G f N c ) ( por definicin de ) ( f N
iii Sean
) ( ) * ( ' = ) * (
' = ) ( ) ( ' = ) ( ' = ) (
' = )] ( [ ' = ) (
' = ) ( ' = ) ( ) (
1 1
1 1
1 1
f N b a e b a f
e b f a f e b f e a f
e b f e a f
e b f e a f f N b a

Por definicin de ncleo, imagen del inverso, inverso del neutro, composicin en H,
homomorfismo y definicin de ncleo.
En virtud de la condicin suficiente, resulta que );*) ( ( f N es un subgrupo de ;*) (G
2) El homomorfismo H G f : es inyectivo, es decir, un monomorfismo si y slo
si el ncleo es unitario.
Sea ) ( f N el ncleo del homomorfismo H G f :
i f es 1 a 1 } { ) ( e f N =
La demostracin es inmediata, pues si en el ncleo hubiera ms de un elemento,
estos tendran la misma imagen, luego f no sera inyectiva.
ii = } { ) ( e f N f es 1 a 1
En efecto: Sean G y x e . tales que ) ( ) ( y f x f =
Componiendo con el inverso de ) ( y f , en H
' ) ( ) (
)] ( [ ) ( )] ( [ ) (
1
1 1
e y f x f
y f y f y f x f
= -
- = -

Por definicin de homomorfismo
' ) * (
1
e y x f =

Por definicin de ncleo
) ( *
1
f N y x e

Por ser } { ) ( e f N =
e y x =
1
*
Componiendo a derecha con y
y x
y e x
y e y y x
=
=
=
*
* * *
1

Por lo tanto f es inyectiva
Imagen de un Homomorfismo de Grupos
Sea H G f : un morfismo de grupos. Imagen de un morfismo de grupos es la
totalidad de las imgenes de los elementos del primer grupo.

La imagen de un morfismo de grupos es la imagen de la funcin que lo define. Es decir
} / ) ( { ) ( G x H x f f I e e =
O bien
} ) ( / { ) ( y x f G x H y f I = . e - e =
Est claro que si el morfismo es un epimorfismo, es decir, f es sobreyectiva, entonces
H f I = ) ( .
Propiedad
La imagen de todo homomorfismo de grupos es un subgrupo del segundo.
En efecto:
i Como | = e = ) ( ) ( ' ' ) ( f I f I e e e f
ii H f I c ) ( por definicin de ) ( f I
iii Sean ) (
2 1
f I y y e .
Entonces, por definicin de imagen, G x x e . -
2 1
, tales que
2 2 1 1
) ( ) ( y x f y x f = . =
Por inversos en H
1
2
1
2 1 1
)] ( [ ) (

= . = y x f y x f
Por composicin en H
1
2 1
1
2 1
)] ( [ ) (

- = - y y x f x f
Por homomorfismo
1
2 1
1
2 1
) * (

- = y y x x f
Y como G x x e
1
2 1
* , por definicin de imagen, se tiene
) (
1
2 1
f I y y e -

En consecuencia, por la condicin suficiente para la existencia de subgrupo, se tiene
que ) ); ( ( - f I es un subgrupo de ) ; ( - H .
Relacin de Equivalencia Compatible
Sean ;*) (G un grupo, y ~ una relacin de equivalencia en G. Sabemos que ~ es
compatible con * si y slo si
a*c~b*d c~d a~b .
Teorema Fundamental de Compatibilidad
Si ~ es una relacin de equivalencia compatible con la ley interna del grupo ;*) (G ,
entonces existe en el conjunto cociente
~
G
una nica ley de composicin interna - , tal
que la aplicacin cannica
~
:
G
G f es un homomorfismo, y adems
|
.
|
\
|
;*
~
G
es
grupo.
Este teorema es corolario del TFC visto en Relaciones de Equivalencia
Grupo Cociente
El grupo
~
G
al que se refiere el teorema anterior se llama Grupo Cocientede G por la
relacin de equivalencia compatible con *.
19

Ejemplo: Consideremos el grupo aditivo de las clases de restos mdulo n. En este caso
{ } 1 , , 2 , 1 , 0 = n Z
n
.
Se puede demostrar que la congruencia mdulo n es compatible con la adicin en Z; entonces, por el
teorema fundamental de compatibilidad, se tiene en el conjunto cociente Z
n
una nica ley de composicin
interna inducida, llamada suma de clases, tal que la aplicacin cannica
n
Z Z f : es un
homomorfismo, siendo ) ; (
n
Z el grupo aditivo de las clases de restos mdulo n.
Para sumar dos clases en Z
n
procedemos as
) ( ) ( ) ( v u f v f u f v u + = = C
Dividiendo v u + y n se obtienen q y r, tales que
n r r nq v u < s . + = + 0 C
De C y C
r r f r nq f v u = = + = ) ( ) (
Ya que
r v u r v u n nq r v u ~ ) ( ) ( | ) ( + + = +
Subgrupos Distinguidos
El subgrupo ;*) (H de ;*) (G es distinguido si y slo si existe un grupo ) ; ' ( - G y un
homomorfismo ' : G G f , cuyo ncleo es H. Es decir
G H c es distinguido ' G grupo, y ' : G G f homomorfismo / H f N = ) (
Subgrupos distinguidos de todo grupo ;*) (G son el mismo G y {e}. En efecto en el
primer caso la aplicacin
G G f : definida por G x e x f e = , ) (
Es un homomorfismo, ya que
) ( * ) ( * ) * ( b f a f e e e b a f = = =
Adems se verifica que G f N = ) ( , pues e x f G x = e ) ( :
En el segundo caso, basta con definir G G f : mediante x x f = ) ( G xe , y se tiene
un homomorfismo, ya que
) ( * ) ( * ) * ( b f a f b a b a f = =
y como } { ) ( e f N = , resulta que {e} es subgrupo distinguido de G.
Ejemplo: sean ) ; ( + Z el grupo aditivo de los enteros y el subconjunto H, de los mltiplos de 3
} | 3 / { x Z x H e =
Si consideramos la congruencia mdulo 3 en Z, entonces la aplicacin cannica
3
: Z Z f
es un homomorfismo de ) ; ( + Z en ) ; (
3
+ Z cuyo ncleo es, precisamente, H. en este caso decimos que H
es subgrupo distinguido de Z.
Grupo Cclico
Generadores de un Grupo
Subgrupo generado por el conjunto no vaco G S c es la interseccin de todos los
subgrupos que contienen a S
Si S es el subgrupo generado por S, entonces podemos escribir
S H
i
i
H S
=
donde H
i
es un subgrupo de G, que contiene a S

Si G S = , entonces se dice que S es un generador de G
Grupo Cclico
El grupo ;*) (G es un grupo cclico si y slo si es generado por un elemento.
Es decir
G es cclico } { / a G G a = e -
Diremos que el grupo cclico G, generado por a, es infinito si y slo si no existe un
entero positivo m tal que e a a a a a
m
= = .
Si n es el menor entero positivo que verifica que e a
n
= , entonces el grupo G consiste
en n elementos distintos
1 2
; ; ; ;
n
a a a e .
y se dice que es cclico de orden n.

El elemento G ae es de orden infinito si y slo si el subgrupo generado por a es de
orden infinito.
El elemento G ae es de orden n (Natural) si y slo si el subgrupo generado por a es
de orden n.
Ejemplo:
i El grupo ) ; ( + Z es cclico, pues est generado por el entero 1, y su orden es infinito, pues no
existe ningn nmero natural n que verifique:
0 1 1 1 = + + +
_

n

ii El grupo ) ; (
n
Z es cclico, ya que est generado por 1 , y de orden n pues
0 1 1 1 =
_

n

Estructura de Anillo
Sean un conjunto no vaco A y las funciones: * y
La terna ) ;*; (A es un anillo si y slo si
1. El conjunto con la primera ley es grupo abeliano
2. el conjunto con la segunda ley es semigrupo
3. la segunda ley es doblemente distributiva respecto de la primera.
Redefinimos ahora para dos leyes: la aditiva y la multiplicativa, que se suelen denotar
+ y ., respectivamente.
La terna ) ; ; ( + A es un anillo si y slo si
1. ) ; ( + A es grupo abeliano;
2. ) ; ( A es semigrupo;
3. El producto es distributivo a izquierda y derecha respecto de la suma.
Estas condiciones se traducen en los siguientes axiomas:
A
1
: La adicin es ley de composicin interna en A
A b a A b A a b a e + e . e :
A
2
: La adicin es asociativa en A
) ( ) ( : c b a c b a A c b a + + = + + e
A
3
: Existe el neutro en A, denotado con 0, respecto de la adicin
a a a A a A = + = + e e - 0 0 : / 0
21

A
4
: Todo elemento de A admite inverso aditivo u opuesto
0 ) ( ) ( / , = + = + e - e a a a a A a A a
A
5
: La adicin es Conmutativa
a b b a A b a + = + e :
A
6
: El producto es LCI en A
A b a A b A a b a e e . e :
A
7
: El producto es asociativo en A
) ( ) ( : c b a c b a A c b a = e
A
8
: El producto es doblemente distributivo respecto de la suma
+ = +
+ = +
e
) ( ) ( ) (
) ( ) ( ) (
:
a c a b a c b
c a b a c b a
A c b a
Si adems ocurre que la segunda ley es conmutativa, diremos que el anillo es
conmutativo. Si existe elemento neutro o identidad que denotamos con 1, entonces se
llama Anillo con neutro o identidad. Un anillo con identidad cuyos elementos no nulos
son inversibles se llama anillo de divisin.
Ejemplo: clasifiquemos las siguientes ternas
i ) ; + ; (N no es anillo porque no tiene neutro respecto de la suma (A
3
);
ii ) ; + ; (
0
N no es anillo porque los elementos no nulos carecen de inverso aditivo;
iii ) ; + ; (Z es anillo conmutativo con unidad

Propiedades de los Anillos
1) El producto de cualquier elemento de un anillo por el neutro para la primera
ley es igual a ste.
0 = 0 = 0 : a a A a
En efecto:
Cualquiera que sea x en A se verifica, por A
3

x x = 0 +
Premultiplicando por a
x a x a = ) 0 + (
Por distributividad (A
8
)
x a a x a = + 0
En virtud de A
3

0 0 + = + x a a x a
Por ley cancelativa en el grupo ) ; ( + A
0 0 = a
Anlogamente se demuestra que 0 0 = a
Esta propiedad suele enunciarse as: en todo anillo, el producto por cero es cero

2) En todo anillo, el producto del opuesto de un elemento por otro es igual al
opuesto de su producto.
) ( ) ( ) ( : b a b a b a A b a = = e
En efecto:
Por distributividad, A
4
y producto por 0, se tiene
0 0 ) ( ) ( = = + = + b b a a b a b a
Es decir
0 ) ( = + b a b a

Luego
) ( ) ( b a b a =

3) En todo anillo el producto de los opuestos de dos elementos es igual al producto
de los mismos.
b a b a A b a = e ) ( ) ( :
En efecto:
Aplicando reiteradamente la propiedad anterior y el opuesto del opuesto
b a b a b a b a = = = )] ( [ )] ( [ ) ( ) (
4) En todo anillo vale la distributividad del producto respecto de la diferencia
c a b a c b a = ) (
En efecto:
En virtud de A
8
y de la propiedad 2)
c a b a c a b a c a b a c b a c b a = + = + = + = )] ( [ ) ( )] ( [ ) (
Anillo sin divisores de cero
El anillo ) ; ; ( + A no tiene divisores de cero si y slo si elementos no nulos dan producto
no nulo.
) ; ; ( + A carece de divisores de cero 0 0 0 : = = . = y x y x y x
Equivalentemente, por medio de implicaciones contrarecprocas se tiene
) ; ; ( + A carece de divisores de cero 0 0 0 : = v = = y x y x y x
Negando el antecedente y el consecuente del bicondicional que expresa simblicamente
la definicin, se tiene
) ; ; ( + A tiene de divisores de cero 0 0 0 / = . = . = - - y x y x y x
El anillo ) ; ; ( + A tiene divisores de cero si y slo si existen elementos no nulos que dan
producto nulo.
Propiedades
1. El anillo ) ; ; ( +
n
Z no tiene divisores de cero si y slo si n es primo.
Por definicin el nmero natural 1 > n es primo si y slo si los nicos divisores que
naturales que admite son l mismo y la unidad, es decir, n y 1. Decimos que 1 > n es
compuesto si y slo si y x n = siendo n y n x < < . < < 1 1 .
i Si ) ; ; ( +
n
Z no tiene divisores de cero, entonces n es primo
Supongamos que n es compuesto, es decir
y x n = donde n y n x < < . < < 1 1 C
Si
n
Z Z f : es la aplicacin cannica, se tiene
) ( ) ( y x f n f =
Como f es morfismo respecto del producto
) ( ) ( ) ( y f x f n f = C
De acuerdo con C
y y f x x f = . = ) ( ) ( C
Adems, como n ~ 0, por definicin de aplicacin cannica e imagen del neutro por
un homomorfismo, es
0 ) 0 ( ) ( = = f n f C
De C, C y C
0 0 0 = . = . = y x y x
23

Lo que dice que en Z
n
hay divisores de cero, contra la hiptesis
ii Si n es primo, entonces ) ; ; ( +
n
Z no tiene divisores de cero
Sean 0 / = e . y x Z y x
n
se trata de probar que 0 0 = v = y x
Por definicin de aplicacin cannica, la igualdad anterior se escribe
) 0 ( ) ( ) ( f y f x f =
Por ser f un morfismo
) 0 ( ) ( f y x f =
Por definicin de funcin cannica
0 ~ y x
Por definicin de congruencia mdulo n
y x n |
Pero si un nmero divide a un producto, entonces divide a uno de los dos factores
y n x n | | v
Es decir
0 0 y~ x~ v
En consecuencia
0 0 = v = y x

Ejemplo: consideremos los siguientes casos
1) El producto de clases en Z
3

0 1 2
0 0 0 0
1 0 1 2
2 0 2 1
Z
3
no tiene divisores de cero, pues 0 0 0 = v = = y x y x
2) El producto de clases en Z
6

0 1 2 3 4 5
0 0 0 0 0 0 0
1 0 1 2 3 4 5
2 0 2 4 0 2 4
3 0 3 0 3 0 3
4 0 4 2 0 4 2
5 0 5 4 3 2 1
Z
6
tiene divisores de cero, pues por ejemplo 0 2 3 =
2. Ley Cancelativa del Producto: un anillo no tiene divisores de cero si y slo si
vale la ley cancelativa del producto para todo elemento no nulo del mismo.
En efecto:
i ) ; ; ( + A carece de divisores de cero, entonces vale la ley cancelativa
y x z z y z x = = . = 0
Por hiptesis
z y z x =
Por transposicin en ) ; ( + A
0 = z y z x
Por distributividad

0 ) ( = z y x
Como no existen divisores de cero y 0 = z resulta
y x y x = = 0
ii En ) ; ; ( + A vale la ley cancelativa, entonces no tiene divisores de cero.
0 0 0 , 0 = v = = . = = . = y x y x b a c c b c a
Supongamos que 0 = y , debe ser necesariamente 0 = x
Por A
3
, cualquiera que sea A z e , se cerifica
0 + = y z y z
Como por hiptesis se tienen que 0 = y x
y x y z y z + =
Por distributividad
y x z y z + = ) (
Por ley cancelativa, ya que 0 = y , resulta
x z z + =
Es decir
0 = x

Ejemplo: sea
n n
9 el conjunto de todas las matrices reales de n filas y n columnas, probaremos que
) ; ; ( + 9
n n
es anillo
A
1
:
n n n n n n
B A B A

9 e + 9 e . 9 e
A
2
: ) ( ) ( C B A C B A + + = + +
A
3
: A N A A N A N
n n n n
= + = + 9 e 9 e -

: /
A
4
: N A A A A A A
n n n n
= + = + 9 e - 9 e

) ( ) ( / ,
A
5
: A B B A + = +
A
6
:
n n n n n n
B A B A

9 e 9 e . 9 e
A
7
: A A I I A A I
n n n n
= = 9 e 9 e -

: /
A
8
: CA BA A C B AC AB C B A + = + . + = + ) ( ) (
Se trata del anillo no conmutativo, con identidad, de las matrices cuadradas de orden n n . Podemos
verificar la existencia de divisores de cero para el caso particular ) ; ; (
2 2
+ 9

. En efecto:
0
0 1
0 1
0 0
1 1
=
|
|
.
|
\
|
= . =
|
|
.
|
\
|
= B N A y sin embargo
N AB =
|
|
.
|
\
|
=
0 0
0 0

Dominio de Integridad
Todo anillo conmutativo, con unidad y sin divisores de cero, se llama dominio de
integridad.
Las ternas ) ; ; ( + Z , ) ; ; ( + R y ) ; ; (
3
+ Z son dominio de integridad. Si P es el conjunto de
los enteros pares, entonces ) ; ; ( + P es anillo conmutativo, sin divisores de cero y sin
identidad; en consecuencia no es dominio de integridad.
Subanillos
Sea ) ; ; ( + A un anillo. Un subanillo de ) ; ; ( + A es una parte no vaca de A, que tiene
estructura de anillo con las mismas leyes de composicin. Es decir:
25

El subconjunto no vaco A S c es un subanillo de ) ; ; ( + A si y slo si ) ; ( + S es
subgrupo de ) ; ( + A , y adems S es cerrado con respecto al producto.
Resulta obvio que una parte no vaca A S c es un subanillo de ) ; ; ( + A si y slo si para
todo par de elementos A b A a e . e se verifica que A b a A b a e . e

Ejemplo: sea Z ae . Entonces el conjunto de todos los mltiplos enteros de a
} / { Z k a k S e =
es un subanillo de ) ; ; ( + Z .
En efecto:
a k y ka x S y S x ' = . = e . e
Luego
a k a k k a k ka y x ' ' ) ' ( ' = = =
Es decir
S y x e C
Por otra parte
S y x a k a kak y x a k y ka x S y S x e = = = . = e . e ' ' ) ' ( ' C
De C y C ) ; ; ( + S es un subanillo de ) ; ; ( + Z
Ideales
Sea ) ; ; ( + I un subanillo de ) ; ; ( + A :
i El subanillo I es ideal a la izquierda de A si y slo si
I a x I a A x e e . e
ii El subanillo I de A es un ideal a derecha de A si y slo si
I x a A x I a e e . e
iii El subanillo I de A es un ideal de A si y slo si es un ideal a izquierda y a
derecha de A.
En el caso de anillos conmutativos no es necesario distinguir entre ideal a izquierda o a
derecha.
Las condiciones que se imponen al subconjunto A I c , para que sea un ideal, son las
siguientes:
1) | = I
2) I b a I b I a e e . e
3) I b a I b I a e e . e
4) I a x I x a A x I a e . e e . e
Todo anillo ) ; ; ( + A admite dos ideales: A y {0}, y son llamados ideales triviales. Todo
otro ideal, si existe, se llama ideal propio no trivial.
Ejemplo: sea el anillo ) ; ; ( + Z y sea } 3 / {
`
= e = x Z x S . Probar que S es subanillo de Z
1) Z S c por definicin de S
2) S y x y x k k y x k y k x S y S x e = = = . = e . e 3 ) ' ( 3 ' 3 3
`

3) S y x y x k k y x k y k x S y S x e = = = . = e . e 3 ) ' 3 ( 3 ' 3 3
`

4) S x a S a x k a x a a k a x k x a a S x Z a e . e = . = = . = e . e 3 3 3

Estructura de Cuerpo
Un anillo con unidad cuyos elementos no nulos son invertibles se llama anillo de
divisin. Todo anillo de divisin conmutativo es un cuerpo.

La terna ) ; ; ( + K es un cuerpo si y slo si es un anillo conmutativo, con unidad, cuyos
elementos no nulos admiten inverso multiplicativo.
Los axiomas que caracterizan la estructura de cuerpo son:
1) ) ; ( + K es grupo abeliano;
2) ) }; 0 { ( K es grupo abeliano;
3) El producto es distributivo respecto de la suma

Ejemplo:
La terna ) ; ; ( + Z no es cuerpo, pues los nicos elementos no nulos que admiten inverso multiplicativo
son 1 y -1.
En cambio ) ; ; ( + Q , ) ; ; ( + R , ) ; ; ( + C y ) ; ; ( +
n
Z con n primo, son cuerpos
Propiedades de los Cuerpos
Sea ) ; ; ( + K un cuerpo
1) Los cuerpos no admiten divisores de cero
Sean 0 / = e . e xy K y K x C
Si 0 = x nada hay que demostrar, pues la proposicin 0 0 = v = y x es V.
Consideremos el caso 0 = x . Por definicin de cuerpo existe
1
x
Multiplicando C por
1
x
0 ) (
1 1
= x xy x
Por asociatividad, producto por cero y neutro del producto se tiene
0 = y
2) En todo cuerpo vale la ley cancelativa del producto para todo elemento no nulo
del mismo.
3) Si 0 = b la ecuacin a bx = admite solucin nica en K.
Sea
a bx = con 0 = b
Multiplicando por
1
b
a b bx b
1 1
) (

=
Por asociatividad y conmutatividad resulta
1 1
) (

= ab x b b
Es decir
b
a
ab x = =
1

Esta solucin es nica de la ecuacin propuesta. En efecto, sea y otra solucin; esto
significa que
a by = y como a bx = se tiene
0 ) ( 0 = = x y b bx by
Y como 0 = b , entonces y x =
4) El recproco del opuesto de todo elemento no nulo es igual al opuesto de su
recproco
De acuerdo con la propiedad del producto de los opuestos de dos nmeros y por
inverso multiplicativo, se tiene
1 ) ( )] ( [
1 1
= =

x x x x
Multiplicando por
1
) (

x
27

1 1 1
) ( 1 ) )( )( (

= x x x x
Por asociatividad e inverso multiplicativo, resulta
1 1
) ( ) (

= x x
5) En todo cuerpo se verifica
yz xw
w
z
y
x
= =
En efecto:
yz xw yw zw yw xy zw xy
w
z
y
x
= = = =
1 1 1 1

Hemos aplicado sucesivamente definicin de inverso multiplicativo, multiplicamos
miembro a miembro por yw, propiedad asociativa y conmutativa del producto,
definicin de inverso y neutro.
28 Nmeros Complejos

Nmeros Complejos
Ecuaciones sin Solucin en R
El ejemplo ms comn al momento de ilustrar las ecuaciones sin soluciones reales es
0 1
2
= + x
ya que cualquiera que sea R xe , se verifica que 0
2
> x y por lo tanto
0 1
2
> + x
De modo ms general, la ecuacin 0
2
= + + c bx ax , cuyas races se pueden calcular por
a
ac b b
x
2
4
2

=
Dichas races no sern reales si y slo si el discriminante 0 4
2
< ac b .
Se hace necesaria la ampliacin del conjunto de los nmeros reales a un conjunto en el
cual puedan resolverse situaciones del tipo anterior, de manera que R sea isomorfo a
una parte de l. Tal conjunto es el de los nmeros complejos.
Relacin de Equivalencia en R
2
y Nmeros Complejos
En el conjunto R
2
, de todos los pares ordenados de nmeros reales, definimos la
relacin ~ mediante
d b c a d c b a = . = ) ; ( ~ ) ; (
Esta relacin es la identidad, y obviamente es de equivalencia; se traduce en el siguiente
enunciado: dos pares ordenados de nmeros reales son equivalentes si y slo si son
idnticos.
Cada clase de equivalencia es unitaria, y se identifica con el par ordenado
correspondiente, es decir
)} ; {(
) ; (
b a K
b a
=
La identificacin que proponemos nos permite escribir
) ; (
) ; (
b a K
b a
=
Definicin de Nmero Complejo
Nmero complejo es todo par ordenado de nmeros reales, es decir,
2
R C =
} / ) ; {( R b R a b a C e . e =
La notacin usual para un nmero complejo es ) ; ( b a z =

La primera componente del par ordenado recibe el nombre de parte real y la segunda
parte imaginaria. Las notaciones son
b z a z = . = ) Im( ) Re(
Introduciendo en un sistema de ejes coordenados,
los nmeros complejos se corresponden con los
puntos del plano. Abscisa de cada punto es la parte
real y la ordenado es la parte imaginaria. Por otro
lado, a cada complejo le est asociado un vector
con origen en el origen del sistema de coordenadas,
y cuyo extremo es el punto determinado por el par
ordenado correspondiente.
29

Los complejos de parte imaginaria nula, es decir ) 0 ; (a son puntos sobre el eje de las
abscisas, y son llamados complejos reales. Mientras que los complejos de parte real
nula son puntos sobre el eje de las ordenadas, y son llamados complejos imaginarios.
Operaciones con Complejos
En
2
R C = se define la adicin y la multiplicacin mediante
1) ) ; ( ) ; ( ) ; ( d b c a d c b a + + = +
2) ) ; ( ) ; ( ) ; ( bc ad bd ac d c b a + =
Estas leyes de composicin interna en C verifican las siguientes propiedades:
i ) ; ( + C es grupo abeliano
En efecto:
G
1
:
2 2
) ; ( ) ; ( ) ; ( : ) ; ( ), ; ( R d b c a d c b a R d c b a e + + = + e

G
2
: )] ; ( ) ; [( ) ; ( ) ; ( )] ; ( ) ; [( : ) ; ( ), ; ( ), ; (
2
f e d c b a f e d c b a R f e d c b a + + = + + e
Aplicando la definicin de suma de complejos verificaremos que se cumple la
igualdad:
) ; ( ) ; (
) ; ( ) ; ( ) ; ( ) ; (
)] ; ( ) ; [( ) ; ( ) ; ( )] ; ( ) ; [(
f d b e c a f d b e c a
f d e c b a f e d b c a
f e d c b a f e d c b a
+ + + + = + + + +
+ + + = + + +
+ + = + +

G
3
: ) ; ( ) ; ( ) 0 ; 0 ( ) 0 ; 0 ( ) ; ( : ) ; ( / ) 0 ; 0 (
2 2
b a b a b a R b a R = + = + e e -
En efecto: sea
) ; ( ) ; ( ) ; /( ) ; ( b a y x b a y x = +
Por definicin de suma
) ; ( ) ; ( b a y b x a = + +
Por igualdad de complejos se tiene
0 =
=
= +
x
a a x
a x a
y
0 =
=
= +
y
b b y
b y b

G
4
: ) 0 ; 0 ( ) ; ( ) ; ( ) ; ( ) ; /( ) ; ( ), ; ( = + = + = - = b a b a b a b a b a z b a z
En efecto: sea
) 0 ; 0 ( ) ; ( ) ; /( ) ; ( = + y x b a y x
Por suma de pares es
) 0 ; 0 ( ) ; ( = + + y b x a
a x
a x
x a
=
=
= +
0
0
y
b y
b y
y b
=
=
= +
0
0

G
5
: ) ; ( ) ; ( ) ; ( ) ; ( : ) ; ( ), ; (
2
b a d c d c b a R d c b a + = + e
En efecto:
) ; ( ) ; ( ) ; ( ) ; ( ) ; ( ) ; ( b a d c b d a c d b c a d c b a + = + + = + + = +
30 Nmeros Complejos

Hemos aplicado sucesivamente: definicin de suma de complejos, conmutatividad
de la suma en R y definicin de suma de complejos.
ii ) }; 0 { ( C es grupo abeliano
En efecto:
G
1
: Si C zz C z C z e e . e ' '

G
2
: Asociatividad
) ' ' ' ' ' ' ' ' ' ' ' ' ; ' ' ' ' ' ' ' ' ' ' ' ' (
) ' ' ; ' ' )( ' ' ; ' ' ( ) ' ' ; ' ' )]( ' ; ' )( ; [( ' ' ) ' (
ba a a ab b bb b aa bb a b ab a bb a aa
b a b a ab bb aa b a b a b a z zz
+ + =
= + = =
C
) ' ' ' ' ' ' ' ' ' ' ' ' ; ' ' ' ' ' ' ' ' ' ' ' ' (
) ' ' ' ' ' ' ; ' ' ' ' ' ' )( ; ( )] ' ' ; ' ' )( ' ; ' )[( ; ( ) ' ' ' (
ba a a ab b bb b aa bb a b ab a bb a aa
b a b a b b a a b a b a b a b a z z z
+ + =
= + = =
C
De C y C se deduce que
) ' ' ' ( ' ' ) ' ( z z z z zz =

G
3
: El elemento neutro del producto es el complejo ) 0 ; 1 ( . En efecto, si ) ; ( y x z = es
neutro para el producto debe satisfacer que C b a e ) ; (
) ; ( ) ; )( ; ( ) ; )( ; ( b a b a y x y x b a = =
Por definicin de producto
) ; ( ) ; ( b a bx ay by ax = +
Por igualdad de complejos
= +
=
b ay bx
a by ax

Resolviendo el sistema por el mtodo del determinante
b b
a a
y
a b
b a
x
a b
b a
= A .
= A
= A ;
Luego, si ) 0 ; 0 ( ) ; ( = b a , pues ) }; 0 { ( ) 0 ; 0 ( e C
0 1
2 2 2 2
2 2
=
+
=
A
A
= . =
+
+
=
A
A
=
b a
ab ab y
y
b a
b a x
x
Resulta ) 0 ; 1 ( ) ; ( = y x que satisface G
3
para todo C b a e ) ; ( .

G
4
: Todo complejo no nulo admite inverso multiplicativo
Sea ) 0 ; 0 ( ) ; ( = = b a z . Si existe ) ; (
1
y x z =
debe satisfacer
) 0 ; 1 (
1 1
= =

z z z z
Es decir
) 0 ; 1 ( ) ; )( ; ( ) ; )( ; ( = = b a y x y x b a
Efectuando el producto
) 0 ; 1 ( ) ; ( = + bx ay by ax
Por igualdad de nmeros complejos resulta
= +
=
0
1
ay bx
by ax

Resolviendo el sistema
31

b
b
a
y
a
a
b
x
b a
a b
b a
= = A
=
= A
= + =
= A
0
1
0
1
0
2 2

Luego
2 2 2 2
b a
b y
y
b a
a x
x
+
=
A
A
= .
+
=
A
A
=
O sea
|
.
|
\
|
+
+
=
2 2 2 2
1
;
b a
b
b a
a
z

G
5
: Conmutatividad
) ' ' ; ' ' ( ) ' ; ' )( ; ( ' ba ab bb aa b a b a zz + = = C
) ' ' ; ' ' ( ) ; )( ' ; ' ( ' a b b a b b a a b a b a z z + = = C
De C y C, y por conmutatividad del producto en reales, se tiene
z z zz ' ' =
iii El producto es distributivo respecto de la suma
En efecto:
' ' ' ' '
) ' ' ; ' ' )( ' ; ' ( ) ' ' ; ' ' )( ; (
) ' ' ' ' ' ' ; ' ' ' ' ' ' ( ) ' ' ' ' ; ' ' ' ' (
) ' ' ' ' ' ' ' ' ' ' ; ' ' ' ' ' ' ' ' ' ' (
) ' ' ; ' ' )( ' ; ' ( ) ' ' ; ' ' )]( ' ; ' ( ) ; [( ' ' ) ' (
z z zz
b a b a b a b a
b a b a b b a a ba ab bb aa
a b ba b a ab b b bb a a aa
b a b b a a b a b a b a z z z
+ =
+ =
= + + + =
= + + =
= + + = + = +

Por adicin en C, multiplicacin en C y conmutatividad de la suma de reales.

De i, ii y iii, se deduce que ) ; ; ( + C es un Cuerpo y cada elemento, es decir, cada nmero
complejo es un escalar.
Isomorfismo de los Complejos Reales en los Reales
Sea } 0 / ) ; {( = e = b C b a C
R
el conjunto de los complejos de parte imaginaria nula. La
funcin a a f R C f
R
= ) 0 ; ( / : asigna a cada complejo real su primera componente.
La aplicacin f es obviamente biyectiva, y adems, un morfismo de C
R
en R respecto de
la adicin y la multiplicacin. En efecto: sean ) 0 ; ' ( ' ) 0 ; ( a z a z = . = , entonces
) ' ( ) (
) ' ( ) ( '
) 0 ; ' ( )] 0 ; ' ( ) 0 ; [( ) ' (
z f z f
a f a f a a
a a f a a f z z f
+ =
+ = + =
= + = + = +

Por otra parte
) ' ( ) (
) ' ( ) ( '
) 0 ; ' ( )] 0 ; ' )( 0 ; [( ) ' (
z f z f
a f a f aa
aa f a a f zz f
=
= = =
= =

32 Nmeros Complejos

En consecuencia, f es un isomorfismo de C
R
en R respecto de la adicin y la
multiplicacin. El isomorfismo nos permite identificar a cada complejo real con el real
correspondiente, es decir, a a = ) 0 ; ( .
Forma Binmico de un Complejo
Unidad Imaginaria
El complejo imaginario de segunda componente igual a 1, se llama unidad imaginaria y
se denota por
) 1 ; 0 ( = i
La multiplicacin de un complejo real por la unidad imaginaria permuta las
componentes de aqul, es decir lo transforma en un complejo imaginario. En efecto
) ; 0 ( ) 0 0 1 ; 1 0 0 ( ) 1 ; 0 ( ) 0 ; ( ) 0 ; ( b b b b i b = + = =
Y por el isomorfismo de los complejos reales en los reales, se tiene
) ; 0 ( b bi =
Las potencias sucesivas de la unidad imaginaria son
i i i i i
i
i i
i
= = =
= = =
=
=
) 1 (
1 ) 0 ; 1 ( ) 1 ; 0 )( 1 ; 0 (
1
2 3
2
1
0

Si el exponente es de la forma 4k con Z k e , se tiene 1 1 ) (
4 4
= = =
k k k
i i .
En general, si el exponente de i es N ae , al efectuar la divisin por 4 se tiene
r q a + = 4 , donde 4 0 < s r . En consecuencia
r r r q r q a
i i i i i i = = = =
+
1
4 4

y este clculo se reduce a uno de los cuatro considerados en primer trmino.
Forma Binmica de un Complejo
Sea ) ; ( b a z = un nmero complejo.
Por definicin de suma
) ; 0 ( ) 0 ; ( b a z + =
Por isomorfismo de los complejos reales en reales y por definicin de unidad
imaginaria, se tiene
bi a z + =
Complejos Conjugados
Conjugado de bi a z + = es el nmero complejo
bi a z = . Es decir, dos complejos son conjugados si y
slo si tienen la misma parte real y sus partes
imaginarias son nmeros opuestos.
El smbolo z se lee conjugado de z o z conjugado
Dado bi a z + = se tiene bi a z = y bi a z + = , es decir,
que el conjugado del conjugado de un nmero complejo
es igual a ste (involucin). Los complejos z y z se
llaman conjugados.
Dos complejos conjugados caracterizan puntos
simtricos respecto del eje real.
33

Propiedades
1) La suma de dos complejos conjugados es igual al duplo de la parte real.
En efecto: sea bi a z + = , entonces
) Re( 2 2 ) ( ) ( z a bi a bi a z z = = + + = +
2) El producto de dos complejos conjugados es un nmero real no negativo.
En efecto:
2 2 2 2
) ( ) )( ( b a bi a bi a bi a z z + = = + =
Como a y b son nmeros reales resulta
0 > . e z z R z z
3) Un nmero complejo es real si y slo si es iguala su conjugado
z z R z = e
En efecto:
i z z a z a z i a z R z = = . = + = e 0
ii R z b bi bi bi bi a bi a z z e = = = = + = 0 0 2
Automorfismo en C
La funcin z z f C C f = ) ( / : es un automorfismo en C.
En efecto:
i f es inyectiva. Sean z y z en C, tales que ) ' ( ) ( z f z f =
i b a bi a z z z f z f ' ' ' ) ' ( ) ( = = =
Por igualdad de complejos resulta que ' ' b b a a = . = ; o sea ' z z =
ii f es sobreyectiva. Para todo C bi a w e + = , existe bi a z = , tal que
w bi a bi a f z f = + = = ) ( ) (
iii f es un morfismo respecto de la adicin, pues
) ' ( ) ( '
) ' ' ( ) ( ) ' ( ) ' (
) ' ( ) ' ( ) ' ' ( ) ( ' ) ' (
z f z f z z
i b a bi a i b b a a
i b b a a i b a bi a z z z z f
+ = + =
+ = + + =
= + + + = + + + = + = +

Por definicin f y suma en C.
iv f es un morfismo respecto de la multiplicacin, ya que
) ' ( ) (
' ) ' ' )( ( ) ' ' ( ) ' ' (
) ' ' ( ) ' ' ( ) ' ' )( ( ' ) ' (
z f z f
z z i b a bi a i ba ab bb aa
i ba ab bb aa i b a bi a zz zz f
=
= = + =
= + + = + + = =

Las propiedades iii y iv se traducen en el siguiente enunciado: el conjugado de la suma
de dos complejos es igual a la suma de los conjugados de los mismos y el producto
de los conjugados de dos complejos es igual al producto de los conjugados de los
mismos
' '
' '
z z z z
z z z z
=
+ = +

Ejemplo: determinar los complejos yi x z + = que satisfacen:
i z z =
0 ) ( = = . = = + x y y x x yi x yi x
Es decir, los nicos que satisfacen dicha identidad son los complejos puros

ii 1 = z z
34 Nmeros Complejos

1 ) ( 1 ) )( (
2 2
= + + + = + i yx xy y x yi x yi x
Es decir, 1
2 2
= + y x , responde a una circunferencia con centro en el origen y radio unitario.

Mdulo de un Complejo
Mdulo de un complejo bi a z + = es la raz cuadrada no negativa de la suma de los
cuadrados de las partes real e imaginaria.
2 2
| | b a z + =
El mdulo de un complejo es la distancia del punto correspondiente al origen.

Propiedades del Mdulo
1) El mdulo de todo complejo es mayor o igual que su parte real
| | | | | | | | | | | |
2 2 2 2 2 2 2
z a z a b a a a a s s + s = C
Como | | a a R a s e , de esta relacin y de C resulta que a z > | | , es decir,
| | ) Re( z z s . Anlogamente | | ) Im( z z s

2) El producto de cualquier complejo por su conjugado es igual al cuadrado de su
mdulo.
2 2 2 2 2
| | ) ( ) )( ( z b a i ba ab b a bi a bi a z z = + = + + + = + =

3) El mdulo del producto de dos complejos es igual al producto de los mdulos de
los mismos.
| ' | | | | ' | z z z z =
En efecto:
A partir del cuadrado del primer miembro aplicamos la propiedad 2), el conjugado
de un producto, asociatividad y conmutatividad en C y nuevamente la propiedad 2)
2 2 2
| ' | | | ' ' ' ' ' ' | ' | z z z z z z z z zz zz zz z z = = = =
Resulta que
2 2
|) ' || (| | ' | z z zz =
Y como las bases son no negativas
| ' || | | ' | z z zz =

4) El mdulo de la suma de dos complejos es menor o igual que la suma de los
mdulos
| ' | | | | ' | z z z z + s +
En efecto:
35

Por el cuadrado del mdulo, conjugado de la suma, distributividad de la suma
respecto del producto y por la propiedad 2), se tiene
2 2
2
| ' | ' ' | | ' ' ' '
) ' )( ' ( ) ' ( ) ' ( | ' |
z z z z z z z z z z z z z z
z z z z z z z z z z
+ + + = + + + =
= + + = + + = +

Como los trminos centrales son complejos conjugados ( ' ' z z z z = ), su suma es el
duplo de la parte real, es decir
) ' Re( 2 ' ' z z z z z z = +
Sustituyendo en la igualdad inicial tenemos
2 2
| ' | ) ' Re( 2 | | | ' | z z z z z z + + = + C
Ahora bien, tendiendo en cuenta que la parte real es menor o igual que el mdulo
| ' | 2 ) ' Re( 2 z z z z s
Por mdulo del producto
| ' | | | 2 ) ' Re( 2 z z z z s C
Sumando miembro a miembro C y C, resulta
| ' || | 2 | ' | ) ' Re( 2 | | ) ' Re( 2 | ' |
2 2 2
z z z z z z z z z z + + + s + +
Cancelando
| ' || | 2 | ' | | | | ' |
2 2 2
z z z z z z + + s +
Aplicando el caso de factores trinomio cuadrado perfecto
2 2
|) ' | | (| | ' | z z z z + s +
Y como las bases son no negativas se tiene
| ' | | | | ' | z z z z + s +

5) El mdulo de una potencia de exponente natural es igual a la potencia del
mdulo
n
n
n
n
z z z z z z z z | | | | | | . | | | . | | | = = =
_

_

Divisin en Complejos
Al dividir dos complejos, siendo el segundo distinto de cero, puede evitarse la
determinacin del inverso multiplicativo del divisor, multiplicando por le conjugado de
ste, y se obtiene
2
| | w
w z
w w
w z
w
z
= =
En particular
13
4
13
4
13
7 4
3 2
6 4 3 2
) 3 2 )( 3 2 (
) 3 2 )( 2 1 (
3 2
2 1
2 2
2
i i i i i
i i
i i
i
i
+ =
+
=
+
+ +
=
+
+
=
+
+

Raz Cuadrada en C
Sea bi a z + = , la raz cuadrada de z es un complejo yi x + que satisface
bi a yi x + = +
2
) ( C
Aplicando mdulos
bi a yi x + = +
2
) (
Por mdulo de una potencia y por definicin de mdulo
2 2 2
| | b a yi x + = +
36 Nmeros Complejos

Por cuadrado del mdulo
2 2 2 2
b a y x + = +
Es decir

| |
2 2
z y x = + C
Desarrollando C
bi a xyi y x + = + 2
2 2

Por igualdad de complejos
a y x =
2 2
C
b xy = 2 C
Sumando y restando C y C
=
+ =
=
= +
a z y
a z x
a y x
z y x
| | 2
| | 2 | |
2
2
2 2
2 2

Resulta
2
| |
2
| | a z
y
a z
x

= .
+
=
Ambos radicandos son no negativos, pues a z > | | , y se obtienen cuatro pares de valores
reales, de los cuales se seleccionan dos de acuerdo con la condicinC: si 0 > b ,
entonces x e y se elijen con el mismo signo; si 0 < b , se elijen con distinto signo.
Forma Polar o Trigonomtrica
Sea bi a z + = un complejo no nulo. Las coordenadas polares del punto de coordenads
cartesianas a y b son: el radiovector y el argumento o cualquiera de los
congruentes con , en mdulo t 2 .
Las frmulas del pasaje de las coordenadas polares a cartesianas son

sen b
a
=
= cos

Donde | |
2 2
z b a = + = y ) arg( z =
Se tiene que
sen i bi a + = + cos
Es decir
) (cos sen i z + =
Esta es la llamada forma polar o trigonomtrica de un complejo.
Est claro que y definen unvocamente a z. Pero z define unvocamente a , y no
a ) arg( z = .
Se llama argumento principal del complejo no nulo z, al nmero real que satisface:
i sen z b z a | | cos | | = . =
ii t 2 0 < s
Para denotar al argumento principal escribiremos ) (z Arg =
Dados dos complejos en forma polar ) (cos sen i z + = y ) ' ' (cos ' ' sen i z + = ,
diremos que son iguales si tienen igual mdulo y sus argumentos son congruentes en
mdulo t 2 . En smbolos:
Z k k z z e . + = . = = t 2 ' ' '
37

Operaciones en Forma Polar
Multiplicacin
El producto de dos complejos en forma polar tiene por mdulo el producto de los
mdulos de los factores y por argumento la suma de los argumentos de los mismos.
Sean ) (cos sen i z + = y ) ' ' (cos ' ' sen i z + = . Entonces
)] ' ( ) ' [cos( '
)] ' cos ' (cos ' ' cos [cos '
) ' ' )(cos (cos ' '

+ + + =
+ + =
+ + =
isen
sen sen i sen sen
isen isen zz

Cociente
El cociente de dos complejos en forma polar, siendo el segundo distinto de cero, tiene
por mdulo el cociente de los mdulos y por argumento la diferencia de los argumentos
de los mismos.
Sea ) (cos | | isen R w + = , tal que
)] ' ( ) ' [cos( ' ) (cos
) (cos ) ' ' (cos ' ) (cos
'
'
| |
| |
+ + + = +
+ + = +
= =
isen R isen
isen R isen isen
w z z w
z
z

t | k R 2 ' ' + = + . =
Luego
0 , '
'
= = . = k si R |

En consecuencia
)] ' ( ) ' [cos(
' '

+ = isen
z
z

Potencia de Exponente Natural: Frmula de Moivre
La potencia n-sima de un complejo en forma polar tiene por mdulo la potencia n-
sima de su mdulo, y como argumento el producto de su argumento por n.
) (cos n isen n z
n n
+ =
Lo demostraremos por induccin completa
1) ) 1 1 (cos ) (cos 1
1 1
isen isen z z n + = + = = =
2) ] ) 1 ( ) 1 ( [cos ) (cos
1 1
+ + + = + =
+ +
h isen h z h isen h z
h h h h
(H. I.)
En efecto: por hiptesis inductiva, definicin de potencia y producto en forma polar
] ) 1 ( ) 1 ( [cos
)] ( ) ( [cos
) (cos ) (cos
1
1

+ + + =
= + + + =
+ + = =
+
+
h isen h
h isen h
isen h isen h z z z
h
h
h h h

3) Luego ) (cos n isen n z
n n
+ = para todo N ne

38 Nmeros Complejos

Radicacin
Por definicin, el complejo w es raz n-sima de z si y slo si
n
w z = .
Teorema: todo complejo no nulo admite n races n-simas distintas dadas por
|
.
|
\
| +
+
+
=
n
k
isen
n
k
w
n
k
t t
2 2
cos
Donde ) arg( | | 1 ; ; 1 ; 0 z z n k = . = . =
En efecto:
Sean ) (cos ) (cos | | isen R w isen z + = . + =
Por definicin de raz debe ser
z w
n
=
Es decir
) (cos ) (cos | | isen n isen n R
n
+ = +
Por igualdad de complejos es
t | k n R
n
2 + = . =
Es decir
n
k
R
n
t
|
2 +
= . =
Se tiene la frmula
|
.
|
\
| +
+
+
= +
n
k
isen
n
k
isen
n n
t t

2 2
cos ) (cos
Todas las races de z tienen el mismo mdulo, pero difieren en el argumento que es
n
k
n
t 2
+ con Z k e
De los infinitos valores de k, es suficiente considerar 1 ; ; 1 ; 0 = n k , para obtener las n
races distintas.
Races Argumentos
w
0
n

w
1

n n
t 2
+
w
2

n n
t 2
2 +
w
3

n n
t 2
3 +

w
n-1

n
n
n
t 2
) 1 ( +
Si n k = , entonces la correspondiente raz w
n
tiene por argumento
n n n
n
n

t
t
= + = + 2
2

Con lo que se vuelve a obtener w
0
. En general
j n j
w w =
+
y slo existen n races
distintas.
Nota: las n races distintas de un complejo se identifican con los vrtices de un polgono
regular de n lados inscripto en una circunferencia de centro en el origen y radio
n
R =
39


Ejemplo: Hallar las races de
3
1
0 1 0 1 = . = + = i z
Luego
3
2
3
2
cos
3
2 0
3
2 0
cos 1 ) 0 0 (cos 1
3
3
t t
t t
k
isen
k
w
k
isen
k
isen
k
+ =
=
|
.
|
\
| +
+
+
= +

2
3
2
1
60 60 cos 240 240 cos
3
4
3
4
cos
2
3
2
1
120 120 cos
3
2
3
2
cos
1 0 0 cos
2
1
0
i isen isen isen w
i isen isen w
isen w
= = + = + =
+ = + = + =
= + =
t t
t t

Forma Exponencial en C
En anlisis podemos demostrar que la exponencial
x
e , admite el desarrollo en Series
de McLaurin
=
= + + + + =
0
3 2
! ! 3 ! 2
1
n
n
x
n
x x x
x e
y, adems, satisface las propiedades bsicas 1
0
= e y
y x y x
e e e
+
=
A fin de preservar estas propiedades es que definimos a la exponencial compleja
mediante
x isen x e
ix
+ = cos
Se verifica que
y x
iy ix
e
y x isen y x
y x sen seny x i y sen x sen y x
y isen y x isen x e e
+
=
+ + + =
+ + =
= + + =
) ( ) cos(
) cos (cos ) cos (cos
) )(cos (cos

Sea ) (cos sen i z + = . Entonces
i
e z = es la forma exponencial del complejo z.
40 Nmeros Complejos

Operaciones en Forma Exponencial
La traduccin de las frmulas relativas al producto, cociente y potenciacin, obtenidas
en la forma polar son las siguientes:
i
) ' ( '
' ' '

+
= =
i i i
e e e zz
ii
) ' (
'
' ' '

= =
i
i
i
e
e
e
z
z

iii ( )

in n
n
i n
e e z = =

Demostrar:
1) 1 | | = = z e z
i

1 cos | | cos
2 2
= + = + = =
sen z isen z e z
i

2) i n z e
z
t 2 1 = = con Z ne
Sea yi x z + = . Entonces
i y sen ie y e y isen y e e e
x x x iy x z
0 1 cos ) (cos + = + = + = =
+

Por igualdad de complejos es
0 1 cos = . = y sen e y e
x x

Como 0 =
x
e resulta que t k y y sen = = 0 con Z k e
k
k y k y ) 1 ( cos cos = = = t t
Luego
k k k k x
e
2
) 1 ( ) 1 ( ) 1 ( 1 ) 1 ( = = =
Es decir,
k x
e ) 1 ( = , como 0 >
x
e , se tiene n k 2 = .
As 0 1 = = x e
x

Resulta
i n i n iy x z t t 2 2 0 = + = + =

Logaritmacin en C
Sea 0 = z . Por definicin z e w z
w
= = ln .
Para determinar los complejos w que satisfacen z w ln = , proponemos la forma
exponencial para z y la forma binmica para w, es decir
vi u w e z
i
+ = . =

Hay que determinar u y v tales que
t

k v e e e e e e
u i iv u i iv u
2 + = . = = =
+

Es decir
) 2 ( ln ln t k i z + + = con Z k e
Esta frmula nos permite calcular los infinitos
logaritmos de un nmero complejo no nulo.
Como la parte real de z es independiente de k, todos
los logaritmos corresponden a puntos de la recta
paralela al eje de ordenadas, que pasa por ) 0 ; (ln .
El valor principal z w ln = es el que se obtiene para
0 = k , o sea
i z P V + = ln ln . .
41

Matrices
Matriz
Una matriz A de n m es un arreglo rectangular de n m nmeros acomodados o
dispuestos en m renglones y n columnas:
|
|
|
|
|
|
|
|
.
|
\
|
=
mn mj m m
in ij i i
j j
n j
a a a a
a a a a
a a a a
a a a a
A

. . . .

. . . .

2 1
2 1
2 2 22 21
1 1 12 11
C
El smbolo n m se lee m por n. A menos que se indique lo contrario, los nmeros
de una matriz o un vector son nmeros reales (aunque tambin pueden ser complejos).
Al vector rengln ) (
2 1 in ij i i
a a a a se le llama rengln i y al vector
columna
|
|
|
.
|
\
|
mj
a
j
.
1
se le llama columna j. La componente ij-sima de A, denotada por
ij
a ,
es el nmero que pertenece al i-simo rengln y a la j-sima columna. A veces, la matriz
A se escribir ) (
ij
a A= . En general las matrices se indican con letras maysculas.
Si A es una matriz de n m con n m= , entonces A recibe el nombre de matriz
cuadrada. Una matriz de n m en la que todas sus componentes son cero se llama
matriz cero o matriz nula de n m .
Una matriz de n m se dice que es de tamao u orden n m .
En algunos libros se puede encontrar a las matrices denotadas entre corchetes
(parntesis cuadrados) o entre parntesis (curvos).
Otra definicin de Matriz
Si consideramos los conjuntos
} 1 / { m i i m I s s N e = y } 1 / { n j j n I s s N e =
El producto cartesiano n I m I ser
)} ; ( ; ); ; ( ; ); ; 1 ( ; ); 2 ; 1 ( ); 1 ; 1 {( n m j i n n I m I . . . =
Y sea ) ; ; ( + 9 un cuerpo.
Se llama matriz del tipo n m sobre el cuerpo de los reales a toda funcin de n I m I
en 9.
Igualdad de Matrices
Dos matrices ) (
ij
a A= y ) (
ij
b B = son iguales, si:
1. Tienen el mismo tamao;
2. Sus elementos correspondientes son iguales.
42 Matrices

Ejemplo: Son iguales las siguientes matrices?
a)
|
|
.
|
\
|
0 3 2
5 1 4
y
|
|
.
|
\
|
+
+ +
6 6 4 1 1 1
3 2 1 3 1

b)
|
|
.
|
\
|
3 1
0 2
y
|
|
.
|
\
|
3 1
2 0

c)
|
|
.
|
\
|
1 0
0 1
y
|
|
.
|
\
|
0 1 0
0 0 1

Solucin:
a) Si, las dos matrices son de 3 2 , y 4 3 1 = + ; 5 3 2 = + ; 2 1 1 = + ; 3 4 1 = ; y 0 6 6 =
.
b) No, 0 2 = , por lo cual las matrices son distintas, ya que por ejemplo la componente 1,1 de A
es distinta a la componente 1,1 de B. Esto es cierto a pesar de que las matrices tengan los
mismos elementos. Los elementos correspondientes deben ser iguales.
c) No, la primera matriz es de 2 2 y la segunda 3 2 . Con lo que no tienen el mismo tamao.
Luego no son iguales.

Todo vector es una clase especial de matriz. As por ejemplo, el vector rengln de n-
componentes ) (
2 1 n
a a a es una matriz de n 1 , llamada tambin matriz fila,
mientras que el vector columna de n-componentes
|
|
|
.
|
\
|
n
a
a
.
1
es una matriz de 1 n , llamada
matriz columna.
Adicin de Matrices
Sean las matrices ) (
ij
a A= y ) (
ij
b B = de tamao n m . Entonces la suma de A y B es
la matriz B A+ de n m dada por
|
|
|
|
|
|
.
|
\
|
+ + +
+ + +
+ + +
= +
mn mn mj mj m m
in in ij ij i i
n n j j
b a b a b a
b a b a b a
b a b a b a
B A

. . .

. . .

1 1
1 1
1 1 1 1 11 11

Es decir B A+ es la matriz de n m que se obtiene de sumar las componentes
correspondientes de A y B.
Nota: la suma de matrices slo se puede realizar si las dos son del mismo tamao.
Multiplicacin de una Matriz por un Escalar
Si ) (
ij
a A= es una matriz de n m y si o es un escalar, entonces la matriz A o de
n m est dada por:
43

|
|
|
|
|
.
|
\
|
= =
mn m m
n
n
ij
a a a
a a a
a a a
a A
o o o
o o o
o o o
o o
. . .
2 1
2 22 21
1 12 11
) (
Dicho con otras palabras, ) (
ij
a A o o = es la matriz que se obtiene de multiplicar cada
una de las componentes de A por o . Si ) (
ij
b B A = = o , entonces ) ( ) (
ij ij
a b o = , para
m i ; ; 2 ; 1 . = y n j ; ; 2 ; 1 . =
lgebra de Matrices
Sean A, B y C marices de n m y o un escalar. Entonces:
a) A A = +0
b) 0 0 = A
c) A B B A + = + (ley conmutativa de la adicin matricial)
d) ) ( ) ( C B A C B A + + = + + (Ley asociativa de la adicin matricial)
e) B A B A o o o + = + ) ( (ley de distribucin de la multiplicacin por un escalar)
f) A A= 1
Nota: el cero del inciso a) es una matriz cero de n m . En la parte b) el cero de la
izquierda es una escalar, mientras que el de la derecha es una matriz cero de n m .
La demostracin de estas propiedades se deja como ejercicio, debido a su simplicidad.
Si adems consideramos que 0 ) ( = + A A , se puede decir que ) ; ( + 9
nxn
es grupo
abeliano (por cumplir con LCI, Asociatividad, conmutatividad, existencia de neutro y
de simtrico).
Diagonal de una Matriz Cuadrada
La diagonal de una matriz cuadrada est formada por los elementos de la matriz, tales
que j i =
Sea
n n
nn n n
n
n
a a a
a a a
a a a
A

9 e
|
|
|
|
|
.
|
\
|
=
. . .
2 1
2 22 21
1 12 11

Diagonal de } , , , {
22 11 nn
a a a A . =
Traza de una Matriz Cuadrada
La traza de una matriz cuadrada es el nmero que se obtiene de sumar los elementos de
la diagonal de la matriz.
nn
n
i
ii
n n
a a a a A tr A + + + = = 9 e

=
.
22 11
1
:
Matriz Diagonal
La matriz diagonal es una matriz cuadrada en la que los elementos que no pertenecen a
la diagonal son nulos.
44 Matrices

0 : , = = 9 e

ij
n n
a j i j i A o bien
n n
nn
a
a
a
A

9 e
|
|
|
|
|
.
|
\
|
=
. . .
0 0
0 0
0 0
22
11

Matriz Escalar
La matriz escalar es toda matriz diagonal cuyos elementos de la diagonal son iguales a
un escalar.
= =
= =
9 e

K b j i
b j i
j i escalar es B
ij
ij
n n
0
: , o bien
n n
k
k
k
B

9 e
|
|
|
|
|
.
|
\
|
=
. . .
0 0
0 0
0 0

Matriz Identidad o Unidad
La matriz identidad es toda matriz escalar, tal que dicho escalar es 1.
= =
= =
9 e

1
0
: ,
ij
ij
n n
a j i
a j i
j i identidad matriz la es I
n n
I

9 e
|
|
|
|
|
.
|
\
|
=
1 0 0
0 1 0
0 0 1
. . .

Matriz Triangular Superior
Matriz triangular superior es toda matriz cuadrada tal que los elementos situados
debajo de la diagonal son nulos.
0 : , superior triangular es = > 9 e

ij
n n
a j i j i A
Matriz Triangular Inferior
Matriz triangular inferior es toda matriz cuadrada tal que los elementos situados
encima de la diagonal son nulos.
0 : , inferior triangular es = < 9 e

ij
n n
a j i j i A
Matriz Transpuesta
La matriz transpuesta de una matriz cuadrada ) (
ij
a A= es la matriz ) (
ji
t
a A = . Es el
resultado de permutar las filas y las columnas entre s.
La matriz transpuesta puede aplicrsele a una matriz cuadrada o a una rectangular.
En caso de que una matriz
mxn
A 9 e , entonces su transpuesta
nxm t
A 9 e .
Matriz Simtrica
Matriz simtrica es toda matriz cuadrada que es igual a su transpuesta.
t n n
A A A = 9 e

simtrica es
O bien
45

ji ij
n n
a a j i A = 9 e

: , simtrica es
Matriz Antisimtrica
Matriz antisimtrica es toda matriz cuadrada que es opuesta a su transpuesta.
t n n
A A A = 9 e

ica antisimtr es
O bien
ji ij
n n
a a j i A = 9 e

: , ica antisimtr es
Nota: si una matriz admite antisimtrica, su diagonal es nula.
En efecto: 0 0 2 = = =
ii ii ii ii
a a a a

Ejemplo: sea la matriz
|
|
|
.
|
\
|
=
0 1 4
9 8 2
3 1 5
A

hallar
t
A A+
Hallaremos primero
t
A
|
|
|
.
|
\
|
=
0 9 3
1 8 1
4 2 5
t
A

|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
= +
0 8 7
8 8 1
7 1 10
0 9 3
1 8 1
4 2 5
0 1 4
9 8 2
3 1 5
t
A A
Conclusin: la suma entre una matriz y su transpuesta es igual a una matriz simtrica
Teorema
La transpuesta de una suma de matrices es igual a la suma de las transpuestas de
dichas matrices
En efecto:
Sea la matriz cuadrada
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
a a a
a a a
a a a
A
. . .
2 1
2 22 21
1 12 11
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
t
a a a
a a a
a a a
A
. . .
2 1
2 22 12
1 21 11

Sea tambin la matriz
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
b b b
b b b
b b b
B
. . .
2 1
2 22 21
1 12 11
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
t
b b b
b b b
b b b
B
. . .
2 1
2 22 12
1 21 11

Luego
46 Matrices

|
|
|
|
|
.
|
\
|
+ + +
+ + +
+ + +
= +
nn nn n n n n
n n
n n
b a b a b a
b a b a b a
b a b a b a
B A
. . .
2 2 1 1
2 2 22 22 21 21
1 1 12 12 11 11
|
|
|
|
|
.
|
\
|
+ + +
+ + +
+ + +
= +
nn nn n n n n
n n
n n
t
b a b a b a
b a b a b a
b a b a b a
B A
. . .
2 2 1 1
2 2 22 22 12 12
1 1 21 21 11 11
) (
C
|
|
|
|
|
.
|
\
|
+ + +
+ + +
+ + +
= +
nn nn n n n n
n n
n n
t t
b a b a b a
b a b a b a
b a b a b a
B A
. . .
2 2 1 1
2 2 22 22 12 12
1 1 21 21 11 11
C
De C y C se verifica que
t t t
B A B A + = + ) (

Teorema
La suma entre una matriz y su transpuesta es una matriz simtrica
En efecto:
t t t t
A A A A A A ) ( ) ( simtrica es + = + + por definicin de matriz simtrica
t t t t t t t
A A A A A A A A + = + = + = + ) ( ) ( aplicando sucesivamente transpuesta de una
suma, transpuesta de una transpuesta y conmutatividad de la suma. Luego por propiedad
transitiva
t t t
A A A A + = + ) (
Teorema
La diferencia entre una matriz cuadrada y su transpuesta es una matriz antisimtrica
En efecto:
] ) [( ) ( ica antisimtr es
t t t t
A A A A A A =
] ) [( ) (
t t t
A A A A =
] ) ( [ ) (
t t t t
A A A A = Por propiedad de la transpuesta de la adicin
] [ ) ( A A A A
t t
= Por propiedad de la transpuesta de la transpuesta
A A A A
t t
+ = ) ( por propiedad distributiva del producto con respecto a la suma
t t
A A A A = ) ( Por propiedad conmutativa
Luego queda demostrado el teorema
Teorema
Una matriz es la semisuma entre una matriz simtrica y una antisimtrica
En efecto:
t t t
A A A A ) ( ) ( + = + (matriz simtrica) y
t t t
A A A A ) ( ) ( = (matriz antisimtrica).
47

( ) ( ) ( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( )
t t
t t
t t
t t t t
t
t
t
t t t
A A A A A
A
A A A A
A A A A A
A A A A A A A A
A A A A A A A A
+ + =
=
+ +
= + +
+ + = + +
+ = + +
2
1
2
1
2
2

Para esta demostracin aplicamos sucesivamente: definicin de matriz simtrica y
antisimtrica, transpuesta de una suma y de una diferencia, diferencia de matrices, suma
de matrices, propiedad uniforme de la divisin por un escalar distinto de cero y
propiedad distributiva de la suma con respecto a la suma.
Producto de Matrices
Producto de una Matriz Fila por una Matriz Columna
Se define el producto de una matriz fila por una matriz columna, del mismo nmero de
elementos a la matriz cuyo nico elemento es la suma de los productos obtenidos al
multiplicar los trminos correspondientes.
1 1 nx xn
C F 9 e . 9 e ( )

=
= + + + =
|
|
|
|
|
.
|
\
|
n
i
i i n n
n
n
c f c f c f c f
c
c
c
f f f
1
1 1 1 1 21 12 11 11
1
21
11
1 12 11
) (
.

Ejemplo: sean las matrices
( )
|
|
|
.
|
\
|
= . =
9
4
2
5 3 1 C F

hallar el producto C F .
( ) ( ) ) 60 ( 9 . 5 4 . 3 2 . 1
9
4
2
5 3 1 = + + =
|
|
|
.
|
\
|
= C F

Producto de una Matriz Fila por una Matriz
Sea
xn
F
1
9 e , se puede efectuar la multiplicacin siempre y cuando el nmero de
columnas de F sea igual al nmero de filas de A.
Si suponemos que
nxp
A 9 e . El resultado de multiplicar F por A, ser una matriz fila de
p elementos, obtenidos de multiplicar la matriz F por cada columna de A.
48 Matrices

Si ( ) =
|
|
|
|
|
.
|
\
|
= 9 e . 9 e
np n n
p
p
n
nxp xn
a a a
a a a
a a a
f f f A F A F
. . .
2 1
2 22 21
1 12 11
1 12 11
1
) (
1 2 12 1 11 2 1 22 12 12 11 1 1 21 12 11 11 np n p p n n n n
a f a f a f a f a f a f a f a f a f + + + + + + + + + =

Ejemplo: Una facultad dispone de dos sedes para el cursado de las materias de lgebra, Anlisis y
Geometra en las bandas horarias de 7 a 9 y de 19 a 21 horas. La cantidad de cursos ofrecidos por banda
horaria y materia est dada por la matriz:
A
a
a
G A
=
|
|
.
|
\
|
7 3 2
8 6 5
21 19
9 7

Adems se sabe que las vacantes en cada sede para estas materias, est dada por la matriz B.
B
G
A
II I
=
|
|
|
.
|
\
|
70 80
55 60
50 40

Se desea conocer la cantidad de alumnos que concurrirn en la banda horaria de 7 a 9 en la sede II. Para
ello basta con multiplicar la primera fila de la matriz A con la segunda columna de la matriz B.
1140 70 . 8 55 . 6 50 . 5
70
55
50
) 8 6 5 ( = + + =
|
|
|
.
|
\
|

Si se quiere conocer la misma informacin para cada sede en cada franja horaria, se multiplican las dos
matrices B A
|
|
.
|
\
|
=
|
|
|
.
|
\
|
|
|
.
|
\
|
755 820
1140 1200
70 80
55 60
50 40
7 3 2
8 6 5

Producto de una matriz Amxp por una matriz Bpxn
Sean dos matrices
pxn mxp
B A 9 e . 9 e , el producto de estas dos matrices es una matriz
que pertenece a
mxn
9 , cuyos elementos se obtienen de multiplicar cada fila de A por
cada columna de B. es decir si
mxn pxn mxp
C B A C B A 9 e 9 e . 9 e = / , entonces
=
=
p
k
kj ik ij
b a c
1
.
Veamos un ejemplo para tratar de ilustrar la conmutatividad del producto de matrices.
Ejemplo: sean las matrices
2 2
5 8
3 2
x
A 9 e
|
|
.
|
\
|
=
y
2 2
6 4
7 1
x
B 9 e
|
|
.
|
\
|
=
Hallar el producto B A y luego el producto A B . Extraer una conclusin.
Solucin:
49

|
|
.
|
\
|
=
|
|
.
|
\
|
+ +
+ +
=
|
|
.
|
\
|
|
|
.
|
\
|
=
86 28
32 14
6 5 7 8 4 5 1 8
6 3 7 2 4 3 1 2
6 4
7 1
5 8
3 2
B A
|
|
.
|
\
|
=
|
|
.
|
\
|
+ +
+ +
=
|
|
.
|
\
|
|
|
.
|
\
|
=
42 56
38 58
5 6 3 4 8 6 2 4
5 7 3 1 8 7 2 1
5 8
3 2
6 4
7 1
A B

Conclusin: el producto de matrices no es conmutativo.
Como se pudo ver en el ejemplo anterior la conmutatividad de matrices no se cumple,
de hecho sean las matrices p m B A
nxp mxn
= . 9 e . 9 e el producto
B A
est definido
pero el producto
A B
no lo est. Sin embargo existen algunas matrices cuyo producto
es conmutable, dichas matrices se denominan conmutables o permutables.
Propiedades de la Multiplicacin de Matrices
Sean A, B y C matrices de orden tal que las sumas y productos estn definidos, se
verifican:
Asociatividad.
C B A C B A = ) ( ) (
Distributividad de la multiplicacin respecto de la adicin.
B C A C B A C
C B C A C B A
+ = +
+ = +
) (
) (

Existencia del elemento neutro.
Sea I la matriz identidad del mismo orden que A, entonces
A A I I A = =
Es decir la matriz identidad cumple con el mimo papel que el uno en la
multiplicacin de nmeros reales.
Transpuesta del Producto
( )
T T T
A B B A =

Ejemplo: dadas las matrices
|
|
.
|
\
|
=
5 2 4
3 0 1
A ,
|
|
|
.
|
\
|
=
2 3
1 2
5 4
B
y
|
|
.
|
\
|
=
0 2
1 6
C

Comprobar la ley asociativa
Solucin:
|
|
.
|
\
|

=
|
|
|
.
|
\
|

|
|
.
|
\
|
=
(
(
(
|
|
.
|
\
|
|
|
|
.
|
\
|

|
|
.
|
\
|
=
3 34
5 28
3 14
2 10
4 14
5 2 4
3 0 1
0 2
1 6
2 3
1 2
5 4
5 2 4
3 0 1
) ( C B A
C
|
|
.
|
\
|

=
|
|
.
|
\
|
|
|
.
|
\
|
=
|
|
.
|
\
|
(
(
(
|
|
|
.
|
\
|

|
|
.
|
\
|
=
3 34
5 28
0 2
1 6
8 3
1 5
0 2
1 6
2 3
1 2
5 4
5 2 4
3 0 1
) ( C B A
C
De C y C se tiene que C B A C B A = ) ( ) (

Una de las curiosidades del lgebra matricial es que si el producto de dos matrices es
nulo, no necesariamente una o ambas de las matrices son nulas y adems la proposicin
C B C A B A = = no siempre es verdadera. Esto ocurre porque las matrices no
tienen divisores de cero, por tanto no vale la ley Cancelativa
50 Matrices

Ejemplo: Sean las matrices
|
|
.
|
\
|
= .
|
|
.
|
\
|
=
|
|
.
|
\
|
=
|
|
.
|
\
|
=
0 0
7 3
4 3
5 2
;
4 3
1 1
;
2 0
1 0
D C B A
Veamos que:
1. C A B A =
|
|
.
|
\
|
=
|
|
.
|
\
|
|
|
.
|
\
|
|
|
.
|
\
|
=
|
|
.
|
\
|
|
|
.
|
\
|
8 6
4 3
8 6
4 3
4 3
5 2
2 0
1 0
4 3
1 1
2 0
1 0

Aunque 0 = A , la expresin C A B A = no se deduce a C B =

2. 0 = D A
|
|
.
|
\
|
=
|
|
.
|
\
|
|
|
.
|
\
|
0 0
0 0
0 0
7 3
2 0
1 0

Sin embargo 0 0 = . = D A
Potencias de una Matriz Cuadrada
Si A es una matriz de orden n y p es un entero no negativo, entonces
p
A es la matriz de
cuadrada de orden n que se obtiene de multiplicar A por s misa p veces.
_
.
factores p
p
A A A A A =
Matriz Involutiva
Una matriz
nxn
A 9 e se llama involutiva si y slo si I A =
2
, siendo I la matriz
identidad de orden nxn.
Ejemplo: Sea
|
|
|
.
|
\
|
=
1 0 0
0 1 0
1 1 1
A , esta matriz es involutiva, pues
|
|
|
.
|
\
|
=
1 0 0
0 1 0
0 0 1
2
A

Se puede demostrar que siendo
nxn
A 9 e e I la matriz identidad de orden nxn A es
involutiva si y slo si:
N A I A I = + ) )( ( , donde N es la matriz nula
En efecto: Desarrollamos el producto, considerando la distributividad del producto,
respecto a la suma de matrices.
= + N A I A I ) )( (
2
2
0
A I
A I
N A A I A A I I I
=
=
= +

Matriz Idempotente
Una matriz
nxn
A 9 e se llama idempotente si y slo si A A =
2
, es decir su cuadrado es
igual a s misma.
51

Ejemplo: sea la matriz
|
|
|
.
|
\
|

=
4 3 1
5 4 1
5 3 2
A es idempotente, pues A A =
2

Matriz Inversa
nxn
A 9 e se dice que admite inversa si existe una matriz denominada
1
A que
multiplicada a derecha e izquierda por la matriz A da como resultado la matriz
identidad.
nxn
A 9 e admite inversa I A A A A A
nxn
= = 9 e -
1 1 1
/
Decir que A admite inversa equivale a decir que:
- A es inversible
- A es regular
- A es no regular
Unicidad de la Matriz Inversa
Si una matriz admite inversa, sta es nica.
Para demostrarlo supondremos que B y C son dos matrices cuadradas de orden n, y,
adems, son dos matrices inversas de
nxn
A 9 e , entonces C B = .
B es inversa de A I B A A B = =
C es inversa de A I C A A C = =
Partiendo de A y multiplicando a izquierda por B y a derecha por C. Aplicando tambin
la propiedad asociativa del producto de matrices:
B C
I B C I
C A B C A B
=
=
= ) ( ) (

Por lo tanto la inversa de una matriz es nica.
Inversa del Producto de Matrices
Sean A y B dos matrices invertibles de orden n n , entonces B A es invertible y es
1 1 1
) (

= A B B A
En Efecto:
Por definicin de matriz inversa es
I A B B A B A A B A B B A = = =

) )( ( ) )( ( ) (
1 1 1 1 1 1 1

Pero de esto sigue
I B B B I B B A A B B A A B = = = =
1 1 1 1 1 1
) ( ) )( (
y
I A A A I A A B B A A B B A = = = =
1 1 1 1 1 1
) ( ) )( (
Clculo de una Matriz Inversa
Consideremos la matriz
52 Matrices

|
|
.
|
\
|
=
d c
b a
A
Y sea la inversa de dicha matriz
|
|
.
|
\
|
=
w z
y x
A
1

Por definicin de matriz inversa es
|
|
.
|
\
|
=
|
|
.
|
\
|
+ +
+ +
=
|
|
.
|
\
|
|
|
.
|
\
|
=

1 0
0 1
1
dw cy dz cx
bw ay bz ax
w z
y x
d c
b a
A A
Es decir que quedan formados dos sistemas de ecuaciones
= +
= +
0
1
dz cx
bz ax

= +
= +
1
0
dw cy
bw ay

Los que se pueden escribir como matrices aumentadas
1

|
|
.
|
\
|
0
1
d c
b a
C
y
|
|
.
|
\
|
1
0
d c
b a
C
Al aplicar la eliminacin de Gauss-Jordan para la resolucin de sistemas de ecuaciones,
se obtendr:
|
|
.
|
\
|
z
x
1 0
0 1

y
|
|
.
|
\
|
w
y
1 0
0 1

respectivamente.
De donde el par (x;z) es el nico que satisface al primer sistema y el par (y;w) es el
nico que satisface al segundo.
Como las matrices de los coeficientes C y C son iguales, la reduccin se puede llevar a
cabo simultneamente, si se considera la matriz aumentada:
|
|
.
|
\
|
1 0
0 1
d c
b a
C
Luego si A es invertible, el sistema tendr una solucin nica y la matriz aumentada C
se llevar a la forma
|
|
.
|
\
|
w z
y x
1 0
0 1

Nota: se ha trabajado con una matriz de 2 2 por una cuestin de simplicidad, pero el
razonamiento es vlido para cualquier matriz de orden n n

1
Ver GROSSMAN, Stanley I. lgebra lineal. McGraw-Hill. Cuarta edicin. Pag 1-20
53

Ejemplo: Sea la matriz
|
|
.
|
\
|

=
5 4
3 2
A , hallar su inversa.
|
|
.
|
\
|

1 0
0 1
5 4
3 2

2 /
1 1
R R

|
|
.
|
\
|

1 0
0 2 1
5 4
2 3 1

+
1 2 2
4R R R

|
|
.
|
\
|
1 2
0 2 1
1 0
2 3 1

2 2
R R

|
|
.
|
\
|

1 2
0 2 1
1 0
2 3 1

+
2 1 1
2
3
R R R

|
|
.
|
\
|

1 2
2 3 2 5
1 0
0 1
Para realizar la verificacin basta con verificar la igualdad I A A =
1

Procedimiento para calcular la inversa de una matriz A
1. Escrbase la matriz aumentada ( ) I A .
2. Utilcese la reduccin por renglones, con el objeto de reducir la matriz A a su
forma escalonada por renglones reducida.
3. Decdase si A es invertible:
a. Si A se puede reducir a la matriz identidad, entonces
1
A ser la matriz
que aparezca a la derecha de la barra vertical. Si una matriz de orden n
tiene n vectores cannicos es invertible, y viceversa.
b. Si la reduccin por renglones de A lleva a un rengln de ceros, entonces
la matriz A no es invertible.

Ejemplo: Hallar las inversas, si existen, de la siguientes matrices
1)
|
|
|
.
|
\
|
=
7 5 3
1 1 0
3 4 2
A
Solucin:
|
|
|
.
|
\
|
1 0 0
0 1 0
0 0 1
7 5 3
1 1 0
3 4 2

1 1
2
1
R R
|
|
|
.
|
\
|
1 0 0
0 1 0
0 0
7 5 3
1 1 0
2 1
2
1
2
3

+
1 3 3
) 3 ( R R R
|
|
|
.
|
\
|

1 0
0 1 0
0 0
1 0
1 1 0
2 1
2
3
2
1
2
5
2
3

+
+
2 3 3
2 1 1
) 2 (
R R R
R R R
|
|
|
.
|
\
|
1 1
0 1 0
0 2
0 0
1 1 0
0 1
2
3
2
1
2
3
2
7

3 3
3
2
R R
|
|
|
.
|
\
|
3
2
3
2
2
1
2
7
1
0 1 0
0 2
1 0 0
1 1 0
0 1

+
|
.
|
\
|
+
3 2 2
3 1 1
2
7
R R R
R R R
|
|
|
.
|
\
|

3
2
3
2
3
2
3
5
3
7
3
13
1
1
4
1 0 0
0 1 0
0 0 1

Por lo tanto
|
|
|
.
|
\
|
2 2 3
2 5 3
7 13 12
3
1
1
A

2)
|
|
|
.
|
\
|
=
1 1 0
7 5 2
4 3 1
B

54 Matrices

Solucin:
|
|
|
.
|
\
|
1 0 0
0 1 0
0 0 1
1 1 0
7 5 2
4 3 1

+
1 2 2
) 2 ( R R R
|
|
|
.
|
\
|
1 0 0
0 1 2
0 0 1
1 1 0
1 1 0
4 3 1

+
+
1 3 3
2 1 1
3
R R R
R R R
|
|
|
.
|
\
|
1 1 2
0 1 2
0 3 5
0 0 0
1 1 0
1 0 1

Esta matriz no es invertible, pues su forma reducida por renglones tiene una fila (rengln) cuyos
elementos son todos nulos
Vectores cannicos
Se llaman vectores cannicos, de una matriz, a los vectores, filas o columnas que tienen
1 n elementos nulos y uno unitario. Tambin se los puede llamar Versores o vectores
unidad.
Matrices Equivalentes por Renglones
Sean dos matrices A y B, si la matriz A se puede transformar en la matriz B mediante
operaciones de rengln, entonces se dice que A y B son equivalentes por renglones.

Determinante de una Matriz de 2 2
Sea la matriz
|
|
.
|
\
|
=
22 21
12 11
a a
a a
A . Entonces se define:
Determinante de A
21 12 22 11
a a a a A = =
Ejemplo: Sea la matriz
|
|
.
|
\
|
=
22 21
12 11
a a
a a
A . Hallar su inversa.
Solucin:
|
|
.
|
\
|
1 0
0 1
22 21
12 11
a a
a a

1
11
1
1
R
a
R

|
|
|
.
|
\
|
1 0
0
1
1
11
22 21
11
12
a
a a
a
a

+
1 21 2 2
) ( R a R R

|
|
|
|
.
|
\
|
1
0
1
0
1
11
21
11
11
12 21 11 22
11
12
a
a
a
a
a a a a
a
a

2
12 21 22 22
11
2
R
a a a a
a
R

|
|
|
|
.
|
\
|

12 21 11 22
11
12 21 11 22
21
11
11
12
0
1
1 0
1
a a a a
a
a a a a
a
a
a
a

|
|
.
|
\
|
+
2
11
12
1 1
R
a
a
R R

|
|
|
|
.
|
\
|

12 21 11 22
11
12 21 11 22
21
12 21 11 22
12
12 21 11 22
22
1 0
0 1
a a a a
a
a a a a
a
a a a a
a
a a a a
a

55

|
|
.
|
\
|
=
|
|
|
|
.
|
\
|

11 21
12 22
12 21 11 22
12 21 11 22
11
12 21 11 22
21
12 21 11 22
12
12 21 11 22
22
1
1
a a
a a
a a a a
a a a a
a
a a a a
a
a a a a
a
a a a a
a
A
56 Determinantes

Determinantes
Funcin determinante de orden n
Se llama funcin determinante a una funcin que a cada matriz de orden n n le hace
corresponder un nmero real.
En smbolos:
9 9
n n
A Det :
Si se cumple:
1. Un determinante que tenga dos columnas o filas iguales a cero es nulo
0 ) ; ; ; ; ; ; ; (
2 1
= = . =
n j i j i
A A A A A Det j i A A . . .
2. Si una columna (fila) se descompone en dos sumandos, entonces el A Det es
igual a la suma de los determinantes de las dos matrices que resultan de sustituir,
en A, aquella columna (fila) por cada uno de los sumandos.
) ; ; ; ; ' ; ; ; (
) ; ; ; ; ; ; ; ( ) ; ; ; ; ' ; ; ; (
2 1
2 1 2 1
n j i
n j i n j i i
A A A A A Det
A A A A A Det A A A A A A Det
. . .
. . . . . .
+
+ = +

3. Si a una columna (fila) de A se la multiplica por un nmero real , entonces el
determinante de A queda multiplicado por .
) ; ; ; ; ; ; ; ( ) ; ; ; ; ; ; ; (
2 1 2 1 n j i n j i
A A A A A Det A A A A A Det . . . . . . o o = con 9 e o
4. El determinante de la matriz identidad vale 1.
1 = I Det

Propiedades
1) Si en un determinante se permutan entre s dos columnas o filas el, determinante
cambia de signo. Obsrvese que si el nmero de permutaciones es par el signo
no se altera.
= = ) ; ; ; ; ; ; ; ( ) ; ; ; ; ; ; ; (
2 1 2 1 n i j n j i
A A A A A Det A A A A A Det . . . . . .
2) Si en un determinante todos los elementos de una columna o fila son nulos, el
mismo vale cero.
0 ) ; ; ; ; ; ; ; ( 0
2 1
= =
n j i j
A A A A A Det A . . .
3) Si en un determinante los elementos de una fila o columna son proporcionales a
los de otra (paralela), el determinante vale cero.
0 ) ; ; ; ; ; ; ; (
2 1
= =
n j i i j
A A A A A Det A A . . . o
4) Si en un determinante a una fila o columna se le suma un a combinacin lineal
de otra, este no vara.
) ; ; ; ; ; ; ; ( ) ; ; ; ; ; ; ; (
2 1 2 1 n j i n j j i
A A A A A Det A A A A A A Det . . . . . . = +o
5)
T n n
A A A = 9 e

:
6) B Det A Det B A Det B A
n n n n
= 9 e . 9 e

) ( :
7) A Det A Det A
n n n
o o = 9 e

) ( :

57

Clculo de un Determinante
Regla de Sarrus
Esta regla es aplicable a determinantes de orden 2 o 3, y se define:
) (
11 32 23 33 21 12 31 22 13 31 23 12 13 32 21 33 22 11
33 32 31
23 22 21
13 12 11
a a a a a a a a a a a a a a a a a a
a a a
a a a
a a a
+ + + + =

Ejemplo: calcular
69 94 25 ] 3 . 2 . 3 4 . 4 . 5 ) 1 .( 2 . 2 [ ) 1 .( 3 . 5 2 . 2 . 4 4 . 2 . 3
4 2 1
3 2 4
2 5 3
= = + + + + =

Regla de Laplace
Si en una matriz cuadrada de orden n se suprime la fila i-sima y la columna j-sima
correspondiente a un elemento
ij
a de la misma, se obtiene una matriz de orden 1 n ,
cuyo determinante se denomina menor complementario o menor correspondiente al
elemento
ij
a . Se lo simboliza
ij
M .
El adjunto o cofactor de un elemento
ij
a es el producto entre
j i+
) 1 ( y el menor de
dicho elemento.
La Regla de Laplaceconsiste en el desarrollo de un determinante por los elementos de
una lnea cualquiera del mismo, consiste en que:
Todo determinante es igual a la suma de los productos de los elementos de una lnea,
por sus adjuntos correspondientes.

= =
= = =
n
i
ij ij
n
j
ij ij
nn n n
n
n
A a A a
a a a
a a a
a a a
A
1 1
2 1
2 22 21
1 12 11
. . .

donde
ij
A es el adjunto correspondiente a
ij
a .
Ejemplo: calcular el siguiente determinante:
6 3 1
5 2 8
8 4 3
= A
Solucin: si se desarrolla el determinante por los elementos de la primera fila es:
5
208 212 9
26 . 8 53 ). 1 .( 4 ) 3 ).( 3 (
3 1
2 8
) 1 .( 8
6 1
5 8
. ) 1 .( 4
6 3
5 2
. ) 1 .( 3
4 3 2
=
+ =
+ + =

+
+ = A

58 Determinantes

Matriz Adjunta de una Matriz Cuadrada
Es la matriz que se deduce de A cuando a cada elemento de
T
A se lo reemplaza por su
adjunto correspondiente.
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
a a a
a a a
a a a
A
. . .
2 1
2 22 21
1 12 11
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
t
a a a
a a a
a a a
A
. . .
2 1
2 22 12
1 21 11
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
A A A
A A A
A A A
A adj
. . .
2 1
2 22 12
1 21 11

Producto de una Matriz por su Adjunta
El producto de una matriz por su adjunta es una matriz escalar, donde dicho escalar es
el determinante de la matriz.
En efecto:
Sea la matriz
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
a a a
a a a
a a a
A
. . .
2 1
2 22 21
1 12 11
y su adjunta
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
A A A
A A A
A A A
A adj
. . .
2 1
2 22 12
1 21 11
, el
producto ser:
|
|
|
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
.
|
\
|
|
|
|
|
|
.
|
\
|
=

= = =
= = =
= = =
n
j
nj nj
n
j
j nj
n
j
j nj
n
j
nj j
n
j
j j
n
j
j j
n
j
nj j
n
j
j j
n
j
j j
nn n n
n
n
nn n n
n
n
A a A a A a
A a A a A a
A a A a A a
A A A
A A A
A A A
a a a
a a a
a a a
A adj A
1 1
2
1
1
1
2
1
2 2
1
1 2
1
1
1
2 1
1
1 1
2 1
2 22 12
1 21 11
2 1
2 22 21
1 12 11
. . .
. . .
. . .

Pero en todo determinante la suma de los productos de los elementos de una lnea por
los adjuntos de otra vale cero. Por lo tanto, los elementos de la diagonal representan el
desarrollo del determinante de la matriz A y los restantes valen cero. Con lo que:
I A Det A Det
A Det
A Det
A Det
A adj A =
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
.
|
\
|
=
1 0 0
0 1 0
0 0 1
0 0
0 0
0 0
. . .
. . .

59

Inversa de una Matriz
En virtud de la demostracin anterior podemos concluir en que:
La inversa de una matriz es igual al producto entre el inverso de su determinante y su
adjunta.
En efecto:
Por la demostracin anterior es:
A A adj A =
Multiplicando ambos miembro por
1
A , resulta:
1
1 1

=
=
A A A adj
A A A adj A A

Dividiendo ambos miembros por 0 = A
A adj
A
A
1
1
=

Teorema
Una matriz cuadrada A de orden n es invertible, si y slo si su determinante no es nulo.
En efecto:
a) Si A admite inversa 0 = A
I A A A A = =
1 1
Por definicin de matriz inversa
I Det A A Det A A Det = =

) ( ) (
1 1
Aplicando determinantes en los tres miembros
1
1 1
= =

A Det A Det A Det A Det Por determinante de un producto y el
determinante de la identidad.
Luego 0 = A Det porque el producto debe ser 1, y esto no se cumplira si 0 = A Det .
b) Si = 0 A Det A admite inversa.
En el punto anterior se ha visto que si 0 = A , entonces A adj
A
A
1
1
=
, ya que si el
antecedente no se cumpliera no habra una expresin para
1
A .

Ejemplo: sea
|
|
|
.
|
\
|
=
1 2 4
1 2 0
3 2 1
A . Hallar si existe
1
A .
28
1 2 4
1 2 0
3 2 1
= = A

|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
=
2 6 8
1 11 4
8 4 4
1 1 3
2 2 2
4 0 1
A adj A
T

|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
=

14
1
14
3
7
2
28
1
28
11
7
1
7
2
7
1
7
1
1
2 6 8
1 11 4
8 4 4
28
1
A

60 Sistemas de Ecuaciones

Sistemas de Ecuaciones
Ecuaciones con una Incgnita
Si
0 1 1
; ; ; ; a a a a
n n

son nmeros, la expresin general de una ecuacin con una

incgnita es:
0
0
1
1
2
2
1
1
= + + + + +

a x a x a x a x a
n
n
n
n

Los escalares n i a
i
, , 3 , 2 , 1 , = reciben el nombre de coeficientes de la ecuacin y son
elementos de un cuerpo cualquiera. Nosotros consideraremos que dichos escalares
pertenecen al cuerpo de los Reales.
0
a recibe el nombre de trmino independiente y es tambin un elemento del mismo
cuerpo.
Si 1 = n la ecuacin se llama lineal o de primer grado y se expresa generalmente como:
b ax =

Ejemplo: determinar el conjunto solucin de
1.
3
5
5 3 3 2 4 2 3 4 = = + = + = x x x x x x , luego
)
`
=
3
5
S y la solucin es
nica.
2. 0 0 5 5 2 2 5 2 5 2 5 2 5 3 = = + = + + = + x x x x x x x x , luego la ecuacin
admite infinitas soluciones } / { R k k x S e = =
3. 2 0 5 3 2 2 3 2 5 2 3 2 5 3 = = + = + + = + x x x x x x x x . No existe
nmero real que multiplicado por cero d como resultado un producto no nulo, es decir que
| = S

Es decir, que al momento de determinar las soluciones de una ecuacin puede ocurrir
1) Si 0 = a , la ecuacin b ax = admite una solucin nica,
a
b
x = .
2) Si 0 0 = . = b a , la ecuacin b ax = admite infinitas soluciones.
3) Si 0 0 = . = b a , la ecuacin b ax = no admite solucin.
Ecuaciones con dos Incgnitas
Son ecuaciones de la forma:
k by ax = + con 0 0 = v = b a
Cada solucin de la ecuacin es un par ) ; (
0 0
y x , cuyos elementos se obtienen asignando
un valor arbitrario a cada una de las incgnitas y despejando la otra en funcin de sta.
Dicho par de nmeros reales determina un punto del plano cartesiano
2
R , y todas las
soluciones obtenidas de la manera indicada determinan una lnea recta que se denomina
grfico de la ecuacin.
Sistema de Ecuaciones Lineales
Un sistema de m ecuaciones lineales con las mismas n incgnitas cada una de ellas, es
un conjunto de relaciones que admite la siguiente forma:
61

= + + + + +
= + + + + +
= + + + + +
= + + + + +
m n mn j mj m m
i n in j ij i i
n n j j
n n j j
b x a x a x a x a
b x a x a x a x a
b x a x a x a x a
b x a x a x a x a

2 2 1 1
2 2 1 1
2 2 2 2 22 1 21
1 1 1 2 12 1 11
......... .......... .......... .......... .......... .......... ..........
......... .......... .......... .......... .......... .......... ..........

Si el sistema es de m ecuaciones con n incgnitas, decimos que es un sistema de orden
n m .
Clasificacin
Al estudiar las soluciones de un sistema de ecuaciones, puede ocurrir:
1) Que tenga solucin: en este caso el sistema recibe el nombre de compatible.
a) Si la solucin es nica se llama sistema compatible determinado.
b) Si la solucin es mltiple (infinitas soluciones), se llama sistema compatible
indeterminado.
2) Que no tenga Solucin: entonces se dice que el sistema es incompatible.

Sistemas Equivalentes
Decimos que dos sistemas de ecuaciones lineales con las mismas incgnitas son
equivalentes si ambos tienen el mismo conjunto solucin.
Para obtener un sistema equivalente a partir de otro dado, se efectan en el dado
operaciones elementales.
Reciben el nombre de operaciones elementales las siguientes:
1) Permutar el orden de las ecuaciones;
2) Multiplicar una de las ecuaciones por un escalar k ( } 0 { eR k );
3) Sumar a una ecuacin otra cualquiera de ellas;
4) Sumar a una ecuacin una combinacin lineal de ella misma con otra del
sistema, siempre que el coeficiente de la combinacin sea distinto de
cero
Sistemas de dos Ecuaciones con dos Incgnitas
Un sistema de este tipo puede escribirse como:
= v = = +
= v = = +
0 0 ;
0 0 ;
22 21 2 2 22 1 21
12 11 1 2 12 1 11
a a b x a x a
a a b x a x a
C
Es decir, que los coeficientes de cada ecuacin no deben ser simultneamente nulos.
Sistemas de
Ecuaciones
Lineales
Compatible
Determinado

Indeterminado
Incompatible

Debemos determinar los valores de x
1
y x
2
que satisfacen simultneamente ambas
ecuaciones, es decir se trata de identificar la solucin S, tal que
} {
2 2 22 1 21 1 2 12 1 11 2 1
/ ) ; ( b k a k a b k a k a k k S = + . = + =
Cada una de las ecuaciones del sistema tiene como representacin grfica una lnea
recta, y pueden darse tres casos:

nica Solucin Ninguna Solucin Infinitas Soluciones
Supongamos ahora que en el sistema C multiplicamos la primera ecuacin por
22
a y la
segunda por
12
a , resulta
= +
= +
2 12 2 12 22 1 12 21
1 22 2 22 12 1 22 11
b a x a a x a a
b a x a a x a a
C
A continuacin restamos la segunda ecuacin de C a la primera
2 12 1 22 1 12 21 1 22 11
2 12 1 22 1 12 21 1 22 11
) ( b a b a x a a a a
b a b a x a a x a a
=
=

Luego si 0 ) (
12 21 1 22 11
= a a a a , entonces se puede dividir entre esta cantidad para
obtener el valor de x
1
:
12 21 1 22 11
2 12 1 22
1
a a a a
b a b a
x
=
Luego se puede sustituir el valor de x
1
en el sistema, para hallar el valor de x
2
. la
expresin ) (
12 21 1 22 11
a a a a recibe el nombre de determinante del sistema.
Teorema
a) El sistema es compatible determinado si y slo si el determinante es distinto de
cero
b) El sistema es compatible indeterminado o incompatible, si y slo si el
determinante del sistema es nulo
Sistema de n Ecuaciones con n Incgnitas
Es un sistema de la forma
= + + + + +
= + + + + +
= + + + + +
= + + + + +
m n mn j mj m m
i n in j ij i i
n n j j
n n j j
b x a x a x a x a
b x a x a x a x a
b x a x a x a x a
b x a x a x a x a

2 2 1 1
2 2 1 1
2 2 2 2 22 1 21
1 1 1 2 12 1 11
......... .......... .......... .......... .......... .......... ..........
......... .......... .......... .......... .......... .......... ..........
C
Donde:
63

|
|
|
|
|
.
|
\
|
=
nn n n
n
n
a a a
a a a
a a a
A
. . . .
2 1
2 22 21
1 12 11

Recibe el nombre de matriz de los coeficientes de las incgnitas
|
|
|
|
|
.
|
\
|
=
n
x
x
x
X
.
2
1

Constituye la matriz de las incgnitas.
|
|
|
|
|
.
|
\
|
=
n
b
b
b
B
.
2
1

Es la matriz de los trminos independientes.
Mtodo de la Matriz Inversa
De esta manera el sistema C puede escribirse matricialmente de la siguiente manera
B X A = C
Supongamos que A es una matriz que admite inversa, entonces podemos multiplicar
ambos miembros de C por
1
A
B A X
B A X I
B A X A A
B A X A A
=
=
=
=

1
1
1 1
1 1
) (

Como dijimos que X representa la matriz de las incgnitas, la expresin anterior
representa la solucin del sistema.
Se puede verificar que dicha expresin es la solucin del sistema. En efecto,
reemplazamos en C y resulta:
B B
B B I
B B A A
B B A A
=
=
=
=
.
) . (
. .
1
1

Luego B A X
1
= es una solucin del sistema.
Ejemplo: sea al sistema
= + +
= +
= +
3 7
2 3 8 2
1 2 3
z y x
z y x
z y x

Debemos observar si la matriz de los coeficientes admite inversa

0 2
1 7 1
3 8 2
2 3 1
1 7 1
3 8 2
2 3 1
= =
=
|
|
|
.
|
\
|
= A A
Como el determinante de la matriz es no nulo, entonces A admite inversa.
|
|
|
.
|
\
|

=
|
|
|
.
|
\
|

=
2 4 6
1 3 5
7 17 29
.
1 3 2
7 8 3
1 2 1
A adj A
T

Luego la inversa de A ser
|
|
|
.
|
\
|
2 4 6
1 3 5
7 17 29
2
1
1
A
Luego
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
+
+
+
=
|
|
|
.
|
\
|
|
|
|
.
|
\
|
|
|
|
.
|
\
|

=
|
|
|
.
|
\
|
4
2
16
2
1
6 8 6
3 6 5
21 34 29
2
1
3
2
1
.
2 4 6
1 3 5
7 17 29
2
1
z
y
x
z
y
x

Es decir, la solucin del sistema ser
)} 2 ; 1 ; 8 {( = S
Regla de CRAMER
Dado un sistema de orden n n , cuyo determinante correspondiente a la matriz de los
coeficientes es distinto de cero, admite una nica solucin que est dada por:
| |
| |
A
A
x
j
j
= con n j ;...; 2 ; 1 =
En efecto:
Sea el sistema
= + + + + +
= + + + + +
= + + + + +
= + + + + +
m n mn j mj m m
i n in j ij i i
n n j j
n n j j
b x a x a x a x a
b x a x a x a x a
b x a x a x a x a
b x a x a x a x a

2 2 1 1
2 2 1 1
2 2 2 2 22 1 21
1 1 1 2 12 1 11
......... .......... .......... .......... .......... .......... ..........
......... .......... .......... .......... .......... .......... ..........

Matricialmente escrito
65

|
|
|
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
|
|
|
.
|
\
|
|
|
|
|
|
|
|
|
.
|
\
|
n
j
n
j
nn nj n n
in ij i i
n j
n j
b
b
b
b
x
x
x
x
a a a a
a a a a
a a a a
a a a a
.
.
.
.

. . . .

. . . .

2
1
2
1
2 1
2 1
2 2 22 21
1 1 12 11
C
Como el determinante de la matriz de coeficientes es distinto de cero ( 0 | | = A ), la
matriz A admite inversa
Multiplicando ambos miembros de C por
1
A , obtenemos
B A X B A X A A
1 1 1
) . (

= =
Si sustituimos
1
A por su igual, obtenemos
|
|
|
|
|
|
|
|
.
|
\
|
|
|
|
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
|
|
|
.
|
\
|
n
i
nn in n n
jn ij j j
n i
n i
n
j
b
b
b
b
A A A A
A A A A
A A A A
A A A A
A
x
x
x
x
.
.

. . . .

. . . .

.
.
2
1
2 1
2 1
2 2 22 12
1 1 21 11
2
1
| |
1

Desarrollando:
| |
1 1 2 21 1 11
1
A
b A b A b A b A
x
n n i i
+ + + + +
=

| |
2 2 1 1
A
b A b A b A b A
x
n nj i ij j j
j
+ + + + +
=

| |
2 2 1 1
A
b A b A b A b A
x
n nn i in n n
n
+ + + + +
=

El numerador de x
1
es el desarrollo por los adjuntos de los elementos de la primera
columna de A del siguiente determinante
|
|
|
|
|
|
|
|
.
|
\
|
=
nn nj n n
in ij i i
n j
n j
a a a b
a a a b
a a a b
a a a b
A

. . . .

. . . .

2
2
2 2 22 2
1 1 12 1
1
| |
Anlogamente para x
j

|
|
|
|
|
|
|
|
.
|
\
|
=
nn n n n
in i i i
n
n
j
a b a a
a b a a
a b a a
a b a a
A

. . . .

. . . .

2 1
2 1
2 2 22 21
1 1 12 11
| |

Entonces, las expresiones que permiten calcular los valores de cada una de las
incgnitas son:
| |
| |
;...;
| |
| |
;...;
| |
| |
1
1
A
A
x
A
A
x
A
A
x
n
n
j
j
= = =
Observacin:
Si el determinante de la matriz de los coeficientes es nulo, puede ocurrir
Que algunos de los determinantes 0 | | =
j
A , entonces el sistema es incompatible.
Que todos los determinantes 0 | | =
j
A , entonces el sistema es compatible
indeterminado.

Ejemplo: resolver aplicando regla de CRAMER
= + +
= + +
= +
2 4 2
4 2 2 3
2
z y x
z y x
z y x

Matricialmente podemos escribirlo
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
|
|
|
.
|
\
|
2
4
2
4 2 1
2 2 3
1 1 1
z
y
x

0 18
4 2 1
2 2 3
1 1 1
= =

El sistema tiene solucin nica, dada por
9
4
18
8
18
4 2 2
2 2 4
1 1 2
=
= x ;
9
13
18
4 2 1
2 4 3
1 2 1
=
= y y
9
1
18
2 2 1
4 2 3
2 1 1
=
= z
Eliminacin de Gauss-Jordan
Los pasos a seguir para hallar las soluciones de un sistema, mediante la eliminacin de
Gauss-Jordan son los siguientes: (aqu se considera un sistema de 3 3 por simplicidad)
1. Se hace que el coeficiente de x
1
en la primera ecuacin sea igual a 1, es decir, se
divide toda la ecuacin por a
11
;
2. Se eliminan los trminos que contengan x
1
en la segunda y tercera ecuacin,
multiplicando a la primer ecuacin por nmeros convenientes y luego sumando
los resultados a la segunda y tercera ecuacin;
3. Se divide, de modo tal que el coeficiente correspondiente a la incgnita x
2
de la
segunda ecuacin sea 1, y luego se procede a eliminar los trminos que
contengan x
2
en la primera y tercera ecuacin;
4. Se divide para que el coeficiente de x
3
sea 1 y se procede como en el paso 2 y 3.
Cabe aclarar que en cada paso el sistema obtenido es equivalente al primero, pues se
han efectuado en l operaciones fundamentales.
Ejemplo: resolver el siguiente sistema por eliminacin de Gauss-Jordan
67

= +
= + +
= + +
4 2 1 3
24 6 5 4
18 6 4 2
3 2 1
3 2 1
3 2 1
x x x
x x x
x x x

Solucin:
=
=
=
= + +
= + +
= + +
= +
= + +
= +
=
= + +
= + +
=
=
= + +
= +
= + +
= + +
= +
= + +
= + +
3 1
2 1
4 1
3 1 0 0
2 0 1 0
4 0 0 1
3 1 0 0
4 2 1 0
1 1 0 1
23 11 5 0
4 2 1 0
9 3 2 1
23 11 5 0
12 6 3 0
9 3 2 1
4 2 1 3
24 6 5 4
9 3 2
4 2 1 3
24 6 5 4
18 6 4 2
3
2
1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
3 2 1
x
x
x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x
x x x

Tambin podemos expresar el sistema matricialmente y representarlo mediante una matriz ampliada
|
|
|
.
|
\
|

|
|
|
.
|
\
|
|
|
|
.
|
\
|
|
|
|
.
|
\
|

|
|
|
.
|
\
|

|
|
|
.
|
\
|
|
|
|
.
|
\
|
3
2
4
1 0 0
0 1 0
0 0 1
3
4
3
1 0 0
2 1 0
1 0 1
3
4
3
1 0 0
2 1 0
1 0 1
23
4
9
11 5 0
2 1 0
3 2 1
23
12
9
11 5 0
6 3 0
3 2 1
4
24
9
2 1 3
6 5 4
3 2 1
4
24
18
2 1 3
6 5 4
6 4 2

Teorema de ROUCH-FROBENIUS
Sea un sistema de orden n m , sea A la matriz de sus coeficientes y sea A la matriz
ampliada de dichos coeficientes. Entonces se verifica que:
Si n A A = = ) ( ) ( (nmero de incgnitas), es condicin necesaria y suficiente
para que el sistema sea Compatible determinado.
Si n A A < = ) ( ) ( entonces el sistema es compatible indeterminado;
Si ) ( ) ( A A = el sistema es incompatible.
Sistemas Homogneos
Una ecuacin recibe el nombre de homognea cuando el segundo miembro es igual a
cero, o bien, cuando carece de trmino independiente, en consecuencia un sistema de
ecuaciones es homogneo cuando est compuesto por ecuaciones homogneas.

= + + + + +
= + + + + +
= + + + + +
= + + + + +
0
...... .......... .......... .......... .......... .......... ..........
0
..... .......... .......... .......... .......... .......... ..........
0
0
2 2 1 1
2 2 1 1
2 2 2 22 1 21
1 1 2 12 1 11
n mn j mj m m
n in j ij i i
n n j j
n n j j
x a x a x a x a
x a x a x a x a
x a x a x a x a
x a x a x a x a


Un sistema de ecuaciones lineales homogneo siempre admite la solucin:
0
2 1
= = = = = =
n j
x x x x que recibe el nombre de solucin trivial.
En consecuencia un sistema homogneo es siempre compatible. Nos interesa saber
cuando admite otra solucin distinta de la trivial.
Sabemos por el teorema de ROUCH-FROBENIUS que si n h A < = ) ( se puede
asignar a las (n h) incgnitas restantes valores arbitrarios, de modo que existen
infinitas soluciones distintas de la trivial. Luego:
La condicin necesaria y suficiente para que un sistema homogneo admita otras
soluciones distintas de la trivial, es que el rango de la matriz de los coeficientes sea
menor que el nmero de incgnitas
Pero como sabemos para que un sistema sea compatible indeterminado es necesario que
el determinante de la matriz de los coeficientes sea nulo. Es decir:
La condicin necesaria y suficiente para que un sistema homogneo admita ms
soluciones que la trivial, es que el determinante de la matriz de sus coeficientes sea
nulo
Propiedades
1. Si un sistema homogneo admite una solucin
) ;...; ;...; ; ( ) ;...; ;...; ; (
2 1 2 1 n j n j
t t t t x x x x = , distinta de la trivial, entonces tambien
admite la solucin ) ;...; ;...; ; ( ) ;...; ;...; ; (
2 1 2 1 n j n j
t t t t x x x x o o o o = con R e o .
En efecto: si el sistema admite como solucin a
) ;...; ;...; ; ( ) ;...; ;...; ; (
2 1 2 1 n j n j
t t t t x x x x = entonces se verifica que:
= + + + + +
= + + + + +
= + + + + +
= + + + + +
0
...... .......... .......... .......... .......... .......... ..........
0
..... .......... .......... .......... .......... .......... ..........
0
0
2 2 1 1
2 2 1 1
2 2 2 22 21
1 1 2 12 1 11
n mn j mj m m
n in j ij i i
n n j j t
n n j j
t a t a t a t a
t a t a t a t a
t a t a t a x a
t a t a t a t a

Si multiplicamos ambos miembros por R e o
= + + + + +
= + + + + +
= + + + + +
= + + + + +
0
...... .......... .......... .......... .......... .......... ..........
0
..... .......... .......... .......... .......... .......... ..........
0
0
2 2 1 1
2 2 1 1
2 2 2 22 21
1 1 2 12 1 11
n mn j mj m m
n in j ij i i
n n j j t
n n j j
t a t a t a t a
t a t a t a t a
t a t a t a x a
t a t a t a t a
o o o o
o o o o
o o o o
o o o o

2. las combinaciones lineales de las soluciones de un sistema homogneo son
tambin solucin del sistema.
Sean ) ;...; ;...; ; (
2 1 n j
t t t t y ) ' ;...; ' ;...; ' ; ' (
2 1 n j
t t t t soluciones del sistema, entonces
) ;...; ;...; ; (
2 2 1 1 n n j j
t t t t t t t t | o | o | o | o + + + + tambin es solucin del sistema.
69

Espacios Vectoriales
Vectores
Sean los vectores ) ; ; (
1 1 1
z y x u =
,
, ) ; ; (
2 2 2
z y x v =
,
, ) ; ; (
3 3 3
z y x w=
,
y R k e . Se definen
las operaciones de vectores de la siguiente manera:
Suma: ) ; ; (
2 1 2 1 2 1
w w y y x x v u + + + = +
, ,

Multiplicacin por un escalar: ) ; ; (
1 1 1
kz ky kx u k =
,

Producto escalar: cos | || |
2 1 2 1 2 1
v u z z y y x x v u
, , , ,
= + + = . donde es el ngulo
que forman los vectores.
Producto vectorial: se interpreta geomtricamente como el rea del
paralelogramo de lados u
,
y v
,

k x y y x j x z z x i y z z y
z y x
z y x
k j i
v u

, ,
) ( ) ( ) (
2 1 2 1 2 1 2 1 2 1 2 1
2 2 2
1 1 1
+ + = =

O bien
sen v u v u | || | | |
, , , ,
=
Producto Mixto: se interpreta geomtricamente como el volumen del
paraleleppedo de aristas u
,
, v
,
y | | w
,

sen w v u
z y x
z y x
z y x
w v u | || || | ) (
2 2 2
1 1 1
3 3 3
, , , , , ,
= = .
donde es el ngulo que forman u
,
y v
,

Definicin de Espacio Vectorial
Un espacio vectorial real V es un conjunto de objetos, llamados vectores, junto con dos
operaciones adicin y multiplicacin por un escalar que satisfacen los axiomas que se
enuncian a continuacin:
1. Ley de cierre de la adicin: V y x V y V x e + e . e
, , , ,

2. Asociatividad respecto de la adicin: si x, y y z son elementos cualesquiera de
V, entonces se verifica que : ) ( ) ( z y x z y x
, , , , , ,
+ + = + +
3. Existencia de neutro de la adicin: x x x V x V
, ,
, ,
, ,
,
= + = + e e - 0 0 : / 0
4. Existencia de inverso aditivo: 0 ) ( ) ( /
,
, , , , , ,
= + = + e - e x x x x V x V x
5. Conmutatividad de la adicin: x y y x V y x
, , , , , ,
+ = + e : ;
6. Cierre de la multiplicacin por un escalar: V e e . e x R V x
, ,
o o
7. Distributividad del producto respecto de la suma de vectores:
y x y x R V y V x
, , , , ,
o o o o + = + e . e . e ) (
8. Distributividad de la suma de escalares respecto del producto por un vector:
x x x R R V x
, , , ,
| o | o | o + = + e . e . e ) (
9. Asociatividad mixta: x x R R V x
, , ,
) ( ) ( o| | o | o = e . e . e
10. Identidad multiplicativa: x x x V x R
, , , ,
= = e e - 1 1 : / 1

70 Espacios Vectoriales

Son ejemplos de Espacio Vectorial:
a) El espacio R
n
;
b) El espacio vectorial trivial: {0
,
};
c) El conjunto de puntos de R
2
que se encuentran sobre una recta que pasa por el
origen;
d) El conjunto de puntos de R
3
que se encuentran sobre un plano que pasa por el
origen;
e) El espacio vectorial P
n
de los polinomios de grado menor o igual que n;
f) El espacios vectoriales C[0;1] y C[a;b] de las funciones continuas en dichos
intervalos;
g) EL conjunto de matrices de n m ;
h) El espacio C
n
de nmeros complejos;
Teorema
i 0 0 :
, ,
= e o o R
ii 0 0 :
,
,
,
,
= e x V x
iii Si 0 0 0
,
,
,
,
= v = = x x o o
iv x x V x
, , ,
= e ) 1 ( :
En efecto:
i Segn el axioma 3, 0 0 0
, , ,
= + y segn el axioma 7,
0 0 0 ) 0 0 (
, , , , ,
o o o o = + = + C
Sumando 0
,
o a ambos miembros de la ltima ecuacin en C y aplicando la ley
asociativa (axioma 2), se obtiene
0 0
0 0 0
0 )] 0 ( 0 [ 0
) 0 ( 0 ) 0 ( ] 0 0 [
, ,
, , ,
, , , ,
, , , , ,
=
= +
= + +
+ = + +
o
o
o o o
o o o o o

ii Segn el axioma 3, 0 0 0
, , ,
= + y segn el axioma 7,
x x x x
, , , ,
0 0 ) 0 0 ( 0 + = + = C
Sumando x
,
0 en la primera y tercera ecuacin de C
) 0 ( ) 0 0 ( ) 0 ( 0 x x x x x
, , , , ,
+ + = +
Aplicando el axioma 2 (asociatividad) y por inverso aditivo
x
x
x x x
,
,
,
,
,
, , ,
,
0 0
0 0 0
)] 0 ( 0 [ 0 0
=
+ =
+ + =

iii Sea 0
,
,
= x o . Si 0 = o , ambos lados de la ecuacin se multiplican por
o
1

0 0
1 1
, ,
,
= =
o
o
o
x
Pero por axioma 9, se tiene
x x
, ,
= 1
Es decir
71

0
,
,
= x
iv Partimos de la base de que 0 ) 1 ( 1 = + . Entonces, usando la parte ii, se tiene
x x
, ,
,
)] 1 ( 1 [ 0 0 + = =
Luego, por axioma 8,
x x x x
, , , ,
,
) 1 ( ) 1 ( 1 0 + = + =
Sumando miembro a miembro en la primera y tercera igualdad, x
,

x x
x x x x
, ,
, , ,
,
,
) 1 (
) 1 ( 0
=
+ + = +

Subespacios
Sea H un conjunto no vaco de un espacio vectorial V y supngase que H es en s mismo
un espacio vectorial ante las operaciones de adicin y multiplicacin por un escalar
definidas en V. entonces se dice que H es un subespacio de V
Teorema: Para la determinacin de un subespacio
Un conjunto no vaco H del espacio vectorial V es un subespacio de V si se cumplen las
dos Leyes de Composicin:
i Si H y x H y H x e + e . e
, , , ,

ii Si H x H x e e
, ,
o para todo escalar o
Demostracin:
Para mostrar que H es un espacio vectorial, es preciso demostrar que se cumplen los
axiomas del 1 al 10:
Los axiomas 1 y 6 se cumplen por hiptesis.
Como los vectores de H tambin estn en V, se cumple la asociatividad, la
conmutatividad, la de distribucin y de la identidad multiplicativa (axiomas 2, 5, 7, 8, 9
y 10)
Sea H x H x e e
, ,
0 , por hiptesis ii, adems, como se demostr 0 0
,
,
= x , entonces
H e 0
,
, con lo que el axioma 3 se satisface.
Por ltimo, por hiptesis ii, H x H x e e
, ,
) 1 ( , pero por lo que ya de ha demostrado,
x x
, ,
= ) 1 ( , con lo que se satisface el axioma 4.

Este teorema nos dice que es suficiente para demostrar que H es un subespacio de V que
y x
, ,
+ y x
,
o estn en H si y x
, ,
. estn en H y o es un escalar
La demostracin anterior contiene implcito algo que es preciso explicitarlo:
Todo subespacio no vaco de un espacio vectorial V contiene al 0
,

Ejemplos:
a) El subespacio vectorial trivial: } 0 {
,

b) Un espacio vectorial es subespacio de s mismo
c) Subespacio de R
2
: } / ) ; {( mx y y x H = =
d) Subespacio de R
3
: } 4 3 2 / ) , , {( t z t y t x z y x H = . = . = =

En los ejemplos a) y b) se ha dicho que } 0 {
,
y el mismo V son subespacios de V.
Algunas veces los espacios admiten otros subespacios, stos son los llamados
subespacios propios. Sin embargo no todos los espacios vectoriales tienen subespacios
propios.

Teorema: de la interseccin de subespacios
Sean H
1
y H
2
dos subespacios de un espacio vectorial V. Entonces
2 1
H H es un
subespacio de V.
En efecto:
Advirtase que
2 1
H H es no vaco ya que contiene al 0
,
. Sean
2 1 2 2 1 1
H H x H H x e . e
, ,

Como H
1
y H
2
son subespacios, entonces
2 1 2 1 2 2 1 1 2 1
H H x x H x x H x x e + e + . e +
, , , , , ,
C
Anlogamente: Sean
R H H x o . e
2 1 1
,

Como H
1
y H
2
son subespacios, entonces
2 1 1 2 1 1 1
H H x H x H x e e . e
, , ,
o o o C
De C y C, por verificar las dos leyes de composicin:
2 1
H H es un subespacio de V
Combinacin Lineal
Sean
n
v v v
,
, ,
; ; ;
2 1
vectores en un espacio vectorial V. Entonces cualquier expresin de
la forma:
n n
v a v a v a
,
, ,
+ + +
2 2 1 1

donde
n
a a a ; ; ;
2 1
son escalares, se llama combinacin lineal de
n
v v v
,
, ,
; ; ;
2 1
.
Ejemplo: combinacin lineal en
3 2
9
|
|
.
|
\
|

+
|
|
.
|
\
|
=
|
|
.
|
\
|
6 3 2
2 1 0
2
5 1 1
4 0 1
3
3 9 1
8 2 3

Lo que muestra que
|
|
.
|
\
|
3 9 1
8 2 3
puede expresarse como combinacin lineal de
|
|
.
|
\
|
5 1 1
4 0 1
y
|
|
.
|
\
|

6 3 2
2 1 0
.

Conjunto Generador de un Espacio Vectorial
Se dice que los vectores
n
v v v
,
, ,
; ; ;
2 1
en un espacio vectorial V generan V si todo vector
de V se puede expresar como combinacin lineal de ellos. Dicho de otra manera, para
todo V v e
,
existen escalares
n
a a a ; ; ;
2 1
tales que
n n
v a v a v a v
,
, , ,
+ + + =
2 2 1 1

Ejemplo: conjunto de vectores que generan R
2
y R
3

Todo vector ) ; (
1 1 1
y x v =
,
de R
2
se puede expresar como combinacin lineal de
|
|
.
|
\
|
= .
|
|
.
|
\
|
=
1
0
0
1
j i

, es
decir
j y i x y x v

,
1 1 1 1 1
1
0
0
1
+ =
|
|
.
|
\
|
+
|
|
.
|
\
|
=
73

Anlogamente, todo vector ) ; ; (
1 1 1 1
z y x v =
,
de R
3
se puede expresar como combinacin lineal de
|
|
|
.
|
\
|
= .
|
|
|
.
|
\
|
= .
|
|
|
.
|
\
|
=
1
0
0
0
1
0
0
0
1
k j i

, es decir
k z j y i x z y x v

,
1 1 1 1 1 1 1
1
0
0
0
1
0
0
0
1
+ + =
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
=
Espacio Generado por un Conjunto de Vectores
Sean { }
k
v v v
,
, ,
; ; ;
2 1
k vectores en un espacio vectorial V. El espacio generado por
{ }
k
v v v
,
, ,
; ; ;
2 1
es el conjunto de combinaciones lineales de
k
v v v
,
, ,
; ; ;
2 1
. Es decir
k k k
v a v a v a v v v v v Espacio
,
, , , , ,
, ,
+ + + = =
2 1 1 1 2 1
/ { } ; ; ; {
donde
k
a a a ; ; ;
2 1
son escalares.
Propiedad:
El espacio generado por k vectores de un espacio, es subespacio del mismo.
Gen{ }
k
v v v
,
, ,
; ; ;
2 1
es subespacio de V
Ejemplo: espacio generado por dos vectores en R
3

Sean los vectores ) 4 ; 1 ; 2 (
1
= v
,
y ) 6 ; 1 ; 4 (
2
= v
,
, entonces
)} 6 ; 1 ; 4 ( ) 6 ; 1 ; 2 ( / {
2 1
a a v v H + = =
, ,

Qu es el subespacio H?
Si H z y x v e = ) ; ; (
,
, entonces se tiene
= +
= +
= +
z a a
y a a
x a a
2 1
2 1
2 1
6 4
4 2

Si se considerara al punto (x;y;z) como fijo, las incgnitas por conocer son a
1
y a
2
, luego:
|
|
|
.
|
\
|
|
|
|
.
|
\
|

|
|
|
.
|
\
|

|
|
|
.
|
\
|
+ +
+

3
3 2 5
6
2
6
4
6
4
0 0
1 0
0 1
6 0 10
1 1
0 1
6
4
0 10
1 1
0 6
6 4
1 1
4 2
z y x
y x
y x y x
y z
y
y z
y
y x
z
y
x

Pero para que el sistema tenga solucin (compatible), es necesario que
0
3
3 2 5
=
+ + z y x

Luego, si multiplicamos por -3 ambos miembros
0 3 2 5 = z y x
Que es la ecuacin de un plano que pasa por el origen
Independencia Lineal
Sean
n
v v v
,
, ,
; ; ;
2 1
n vectores de espacio vectorial, entonces se dice que los vectores son
linealmente dependientes si existen n escalares
n
a a a ; ; ;
2 1
no todos ceros, tales que
0
2 2 1 1
,
,
, ,
= + + +
n n
v a v a v a

Si los vectores no son linealmente dependientes, se dice que son linealmente
independientes.
En la prctica para determinar si dos o ms vectores son linealmente independientes o
no, basta con formar un sistema de ecuaciones a fin de encontrar los valores de
n
a a a ; ; ;
2 1
. Si este sistema (que es homogneo) acepta solamente la solucin trivial, es
decir cada uno de los coeficientes es nulo, decimos que los vectores son linealmente
independientes, en caso contrario son linealmente dependientes.

Ejemplo: Cmo determinar si tres vectores en R
3
son linealmente independientes o no?
Sean los vectores
|
|
|
.
|
\
|
3
2
1
;
|
|
|
.
|
\
|
0
2
2
y
|
|
|
.
|
\
|
7
1
0
, determinar si son Linealmente independientes.
Supngase que
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
0
0
0
7
1
0
0
2
2
3
2
1
3 2 1
a a a
Es decir
= + +
= +
= + +
0 7 0 3
0 2 2
0 0 2
3 2 1
3 2 1
3 2 1
a a a
a a a
a a a

De aqu se desprenden dos formas de resolucin:
i Resolver el determinante de la matriz de los coeficientes;
a) si el determinante es nulo: el sistema tienen infinitas soluciones, luego los vectores son
linealmente dependientes;
b) si el determinante es distinto de cero, el sistema admite una nica solucin, la trivial,
luego los vectores son linealmente independientes.
ii Resolver el sistema de ecuaciones y hallar la/s solucin/es.
Apliquemos el procedimiento i:
0 20 28 6 14
7 0 3
1 2 2
0 2 1
= = + + =
Es decir, que los tres vectores dados son linealmente independientes.
Nota: si se observa el determinante formado, vemos que dicho determinante es el resultado de un
producto mixto de vectores, pero para ello debemos tener en cuenta que | | | |
T
A A = , es decir
0
3
2
1
7
0
3
0
2
2
7 1 0
0 2 2
3 2 1
7 0 3
1 2 2
0 2 1
=
|
|
|
.
|
\
|
.
(
(
(
|
|
|
.
|
\
|
|
|
|
.
|
\
|
=
=
Como sabemos el producto mixto representa el volumen de un paraleleppedo, si ste es nulo, significa
que los vectores son coplanares, pero si es distinto de cero los vectores sern no coplanares.
Teorema 1
Un conjunto de n vectores de R
m
siempre es linealmente dependiente, si n < m
En efecto:
Sean
n
v v v
,
, ,
; ; ;
2 1
n vectores de R
m
. se intentar hallar las constantes
n
a a a ; ; ;
2 1
no
todas cero, tales que
0
2 2 1 1
,
,
, ,
= + + +
n n
v a v a v a
75

Sean
|
|
|
|
|
.
|
\
|
=
1
21
11
1
m
b
b
b
v
.
,
,
|
|
|
|
|
.
|
\
|
=
2
22
12
2
m
b
b
b
v
.
,
, ,
|
|
|
|
|
.
|
\
|
=
mn
n
n
b
b
b
v
.
,
2
1
1
C
Entonces la ecuacin C se convierte en:
= + + +
= + + +
= + + +
0
..... .......... .......... .......... ..........
0
0
2 2 1 1
2 22 2 21 1
1 12 2 11 1
mn n m m
n n
n n
b a b a b a
b a b a b a
b a b a b a
C
Es decir, que queda formado un sistema ecuaciones donde el nmero de ecuaciones es
menor que el nmero de incgnitas, es decir el sistema es indeterminado y, por lo tanto
los vectores son Linealmente Dependientes.
Corolario
Todo conjunto de vectores linealmente independientes en R
n
contiene a lo sumo n
vectores.
Este corolario tambin puede expresarse as:
Si se tienen n n-vectores linealmente independiente, entonces la incorporacin de un
vector ms al conjunto har que ste sea linealmente dependiente.
Teorema 2
Sean
|
|
|
|
|
.
|
\
|
=
mn m m
n
n
b b b
b b b
b b b
B
2 1
2 22 21
1 12 11
y
|
|
|
|
|
.
|
\
|
=
n
a
a
a
a
.
,
2
1

Entonces las columnas de B, consideradas como vectores, son linealmente
independientes si el sistema C, que se puede escribir 0
,
,
= a B , tiene soluciones que no
son comunes.
Teorema 3
Sean
n
v v v
,
, ,
; ; ;
2 1
n vectores en R
n
y sea A la matriz de n n cuyas columnas son
n
v v v
,
, ,
; ; ;
2 1
. Entonces
n
v v v
,
, ,
; ; ;
2 1
son linealmente independientes si y slo si la nica
solucin del sistema homogneo 0
,
,
= x A es la solucin trivial 0
,
,
= x
La demostracin de este teorema no es necesaria, pues es una consecuencia directa del
teorema 2, para el caso en que n m= .
Teorema 4
Sea A una matriz de n n . Entonces 0 | | = A si y slo si las columnas de A son
linealmente independientes.

Teorema 5
Todo conjunto de n vectores en R
n
genera a R
n

En efecto: supngase que
|
|
|
|
|
.
|
\
|
=
1
21
11
1
n
a
a
a
v
.
,
,
|
|
|
|
|
.
|
\
|
=
2
22
12
2
n
a
a
a
v
.
,
, ,
|
|
|
|
|
.
|
\
|
=
nn
n
n
n
a
a
a
v
.
,
2
1

son linealmente independientes y que
|
|
|
|
|
.
|
\
|
=
n
x
x
x
v
.
,
2
1

Es un vector de R
n
. debe mostrarse que existen escalares
n
c c c ; ; ;
2 1
tales que
n n
v c v c v c v
,
, , ,
+ + + =
2 2 1 1

Es decir
|
|
|
|
|
.
|
\
|
+ +
|
|
|
|
|
.
|
\
|
+
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
.
|
\
|
nn
n
n
n
n n n
a
a
a
c
a
a
a
c
a
a
a
c
x
x
x
.
. . .
2
1
2
22
12
2
1
21
11
1
2
1

Lo que se traduce en un sistema de n ecuaciones con n incgnitas
n
c c c ; ; ;
2 1
:
= + + +
= + + +
= + + +
n nn n n n
n n
n n
x a c a c a c
x a c a c a c
x a c a c a c
2 2 1 1
2 2 22 2 21 1
1 1 12 2 11 1
..... .......... .......... .......... ..........

Este sistema se puede escribir como v c A
, ,
= , donde
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
a a a
a a a
a a a
A
2 1
2 22 21
1 12 11
y
|
|
|
|
|
.
|
\
|
=
n
c
c
c
c
.
,
2
1

Como 0 | | = A , ya que las columnas de A son linealmente independientes, entonces el
sistema tienen una nica solucin c
,
y el teorema queda demostrado.

Comentario: este teorema no slo muestra que v
,
se puede expresar como combinacin
lineal de los vectores independientes
n
v v v
,
, ,
; ; ;
2 1
, sino tambin que dicha combinacin
lineal es nica
Base
Un conjunto de vectores } ; ; ; {
2 1 n
v v v
,
, ,
es basede un espacio vectorial V si y slo si:
i } ; ; ; {
2 1 n
v v v
,
, ,
es linealmente independiente
ii } ; ; ; {
2 1 n
v v v
,
, ,
genera V.
77

En particular, todo conjunto de n vectores linealmente independientes de R
n
es una base
en R
n
.
En R
n
se define
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
.
|
\
|
=
|
|
|
|
|
.
|
\
|
=
1
0
0
;...;
0
1
0
;
0
0
1
2 1
.
,
.
,
.
,
n
e e e
Luego como
i
e
,
son columnas de la matriz identidad, cuyo determinante es 1,
} ;...; ; {
2 1 n
e e e
, , ,
es linealmente independiente y por tanto constituye una base en R
n
. A esta
base en particular se le llama Base Estndar o Base Cannica.
Ejemplo:
Base Cannica en M
22

Se puede ver que las matrices
|
|
.
|
\
|
|
|
.
|
\
|
|
|
.
|
\
|
|
|
.
|
\
|
0 0
1 0
1 0
0 0
0 1
0 0
0 0
0 1

generan M
22
.
Cualquiera sean los escalares c
i
se verifica que
|
|
.
|
\
|
+
|
|
.
|
\
|
+
|
|
.
|
\
|
+
|
|
.
|
\
|
=
|
|
.
|
\
|
1 0
0 0
0 1
0 0
0 0
1 0
0 0
0 1
4 3 2 1
4 3
2 1
c c c c
c c
c c

Y, adems
0
0 0
0 0
4 3 2 1
4 3
2 1
= = = =
|
|
.
|
\
|
=
|
|
.
|
\
|
c c c c
c c
c c

Con lo que las matrices dadas son linealmente independientes y generan M
22
. Luego constituyen una
base, a sta se le llama Base Cannica.
Base de un subespacio de R
3

Sea el plano
} 0 3 2 / ) ; ; {( = + = z y x z y x t
Determinar una base.
z x y z y x + = = + 2 0 3 2

Con lo que los vectores de t tienen la forma
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
+
1
3
0
0
2
1
3
0
0
2 3 2 z x
z
z x
x
z
z x
x

Luego los vectores
|
|
|
.
|
\
|
.
|
|
|
.
|
\
|
1
3
0
0
2
1
forman una base del espacio t .

Teorema: unicidad de escalares
Si } ; ; ; {
2 1 n
v v v
,
, ,
es una base de V y V v e
,
, entonces existe un conjunto nico de
escalares
n
c c c ; ; ;
2 1
tales que
n n
v c v c v c v
, , , ,
+ + + = ...
2 2 1 1

En efecto:
Supngase que v
,
puede expresarse de dos formas distintas como una combinacin
lineal de los vectores base. Es decir, supngase que

n n n n
v d v d v d v c v c v c v
, , , , , , ,
+ + + = + + + = ... ...
2 2 1 1 2 2 1 1

Luego, al restar, se obtiene la ecuacin
0 ) ( ... ) ( ) (
2 2 2 1 1 1
,
, , ,
= + + +
n n n
v d c v d c v d c
Pero como los
i
v
,
son linealmente independientes, este ecuacin slo se cumple si
n n n n
d c d c d c d c d c d c = = = = = = = ;...; ; 0 ...
2 2 1 1 2 2 1 1

As el teorema queda demostrado.
Dimensin
Si el espacio vectorial V tiene una base finita, entonces la dimensin de V es el nmero
de vectores que tiene cualquiera de las bases de V, y ste ltimo recibe el nombre de
espacio vectorial de dimensin finita. En cualquier otro caso se dice que V tiene
dimensin infinita. Si } 0 {
,
= V , se dice que V es de dimensin cero.
La dimensin de V se denota dim V
Teorema
Supngase que n V = dim . Si } ; ; ; {
2 1 m
u u u
,
, ,
es un conjunto de m vectores linealmente
independientes en V, entonces n ms .
Teorema
Sea H un subespacio del espacio vectorial V de dimensin finita, entonces H tambin es
de dimensin finita y es
V H dim dim s
Corolario: todo espacio que contenga un subespacio de dimensin infinita es de
dimensin infinita.
Ncleo y Nulidad de una Matriz
Sea una matriz A de n m y sea
} 0 / {
,
, ,
= e = x A R x N
n
A

N
A
recibe el nombre de ncleo de A y a
A
N A dim ) ( = v se le llama nulidad de A. Si N
A

contiene solamente al vector cero, entonces 0 ) ( = A v
Teorema
Sea A una matriz de n n . Entonces A es invertible si y slo si 0 ) ( = A v
En efecto:
Como ya sabemos A es invertible si el sistema homogneo 0
,
,
= x A tiene solucin nica,
que es la solucin trivial 0
,
,
= x . Esto significa que } 0 {
,
=
A
N . Por lo tanto A es invertible
si y slo si 0 dim ) ( = =
A
N A v .
Recorrido de una Matriz
Sea A una matriz de n m . Entonces el recorrido de A, denotado por Recorrido A
est dado por
} / { Recorrido
n m
R x con y x A R y A e = e =
, , , ,

79

Teorema
Sea una matriz A de n m . Entonces Recorrido A es un subespacio de R
m

En efecto:
Supongamos que A y y Recorrido
2 1
e .
, ,
. Entonces existen
n
R x x e .
2 1
, ,
tales que
1 1
x A y
, ,
= y
2 2
x A y
, ,
= . Por tanto,
1 1 1
) ( y x A x A o o o = =
, ,
y
2 1 2 1 2 1
) ( y y x A x A x x A
, , , , , ,
+ = + = +
De tal modo que
1
y o y
2 1
y y
, ,
+ estn en Recorrido A. Luego Recorrido A es un
subespacio de R
m

Rango de una Matriz
Sea una matriz A de n m . Entonces el rango de A, denotado por ) (A , est dado por
dado por
A A Recorrido dim ) ( =
Espacio de los Renglones y Espacio de las Columnas de una Matriz
Si A es una matriz de n m , sean } ;...; ; {
2 1 m
r r r
, , ,
los renglones de A y } ;...; ; {
2 1 n
c c c
, , ,
las
columnas de A. entonces se definen
R
A
= espacio de los renglones de A = gen } ;...; ; {
2 1 m
r r r
, , ,

y
C
A
= espacio de las columnas de A = gen } ;...; ; {
2 1 n
c c c
, , ,

Teorema
Si A es una matriz de n m , entonces
i C
A
= Recorrido A
ii ) ( Recorrido dim dim dim A A C R
A A
= = =
Teorema
Si A es equivalente por renglones (o por columnas) a B, entonces
B A
R R = ,
) ( ) ( B A = y ) ( ) ( B A v v =
Teorema
Sea A una matriz de n m , entonces
n A A = + ) ( ) ( v
Teorema
Sea A una matriz de n n . Entonces A es invertible si y slo si n A = ) (
En efecto:
Sabemos que una matriz es invertible si y slo si 0 ) ( = A v , pero por el teorema anterior
sabemos que n A n A A n A = = = ) ( 0 ) ( ) ( ) ( v . Entonces A es invertible si
y slo si n A = ) ( .
Cambio de Base
Para ilustrar este concepto daremos un ejemplo

Sean
|
|
.
|
\
|
=
0
1
1
u
,
y
|
|
.
|
\
|
=
1
0
2
u
,
. Entonces } ; {
2 1 1
u u B
, ,
= es la base cannica o estndar en R
2
. Sean los
vectores
|
|
.
|
\
|
=
3
1
1
v
,
y
|
|
.
|
\
|
=
2
1
2
v
,
, que son linealmente independientes (ya que ninguno es mltiplo del
otro). Entonces } ; {
2 1 2
v v B
, ,
= es una segunda base de R
2
. Sea
|
|
.
|
\
|
=
2
1
x
x
x
,
un vector de R
2
. Esta notacin
significa que
2 2 1 1 2 1
1
0
0
1
u x u x x x x
, , ,
+ =
|
|
.
|
\
|
+
|
|
.
|
\
|
=
Es decir x
,
est escrito en trminos de los vectores de la base B
1
. a fin de aclarar esto, se escribe
|
|
.
|
\
|
=
2
1
1
) (
x
x
x
B
,

Como B
2
es otra base de R
2
, existen los escalares c
1
y c
2
, tales que
2 2 1 1
v c v c x
, , ,
+ = C
Lo que se puede escribir como
|
|
.
|
\
|
=
2
1
2
) (
c
c
x
B
,

A fin de hallar los valores de los escalares c
1
y c
2
, los vectores de la base original (
1
u
,
y
2
u
,
) se escriben
en trminos de los vectores de la segunda base (
1
v
,
y
2
v
,
), es decir
2 5
3
1 5
2
1
2
1
5
3
3
1
5
2
v v u
, , ,
=
|
|
.
|
\
|
|
|
.
|
\
|
= C
Y
2 5
1
1 5
1
2
2
1
5
1
3
1
5
1
v v u
, , ,
+ =
|
|
.
|
\
|
+
|
|
.
|
\
|
= C
Es decir
|
|
.
|
\
|
=
5
3
5
2
1
2
) (
B
u
,
y
|
|
.
|
\
|
=
5
1
5
1
2
2
) (
B
u
,

Entonces, por C y C
2 2 5
1
1 5
3
1 2 5
1
1 5
2
2 5
1
1 5
1
2 2 5
3
1 5
2
1 2 2 1 1
) ( ) (
) ( ) (
v x x v x x
v v x v v x u x u x x
, ,
, , , , , , ,
+ + + =
+ + = + =

As, de C
2 5
1
1 5
3
2
2 5
1
1 5
2
1
x x c
x x c
+ =
+ =

O bien
|
|
.
|
\
|
|
|
.
|
\
|
=
|
|
.
|
\
|
+
+
=
|
|
.
|
\
|
=
2
1
5
1
5
3
5
1
5
2
2 5
1
1 5
3
2 5
1
1 5
2
2
1
2
) (
x
x
x x
x x
c
c
x
B
,

Tomemos como ejemplo
|
|
.
|
\
|
=
4
3
) (
1
B
x
,

Aplicando la frmula anterior
2 5
13
1 5
2
5
13
5
2
5
1
5
3
5
1
5
2
4
3
) (
2
v v x
B
, , ,
=
|
|
.
|
\
|
=
|
|
.
|
\
|
|
|
.
|
\
|
=
81

Comprobacin
|
|
.
|
\
|
|
|
.
|
\
|
=
|
|
.
|
\
|
=
|
|
.
|
\
|
+
=
|
|
.
|
\
|
|
|
.
|
\
|
=
1
0
4
0
1
3
4
3
2
1
3
1
5
26
5
6
5
13
5
2
5
13
5
2
2 5
13
1 5
2
v v
, ,

La matriz
|
|
.
|
\
|
=
5
1
5
3
5
1
5
2
A se llama matriz de transicin de B
1
a B
2
, y se ha mostrado que
1 2
) ( ) (
B B
x A x
, ,
= C
Este ejemplo se ha podido mostrar con facilidad, pero es necesario que demos una
notacin ms general:
Sean } ;...; ; {
2 1 1 n
u u u B
, , ,
= y } ;...; ; {
2 1 2 n
v v v B
, , ,
= dos bases de un espacio vectorial real n-
dimensional V y sea V x e
,
. Entonces x
,
se puede expresar en las dos bases:
n n
u b u b u b x
,
, , ,
+ + + =
2 2 1 1
C
y
n n
v c v c v c x
,
, , ,
+ + + =
2 2 1 1

donde c
i
y b
i
son nmeros reales.
Entonces se escribe
( )
|
|
|
|
|
.
|
\
|
=
n
B
b
b
b
x
.
,
2
1
1

para denotar la expresin de x
,
en trminos de la base B
1
. Y, anlogamente para
denotarlo en la base B
2
se escribe:
( )
|
|
|
|
|
.
|
\
|
=
n
B
c
c
c
x
.
,
2
1
2

Como B
2
es una base, cada
j
u
,
puede escribirse como combinacin lineal de los
i
v
,
. Por
tanto existe un conjunto nico de escalares
nj j j
a a a ;...; ;
2 1
tales que
n nj j j j
v a v a v a u
,
, , ,
+ + + =
2 2 1 1
C
O bien
|
|
|
|
|
.
|
\
|
=
nj
j
j
B j
a
a
a
u
.
,
2
1
2
) (
Luego la matriz A de n n cuyas columnas estn dadas por recibe el nombre de
matriz de transicin de la base B
1
a la base B
2
. Es decir:
|
|
|
|
|
.
|
\
|
=
nn n n
n
n
a a a
a a a
a a a
A
. . . .
2 1
2 22 21
1 12 11


Teorema
Sean B
1
y B
2
bases de un espacio vectorial V. Sea A la matriz de transicin de B
1
a B
2
,
entonces para todo V x e
,
, se verifica que
1 2
) ( ) (
B B
x A x
, ,
=
Teorema
Si A es la matriz de transicin de B
1
a B
2
, entonces
1
A es la matriz de transicin de B
2

a B
1
. Es decir
2 1
) ( ) (
1
B B
x A x
, ,

=
Ejemplo: Vectores en R
3
escritos en trminos de una nueva base
Sea en R
3
la base } ; ; {
1
k j i B = y
|
|
|
.
|
\
|
|
|
|
.
|
\
|
|
|
|
.
|
\
|
=
2
1
0
;
0
1
3
;
2
0
1
2
B . Si
3
R
z
y
x
x e
|
|
|
.
|
\
|
=
,
, escriba x
,
en
trmino de los vectores de B
2
.
Solucin: en primer trmino debe uno cerciorarse de que B
2
es una base, es decir, ver que los vectores que
la componen son linealmente independientes.
0 8
2 0 2
1 1 0
0 3 1
= =

Como
|
|
|
.
|
\
|
=
0
0
1
1
u
,
;
|
|
|
.
|
\
|
=
0
1
0
2
u
,
y
|
|
|
.
|
\
|
=
1
0
0
3
u
,
se ve de inmediato que la matriz de transicin C de B
2
a B
1

est dada por
|
|
|
.
|
\
|
=
2 0 2
1 1 0
0 3 1
C
Por tanto, la matriz A de transicin de B
1
a B
2
es
|
|
|
.
|
\
|
= =

1 6 2
1 2 2
3 6 2
8
1
1
C A
Por ejemplo, si
|
|
|
.
|
\
|
=
4
2
1
) (
1
B
x
,
, entonces
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
|
|
|
.
|
\
|
=
4
7
4
1
4
1
14
2
2
8
1
4
2
1
1 6 2
1 2 2
3 6 2
8
1
) (
2
B
x
,

A manera de comprobacin advirtase que
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
=
|
|
|
.
|
\
|
|
|
|
.
|
\
|
+
|
|
|
.
|
\
|
1
0
0
4
0
1
0
2
0
0
1
1
4
2
1
2
1
0
4
7
0
1
3
4
1
2
0
1
4
1

83

Procedimiento para hallar la matriz de transicin de la base cannica a la base
} ;...; ; {
2 1 2 n
v v v B
, , ,
=
i Escriba la matriz C cuyas columnas son
n
v v v
, , ,
;...; ;
2 1

ii Calcule
1
C . Esta es la matriz de transicin requerida

Apuntes de Algebran2 PDF

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Apuntes de Algebran2 PDF

Загружено:

Авторское право:

Доступные форматы

Apuntes de lgebra II

son nmeros, la expresin general de una ecuacin con una

Вам также может понравиться