UNIVERSIDAD DE GUADALAJARA

CENTRO UNIVERSITARIO DE CIENCIAS EXACTAS E INGENIERIAS MAESTRIA EN CIENCIAS DE ELECTRNICA Y COMPUTACIN

[INVESTIGACION ESPECIAL ALGEBRA ABSTRACTA]

Este trabajo presenta una breve investigacin acerca de temas relacionados con el lgebra lineal

LUIS FELIPE MUOZ MENDOZA 213502404 04/NOVIEMBRE/2013

1.- VALORES Y VECTORES PROPIOS Definicin: Se dice que es valor propio del homomorfismo en , si existe , tal que . Definicin: Sea un homomorfismo en con valor propio . Los vectores tales se denominan vectores propios de correspondientes al valor propio . Si se cumple que , por eso para aceptar como valor propio debe existir tal que puede ser nulo. Ejemplo: sea la aplicacin lineal sobre , cuya matriz asociada es [ ] y ]

orden , o lo que es lo mismo, si tal que . Por tanto es valor propio. Desarrollemos [ ]

El primer miembro de esta ecuacin es un polinomio en de grado denominado polinomio caracterstico de o polinomio caracterstico de la matriz . A la ecuacin , desarrollada como , se le llama ecuacin caracterstica de la matriz A. Ntese como dependiendo de si es par o impar, el termino en del polinomio sera 1 o -1. Por convenio la definicin del polinomio caracterstico es -| | si es impar.

Determina si los vectores son vectores propios de . [ ][ ] [

es un vector propio porque [ ][ ] [ ]

De acuerdo con el teorema fundamental de algebra, todo polinomio de grado con coeficientes reales tiene exactamente n races reales o complejas (contando multiplicidades). Denotamos la multiplicidad de la raz como . El polinomio tiene 5 races, todas iguales a 1. El polinomio tiene raz 1 con multiplicidad 5. El polinomio tiene dos races complejas, y . (Las raices complejas siempre forman pares conjugados). El polinomio complejas, y tiene dos races y dos races reales 1 y 1.

no es un vector propio porque no existe tal que , sea que no es mltiplo de Ejemplo: matriz Consideremos la aplicacin lineal , sobre , cuya matriz asociada es la con .

La aplicacin tiene un nico valor propio, que es . Todos los vectores de son vectores propios correspondientes a ese valor propio.

POLINOMIO CARACTERISTICO Teorema: Sea el homomorfismo ,y su matriz asociada respecto de la base estndar. es valor propio de . Demostracin: valor propio si tal que , siendo la identidad de

El polinomio caracterstico de tendr races. Las races reales del polinomio son los valores propios del homomorfismo , tambin designados como valores propios de . La multiplicidad algebraica de un valor propio se define como su multiplicidad como raz del polinomio caracterstico, que habamos denotado como . Al limitarnos a homomorfismos en , las races complejas de no pueden considerarse como valores propios de , ya que si y (complejo), (vector complejo), y no a .

Suponiendo complejas:

races distintas, incluyendo reales y

DIVISION IZQUIERDA Y DERECHA DE POLINOMIOS DE MATRICES Dejemos y ser dos polinomios de matrices del mismo orden , y dejemos ser regular:

Si es el nmero de races reales y distintas, entonces tenemos r valores propios distintos, y: Deberamos decir que el polinomio de la matriz y son el cociente de derecha y residuo de derecha, respectivamente, de en divisin por si:

todas las races son reales Si tiene las n races reales y distintas (por tanto de multiplicidad algebraica 1), entonces:

Obtencin de valores propios Se calcula . Se encuentran las races de Las races reales son los valores propios. .

y si el grado de

es menor que el de

Similarmente, deberamos de llamar los polinomios y , el cociente derecho y residuo derecho de en divisin por si: y si el grado de

Ejemplo: Encuentra los valores propios de y un vector propio distinto de correspondiente a cada uno de los valores propios encontrados. [ [ ] ]

es menor que el de

Los valores propios, que son las races del polinomio anterior son y . [ ][ ] [ ] { {

El lector debera notar que en la divisin por derecha en el cociente es multiplicado por el divisor por la derecha, y en la divisin por izquierda en el cociente es multiplicado por el divisor por la izquierda. Los polinomios y no coinciden (en general) con y . Deberamos ahora mostrar que ambas divisin de derecha e izquierda de polinomios de matrices del mismo orden siempre son posibles y nicas, dado el divisor es un polinomio rectangular. Dejamos considerar la divisin por derecha de por . Si , podemos decir que . Si , aplicamos el esquema usual de la divisin de un polinomio por un polinomio para encontrar el cociente y el residuo . Dividimos el ms alto termino del dividendo por el ms alto termino del divisor . Obtenemos el ms alto trmino del cociente requerido. Multiplicamos este trmino por la derecha por el divisor y substraemos el

es un vector propio correspondiente al valor propio Comprobacin: [ ][ ] [ ] [ ]

Por el mismo procedimiento se puede calcular un vector propio asociado a

producto obtenido de primer residuo :

. As encontramos el

imposible, desde que el grado de el polinomio del lado derecho de es menor que . As , y entonces sigue de que

El grado

de

es menor que

: La existencia y la unicidad del cociente izquierdo y el residuo izquierdo son establecidos similarmente.

(4) Si , entonces repetimos el proceso y obtenemos:

Ejemplo: [ [ ]

] [

[ ]

Desde que el grado de , decrementa, en algn momento llegamos a un residuo dichos grados son menores que . Despus sigue de y que

[ [ ] ]

donde

[ [ [ [ [ [ ] [ ][ [ [ [

] ] ] ] ] ] ][ ] [ [ ] ] ]

Deberamos ahora probar la unicidad de la divisin por la derecha. Suponga que tenemos simultneamente

donde el grado de y los de . Substrayendo trmino obtenemos [ ]

son menores que de trmino por

Si tuviramos , entonces el grado del lado izquierdo de sera la suma de los grados de y , por que , y por la tanto sera al menos igual a . Esto es

[ [ [

] ] ]

[ [

[ ]

Debera ser claro que elementos de En particular divide a Por tanto

divide a cada uno de los

IDENTIDAD DE BENZOUT.- El mximo comn divisor de dos enteros (no ambos nulos) se puede expresar como una combinacin lineal entera de los nmeros y :

Es decir, es el algunos enteros

, para

METODO DE FADDEV.- Este mtodo ayuda a obtener los coeficientes del polinomio caracterstico de una matriz. Consideremos la traza de una matriz :

para algunos enteros

Ms aun, es el elemento mnimo positivo del conjunto de combinaciones lineales enteras . Demostracin: La demostracin clsica inicia considerando el conjunto de las combinaciones lineales enteras de los enteros dados, y elige el mnimo elemento positivo, digamos , de ese conjunto. Procede entonces a demostrar que ese elemento mnimo es el . La demostracin de esto se basa en el algoritmo de la divisin: primero se demuestra que divide a ambos nmeros y, como es del conjunto , se llega a que cualquier otro divisor comn de y tiene que dividir a ; de aqu que sea el . Sea . el mnimo positivo de

Se genera una serie de matices para obtener que estos sern los coeficientes del polinomio.

Los

se obtienen as (para una matriz de

):

Ejemplo: Supongamos que [ ]

Consideremos ahora la divisin Por el algoritmo de la divisin deben existir y enteros, con y menor que , tales que . Es decir Pero, como y son de , es tambin de , pues es el [ [ y

Se tiene que concluir que mnimo positivo Esto demuestra que De manera similar, Finalmente Sea divide a divide a

] {[ ]} [

] ]

cualquier otro divisor comn de

[ [

] {[ ]} [

] ]

Por tanto, es un vector propio asociado al valor propio de . Siendo invertible, P se reduce a . Por tanto, es linealmente independiente y genera a . Por tanto, es una base para formada por vectores propios. Supongamos ahora que se tiene una base para

Por lo tanto: formada por vectores propios de . Definamos [ As, donde es una matriz diagonal. [ [ [ [ ] es invertible y [ [ ] ] ] ] El siguiente resultado indica qu significa que una matriz A sea diagonalizable. Teorema: Sea una matriz cuadrada entonces son equivalentes: , ] ] y que

MATRIZ DIAGONALIZABLE Definicin: Una matriz cuadrada se dice matriz diagonalizable si existe una matriz invertible que cumple

es una matriz es diagonalizable. posee una base formada por vectores propios de la matriz . por tanto,

Demostracin: Supongamos que es diagonalizable. Por tanto, existen matrices invertible y diagonal tal que

es diagonalizable.

APLICACIN POSIBLE De acuerdo al siguiente circuito, se desea obtener las frmulas de las tensiones, es decir de los voltajes V1(t) y V2(t) que describen como stos cambian con el tiempo a consecuencia de las prdidas de tensin debidas a las resistencias R1 y R2.

Si es la -esima columna de y el -esimo elemento de la diagonal de , veamos que

es base para

y que [ [ ]

. Como [ ] y ]

Por tanto, As

. As mismo,

Suponiendo que las resistencias R1 = 2 , R2 =1 ; y los capacitadores C1 = 2 farads ,C2 = 1 farad. Por otro lado la carga inicial sobre el capacitor C1 es de 5 voltios y sobre el C2 es de 4 voltios. Los capacitores C1 y C2 almacenan cargas, porque se les suministr 5 volts y 4 volts respectivamente (representado por el vector inicial x0). Luego se retiran los generadores y se estudia el comportamiento de los voltajes a lo largo del tiempo en el recorrido del circuito. Este circuito idealizado, puede escribirse por medio del sistema diferencial:

k1 y k2 son los escalares que expresan al x0 como C.L. de los autovectores:

luego De acuerdo a los datos se tiene: x0= ( ) indica los valores iniciales del vector x=( ). Se calculan los autovalores y autovectores asociados a la matriz A >> A=[-1.5,0.5;1,-1]; >> [Q,D]=eigensys(A) ; Q=[ D =[ ] ] Las dos funciones v1(t) y v2(t) tienden a cero cuando t , pero los valores de v2(t) decaen ms rpidamente. En este caso se dice que el origen es un atractor o sumidero del sistema dinmico pues todas las trayectorias son atradas hacia el origen. Las entradas del autovector v2 muestran que los voltajes a travs de los condensadores decaern a cero tan rpidamente como sea posible si los voltajes iniciales son de igual magnitud pero de signo opuesto. El capacitor C2 se descarga ms rpidamente que el C1 pues tiene la mitad de faradios que es la capacidad de carga. >> x0=[5;4]; >> inv(Q)*x0 ans = -2.0000 3.0000 Luego, k1 = -2 y k2 = 3, reemplazando:

Al poner x = Q.y , resulta x = Q. y tal que y = D. y, luego el sistema queda:

Cuya solucin est dada por:

Luego la solucin del sistema original es : x = Q.y