Representacin de Vibraciones Armnicas o o Mediante Fasores: Isomorsmo de Espacios Vectoriales

Jos Mar Rico Mart e a nez Departamento de Ingenier Mecnica a a Facultad de Ingenier Mecnica Elctrica y Electrnica a a e o Universidad de Guanajuato Salamanca, Gto. 38730, Mxico e email: jrico@salamanca.ugto.mx January 17, 2010
Abstract Estas notas muestran, de manera formal, como es posible representar vibraciones armnicas como fasores; es decir, mediante vectores rotatoo rios. Para este propsito, se emplean algunos conceptos fundamentales o del lgebra lineal como lo son: Espacios vectoriales, transformaciones lina eales e isomorsmo de espacios vectoriales.

Espacios Vectoriales Involucrados

1. A , el espacio vectorial de funciones armnicas de frecuencia circular . o De manera formal, se probar que el conjunto a A = {f (t) | f (t) = x0 Sen(t + ), junto con las operaciones Adicin de funciones. Sean f1 (t), f2 (t) A . Entonces o (f1 + f2 )(t) = f1 (t) + f2 (t) t. donde x0 [0, ), [0, 2)}1

En esta seccin se presentarn los espacios vectoriales involucrados en la prueba. o a

Multiplicacin por escalar. Sea f (t) A y . Entonces o (f )(t) = (f (t)) t.

1 Debe notarse que el ngulo se dene mdulo 2. Es decir = + 2n, donde n es a o entero.

constituyen un espacio vectorial real. 2. , el espacio vectorial de parejas ordenadas de n meros reales. De manera u formal se probar que el conjunto a
2 2

= {x = (x1 , x2 ) | x1 , x2

junto con las operaciones Adicin de parejas ordenadas. Sean x, y o

2

, entonces

x + y = (x1 , x2 ) + (y1 , y2 ) = (x1 + y1 , x2 + y2 ). Multiplicacin por escalar. Sean x o

2

, y , entonces

x = (x1 , x2 ) = (x1 , x2 ). constituyen un espacio vectorial real. 3. V 2 , el espacio vectorial de vectores geomtrico, echas, en el plano. e a De manera formal, V 2 est formado por echas, a, que se dibujan desde un origen arbitrariamente seleccionado, de longitud a, donde a [0, ) y tal que la echa forma un angulo con el semieje positivo x, donde [0, 2), vea la Figura 1.

Figure 1: Vector Geomtrico en el Plano. e De manera formal se probar que este conjunto de vectores geomtricos a e junto con las operaciones de multiplicacin por escalar y adicin de veco o tores geomtricos, denidas gracamente en la Figura 2, constituyen un e espacio vectorial. 2

Figure 2: Denicin de la Multiplicacin por Escalar y Adicin de Vectores o o o Geomtricos. e

1.1

Clausura de los Conjuntos Bajo las Operaciones Indicadas

Debido a restricciones de espacio, exclusivamente se probar que los dos primeros a a o conjuntos, A y 2 , estn cerrados respecto a la suma y multiplicacin por un escalar real. La clausura del ultimo conjunto, V 2 , bajo la multiplicacin por o escalar y la adicin de vectores es evidente de la denicin grca de las opo o a eraciones mostrada en la Figura 2. Sin embargo, debe tenerse en cuenta que el resto de los axiomas de un espacio vectorial, que incluyen la asociatividad de la adicin, la commutatividad de la adicin, la existencia de un idntico aditivo, la o o e existencia de inversos aditivos, la pseudoasociatividad de la multiplicacin por o escalar, la distributividad de la multiplicacin por escalar respecto a la adicin o o deben a adirse para una prueba completa. n o I. A , el espacio vectorial de funciones armnicas de frecuencia circular . Clausura respecto a la multiplicacin por escalar. o Sea f (t) = x0 Sen(t + ) A , y , entonces [f (t)] = [x0 Sen(t + )] = (x0 )Sen(t + ) Puesto que x0 [0, ), resulta que [f (t)] A .2
2 Si

0, entonces [f (t)] = [x0 Sen(t + )] = (| | x0 )Sen(t + + ).

a Entonces, puesto que | | x0 [0, ), la clausura se mantiene. Adems, note que + [0, 2) mdulo 2. o

 Clausura respecto a la adicin. o Sean f1 (t) = x01 Sen(t + ), f2 (t) = x02 Sen(t + ), A , entonces f1 (t) + f2 (t) = [x01 Sen(t + )] + [x02 Sen(t + )] = x01 [Sen(t)Cos + Cos(t)Sen] + x02 [Sen(t)Cos + Cos(t)Sen] = Sen(t)[x01 Cos + x02 Cos] + Cos(t)[x01 Sen + x02 Sen] = x2 + x2 + 2x01 x02 Cos( ) 01 02 (x01 Cos + x02 Cos)Sen(t) x2 + x2 + 2x01 x02 Cos( ) 01 02 = x0s Sen(t + ) donde x0s = y = tan1 x2 + x2 + 2x01 x02 Cos( ), 01 02 x01 Sen + x02 Sen x01 Cos + x02 Cos + (x01 Sen + x02 Sen)Cos(t) x2 + x2 + 2x01 x02 Cos( ) 01 02

Puesto que, x0s [0, ) y [0, 2) es evidente que f1 (t) + f2 (t) A . II.
2

, el espacio vectorial de parejas ordenadas de n meros reales. u

2

Clausura respecto a la multiplicacin por escalar. o Sean x ,y , entonces x = (x1 , x2 ) = (x1 , x2 ). Puesto que x1 , x2 , resulta que x Clausura respecto a la adicin. Sean x, y o
2

. , entonces

x + y = (x1 , x2 ) + (y1 , y2 ) = (x1 + y1 , x2 + y2 ). Puesto que x1 + y1 , x2 + y2 , resulta que x + y

2

Dimensiones de los Espacios Vectoriales A y

2

En esta seccin se determinarn las dimensiones de los espacios vectoriales A o a y 2 . Para tal f se incluyen las siguientes dos deniciones n Denicin 1. Una base B de un espacio vectorial V es un conjunto de o vectores de V que satisfacen dos propiedades 1. El conjunto es linealmente independiente. Es decir, la unica combinacin o lineal de esos vectores que es igual al idntico aditivo es la trivial, todos e los escalares son iguales a 0. 4

2. El conjunto es un conjunto generador del espacio vectorial. Es decir, cualquier vector del espacio vectorial V puede escribirse como una combinacin lineal de esos vectores. o Denicin 2. La dimensin de un espacio vectorial V, es el n mero de o o u vectores en cualesquiera de sus bases.3 A continuacin se mostrar que la dimension de ambos espacios vectoriales, o a A y 2 , es 2. o I. A , el espacio vectorial de funciones armnicas de frecuencia circular . Considere el siguiente conjunto de funciones armnicas B = {f1 (t) = Sen(t), o f2 (t) = Sen(t + ) = Cos(t)}. Es fcil probar que B es un conjunto genera 2 ador de A , pues si f (t) = x0 Sen(t + ) A es arbitrario, entonces f (t) = x0 Sen(t + ) = x0 [Sen(t)Cos() + Cos(t)Sen()] = [x0 Cos()]Sen(t) + [x0 Sen()]Cos(t) Que es una combinacin lineal de los elementos de B. Similarmente, es fcil o a probar que B es un conjunto linealmente independiente mediante el Wronskiano. W (f1 , f2 ) = Sen(t) Cos(t) Cos(t) Sen(t) = Sen(t)2 + Cos(t)2 = = 0.

Finalmente, puesto que B es una base de A , y B tiene dos elementos, la dimensin de A , es 2. o II. 2 , el espacio vectorial de parejas ordenadas de n meros reales. u Considere el siguiente conjunto de parejas ordenadas de nmeros reales B = u {(1, 0), (0, 1)}. Es fcil probar que B es un conjunto generador de 2 , pues si a x = (x1 , x2 ) 2 es arbritario, entonces x = (x1 , x2 ) = x1 (1, 0) + x2 (0, 1). Que es una combinacin lineal de los elementos de B. Similarmente, es fcil o a probar que B es linealmente independiente, pues la ecuacin o 0 = (0, 0) = 1 (1, 0) + 2 (0, 1) = (1 , 2 ), tiene como unica solucin o 1 = 0, y 2 = 0.

Es decir, la trivial. Siguiendo los mismos argumentos que en el caso anterior, se deduce que la dimensin de 2 es 2. o
3 Un desarrollo formal, debiera mostrar que todas las bases de un espacio vectorial tienen el mismo nmero de elementos. Un curso decente de Algebra Lineal, en ingenier debe u a, incluir la prueba de este resultado.

Isomorsmo Entre A y

En esta seccin, se presentar un isomorsmo entre los espacios vectoriales A y o a 2 . De esa manera, se mostrar que ambos espacios vectoriales son isomrcos. a o Por lo tanto, las operaciones que pueden hacerse con funciones armnicas de o frecuencia pueden realizarse mediante parejas ordenadas de n meros reales. u Denicin 3. Una transformacin lineal T : A 2 es una transforo o macin tal que, para todo f1 (t), f2 (t) A y o T [f1 (t) + f2 (t)] = T [f1 (t)] + T [f2 (t)], y T [f1 (t)] = T [f1 (t)].

La primera condicin se conoce como aditividad, la segunda condicin se o o conoce como homogeneidad. A continuacin se dene la transformacin lineal o o entre los espacios vectoriales A y 2 . Denicin 4. Una transformacin lineal T : A 2 es se dice que es un o o isomorsmo de espacios vectoriales si 1. Es una transformacin lineal. o 2. Es biyectiva. Es decir es inyectiva tambin conocida como uno a uno y e sobreyectiva tambin conocida como sobre. e Si T : A 2 es un isomorsmo de espacios vectoriales, entonces los espacios o vectoriales A y 2 se dice que son isomrcos.4 Proposicin 5. Considere la transformacin T : A 2 , denida por o o T [f (t)] = T [x0 Sen(t + )] = (x0 Cos, x0 Sen). Entonces, puede probarse que la transformacin es lineal. o Prueba: Se probar que la transformacin es aditiva y homogenea. a o Aditividad. Sean f1 (t) = x01 Sen(t + ), f2 (t) = x02 Sen(t + ), A y . Entonces T [f1 (t) + f2 (t)] = T [x0s Sen(t + )] donde x0s = y = tan1 = x2 + x2 + 2x01 x02 Cos( ), 01 02 x01 Sen + x02 Sen x01 Cos + x02 Cos

4 Si dos espacios vectoriales son isomrcos, matematicamente hablando, son iguales. Los o elementos pueden lucir diferentes pero la transformacin lineal permite establecer una o relacin biun o voca entre ellos y cualesquiera operaciones que se realicen en un espacio vectorial pueden realizarse en el otro.

Por lo tanto T [f1 (t) + f2 (t)] = (x0s Cos(), x0s Sen()) = ( x2 + x2 + 2x01 x02 Cos( ) 01 02 x2 01 x01 Cos + x02 Cos

, + x2 + 2x01 x02 Cos( ) 02 x01 Sen + x02 Sen ), x2 + x2 + 2x01 x02 Cos( ) 01 02 2 + x2 + 2x x Cos( ) x01 01 02 02 = (x01 Cos + x02 Cos, x01 Sen + x02 Sen) = (x01 Cos, x01 Sen) + (x02 Cos, x02 Sen) = T [f1 (t)] + T [f2 (t)]. Homogeneidad T [f1 (t)] = = T [(x0 )Sen(t + )] = (x0 Cos(), x0 Sen()) = (x0 Cos(), x0 Sen()) = T [f1 (t)].

Para nalizar el desarrollo, necesitamos auxiliarnos de dos resultados del a lgebra lineal. Proposicin 6. Sea T : V W una transformacin lineal, entonces T o o es inyectiva si y slo si 0 V es el unico elemento de V que mapea sobre el o 0 W. Proposicin 7. Sea T : V W una transformacin lineal, tal que ambos o o espacios vectoriales, V y W tienen la misma dimensin entonces T es biyectiva o si y slo si es inyectiva. o Entonces, a f de probar que T : A 2 es un isomorsmo de espacios n o vectoriales y que por lo tanto los espacios vectoriales A y 2 son isomrcos es necesario completar el siguiente resultado. Proposicin 8. La transformacin lineal T : A 2 , denida por o o T [f (t)] = T [x0 Sen(t + )] = (x0 Cos, x0 Sen). es un isomorsmo de espacios vectoriales. Prueba: Puesto que ya se prob que T es una transformacin lineal, es o o suciente probar que T es biyectiva. Mas an, por las proposiciones 6 y 7 y u puesto que A y 2 tienen la misma dimensin, es suciente probar que T es o inyectiva. Sea f (t) = x0 Sen(t + ) A arbitrario entonces T [f (t)] = T [x0 Sen(t + )] = (x0 Cos, x0 Sen) ser igual 0 = (0, 0), si y slo si a o x0 Cos = 0, y x0 Sen = 0

Elevando al cuadrado las ecuaciones y a adiendolas trmino a trmino, se tiene n e e que x2 = x2 (Cos2 + Sen2 ) = 0, = x0 = 0. 0 0 De aqu que f (t) = x0 Sen(t + ) = 0Sen(t + ) = 0 t. Asi pues, el unico elemento de A que T mapea sobre 0 2 , es el idntico aditivo de A . e 7