Conjuntos y Matrices Ortogonales

Departamento de Matem aticas, CSI/ITESM 17 de junio de 2008

Indice
27.1. Introducci on . . . . . . . . . . . . . . . 27.2. Conjunto ortogonal de vectores . . . . 27.3. Ortogonalidad e Independencia Lineal 27.4. Ortogonalidad y bases . . . . . . . . . 27.5. Ortogonalidad y Descomposici on . . . 27.6. Conjunto ortonormal de vectores . . . 27.7. Matriz ortogonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1 1 2 2 3 3

27.1.

Introducci on

En esta lectura veremos conjuntos y matrices ortogonales.

27.2.

Conjunto ortogonal de vectores

Denici on 27.1 Un conjunto de vectores {v1 , v2 , . . . , vm } se dice conjunto ortogonal o simplemente ortogonal si se cumple vi vj = 0 para i = j y i, j = 1, . . . , m Ejemplo 27.1 Indique si el conjunto formado por los siguientes vectores es ortogonal 1 2 2 v1 = 0 , v2 = 2 , v3 = 5/2 2 1 1 Soluci on Calculando todos los productos punto entre vectores diferentes tenemos v1 v2 = (1)(2) + (0)(2) + (2)(1) = 0 v1 v3 = (1)(2) + (0)(5/2) + (2)(1) = 0 v2 v3 = (2)(2) + (2)(5/2) + (1)(1) = 0 as concluimos que es conjunto es ortogonal. (1)

27.3.

Ortogonalidad e Independencia Lineal

Teorema Cualquier conjunto ortogonal S = {v1 , ...., vk } de vectores distintos de cero es linealmente independiente. Demostraci on: Si suponemos que c 1 v 1 + c 2 v 2 + + ck v k = 0 Entonces multiplicando por vi obtenemos que: c 1 v 1 v i + c 2 v 2 v i + ck + v k v i = 0 v i As ci v i v i = 0 como vi vi = 0 concluimos que ci = 0.

27.4.

Ortogonalidad y bases

Teorema Cualquier conjunto ortogonal S = {v1 , ...., vk } de vectores distintos de cero es base para Gen(S ). on de Gen(S ), S genera a Gen(S ). Y por el teorema anterior S es linealmente Demostraci on: Por denici independiente. Por tanto, S es base para Gen(S ).

27.5.

Ortogonalidad y Descomposici on

Teorema Sea S = {v1 , ..., vk } un conjunto ortogonal de vectores distintos de cero. Si u est a en Gen(S ) y u = c1 v 1 + + ck v k entonces ci = u vi para i = 1, . . . , k vi vi

A las expresiones u vi /vi vi se les llama los coecientes de Fourier de u respecto a S . Demostraci on: Si u = c1 v 1 + + ck v k haciendo el producto punto con vi y considerando la ortogonalidad obtenemos: u v i = ci v i v i Al ser los vectores vi = 0, se tiene que vi vi = 0 y por tanto se tiene: ci = u vi vi vi

Nota: Lo importante del teorema anterior es indica que para bases ortonormales no es necesario resolver sistemas de ecuaciones lineales para determinar los coecientes de cada vector es sucientes calcular los coecientes de Fourier. 2

Ejemplo 27.2 Utilizando el conjunto ortogonal S del primer ejemplo de esta lectura y el vector u = (1, 3, 2) , determine los coecientes de Fourier u respecto a S y compruebe que se obtienen los mismos valores resolviendo el sistema de ecuaciones lineales correspondientes. Soluci on: Calculemos u v1 = (1)(1) + (2)(0) + (3)(2) = 7 u v2 = (1)(2) + (2)(2) + (3)(1) = 5 u v3 = (1)(2) + (2)(5/2) + (3)(1) = 4 v1 v1 = (1)(1) + (0)(0) + (2)(2) = 5 v2 v2 = (2)(2) + (2)(2) + (1)(1) = 9 v3 v3 = (2)(2) + (5/2)(5/2) + (1)(1) = 45/4 y al aplicar las f ormulas obtenermos: c1 = 7/5, c2 = 5/9, c3 = 16/45 Si por otro lado armamos la matriz aumentada 1 2 2 0 2 5/2 2 1 1 [v1 , v2 , v3 |u] 1 1 2 0 3 0 y la reducimos: 7/5 0 0 1 0 5/9 0 1 16/45

de donde observamos que los valores de las constantes ci coinciden con los valores dados por los coecientes de Fourier.

27.6.

Conjunto ortonormal de vectores

Denici on 27.2 Un conjunto de vectores {v1 , v2 , . . . , vm } se dice conjunto ortonormal o simplemente ortonormal si se cumple vi vj = 0 para i = j y vi vi = 1 para i, j = 1, . . . , m (2)

Note que en caso de una base ortonormal S para un espacio las f ormulas de Fourier para un u simplican a ci = u vi , por ello es que es deseable tener una base ortonormal a un espacio. Si ya se posee una base ortogonal dividiendo cada vector entre su norma se obtiene una ortonormal: {v1 , . . . , vm } ortogonal 1 1 v1 , . . . , vm ortonormal ||v1 || ||vm || (3)

Ejemplo 27.3 Ortonormalize el conjunto ortogonal ejemplo de esta lectura: 2 2 1 v1 = 0 , v2 = 2 , v3 = 5/2 1 1 2 alculos Soluci on: Tenemos ya realizados los siguientes c v1 v1 = 5 ||v1 || = 5 v2 v2 = 9 ||v1 || = 3 v3 v3 = 45/4 ||v1 || = 45/2 3

Por tanto, el conjunto ortonormalizado queda 1 2 2 1 1 2 0 , 2 , 5/2 3 5 45 2 1 1

27.7.

Matriz ortogonal

Denici on 27.3 Una matriz A se dice matriz ortogonal o simplemente ortogonal si es una matriz cuadrada y las columnas de A forman un conjunto ortonormal. Teorema A n n: es ortogonal ssi AT A = I. Teorema Sea A una matriz n n, y u y v dos vectores en Rn . Entonces (Au) v = u AT v Demostraci on (Au) v = (Au)T v = uT AT v = uT AT v = u AT v

Teorema

Sea A una matriz n n. Son equivalentes las siguientes armaciones: (1) A es ortogonal. (2) A preserva los productos punto: (Au) (Au) = u v u, v (3) A preserva norma: ||Av|| = ||v|| v Demostraci on (1) implica (2) Si A es ortogonal, AT A = I. As (A u) (A v) = u AT Av = u v (2) implica (3) Se tiene ||A v||2 = (A v) (A v) || = v v = ||v||2

tomando ra z cuadrada se tiene la igualdad de (3). (3) implica (1)