´ Algebra Lineal -III: Algebra Vectorial en R2 and R3 Jos´e Mar´ıa Rico Mart´ınez Departamento de Ingenier´ıa Mec´anica Divisi´on de Ingenier´ıa, Campus Irapuato-Salamanca Universidad de Guanajuato email: [email protected] En estas notas se presentan los conceptos fundamentales del ´algebra vectorial en R2 y R3 . De manera m´as concreta, se presentan los fundamentos de la suma y multiplicaci´on por escalar de vectores en 2 y 3 dimensiones. Se mostrar´a que los vectores geom´etricos, definidos como entidades geom´etricas, satisfacen una serie de propiedades, que despu´es se denominar´an axiomas y que formar´an la base para definir de manera muy formal y abstracta a los espacios vectoriales. Posteriormente, se mostrar´a que la suma y multiplicaci´on escalar de vectores es equivalente a la suma y multiplicaci´on escalar de parejas y triadas ordenadas de n´ umeros reales. 1 Vectores Geom´ etricos. Los vectores geom´etricos se definen como segmentos de l´ınea orientados, “flechas”, de manera que su extremo final se indica con una punta de flecha y su extremo inicial es el que carece de la punta de flecha. El conjunto de estos vectores geom´etricos, se denotar´an como V 2 . 1.1 Definici´ on de la Suma de Vectores Geom´ etricos y la Multiplicaci´ on por Escalar de Vectores Geom´ etricos. Suponga dos vectores geom´etricos ~a, ~b ∈ V 2 , la suma de los vectores geom´etricos ~a + ~b se define como el vector geom´etrico obtenido del origen al punto obtenido cuando el vector ~b se dibuja a partir del extremo final del vector ~a, vea la figura 1. Debe notarse que el resultado de la suma de dos vectores geom´etricos es otro vector geom´etrico. Figure 1: Suma de Vectores Geom´etricos. Suponga un vector geom´etrico ~a ∈ V 2 y un escalar λ ∈ R, entonces la multiplicaci´on del vector por el escalar, se define como un vector geom´etrico cuya magnitud es igual a la magnitud de la vector geom´etrico original multiplicada por el valor absoluto del escalar |λ|. El sentido del resultado tendr´a el mismo que el vector original si λ ≥ 0 y tendr´a el sentido opuesto si λ < 0, vea la figura 2. Debe notarse que el resultado de la multiplicaci´on de un vector geom´etrico por un escalar es otro vector geom´etrico. 1 Figure 2: Multiplicaci´on por Escalar de Vectores Geom´etricos. 1.2 Propiedades de la Suma y Multiplicaci´ on por Escalar de Vectores Geom´ etricos. La suma de vectores geom´etricos y la multiplicaci´on por escalar de vectores geom´etricos, satisfacen las siguientes propiedades, ∀~a, ~b, ~c ∈ V 2 y λ, µ ∈ R: 1. La suma de vectores geom´etricos es conmutativa, vea la figura 3. Es decir ~a + ~b = ~b + ~a (1) Figure 3: La Suma de Vectores Geom´etricos es Conmutativa. 2. La suma de vectores geom´etricos es asociativa, vea la figura 4. Es decir ³ ´ ³ ´ ~a + ~b + ~c = ~a + ~b + ~c = ~a + ~b + ~c (2) Figure 4: La Suma de Vectores Geom´etricos es Asociativa. 3. Existe un id´entico aditivo, el vector geom´etrico ~0 ∈ V 2 , constituido por un vector de magnitud 0, la direcci´on no importa en este caso, vea la figura 5. tal que ~0 + ~a = ~a = ~a + ~0 2 (3) Figure 5: El Id´entico Aditivo en los Vectores Geom´etricos. 4. Para cada vector geom´etrico, ~a, existe un inverso aditivo, −~a, vea la figura 6. tal que ~a + (−~a) = ~0 = (−~a) + ~a (4) Figure 6: El Inverso Aditivo en los Vectores Geom´etricos. 5. La multiplicaci´on por escalar es pseudoasociativa, vea la figura 7. Es decir λ (µ~a) = (λ µ) ~a = µ (λ ~a) (5) Figure 7: La Multiplicaci´on por Escalar de Vectores es Pseudoasociativa. 6. La multiplicaci´on por escalar es distributiva respecto a la suma de vectores, vea la figura 8. Es decir ³ ´ λ ~a + ~b = λ ~a + λ ~b (6) 7. La multiplicaci´on por escalar es distributiva respecto a la suma de escalares, vea la figura 9. Es decir (λ + µ) ~a = λ ~a + µ ~a (7) 8. La propiedad del inverso aditivo del id´entico multiplicativo de los n´ umeros reales. El id´entico multiplicativo de los n´ umeros reales es 1 ∈ R y el inverso aditivo de 1 ∈ R es −1 ∈ R. Entonces se tiene que para cualquier vector ~a ∈ R2 (−~a) = −1 ~a vea la figura 10 3 Figure 8: La Suma de Vectores es Distributiva Respecto a la Multiplicaci´on por Escalar. Figure 9: La Suma de Escalares es Distributiva Respecto a la Multiplicaci´on por Escalar. Figure 10: La Propiedad del Inverso Aditivo del Id´entico Multiplicativo de los N´ umeros Reales. 4 1.3 Definici´ on de Suma y Multiplicaci´ on por Escalar de Parejas Ordenadas de N´ umeros Reales. En esta secci´on, se presentar´a la suma y multiplicaci´on de parejas ordenadas de n´ umeros reales. Se definir´a primeramente el conjunto de parejas ordenadas de n´ umeros reales, o vectores, como R2 = {~x = (x1 , x2 ) | x1 , x2 ∈ R} junto con las operaciones 1. Adici´on de parejas ordenadas. Sean ~x, ~y ∈ R2 , entonces ~x + ~y = (x1 , x2 ) + (y1 , y2 ) = (x1 + y1 , x2 + y2 ). y 2. Multiplicaci´on por escalar. Sean ~x ∈ R2 , y λ ∈ R, entonces λ~x = λ(x1 , x2 ) = (λx1 , λx2 ). Es importante se˜ nalar que dos vectores ~x = (x1 , x2 ) y ~y = (y1 , y2 ) son iguales o equivalentes, denotado por ~x = ~y si y s´olo si x1 = y1 y x2 = y2 . 1.4 Propiedades de la Suma y Multiplicaci´ on por Escalar de Parejas Ordenadas de N´ umeros Reales. Adem´as, las operaciones definidas sobre las parejas ordenadas de n´ umeros reales o vectores, tienen las siguientes propiedades, ∀~x, ~y , ~z ∈ R2 y ∀λ, µ ∈ R, se tiene que 1. Clausura respecto a la adici´on. Es decir ~x + ~y = (x1 , x2 ) + (y1 , y2 ) = (x1 + y1 , x2 + y2 ). Puesto que x1 + y1 , x2 + y2 ∈ R, resulta que ~x + ~y ∈ R2 . 2. Clausura respecto a la multiplicaci´on por escalar. Es decir λ~x = λ(x1 , x2 ) = (λx1 , λx2 ). Puesto que λx1 , λx2 ∈ R, resulta que λ~x ∈ R2 . 3. La suma de vectores es conmutativa. Es decir ~x + ~y = ~y + ~x Puesto que, la suma de n´ umeros reales es conmutativa ~x + ~y = (x1 , x2 ) + (y1 , y2 ) = (x1 + y1 , x2 + y2 ) = (y1 + x1 , y2 + x2 ) = (y1 , y2 ) + (x1 , x2 ) = ~y + ~x 4. La suma de vectores es asociativa. Es decir (~x + ~y ) + ~z = ~x + (~y + ~z) Puesto que, la suma de n´ umeros reales es asociativa (~x + ~y ) + ~z = = ((x1 , x2 ) + (y1 , y2 )) + (z1 , z2 ) = (x1 + y1 , x2 + y2 ) + (z1 , z2 ) ((x1 + y1 ) + z1 , (x2 + y2 ) + z2 ) = (x1 + (y1 + z1 ), x2 + (y2 + z2 )) = (x1 , x2 ) + (y1 + z1 , y2 + z2 ) = ~x + (~y + ~z) 5 5. Existe el vector ~0 = (0, 0) ∈ R2 , conocido como el id´entico aditivo, tal que ∀~x ∈ R2 , tiene la propiedad que ~x+~0 = (x1 , x2 )+(0, 0) = (x1 +0, x2 +0) = (x1 , x2 ) = ~x = (x1 , x2 ) = (0+x1 , 0+x2 ) = (0, 0)+(x1 , x2 ) = ~0+~x 6. Para todo vector ~x = (x1 , x2 ) ∈ R2 existe un elemento −~x = (−x1 , −x2 ), conocido como el inverso aditivo tal que ~x + (−~x) = (x1 , x2 ) + (−x1 , −x2 ) = (x1 − x1 , x2 − x2 ) = (0, 0) = ~0 y (−~x) + ~x = (−x1 , −x2 ) + (x1 , x2 ) = (−x1 + x1 , −x2 + x2 ) = (0, 0) = ~0 7. La multiplicaci´on por escalar de vectores es pseudoasociativa. Puesto que la multiplicaci´on de n´ umeros reales es asociativa λ(µ ~x) = λ(µ (x1 , x2 )) = λ(µ x1 , µ x2 ) = (λ(µ x1 ), λ(µ x2 )) = ((λ µ)x1 , (λ µ)x2 ) = (λ µ)(x1 , x2 ) = (λ µ) ~x. 8. La multiplicaci´on por escalar es distributiva respecto a la suma de vectores. Puesto que la multiplicaci´on de n´ umeros reales es distributiva respecto a la suma de n´ umeros reales λ(~x + ~y ) = λ ((x1 , x2 ) + (y1 , y2 )) = (λ (x1 + y1 ), λ (x2 + y2 )) = (λ x1 + λ y1 , λ x2 + λ y2 ) = (λ x1 + λ x2 ) + (λ y1 , λ y2 ) = λ (x1 , x2 ) + λ (y1 , y2 ) = λ ~x + λ ~y 9. La multiplicaci´on por escalar es distributiva respecto a la suma de escalares. Puesto que la multiplicaci´on de n´ umeros reales es distributiva respecto a la suma de n´ umeros reales (λ + µ) ~x = (λ + µ) (x1 , x2 ) = ((λ + µ) x1 , (λ + µ)x2 ) = (λ x1 + µ x1 , λ x2 + µ x2 ) = (λ x1 + λ x2 ) + (µ x1 , µ x2 ) = λ (x1 , x2 ) + µ (x1 , x2 ) = λ ~x + µ ~x 10. La propiedad del inverso aditivo del id´entico multiplicativo de los n´ umeros reales. El id´entico multiplicativo de los n´ umeros reales es 1 ∈ R y el inverso aditivo de 1 ∈ R es −1 ∈ R. Entonces se tiene que para cualquier vector ~x ∈ R2 −~x = −(x1 , x2 ) = (−x1 , −x2 ) = −1(x1 , x2 ) = −1 ~x 1.5 Equivalencia Entre Vectores Geom´ etricos y Parejas Ordenadas de N´ umeros Reales. En esta secci´on se mostrar´a que los vectores geom´etricos y sus operaciones de suma y multiplicaci´on por escalar son “equivalentes” a las parejas ordenadas de n´ umeros reales y sus operaciones de suma y multiplicaci´on escalar.1 De manera formal, se considerar´a V2 , el conjunto de vectores geom´etrico, “flechas”, en el plano. V2 est´a formado por flechas, ~a, que se dibujan desde un origen arbitrariamente seleccionado, de longitud a, donde a ∈ [0, ∞) y tal que la flecha forma un ´angulo φ con el semieje positivo x, donde φ ∈ [0, 2π), vea la figura 11. La figura 12 vuelve a mostrar las definiciones de multiplicaci´on por escalar y adici´ on o suma de vectores geom´etricos. Considere el mapeo o funci´on entre los conjuntos V2 y R2 dado por f : V2 → R2 f (~a) = f (a, φ) = (a cos φ, a sin φ) 1 A lo largo de este curso se dar´ a m´ as formalidad a los conceptos de “equivalencia” y operaciones, pero en este momento del curso es necesario permitir mucha ambig¨ uedad. 6 Figure 11: Vector Geom´etrico en el Plano. Figure 12: Definici´on de la Multiplicaci´on por Escalar y Adici´on de Vectores Geom´etricos. donde el vector ~a se representa como (a, φ), donde a es su magnitud y φ es el ´angulo que forma el vector con el semieje positivo X. Por lo tanto f (~b) = f (b, ψ) = (b cos ψ, b sin ψ) f (~a) = f (a, φ) = (a cos φ, a sin φ) Para probar que estos dos conjuntos son equivalentes, se mostrar´a que da lo mismo • Sumar los dos vectores geom´etricos, ~a y ~b, y despu´es aplicar este mapeo o bien aplicar el mapeo a cada uno de los vectores, ~a y ~b, y despu´es realizar la suma en el conjunto de parejas ordenadas. • Multiplicar por escalar, λ, un vector geom´etrico, ~a, y despu´es aplicar este mapeo o bien aplicar el mapeo al vector geom´etrico, ~a, y despu´es realizar la multiplicaci´on por escalar en el conjunto de parejas ordenadas. 1. Iniciaremos con la suma de vectores, usando las reglas que se aprendieron en trigonometr´ıa y aplic´andolas al tri´angulo formado por los vectores ~a, ~b y ~a + ~b, se tiene que la magnitud del vector ~a + ~b est´a dada por q |~a + ~b| = |~a|2 + |~b|2 − 2 |~a||~b| cos(ψ − φ). Adem´as, el ´angulo que el vector ~a + ~b forma con el semieje positivo X, denotado por γ, est´a dado por |~a| senφ + |~b| senψ tan γ = |~a| cosφ + |~b| cosψ 7 De manera que el coseno y el seno del ´angulo γ est´an dados por sen γ = |~a| senφ + |~b| senψ |~a + ~b| cos γ = |~a| cosφ + |~b| cosψ |~a + ~b| Entonces, aplicando el mapeo a la suma de los vectores ~a + ~b, se tiene que f (~a + ~b) = f (| ~a + ~b |, γ) = f (|~a + ~b|, γ) = (|~a + ~b| sen γ, |~a + ~b| cos γ) Ã ! |~a| cosφ + |~b| cosψ |~a| senφ + |~b| senψ ~ ~ , |~a + b| = |~a + b| |~a + ~b| |~a + ~b| ³ ´ ³ ´ = |~a| cosφ + |~b| cosψ, |~a| senφ + |~b| senψ = (|~a| cosφ, |~a| senφ) + |~b| cosψ, |~b| senψ = f (|a|, φ) + f (|b|, ψ) = f (a, φ) + f (b, ψ) = f (~a) + f (~b) Asi pues, se ha probado que sumar los dos vectores geom´etricos, ~a y ~b, y despu´es aplicar este mapeo es equivalente a aplicar el mapeo a cada uno de los vectores, ~a y ~b, y despu´es realizar la suma en el conjunto de parejas ordenadas. 2. Finalizaremos con la multiplicaci´on por escalar de vectores, para este caso, debemos considerar dos casos especiales • λ ≥ 0, en este caso se tiene que el vector λ ~a est´a representado por su magnitud |λ ~a| = |λ| |~a| = λ |~a| y el ´angulo que forma con el semieje positivo X es el mismo ´angulo φ. Por lo tanto, aplicando el mapeo a la multiplicaci´on por escalar de vectores, se tiene que f (λ ~a) = f (λ |~a|, φ) = (λ |~a| cos φ, λ |~a| sen φ) = λ(|~a| cos φ, |~a| sen φ) = λ(a cos φ, a sen φ) = λ f (~a) • λ < 0, en este caso se tiene que el vector λ ~a est´a representado por su magnitud |λ ~a| = |λ| |~a| = −λ |~a| y el ´angulo que forma con el semieje positivo X est´a dado por φ+180◦ . Por lo tanto, aplicando el mapeo a la multiplicaci´on por escalar de vectores y puesto que cos(φ + 180◦ ) = cosφ cos180◦ − senφ sen180◦ = −cosφ sen(φ + 180◦ ) = senφ cos180◦ + cosφ sen180◦ = −senφ f (λ ~a) = f (−λ |~a|, φ + 180◦ ) = (−λ |~a| cos (φ + 180◦ ), −λ |~a| sen (φ + 180◦ )) = λ(|~a| cos φ, |~a| sen φ) = λ(a cos φ, a sen φ) = λ f (~a) Estos dos resultados parciales muestran que multiplicar un vector geom´etrico ~a por un escalar λ, y despu´es aplicar este mapeo es equivalente a aplicar el mapeo al vector, ~a y despu´es realizar la multiplicaci´on por escalar en el conjunto de parejas ordenadas. 8 2 Ejemplos y Ejercicios. Problema 1. Determine la suma de los siguientes vectores, primeramente mediante trigonometr´ıa y despu´es mediante componentes cartesianas. • 1a. ~a un vector de 5 u.l. con un ´angulo de 45◦ con respecto al semieje positivo X y un vector ~b de 10 u.l. con un ´angulo de 30◦ con respecto al semieje positivo X. • 1b. ~a un vector de 8 u.l. con un ´angulo de 100◦ con respecto al semieje positivo X y un vector ~b de 5 u.l. con un ´angulo de −60◦ con respecto al semieje positivo X. Solucion Problema 1b. Para resolver el problema usando trigonometr´ıa, considere la figura 13. el ´angulo interno, µ, del tri´angulo formado por los vectores ~a, ~b y ~a + ~b, en el v´ertice formado por los vectores ~a y ~b, est´a dado por µ = 180◦ − φ − |ψ| = 180◦ − 100◦ − 60◦ = 20◦ Por lo tanto |~a + ~b| = q |~a|2 + |~b|2 − 2 |~a||~b| cos(µ) = p 82 + 52 − 2(8)(5)cos20◦ = 3.71814 u.l. El ´angulo γ que forma el vector ~a + ~b con el semieje positivo X, est´a dado por γ = tan−1 |~a| senφ + |~b| senψ 3.54833 8 sen100◦ + 5 sen(−60◦ ) = tan−1 = 72.6171◦ = ◦ + 5 cos(−60◦ ) ~ 8 cos100 1.110814 |~a| cosφ + |b| cosψ Figure 13: Soluci´on del Problema 1b. Para resolver el problema usando componentes cartesianas ~a = ~b = Por lo tanto (a cos φ, a sin φ) = (8 cos100◦ , 8 sin100◦ ) = (−1.38918, 7.87846) (b cos ψ, b sin ψ) = (5 cos(−60◦ ), 5 sin(−60◦ )) = (2.5, −4.33012) ~a + ~b = (−1.38918, 7.87846) + (2.5, −4.33012) = (1.11082, 3.54833) La magnitud de este vector est´a dada por p |~a + ~b| = 1.110822 + 3.548332 = 3.71814 u.l. 9 y el ´angulo γ est´a dado por γ = tan−1 3.54833 = tan−1 3.19433 = 72.6170◦ 1.11082 Problema 2. Ejemplifique la propiedad conmutativa de la suma de vectores cuando ~a es un vector de magnitud 5 u.l. y su ´angulo respecto al semieje positivo X est´a dado por θ1 = tan−1 43 y el ~b es un vector de magnitud 10 u.l. y su ´angulo respecto al semieje positivo X est´a dado por θ2 = tan−1 34 . Es decir verifique que ~a + ~b = ~b + ~a. Problema 3. Determine las parejas de n´ umeros reales correspondientes a los vectores ~a y ~b del Problema 2. Sume las parejas ordenadas en el espacio R2 y muestre que esta suma es la pareja de n´ umeros reales correspondiente al vector ~a + ~b. Problema √ 4. Ejemplifique la propiedad asociativa de la suma de vectores cuando ~a es un vector de magnitud 2 10 u.l. y su ´angulo respecto al semieje positivo X est´a dado por θ1 = tan−1 13 , el ~b es un vector de magnitud 10 u.l. y su ´angulo respecto al semieje positivo X est´a dado por θ2 = tan−1 −4 c es 3 y el ~ √ −1 2 un vector de magnitud 13 u.l. y su ´angulo respecto al semieje positivo X est´a dado por θ2 = tan −3 . Es decir verifique que (~a + ~b) + ~c = ~a + (~b + ~c). Problema 5. Determine las parejas de n´ umeros reales correspondientes a los vectores ~a, ~b y ~c del Problema 4. Sume las parejas ordenadas en el espacio R2 y muestre que esta suma es la pareja de n´ umeros reales correspondiente al vector (~a + ~b) + ~c = ~a + ~b + ~c. Soluci´ on: Primero determinaremos las componentes cartesianas de los vectores. √ 1. ~a = (2 10, γ1 = tan−1 13 ). Se tiene que Senγ1 ∝ 1 Cosγ1 ∝ 3 y Senγ1 = 1 k Cosγ1 = 3 k Por lo tanto Sen2 γ1 + Cos2 γ1 = (1 k)2 + (3 k)2 = 10 k 2 Finalmente Por lo tanto 1 Senγ1 = √ 10 10 k 2 = 1 y 1 k=√ 10 3 Cosγ1 = √ 10 y ~a = (| ~a | Cosγ1 , | ~a | Senγ1 ) = (2 √ √ 3 1 10 √ , 2 10 √ ) = (6, 2) 10 10 2. ~b = (10, tan−1 −4 3 ). Se tiene que Senγ2 ∝ −4 Cosγ2 ∝ 3 y Senγ2 = −4 k Cosγ2 = 3 k Por lo tanto Sen2 γ2 + Cos2 γ2 = (−4 k)2 + (3 k)2 = 25 k 2 Finalmente Senγ2 = y Por lo tanto −4 5 25 k 2 = 1 Cosγ2 = 3 5 ~b = (| ~b | Cosγ2 , | ~b | Senγ2 ) = (10 3 , 10 −4 ) = (6, −8) 5 5 10 y 1 1 k=√ = 5 25 √ 2 3. ~c = ( 13, tan−1 −3 ). Se tiene que Senγ3 ∝ 2 Cosγ3 ∝ −3 y Senγ3 = 2 k Cosγ3 = −3 k Por lo tanto Sen2 γ3 +Cos3 γ3 = (2 k)2 +(−3 k)2 = 13 k 2 Finalmente y Por lo tanto 2 Senγ3 = √ 13 13 k 2 = 1 y 1 1 k=√ =√ 13 13 −3 Cosγ3 = √ 13 √ −3 √ 2 ~c = (| ~c | Cosγ3 , | ~c | Senγ3 ) = ( 13 √ , 13 √ ) = (−3, 2) 13 13 Por lo tanto, se tiene que (~a + ~b) + ~c = [(6, 2) + (6, −8)] + (−3, 2) = (12, −6) + (−3, 2) = (9, −4). Esta soluci´on puede verificarse en la Figura 14. Figure 14: Soluci´on del Problema 5. Problema 6. Ejemplifique la multiplicaci´on por escalar de vectores geom´etricos cuando ~a es un √ vector de magnitud 34 u.l. y su ´angulo respecto al semieje positivo X est´a dado por θ1 = tan−1 53 y el escalar λ = 2. Problema 7. Determine la pareja de n´ umeros reales correspondiente al vector ~a del Problema 6. Multiplique esta pareja ordenada por el escalar λ en el espacio R2 y muestre que esta multiplicaci´on es la pareja de n´ umeros reales correspondiente al vector λ ~a. 11
© Copyright 2024