Journal of Vectorial Relativity

JVR 4 (2009) 1 35-44

Divisin y Nueva Multiplicacin entre Vectores

J E Hernndez R1, E Roca O2 Andy R Betancourt R3

RESUMEN: La divisin entre dos vectores que pertenecen a un mismo espacio vectorial se obtiene mediante procedimientos elementales del lgebra vectorial. La misma se define mediante una matriz. Esta representacin se obtiene primero para los espacios de dos y tres dimensiones y, luego, para un espacio vectorial n-dimensional con producto interno definido. Se establece el vnculo del resultado obtenido con los cuaterniones. Se analiza el significado as como la unicidad de la solucin obtenida. El vector inverso es definido. Se define una nueva multiplicacin entre vectores mediante la cual se obtiene la divisin entre ellos. Se calcula la impedancia de un circuito RLC en serie considerando a la corriente y la tensin del circuito como magnitudes vectoriales. KEYWORDS. Vector,

matriz de rotacin, divisin entre vectores, cuaternin, vector inverso, impedancia.

I. INTRODUCCIN Como es sabido, en el cuerpo K , de los nmeros reales, R , o de los complejos, C , la operacin de divisin puede introducirse como la operacin inversa de la multiplicacin, es decir, a b es cierto c tal que b c = a ; siempre que b 0 c existe y es nico. Cuando b = 0 c existe si, y solo si, a = 0 y, en este caso, c es cualquier nmero de K . En el caso de los vectores, como no se dispone de una operacin de multiplicacin mediante la cual se pueda definir la operacin inversa, lo usual es definir el cociente entre vectores como cierto tensor. Con frecuencia el cociente entre dos cantidades es de tipo diferente y ms complicado que el de estas, el cociente de dos enteros no es, por lo general, un entero, sino un nmero racional. De modo anlogo, el cociente de dos vectores no es, como se sabe, un vector sino una magnitud de nuevo tipo: un tensor [1]; pero esto significa que la divisin de vectores puede aprovecharse slo con el conocimiento del lgebra tensorial. En [2], se aborda la divisin entre vectores en el marco del lgebra multivectorial la que, de igual manera, no se trata en los cursos elementales. En esta lgebra se define la multiplicacin, Ec. (1.1) [2], y el inverso de un multivector, Ec. (1.22) [2], lo cual permite efectuar la divisin entre multivectores, que en un caso especial son vectores. Es el criterio de que la divisin entre vectores no puede obtenerse mediante procedimientos elementales del lgebra vectorial, por lo que carece de sentido definirla. Esta imposibilidad se debe, fundamentalmente, a las vas utilizadas para definir la divisin entre vectores, las cuales no han conseguido dicho objetivo debido a que se ha tratado de obtener la misma mediante uno de los productos existentes entre vectores, ya sea a travs del producto escalar o a travs del producto vectorial, productos estos que no son multiplicaciones propiamente, como la definida entre los nmeros. Estas ideas conducen a infinitas soluciones. Nuestro objetivo principal en este trabajo es definir, mediante procedimientos elementales, la divisin r r entre dos vectores, y y x , de cierto espacio vectorial V de dimensin finita con producto interno
1 2

Universidad de Oriente, Departamento de Fsica Aplicada, Santiago de Cuba, Cuba, jenrique@fa.uo.edu Marzo, 2009 Universidad de Oriente, Departamento de Fsica, Santiago de Cuba, Cuba, eroca@cnt.uo.edu.cu 3 Universidad de Sonora, Departamento de Investigaciones en Fsica, Hermosillo, Sonora, Mxico. rbriera@posgrado.cifus.uson.mx

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

definido. En lo adelante supondremos que x 0 , a menos que se especifique lo contrario, y r denotaremos x = x , etc.

II. DIVISIN ENTRE VECTORES EN LOS ESPACIOS VECTORIALES V = 2 Y V = 3 . A. Caso de V = 2 Sean y y x dos vectores que pertenecen a V = 2 y el ngulo formado entre ellos. La r r descomposicin del vector segn las y direcciones paralela y perpendicular al vector x permite representarlo de la manera siguiente,

r r r y = y|| + y .
Ya que los vectores de esta descomposicin pueden ser expresado como y|| = x y

(1)

siendo x una rotacin perpendicular del vector x respecto a su direccin inicial y y dos coeficientes de proporcionalidad que se determinan de la manera habitual, la Ec. (1) puede escribirse como:

r r y = x ,

r r r y = x + x .

(2)

Utilizando las matrices unitarias de identidad y de rotacin perpendicular podemos establecer las r r siguientes relaciones entre los vectores x y x :

r 1 0 r x = 0 1 x ,
y

0 1 r r x = 1 0 x ,
donde los vectores y , x y x estn escritos en forma de vectores columnas. A travs de estas relaciones la Ec. (2) toma el aspecto,

0 1 r 1 0 r r y = 0 1 x + 1 0 x .

(3)

Efectuando las operaciones indicadas y teniendo en cuenta la linealidad de las operaciones con matrices la expresin anterior queda como,
Journal of Vectorial Relativity

JVR 4 (2009) 1 35-44

36

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

r y=

r x. r
r

(4)

De la Ec. (4) podemos definir la divisin entre los vectores y y x

r y r = x

(5)

El conjunto de estas matrices forman, como es sabido, un subespacio vectorial, isomorfo al campo de los nmeros complejos de la forma z = + i . Multiplicando escalarmente la Ec. (3) por

= ( y x) sin , de esta manera la Ec. (5) puede escribirse de la manera siguiente

r y y cos r= x x sin sin . cos
(6)

r r x y por x obtenemos que

= ( y x) cos y

La Ec. (3) puede escribirse como,

r r y = ( I + R ) x .

(7)

Designemos el trmino entre parntesis de la ecuacin anterior como E que, como puede verse, est dada por la combinacin lineal de las matrices identidad y de rotacin perpendicular,

E = ( I + R ) ,

(8)

y representa es una aplicacin lineal. Desde el punto de vista geomtrico E representa una r r rotacin en el plano de los vectores y y x y un escalamiento al multiplicarse por el factor y x . Por otra parte, es de gran importancia, en las diferentes aplicaciones, el nexo entre los mdulos de las magnitudes vectoriales que se relacionan a travs de una expresin dada. En el caso de la divisin entre vectores es sencillo establecer el vnculo entre los mdulos de dichas magnitudes,

y = 2 +2x.

(9)

Este resultado es de gran utilidad como se vera mas adelante. Si los vectores son paralelos resulta que,

r y y 1 0 . r= x x 0 1

(10)

JVR 4 (2009) 1 35-44

Journal of Vectorial Relativity

37

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

En el caso de que sean perpendiculares entre s los vectores, entonces como puede verse de la Ec. (6) que

r y y 0 1 . r= x x 1 0

(11)

Estos resultados son ya conocidos del algebra lineal. En todos los casos y x es el coeficiente de proporcionalidad entre los mdulos de las magnitudes vectoriales. B. Caso de V = 3 Sean dos vectores y y x V = 3 y sea n un vector unitario perpendicular al plano formado por r ellos, cuyas componentes la designaremos como ( A, B, C ) . Ya que podemos representar a y como r la suma de dos vectores perpendiculares entre s, uno paralelo y otro perpendicular x respectivamente, entonces,

r r r y = x + n x .
Si multiplicamos vectorialmente la Ec. (12) por x por la derecha, se obtiene que:

(12)

r r yx n= r r . yx

(13)

Los coeficientes y lo determinamos de manera similar a como se hizo en el epgrafe anterior,

r r yx = 2 , x
y

r r y x x2

De esta manera, el vector y puede ser expresado de la siguiente manera

r r y = ( I + R ) x ,

(14)

siendo I el operador identidad y R = n el operador de rotacin perpendicular. Haciendo E = I + R , podremos escribir la Ec. (14) como: r r y = Ex
(15)

JVR 4 (2009) 1 35-44

Journal of Vectorial Relativity

38

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

Las representaciones matriciales de I y de R en la base usual son conocidas,

1 0 0 [I]e = 0 1 0 , 0 0 1
0 C B [n ]e = C 0 A . B A 0 Teniendo en cuenta las expresiones anteriores, la representacin matricial de E ser, C [E]e = C B A

B A

(16)

Las matrices dadas por las Ecs. (5) y (16) no son ms que clulas de la matriz

A B C A C B [q]e = , B C A C B A
la cual es representacin matricial del cuaternin q = + n .

(17)

La matriz Ec. (17) es un caso particular de las matrices que representan a los cuaterniones ya que en este caso todos sus elementos son del mismo tipo: los escalares y tienen la misma unidad de medida. En [3] se demuestra que

r r [E x ] = [E] [x ] .
e e e

(18)

Teniendo en cuenta las Ecs. (18) y (16) podemos definir la divisin entre los vectores y y x como,

r [ y ]e r [x ]e

C = C B A

B A

(19)

JVR 4 (2009) 1 35-44

Journal of Vectorial Relativity

39

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

Aqu se obtiene el mismo resultado obtenido en la seccin anterior dado por Ec. (9)

C. Divisin entre vectores en R n . La generalizacin de la divisin entre vectores para el caso de un espacio vectorial de dimensin finita n se logra reducindola al caso de V = 2 . Para ello las coordenadas de los vectores del espacio n-dimensional, se representan con respecto a la base formada por ellos mismos (obtenida a r r travs de Gram-Schmidt). Sean x y y dos vectores de R n . Construyamos, a partir de estos vectores, una base ortonormal segn Gram-Schmidt, esto es,

e1 =

r x , x

r r r yx y e1 x e2 = r r . r yx y e1 x
En esta base las coordenadas de x y y sern, respectivamente

r ~ = ( y cos , y sen ) , y r ~ = ( x , 0) . x

x La divisin de ~ entre ~ conduce al mismo resultado que Ec. (6). Note que en la referida ecuacin y no figuran las coordenadas de los vectores, sino sus mdulos y el ngulo formado entre ellos.

III. UNICIDAD DE LA SOLUCIN

La matriz E , dada por la Ec. (5) es nica, esto es, dados dos vectores x y y entonces y son nicos. Demostracin: Sean y = ( y1 , y 2 ) y x = ( x1 , x 2 ) dos vectores. Segn la Ec. (5)

r y=

r x.

Efectuando la multiplicacin e igualando las componentes correspondientes llegamos al sistema de ecuaciones,

JVR 4 (2009) 1 35-44

Journal of Vectorial Relativity

40

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

y1 = x1 x2 , y 2 = x1 + x2 .
El determinante del sistema anterior es distinto de cero ya que x 0 , por lo que y son nicos. Este resultado no es vlido para el caso de V = 3 donde el determinante del sistema es igual a cero, por lo que son infinitas las matrices [E]e . Esto se debe a que dicha matriz es de orden m m, donde m es impar, y a que la matriz de rotacin perpendicular R correspondiente es antisimtrica. En el caso de V = 2 y de los cuaterniones m es par, por lo que [E]e es nica. Dada la posibilidad de reducir la divisin entre dos vectores multidimensionales a la divisin en el mismo espacio en base a solo dos vectores ortonormales multidimensionales, en lo sucesivo nos referiremos a la divisin en el caso de V = 2 , a menos se especifique lo contrario. D. Propiedades de la divisin D-1. y1 , y 2 y x , con x 0 se cumple que

r r r r y1 + y 2 y1 y 2 = r + r , r x x x
D-2. y , x , u y v con x y u distintos del vector nulo, se cumple que

(20)

r r r

r y r r r u = yv, r r r x u x r v
D-3. y , x , u y v con x y u distintos del vector nulo, se cumple que

(21)

r r r

r y r u

r r r v yv r= r r. x xu

(22)

IV. MULTIPLICACIN ENTRE VECTORES

Es necesario, en este momento, definir la operacin inversa a la divisin discutida en los captulos 2 y 3, si se tienen en cuenta las deficiencias de los productos tradicionales entre vectores en el sentido de poder definir a travs de ellos el cociente. Esta nueva multiplicacin entre vectores debe ser consecuente con la definicin de divisin definida ms arriba, esto es, a travs de ella debe
JVR 4 (2009) 1 35-44

Journal of Vectorial Relativity

41

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

obtenerse la correspondiente divisin. siguiente manera:

En este sentido la multiplicacin la definimos de la

r r y x = I + R ,

(23)

r r yx = ,
siendo = y x y = y x . La Ec. (24) define unvocamente a y si se conocen x y E , siendo

(24)

r r

r r

E= .
Como puede verse de la Ec. (24)

y 2 x 2 = 2 + 2 ,

r r r r2 ( y x) 2 = ( y x ) 2 + y x ,
expresin sta conocida de la geometra analtica.

E. Propiedades de la multiplicacin: M-1. y x = [x y ] ,

(25)

esto es, la multiplicacin no es conmutativa. M-2. y c x = c y x ,

(26)

escalar c .
M-3 y ( x + w) = y x + y w , M-4 Si

(27)

JVR 4 (2009) 1 35-44

Journal of Vectorial Relativity

42

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

r r 0 0 yx = 0 0
entonces y = 0 x = 0 . El inverso del vector x , el cual denotamos como x 1 , se define de manera que

1 0 r r x x 1 = 0 1 .
r

(28)

De lo anterior se deduce que el modulo del vector inverso x 1 = 1 x y por la propia definicin de ste, se tiene, adems, que los vectores x y x 1 son colineales, esto es, x 1 = c 0 x , siendo c0 el coeficiente de proporcionalidad cuyo valor c 0 = 1 x 2 . De aqu que,

r x r x 1 = 2 . x

(29)

Este resultado coincide con el obtenido en [2] para el caso de los multivectores. Note que en el caso r r particular de que x = 1 , entonces x 1 = x .

V. DETERMINACIN DE LA IMPEDANCIA DE UN CIRCUITO RLC SERIE.

Como ejemplo de aplicacin de la divisin entre vectores podemos comenzar con la determinacin de la impedancia de un circuito RLC serie, alimentado por una fuente de corriente alterna que vara con el tiempo segn la ecuacin i (t ) = imx cos( t ) . Consideremos que la corriente y la tensin en cada elemento del circuito puedan ser representados como magnitudes vectoriales (y no como fasores) como,

r i (t ) = imx cos( t ) i + imx sen( t ) , j r V R (t ) = imx R cos( t ) i + imx R sen( t ) , j r VC (t ) = (VC ) mx cos( t ) i + (VC ) mx sen( t ) , 2 2 j r V L (t ) = (VL ) mx cos( t + ) i + (VL ) mx sen( t + ) . 2 2 j
Dividiendo

r r r r r E (t ) = VR + VC + VL entre i (t ) se obtiene la matriz

JVR 4 (2009) 1 35-44

Journal of Vectorial Relativity

43

J E Hernndez y R, E Roca O y R Betancourt R: Divisin y Nueva Multiplicacin entre Vectores

Marzo, 2009

r R E (t ) = r i (t ) L 1 C

L +

1 C . R

El cociente entre los mdulos de los vectores E (t ) e esperado de la impedancia, esto es,

r i (t ) , segn Ec.

(9), da el valor

z = R 2 + ( L

1 2 ) . C

REFERENCIAS [1] HERBERT GOLSTEIN, Mecnica Clsica Versin Espaola de CAYETANO ENRIQUEZ DE SALAMANCA, 176. [2] DAVID HESTENES, Vectors, Spinors, and Complex Number in Classical and Quantum Physics, AJP 39, 1013 (1971). [3] SEYMOUR LIPSCHUTZ, Teora y Problemas de lgebra Lineal, Mc Graw-Hill (1973).

JVR 4 (2009) 1 35-44

Journal of Vectorial Relativity

44