Estructuras

algebraicas y
aplicaciones
Licenciatura en Enseanza de la
Matemtica
Reflexionar, profundizar y actualizar el saber experto
en Matemtica, en general, y en temas de las
Estructuras Algebraicas en particular, adecundolo a la
agenda de buenas prcticas docentes.

GRUPOS

1.1
1.2
1.3
1.4

Operacin binaria
Semigrupo,
monoide
Grupo
Subgrupo

Bogart, K. (1996): MATEMTICAS DISCRETAS. Limusa.

Gentile, E. (1984): NOTAS D ELGEBRA. Eudeba.

Godement, R. (1978): ALGEBRA. Tecnos.

Grimaldi, R. (1998): MATEMTICA DISCRETA Y COMBINATORIA.

Addison Weley.

Guzner, C. (2013): MATEMTICA DISCRETA .Gua de trabajos

prcticos. UTN- FRM.

Herstein, I (1999): LGEBRA MODERNA. Trilla.

Espinosa Armento, R. (2010): MATEMTICAS DISCRETAS. Alfaomega

Las actividades 1. , 3., 4., 6. y 7. se trabajarn en clase presencial.

El resto forma parte del trabajo virtual de la Unidad.
1. Responda: Cul/les del/los trmino/trminos semigrupo, monoide, grupo se aplica/aplican
a cada uno de los siguientes conjuntos con las operaciones indicadas en cada caso:
a) Conjunto de los nmeros enteros, a b = (a + b) 2;
b) Conjunto de los nmeros naturales, a b = (a + b) 2;
c) Proposiciones sobre un universo, conjuncin;
d) Conjunto S3 de permutaciones de 3 elementos, composicin;
e) {1, -1, i, -i}, multiplicacin;
f)

Conjunto de los enteros pares, suma usual en los enteros.

2. Considere el predicado P (G): (G, ) es un grupo Determine el valor de verdad de
cada una de las siguientes proposiciones. Justifique su respuesta.

a)

1
+
G=Z y a b= 2 a .b

b)

G= ( X )

A B= A B

c) A ={a, b, c , d

} y + dada por:

3. Pruebe que si en el conjunto Zp de los enteros mdulo p se define:

[a]p + [b] p = [a + b] p,

[a]p [b] p = [a b] p,
a) (Zp, + ) es un grupo abeliano.
b) (Zp,

) no es un grupo abeliano

c) (Zp {0},

) es un grupo abeliano solo si p es primo.

4. En relacin a un grupo (G, ) y un elemento a G, lea atentamente las siguientes

definiciones

en=0
aa ,n veces , n>0
1
a . a1 ,n veces , n< 0

an =

El subgrupo generado por a es el conjunto a ={an, n Z}

o

El orden de a es o(a) = # a

G es un grupo cclico si existe a G tal que G= a

a = 1 en (Z, +)
a = -1 en (Z, +)

a) Encuentre a para:

a = 0 en (Z, +)
a = 3 en (Z6, +)
a = 5 en (Z6, +)
a = 3 en (Z5, +)

b) Pruebe que si a (G, ) se verifica que a es un subgrupo de G.

c) Entre los siguientes grupos diga cul es cclico y por qu:

(Z, +)

(Z5, +)

(P(a, b}, )
(S3, o)

f)

Enuncie una condicin necesaria para que un grupo sea cclico.

g) Pruebe que es suficiente que un grupo sea cclico para que sea abeliano.
h) Verifique que Z4, Z6, Z8 son grupos cclicos. Encuentre, en caso de de ser posible, dos
conjuntos de generadores distintos
i) Utilice a) para formular una conjetura respecto de los generadores del grupo aditivo Zn
(para cada n).
j)

Pruebe lo conjeturado en b)
5. Encuentre, de ser posible:

a) dos subconjunto de Z3 que sean subgrupos de Z3;

b) un subgrupo de Z2 y Z3;
c) dos subgrupos de Z4 cuya interseccin sea un subgrupo de Z4 y dos que no lo sea;
d) dos subgrupos de Z4 cuya unin sea un subgrupo y dos que no lo sea.
6. Pruebe o refute la veracidad de cada una de las siguientes proposiciones.
a) Si H y K son subgrupos de G entonces

H K es un subgrupo de G.

b) Si H y K son subgrupos de G entonces

H U K es un subgrupo de G.

7. Considere el conjunto:

gHg1 x G/x ghg1 ,h H

,
siendo H un subgrupo de un grupo G y g un elemento de G.
a) Verifique que gHg-1 = 2Z si G es el grupo aditivo Z y H = 2Z
b) Encuentre gHg-1 para un subgrupo no trivial de (Z4; +) y g = [2]
c) Diga por qu s o por qu no gHg-1 es un subgrupo de G para cualquier grupo G.
d) Enuncie una condicin suficiente para que gHg-1 = H. Justifique su respuesta.
8. De las siguientes proposiciones diga cules son verdaderas y cules falsas. Justifique su
respuesta.
a) Es suficiente que (G, *) sea un grupo para que (G, *) sea un monoide.
b) Es necesario que (G, *) sea un monoide para que (G, *) sea un grupo.
c) Si (G, *) admite neutro entonces (G, *) es un grupo.
d) Todo grupo finito es abeliano.
e) a es un elemento inversible de (Zn {0}, ) si y slo si mcd (a, n) =1
f)

H ={, {a}} es un subgrupo del grupo P({a, b}) con la diferencia simtrica

g) El conjunto de las biyecciones que dejan fijo un punto x0 es un subgrupo del grupo de
biyecciones de un conjunto con la composicin.
h) Todo grupo admite al menos un subgrupo abeliano.
i)

Cualquier subgrupo de un grupo cclico, es cclico.

1.5
1.6
1.7

Propiedades en los
grupos
Clases laterales
Teorema
de
Lagrange

Bogart, K. (1996): MATEMTICAS DISCRETAS. Limusa.

Gentile, E. (1984): NOTAS D ELGEBRA. Eudeba.

Godement, R. (1978): ALGEBRA. Tecnos.

Grimaldi, R. (1998): MATEMTICA DISCRETA Y COMBINATORIA.

Addison Weley.

Guzner, C. (2013): MATEMTICA DISCRETA .Gua de trabajos

prcticos. UTN- FRM.

Herstein, I (1999): LGEBRA MODERNA. Trilla.

Espinosa Armento, R. (2010): MATEMTICAS DISCRETAS. Alfaomega

Las actividades 9. , 11., 14. y 15. se trabajarn en clase presencial.

El resto forma parte del trabajo virtual de la Unidad.
9. En relacin a un grupo (G, ) y un elemento a G, la siguiente proposicin es verdadera.
Proporcione una demostracin.
a-n = (a-1)n cualquiera sea n natural
10. Si (G, , e) es un grupo cualquiera, argumente la veracidad o falsedad de los siguientes
enunciados:
a) Es necesario que (G, ) sea un grupo abeliano para que a -1 = a cualquiera sea a de G.
b) Si G es un grupo de orden par, existe c G, c e tal que c2 = e.
c) Cualesquiera sean m, nN, se verifica que an am = an+m
11. En el grupo aditivo R3 considere el subgrupo H = {(x, y, z) R3 / x = y}. Encuentre las
clases residuales y proporcione una interpretacin geomtrica.
12. Considere S = {x/ x R, x 0}, M = {f / f: S S}, Para i = 1, 2, 3, 4 sean los elementos

de M definidos por f1(x) = x; f2(x) =

1
x

; f3(x) = - x y f4(x) =

-1
x

e) Verifique que (M, ) es un grupo.

f)

Encuentre las clases laterales derechas de cada elemento de M por el subgrupo H = {f1, f2}.
13. En relacin a un grupo G, un subgrupo H de G y un elemento g de G, muestre que es
necesario y suficiente que Hg = H para que g H.
14. Considere el grupo aditivo Z y el subgrupo 60Z

a) Enuncie una condicin necesaria para que un subconjunto de Z sea un subgrupo de 60Z.
b) Encuentre el conjunto cociente Z60 por la equivalencia mdulo 60Z
15. Lea atentamente la siguiente definicin:
Un subgrupo H de un grupo G es normal si y slo si xH = Hx cualquiera sea
a) Encuentre, si existe, un subgrupo normal de 3 elementos en
normal.

x G.

Z6 y un subgrupo que no sea

b) Pruebe o refute que: Todo subgrupo de un grupo conmutativo es normal.

c) Si H y S son dos subgrupos de un grupo G, la siguiente proposicin es falsa. Reftela.

Si H S es un subgrupo normal de G entonces H y S lo son.

d) Responda: qu puede decir del valor de verdad de la implicacin recproca de c)?
Justifique su respuesta.
16. Pruebe o refute la veracidad de cada una de las siguientes proposiciones:
a) Si (G,) es un grupo finito cuyos nicos subgrupos son los triviales, entonces # G es un
nmero primo.
b) Si H y K son subgrupos de (G,) y mcd (|H|, |K|) = 1 entonces K H es un subgrupo trivial
de G.
c) Si (G,) es un grupo conmutativo, x un elemento de G, entonces las clases laterales
izquierda y derecha de x en G son iguales.
d) Sea (G,) un grupo y H un subgrupo de G tal que # G = 2 # H. Luego H es normal.

1.8

Homomorfismo
de
grupos.
1.9 Ncleo e imagen
1.10 Grupos isomorfos.

Bogart, K. (1996): MATEMTICAS DISCRETAS. Limusa.

Gentile, E. (1984): NOTAS D ELGEBRA. Eudeba.

Godement, R. (1978): ALGEBRA. Tecnos.

Grimaldi, R. (1998): MATEMTICA DISCRETA Y COMBINATORIA.

Addison Weley.

Guzner, C. (2013): MATEMTICA DISCRETA .Gua de trabajos

prcticos. UTN- FRM.

Herstein, I (1999): LGEBRA MODERNA. Trilla.

Espinosa Armento, R. (2010): MATEMTICAS DISCRETAS. Alfaomega

Las actividades 17., 18., 19., y 23. a- b) se trabajarn en clase presencial.

El resto forma parte del trabajo virtual de la Unidad.
17. Verifique si los siguientes son homomorfismos (de grupos) entre los grupos que se
indican.
a

f: (R,+) (R*,x),

f: (P3,+) (R3,+),

G grupo, f: (G, ) (G, ),

(G, ) y (H, ) grupos, f: G H,

f(x) = 2x
f(p) = (a, b, c, d)
si p(x) = a+bx+cx2+dx3 cualquiera sea x real
f(x) = gxg-1,
g G, g fijo
f (x) =h
h H, h fijo

18. Encuentre Ncleo e Imagen de los homomorfismos de 17. Utilice para clasificar en
mono, epi y/ o isomorfismo.
19. Pruebe que:

Si (G, ) es un grupo cclico tal que # G es infinito entonces (G, ) es isomorfo a (z, +).

Si (G, ) es un grupo cclico tal que # G = n (n N) entonces (G, ) es isomorfo a (zn, +).
20. Diga por qu s o por qu no:

a es posible encontrar un homomorfismo del grupo de los enteros aditivos en el grupo

multiplicativo {1, -1};
b f: (R+, ) (R, +) dada por f(x) = log x, es un isomorfismo del grupo multipicativo de los
reales positivos en el grupo aditivo de los reales;

f(x)

1
2
3
4

si
si
si
si

xe
x a
x b
x c

cla aplicacin f dada por

es un homomorfismo de grupos entre G = {e, a, b,
c, d} H = {1, 2, 3, 4} para las operaciones:

21. Escriba una condicin:

a

necesaria pero no suficiente para que un homomorfismo de grupos sea inyectivo;

suficiente pero no necesaria para que un homomorfismo de grupos sea suryectivo;

csuficiente para que si un homomorfismo de grupos es inyectivo tambin sea suryectivo

d

necesaria pero no suficiente para que el Ker de un homomorfismo de grupos aditivos sea {0}

necesaria y suficiente para que la Im de un homorfismos de grupos multiplicativos sea {1}.

22. Diga por qu s o por qu no es posible encontrar un homomorfismo f de (Z2, +) en
(P({a}), ) tal que:

f(0)

Ker f = {0}

cKer f {0}
23. Pruebe o refute la veracidad de cada una de las siguientes proposiciones:
a Si G y G son grupos abelianos, el conjunto Hom (G, G) de los homomorfismos de G en G
es un grupo si se define (f h)(x) = f(x).h(x) para cualquier f, h en Hom (G, G).
b

Si f : GH es un homomorfismo de grupos multiplicativos, entonces f(xn) = ((f(x))n.

cSi es un automorfismo de un grupo G, y N es un subgrupo normal de G entonces (N)

tambin lo es.
d

a)

G y GxG son grupos isomorfos cualquiera sea el grupo (G, ).

ANILLOS Y CUERPOS
Actividad complementaria

Lea atentamente las siguientes definiciones:

(A, +, ) es un anillo si (A,) es un semigrupo y distribuye a izquierda y derecha respecto de +;

(A, +, ) es un anillo con unidad si (A, +,) es un anillo y (A, ) un monoide

(A, +, ) es un anillo de divisin (A, +,) es un anillo y cada elemento de A admite inverso en
(A,)

(H, +, ) es un subanillo de (A, +,) si H A, H y (H, +, ) es un anillo

I es un ideal de un anillo A si y slo si cualesquiera sean a, b en I, r en A, se verifica que a- b, ra
y ar estn en I.
(C, +, ) es un cuerpo si (C, +,) es un anillo de divisin conmutativo
Un elemento a de un anillo A es un divisor de 0 (en A) si a 0 y a x = x a = 0 para algn x en
A, x 0

A es un anillo de integridad si A no tiene divisores de cero

A es un dominio de integridad si es un anillo con unidad, conmutativo y de integridad

a) Utilcelas para determinar si los siguientes conjuntos con las operaciones binarias que se
indican en cada caso son anillos. Para los que lo sean, clasifique en anillo con unidad, dominio
de integridad (o dominio entero) y/o campo
i.

A = Z con las operaciones * y definidas por: a*b = a + b + 1

y a b = a + b +ab

ii.

A = Zn

con la suma y producto de clases.

b) Utilcelas para probar que en todo anillo A se verifica que:

i.

El neutro es nico

ii.

El opuesto de cada elemento es nico

iii.

a 0 = 0 a= 0

iv.

a (-b) = (-a) b = -(a b)

v.

-(-a) = a

vi.

(-a) (-b) = a b

vii.

Si adems A es un anillo con unidad, la unidad es nica

viii.

H es un subanillo de A si y slo si cualesquiera sean a, b en H se verifica que a- b y ab

estn en H.

ix.

Zp. es un cuerpo si y slo si p es primo

ESPACIOS VECTORIALES

2.1 Espacios vectoriales,

2.2 Subespacios
2.3 Conjunto
de

Burgos, J. (1993). LGEBRA LINEAL. Mc Graw Hill. Pp. 116-156.

Godement, R. (1978): ALGEBRA. Tecnos. PP. 191-310.

Guzner, C. (2012): lgebra Lineal para estudiantes de Ciencias

Econmicas. Cap. 4.

Strang, G. (1998) INTRODUCTION

Wellesley. Pp. 101-155.

http://maxwell.fcaglp.unlp.edu.ar/practicas/practica-05/anyp-201005.pdf

generadores.

TO

LINEAL ALGEBRA.

Las actividades 1. , 3., 4. 6., 9. Y 11. se trabajarn en clase presencial.

El resto forma parte del trabajo virtual de la Unidad.
1. Determine cules de los siguientes conjuntos son espacios vectoriales sobre los
conjuntos y las operaciones que se indican en cada caso:
a) K; K un cuerpo cualquiera, las operaciones de K;

b) Kn; K cuerpo cualquiera;

(x1,..., x n ) (y1,..., y n ) (x1 y1,..., x n y n )

k.(x 1,..., x n ) (k.x 1,..., k.x n )

f g: R R
(f g)(x) f(x) g(x)

c) F = {f: R R/ f es funcin} ; R:

d) R2; R;

(u1 ,u2 ) (v1 , v2 ) (u1 v1 2,u2 v2 )

k.(u1 ,u2 ) (ku1 2k,ku2 )

y gF

k.f : R R

(k.f) k.f(x)

e) Conjunto de las funciones f C[0,1] tales que f(x) 0, cualesquiera sea x [0,1]; R;
operaciones usuales en F.
f)

K[x]; K un cuerpo cualquiera, las operaciones de K;

... x
k 0
x

kx

k veces
0
k 0
()x..( x) k 0
k veces

g) G un grupo abeliano, Z,
h) Conjunto de las funciones polinmicas reales de grado exactamente dos; suma y
producto usuales en F.
2. Diga por qu s o por qu no los siguientes conjuntos son espacios vectoriales para los
escalares y las operaciones que se indican en cada caso:
a) Conjunto de los polinomios de grado menor a igual a n; R; suma y producto usual en F;

b) S = {v R4/ v = k(1, 2, -1, 0) + h(0, 0, 0, 3); k, h R}; R, suma y producto usual en R4;
c) El conjunto de todas las sucesiones de nmeros reales, R,
producto por nmeros reales

suma de sucesiones y

3. Con la sola informacin que el conjunto solucin al sistema de ecuaciones lineales AX =

O es el conjunto S =

{( )
x
y
z

R3 / x = y z = 0 }

a) Responda: S es un subespacio de R3?

b) De ser posible, modifique el sistema de forma tal que el conjunto solucin no sea un
subespacio.
4. Sea V (K) un espacio vectorial y sean U, W dos subconjuntos de V tales que U W y U
W son subespacios de V. Responda, justificando si esta es una condicin suficiente
para afirmar que U y W son subespacios de V.
5. En relacin a un K espacio vectorial V, pruebe o refute la veracidad de cada una de las
siguientes proposiciones.

a) H es un subespacio de V si y slo si H V y cualesquiera sean u, v en H, k, h en K, se

verifica que kv + hu est en H.

b) Es suficiente que H sea un subespacio de V y H

H1 para que H1 sea un subespacio
de V.

c) Si H es subespacio de V y H1 H, entonces H1 es subespacio de V.

6. Responda si en el espacio vectorial P2 (de los polinomios de grado menor igual a 2):
a) cualquier vector se puede escribir como combinacin lineal de los vectores p y q,
dados por p(x) =x2 1 y q(x) = 2?
b) p1, p2, p3} con pi(x) = 3xi-1+1 (i = 1, 2, 3) es un conjunto de generadores de P2?
7. Describa el subconjunto H (del conjunto F de las funciones de dominio y codominio real)
que contiene a todas las combinaciones lineales de los vectores f y g, siendo f(x) = 1- x y
g(x) = 1 + x3 cualquiera sea x R. Responda: es H un subespacio de F?

8. Diga por qu es suficiente pero no necesario que

conjunto de generadores de R2.

1
H
0

0
,
1

para que H sea un

eij

1 si i j

0 si i j

9. Verifique que si K es un cuerpo cualquiera, {ei} con

=
(para cada i
fijo entre 1 y n y j = 1,.., n) es un conjunto de generadores de Kn. Utilice para
encontrar un conjunto de generadores de Zp como Zp espacio vectorial.
10. Si V es un K espacio vectorial, pruebe o refute la veracidad de cada una de las
siguientes afirmaciones
a)

b)

Siendo S un subconjunto de V, es necesario que el vector nulo no pertenezca a S para

que S sea un conjunto de generadores de V

Es necesario que A sea una matriz invesible para que H=

subespacio de Rn

x Rm / Ax 0

sea un

11. Diga por qu s o por qu no:

a) Si u y v son vectores de un K espacio vectorial y a y b elementos de K
1. Si a v = b v y v 0, entonces a = b.
2. Si a v = a w y a 0, entonces v = w.
b) Gen A es el menor subespacio que contiene a A, siendo A un subconjunto de V.
c) Es suficiente que S sea un subespacio vectorial para que cualquier combinacin lineal
de elementos de S pertenezca a S.
d) Es necesario que u gen({v1, v2, v3}) para que u gen({v1, v2}) siendo u, v1, v2, v3
elementos de un mismo espacio vectorial.

2.4 Conjunto de vectores

linealmente
independiente
2.5 Base
2.6 Dimensin.

Burgos, J. (1993). LGEBRA LINEAL. Mc Graw Hill. Pp. 116-156.

Godement, R. (1978): ALGEBRA. Tecnos. PP. 191-310.

Guzner, C. (2012): lgebra Lineal para estudiantes de Ciencias

Econmicas. Cap. 4.

Strang, G. (1998) INTRODUCTION TO LINEAL ALGEBRA. Wellesley.

Pp. 101-155.

http://maxwell.fcaglp.unlp.edu.ar/practicas/practica-05/anyp-201005.pdf

Las actividades 13., 14., 16., 18., 19. se trabajarn en clase presencial.
El resto forma parte del trabajo virtual de la Unidad.
12. Entre los siguientes conjuntos, diga cuales son linealmente independientes.
a) {(1+i, 2i), (1,1+i)} en C2(C).
b) el conjunto de columnas de una matriz A tal que el sistema AX = B es un sistema
compatible en Rn.

c) M = {p, q, r} tal que p(x) = x-1, q(x) = x2 +2 y r(x) = 3x2+2x+4 cualquiera sea x real en
P2(R)
13.

Verifique si los siguientes conjuntos son conjuntos de vectores linealmente

independientes en los espacios que se indican
H q0, q1, q2

a) En el espacio vectorial F de las funciones reales, el conjunto

= sen x; q1(x) = cos x y q2(x) = sen (

x
4

tal que q0(x)

).

b) En R , el conjunto de columnas de una matriz A tal que el sistema AX = B es un sistema

compatible determinado.
n

c) En Z2, B = {[0], [1]}.

d) En V[K] (cualquiera) un conjunto unitario que n o contenga al vector nulo.
H p0, p1, p2

e) En P2, el conjunto

tal que para cada i entre 0 y 2, pi(x) = xi

En R como Q espacio vectorial A = {3,

)}

g) En R como R espacio vectorial A = {3,

)}

f)

14. Proporcione un ejemplo de:

a) Un conjunto de generadores de P2 que no sea linealmente independiente.
b) Un conjunto linealmente independiente de P2 que no sea conjunto de generadores de P2.
15. Considere el conjunto D2[0,1] de las funciones reales dos veces diferenciables en el
intervalo [0,1].
a) Proporcione un ejemplo de dos elementos de D2[0,1]
b) Pruebe que D2[0,1] es un subespacio de F
Lea atentamente la siguiente definicin:
Si f1, f2 y f3 D2[0,1], se llama wronskiano de { f1, f2 , f3} al determinante de la matriz:
f (x)
1
f ,(x)
1,,
f 1 (x)

f (x)
2
f , (x)
2
f ,,(x)
2

f (x)
3
f , (x)
3
f ,,(x)
3

c) Calcule W({ f1, f2 , f3}) para f1(x) = ex, f2(x) = e-x, f3(x) = e2x cualquiera sea x en [0,1]
d) Verifique que:

i.

{ f1, f2 , f3} es un conjunto linealmente independiente

existe x0 [0,1] tal que W({ f1, f2 , f3})(x0) 0

ii.

e) Pruebe que un conjunto { f1, f2 , f3} D2[0,1] es linealmente independiente si existe al

menos un x0 [0,1] tal que det

f1 (x0) f2 (x0) f3 (x0)

,

,
,
f1(x0) f2(x0) f3(x0)
f1,,(x0) f2,,(x0) f3,,(x0)

16. Determine una base y la dimensin de los siguientes subespacios:

a) H = Gen({f, g}), f, g F dadas por f(x) = ex y g(x) = e-x para cualquier x real.
b) H = R2x2
x t

y 4t
c) H recta ecuaciones paramtricas

d) H =

0 0 0


0 0 0
0 0 0

z 2t

, t R.

V3x3(k)

17. Escriba una condicin:

a) Sobre un subconjunto de un espacio vectorial:

o Necesaria pero no suficiente para que el subconjunto sea una base del
espacio

o Suficiente pero no necesaria para que el subconjunto sea una base del
espacio

o Necesaria y suficiente para que el subconjunto sea una base del espacio
b) Sobre un espacio vectorial

o Suficiente pero no necesaria para que la dimensin del espacio sea mayor a
n.

o Necesaria pero no suficiente para que la dimensin del sea mayor a n.

o Necesaria y suficiente para que la dimensin del espacio sea mayor a n.
18. Si V(K) es un espacio vectorial de dimensin , responda por qu s o por qu no se
puede asegurar que para cada h en {0,. . ., n} existe un subespacio de V con dimensin
h.
19. Diga por qu s o por qu no siendo V un K espacio vectorial:
a) si dim V = n, cualquier subconjunto de V con m vectores es dependiente si m < n;

b) Es suficiente que un conjunto se linealmente independiente en V para que sea un

conjunto de generadores de V;
c) Todo subconjunto de un subconjunto linealmente independiente de V tambin lo es;
d) Si V tiene exactamente dos subespacios entonces dim V = 1.
20. Pruebe o refute la veracidad de cada una de las siguientes proposiciones.
a) Si V y W son espacios vectoriales de dimensin finita sobre un mismo cuerpo K, VxW es
un espacio vectorial de dimensin finita igual a dim V + dim W.

AUTOVALORES Y AUTOVECTORES. DIAGONALIZACIN

Actividad complementaria

Guzner, C. (2012): lgebra Lineal para estudiantes de Ciencias Econmicas. Cap. 5.

Lea atentamente las siguientes definiciones:

Un escalar ( K) es un autovalor de una matriz A cuadrada de orden n si existe un vector v

no nulo v Kn tal que Av = v.
Un autovector de una matriz cuadrada de orden n es todo vector asociado a un autovalor.
Un espacio propio de una matriz cuadrada correspondiente a un autovalor es el conjunto
formado por todos los autovectores asociados al autovalor y el vector nulo.
La multiplicidad geomtrica de un autovalor es la dimensin del espacio propio asociado al
autovalor.
El polinomio caracterstico de una matriz cuadrada A es el polinomio det (A - I) si I es la
matriz identidad de orden n.
La ecuacin caracterstica de una matriz cuadrada A es la ecuacin det (A - I) = 0 si I es la
matriz identidad de orden n.
La multiplicidad algebraica de un autovalor de una matriz es el nmero de veces que el
autovalor se repite como raz de la ecuacin caracterstica de la matriz.
Una matriz A de orden n es diagonalizable, si existen una matriz S de orden n inversible y una
matriz D diagonal tal que A = SxDxS-1
1. Verifique que:
3

i.

1 4

Si A =

ii.

A = On, n > 2, n N

iii.

A = In, n >2, n N

v=
1

es un autovector de A asociado al autovalor =

v=
es un autovector de A asociado al autovalor =
4
cualquier v Rn v 0 es un autovector de On asociado
al autovalor = 0
cualquier v Rn v 0 es un autovector de In asociado al
autovalor = 1

v=

1
0
2

0 3

1
2

iv.

A=

v=
-3
2.

es un autovector de A asociado al autovalor =

Diga por qu s o por qu no:

A 0

3 5

3.

es un autovector de A asociado al autovalor =

1
3

1 0

2
0
3

ma

=
-1

= 2
mg

= 1
ma

=
0

= 1
mg

= 1

Si

, la matriz A tiene por autovalores un par de complejos conjugados:

4. Pruebe que:
i.

Cualquier combinacin lineal no nula de autovectores de una matriz asociados a un

mismo autovalor es un autovector de la misma matriz asociado al mismo autovalor.

ii.

Cualquier espacio propio de una matriz de orden n es un subespacio de Kn

iii.

Si v1, v2 son vectores propios de A correspondientes a valores propios distintos

entonces {v1, v2} es un conjunto de vectores linealmente independiente.

iv.

Un escalar es un autovalor de una matriz si y solo si el escalar es una raz de

ecuacin caracterstica de dicha matriz.

v.

Es suficiente que una matriz A tenga un autovalor nulo para que A sea una matriz no
inversible.

5.

Lea atentamente la siguiente definicin:

A es una matriz definida positiva si y solo si es simtrica y XT A X > 0 para cualquier X 0 X Rn

i.

Verifique que A =

1 0
0 5

es una matriz definida positiva.

ii. Diga si B =

1 2
2 4

es una matriz definida positiva.

iii. Calcule los autovalores de A y de B.

iv. Diga por qu s o por qu no, una matriz cualquiera definida positiva de orden 2, tiene
autovalores positivos.
v. Diga por qu s o por qu no, si A es una matriz cualquiera definida positiva de orden 2:

o A es inversible;
o Si A es inversible, A-1 es definida positiva;
o El sistema AX = 0 tiene solucin nica.
vi. Enuncie una condicin suficiente para que A+B sea una matriz definida positva si A es una
matriz definida positiva y B conformable para la suma con A.
vii. Siendo A una matriz de orden n, pruebe o refute cada una de las siguientes proposiciones:
o

Es suficiente que A sea una matriz simtrica y det A > 0 para que A sea una
matriz definida positiva

Es necesario que A sea definida positiva para que los vectores propios de A
tienen entradas positivas

Es necesario y suficiente que sea A una matriz diagonal y aii > 0 para i = 1,..,n
para que A sea una matriz definida positiva