Vous êtes sur la page 1sur 10

Anlisis y Desarrollo de Valores y Vectores

Propios en (( p) )

Por:
-Daniela Silva
-Leonardo Garca
-Bryan Carrin
-Roy Torres

Resumen.

Usando los resultados anteriores del anlisis de ((p) ) y de su matriz asociada,
analizaremos cmo encontrar sus valores y vectores propios. Se enunciarn algunos
resultados que nos sern de utilidad para el desarrollo de la parte terica de este
documento.
Algunos resultados importantes.

Definicin de : Los Enteros modulo p.

Sea p un Entero fijo. Definimos una relacin en por:

~ |( ) = ;

i) Sea , entonces ~, pues = 0.

ii) Sean , . Si ~, entonces = , , luego:

( ) =

= ()

= ; . . =

iii) Sean , , . Si ~ y ~ entonces:

= = , ,

( ) + ( ) = +

= ( + )

= ; t. q. r = +

De i), ii) y iii), podemos concluir que ~ es una relacin de equivalencia.


Escribimos ( ) que se lee: es congruente a
Si ~ , denotaremos la clase de equivalencia de [] . Esto
es llamado la clase de congruencia o clase residuo de y consiste en los enteros
los cuales difieran de por un entero mltiplo de p, esto es:

[] = { + / }; [] = {, , 2, }

Hay precisamente p-clases de equivalencia modulo n distintas, nombradas:

[0], [1], [2], , [ 1]

Determinados por la posible resta y despus la divisin por p y estas clases de residuos
dividen los enteros .

El conjunto de clases de equivalencia bajo esta relacin se denotar por p y se llamar


los enteros modulo p (o enteros mod p).

Podemos definir una adicin y multiplicacin para los elementos de p, definiendo la


aritmtica modular como sigue:

[], [] p, se define su suma y producto como sigue:

[] + [] = [ + ] [] [] = [ ]

Que significa lo siguiente: Dados dos elementos cualesquiera [] [] en , para


computar su suma (y respectivamente su producto) tome cualquier entero representativo
en la clase [] y cualquier entero representativo en la clase [] y sume
(respectivamente, multiplique) los enteros como es usual en y entonces toma la
clase de equivalencia que contiene el resultado.

Teorema. Las operaciones de adicin y multiplicacin definidas anteriormente en


son ambas bien definidas, esto es, ellas no dependen en las elecciones de representativos
para las clases envueltas. Ms precisamente, si 1 , 2 y 1 , 2 , con [1 ] =
[1 ] [2 ] = [2 ], entonces:
[1 + 2 ] = [1 + 2 ] [1 2 ] = [1 2 ], :
1 1 ( ) 2 2 ( )

1 + 2 1 + 2 ( ) 1 2 1 2 ( )

Un importante sub-conjunto de p consiste en la coleccin de clases residuo las cuales


tienen inverso multiplicativo en p:


(p) = {[] p |[] p [] [] = 1}


Proposicin. (p) = {[] p |(, ) = 1}

Nota: (, ) .

Es fcil ver que cualquier representacin de [] es relativamente primo a p, entonces todas


las representaciones son relativamente primas a p, eso nos da que el conjunto de la
proposicin est bien definido. As mismo, al tener el inverso multiplicativo, toma ahora
una estructura cclica.
Entonces se puede decir que cuando p primo y con la existencia del inverso
multiplicativo:


(p) [p] es un espacio vectorial.

Por comodidad adoptaremos la siguiente notacin:

= , [] , [] =
p

Por resultados demostrados en clases, sabemos que:

= 1 2 3 5 7 , ,

A partir de esto tenemos:


Resultado. ( ).

Proposicin. Suponga que () y = {1 , , } una base de . Entonces


tenemos las siguientes equivalencias:
a) La matriz de T con respecto a es triangular superior.
b) ( ) = 1, , .
c) ( ) = 1, , .
Proposicin. Suponga que () tiene una matriz triangular superior con respecto
a alguna base de V. Entonces T es invertible si y slo si todas las entradas en la diagonal
de esa matriz triangular superior son no-nulas.
= 33 = {[0], [1], [2]}

(33 ) :
1 1 0 1 1

( 2 ) = (0 2 2) (2 )
3 0 2 1 3
Tomamos base cannica
1 0 0
= {(0) , (1) , (0)}
0 0 1
Aplicamos cada uno de los elementos de la base
1 1 0 1 1
(0) = (0 2 2) (0)
0 0 2 1 0
Colocamos en combinacin lineal de la base
1 1 0 0
= (0) = 1 (0) + 0 (1) + 0 (0)
0 0 0 1
0 1 0 1 0
(1) = (0 2 2) (1)
0 0 2 1 0
0 1 0 0
= (2) = 0 (0) + 2 (1) + 2 (0)
2 0 0 1
0 1 0 1 0
(0) = (0 2 2) (0)
1 0 2 1 1
1 1 0 0
= (2) = 1 (0) + 2 (1) + 1 (0)
1 0 0 1
Donde la matriz de transformacin ser
1 0 1
(0 2 2) = [] =
0 2 1
Ahora, busquemos los 3 que cumplan el sistema = :
1 0 1 1 1
(0 2 2) (2 ) = (2 )
0 2 1 3 3
1 + 3 1
(22 + 23 ) = (2 )
22 + 3 3
(1 )1 + 3 = 0
(2 )2 + 23 = 0
22 + (1 )3 = 0
Para obtener los valores propios aplicamos el determinante
1 0 1
| 0 2 2 |=0
0 2 1

(1 )2 (2 ) 4(1 ) = 0

(1 )2 (2 ) 4(1 ) = 0
(1 ){(1 )(2 ) 4} = 0

(1 ){2 2 + 2 4} = 0

(1 )(2 3 2) = 0

1 =0 2 3 2 = 0

=1 2 2 = 0

2 + 1 = 0
2 = 1 ( 3 )
Por lo tanto, el nico valor propio es:
=1
Reemplazando el valor en el determinante tenemos que:
0 0 1
|0 1 2|=0
0 2 0
Ahorra hallamos el vector propio asociado a:
=1
1 0 1 1 1
(0 2 2 ) (2 ) = ( 2)
0 2 1 3 3

1 + 3 1
2
( 2 + 2
3) = ( 2 )
22 + 3 3
3 = 0
2 + 23 = 0
22 = 0
Donde
2 = 0
3 = 0
1 = , 3

= {(0) / 3 }
0
1
= { (0) / 3 }
0
El espacio asociado al auto valor es:
1
= {(0)}
0
Conclusiones.
Referencias Bibliogrficas.
- Abstract Algebra; 3era Edicin; Dummit, David S. - Foote, Richard M.; 2004;
John Wiley & Sons, Inc.
- Linear Algebra Done Right; 2da Edicin; Axler, Sheldon; 1991; Springer.

Vous aimerez peut-être aussi