Ver código fuente

==Tipos de magnitudes==
Una '''magnitud física''' es cualquier propiedad física susceptible de ser medida. Ejemplos: el tiempo (<math>t</math>), la velocidad
(<math>\vec{v}</math>), la masa (<math>m</math>), la temperatura (<math>T</math>), el campo eléctrico (<math>\vec{E}</math>).

Las magnitudes físicas se pueden clasificar en:
===Magnitudes escalares===
Las magnitudes escalares son aquéllas que quedan completamente determinadas mediante el conocimiento de su valor expresado mediante una cantidad (un número real) seguida de una unidad (a excepción de las adimensionales). 

Ejemplos de magnitudes escalares son
* Tiempo (<math>t</math>)
* Masa (<math>m</math>)
* Temperatura (<math>T</math>)
* Carga eléctrica (<math>q</math>)
* &hellip;

===Magnitudes vectoriales===
Las magnitudes vectoriales son aquéllas que no quedan completamente determinadas por su valor (cantidad y unidad), sino que requieren además el conocimiento de la dirección y el sentido de su actuación y su punto de aplicación. 

Entre las magnitudes vectoriales están:

* Velocidad (<math>\vec{v}</math>)
* Aceleración (<math>\vec{a}</math>)
* Fuerza (<math>\vec{F}</math>)
* Campo eléctrico (<math>\vec{E}</math>)
* &hellip;

Es importante tener siempre en mente la distinción entre cantidades escalares y vectoriales, ya que no pueden sumarse o igualarse cantidades de diferente tipo. Para señalar el carácter vectorial debe indicarse en la notación algún rasgo distintivo, normalmente una flecha sobre la cantidad. Así

<center><math>\vec{v} \neq v</math></center>

El primer símbolo, <math>\vec{v}</math> representa la velocidad, que posee módulo, dirección y sentido (no solo nos informa de cómo de rápido se mueve una partícula sino también hacia dónde se mueve). El segundo símbolo es el módulo de la velocidad (conocido como ''celeridad'' o ''rapidez'') que no nos informa de la dirección de movimiento.

===Otros tipos de magnitudes===
Además de las magnitudes escalares y vectoriales, existen otros tipos de magnitudes &ldquo;de orden superior&rdquo;, conocidas en general como magnitudes tensoriales. 

Una magnitud escalar se puede representar por un número (con unidades), lo que equivale a una matriz 1&times;1. Una magnitud vectorial puede ser representadas por una vector fila o uno columna, que equivale a una matriz 1&times;3 o 3&times;1. Una magnitud tensorial requiere matrices 3&times;3 o incluso entes de mayores dimensiones. 

Un ejemplo de magnitud tensorial son los &ldquo;esfuerzos&rdquo; en un sólido. Cuando se aplica una fuerza en una dirección resulta una deformación que puede ir en una dirección diferente. Por tanto necesitamos la información de la dirección y sentido de los dos, fuerza y deformación, por lo que no nos basta con una magnitud vectorial.

En este curso las magnitudes tensoriales aparecen muy raramente.

===Principio de homogeneidad===
Una propiedad importante de las leyes físicas es que son homogéneas. Esto quiere decir que los dos miembros de una igualdad, o cada uno de los sumandos de una suma, deben ser del mismo tipo:

* Una cantidad escalar será igual a otra cantidad escalar, por ejemplo

<center><math>\rho = \frac{M}{V}</math></center>

* Una cantidad vectorial será igual a otra cantidad vectorial

<center><math>\vec{v}=\vec{\omega}\times\vec{r}</math></center>

* pero '''nunca''' una cantidad escalar será igual a una vectorial. Por ejemplo, el momento de una fuerza es una cantidad cuya unidad SI es 1&thinsp;N&middot;m, y la energía cinética es una magnitud cuya unidad es 1&thinsp;J = 1&thinsp;N&middot;m, pero aunque se miden en las mismas unidades, el momento de una fuerza nunca puede ser igual a la energía cinética, pues la primera es una magnitud vectorial y la segunda es una escalar

<center><math>\vec{r}\times\vec{F}\neq \frac{1}{2}mv^2</math></center>

La energía cinética sí podrá ser igual al módulo del momento de la fuerza, que es una cantidad escalar

<center><math>\left|\vec{r}\times\vec{F}\right| = \frac{1}{2}mv^2</math></center>

==Vectores. Definición y clasificación==
===Definición===
El concepto de vector es un concepto matemático con interés físico, ya que permite representar o describir las magnitudes vectoriales, así como operar con ellas.

Un '''vector geométrico''', <math>\vec{a}</math>, es un segmento orientado dotado de los siguientes elementos:

;Módulo: es su longitud, proporcional al valor de la magnitud física. Para indicar el módulo emplearemos tanto la notación de barras como el escribir la misma letra sin flecha:

<center><math>a=\left|\vec{a}\right|</math></center>

;Dirección y sentido: es la orientación del segmento, indicada mediante una flecha y que permite definir cuál es su origen y cuál su extremo
;Punto de aplicación: es el origen del segmento.
;Recta soporte:es la recta a la que pertenece el segmento, definida mediante el punto de aplicación y la dirección marcada por el vector.

===Tipos de vectores===
Los vectores pueden clasificarse atendiendo a la cantidad de información que necesitamos para especificarlos.
====Vectores ligados====
Los vectores ligados constituyen el tipo básico. Para especificar un vector ligado necesitamos dar su módulo, dirección y sentido y punto de aplicación.

[[Archivo:vector-posicion-OP.png|right]]

Un ejemplo inmediato de vector ligado es el ''vector de posición''. Dado un punto O, que tomamos como origen de un sistema de referencia, y un punto P del espacio, se denomina vector de posición (o ''radiovector'') de P al vector que tiene origen en O y extremo en P

<center><math>\vec{r}_P = \overrightarrow{OP}</math></center>

Otro ejemplo de vector ligado lo constituye el campo eléctrico, que asigna a cada punto del espacio un vector <math>\vec{E}(\vec{r})</math>.

También es un vector ligado la velocidad, ya que va asociada a la posición instantánea que ocupa la partícula en movimiento.

====Vectores deslizantes====
El punto de aplicación de un vector ligado y la dirección del vector definen una recta, conocida como ''recta soporte''.

Existen magnitudes físicas que aunque descritas en principio por vectores ligados, producen los mismos efectos si como punto de aplicación se toma cualquier otro situado en la misma recta soporte.

Un ejemplo de este tipo de vectores lo constituyen las fuerzas sobre un sólido. Es indiferente empujar un sólido por detrás o tirar de él desde delante, siempre que la recta soporte sea la misma.

Los vectores que cumplen esta propiedad se denominan '''vectores deslizantes''' (ya que pueden deslizarse libremente a lo largo de su recta soporte). Para especificar un vector deslizante, además del módulo, dirección y sentido, debe indicarse la recta soporte sobre la que se encuentra, pero no es necesario precisar un punto concreto de aplicación dentro de esta recta. O dicho de otra forma, que podemos elegir el punto de aplicación que queramos en la recta y si más adelante deseamos cambiarlo, podemos hacerlo mientras no nos salgamos de ella.

====Vectores libres====
Existen magnitudes físicas cuya descripción no requiere precisar un punto de aplicación, ni siquiera una recta soporte, pues para cualquier punto de aplicación en todo el espacio, sus consecuencias físicas son las mismas.

Un ejemplo lo tenemos en la resultante de todas las fuerzas que actúan sobre un sólido rígido.

En principio, cada magnitud física vectorial, según su naturaleza, puede ser representada por una de estas tres clases de vectores. Sin embargo, en ocasiones, es la naturaleza del problema físico concreto la que determina que una misma magnitud se describa mediante una u otra clase de vectores. Así, por ejemplo, una fuerza se comporta como un vector deslizante cuando actúa sobre un sólido rígido, y como un vector ligado cuando lo hace sobre un sólido deformable.

==Operaciones básicas con vectores libres==
===Equivalencia de vectores===
Dos vectores geométricos libres son equivalentes cuando poseen el mismo módulo, dirección y sentido.

===Suma de vectores===
Los vectores libres forman parte de un ''espacio vectorial'', por lo que admiten la definición de las operaciones ''suma'' y ''producto por un escalar'' con una serie de propiedades algebraicas (definición algebraica de vector). 

La '''suma de vectores libres''', 

<center><math>\vec{c}=\vec{a}+\vec{b}</math></center>

se define gráficamente de dos formas equivalentes:

* Colocándolos con el mismo origen: la suma vectorial será la diagonal del paralelogramo que definen (''regla del paralelogramo'').
* Colocando uno a continuación del otro y uniendo el origen del primero con el extremo del segundo (''regla del triángulo'').

{| class="bordeado"
|-
| [[Archivo:suma-vectores-paralelogramo.png]]{{qquad}}
| [[Archivo:suma-vectores-triangulo.png]]
|-
! Regla del paralelogramo
! Regla del triángulo
|}

Nótese que ambas definiciones requieren que los vectores sean libres, para que sus orígenes puedan trasladarse sin restricción.

Esta suma así definida presenta las siguientes '''propiedades algebraicas''':

;Conmutativa: 
<center><math>\vec{a}+\vec{b}=\vec{b}+\vec{a}</math></center>
;Asociativa: 
<center><math>\left(\vec{a}+\vec{b}\right)+\vec{c}=\vec{a}+\left(\vec{b}+\vec{c}\right)</math></center>
;Existencia de elemento neutro: Existe un vector de módulo nulo, <math>\vec{0}</math>, tal que 
<center><math>\vec{a}+\vec{0}=\vec{a}</math></center>
;Existencia de elemento opuesto: Para cada vector no nulo, <math>\vec{a}</math> existe uno como el mismo módulo y dirección y sentido opuesto, <math>-\vec{a}</math>, tal que
<center><math>\vec{a}+\left(-\vec{a}\right)=\vec{0}</math></center>

<center>
{| class="bordeado"
|-
! Conmutativa
! Asociativa
|-
| [[Archivo:suma-vectores-conmutativa.png]]
| [[Archivo:suma-vectores-asociativa.png]]
|-
! Elemento neutro
! Elemento simétrico
|-
| [[Archivo:suma-vectores-e-neutro.png]]
| [[Archivo:suma-vectores-e-simetrico.png]]
|}
</center>

La propiedad asociativa, junto con la regla del triángulo, permite sumar <math>n</math> vectores a base de formar una línea quebrada disponiendo los vectores en sucesión y uniendo el origen del primero con el extremo del último.

<center>[[Archivo:suma-cuatro-vectores.png]]{{qquad}}{{qquad}}[[Archivo:diferencia-vectores.png]]</center>

La operación suma, junto a la existencia de elemento opuesto, permite definir la '''resta o diferencia de vectores''':

<center><math>\vec{a}-\vec{b}=\vec{a}+\left(-\vec{b}\right)</math></center>

[[Archivo:posicion-relativa.png|right]]

En particular, para los vectores de posición, dados dos puntos P y Q, la posición relativa de Q respecto a P es

<center><math>\overrightarrow{PQ}=\overrightarrow{OQ}-\overrightarrow{OP}=\vec{r}_Q-\vec{r}_P</math></center>

o, equivalentemente, el vector que va de O a Q es la suma vectorial del que va de O a P más el que va de P a Q:

<center><math>\overrightarrow{OQ} = \overrightarrow{OP}+\overrightarrow{PQ}</math></center>

===Producto por un escalar===
[[Archivo:producto-vector-escalar.png|right]]El '''producto de un vector libre''', <math>\vec{a}</math>, '''por un escalar''', <math>\lambda</math> (número real), se define como un nuevo vector libre, <math>\lambda\,\vec{a}</math>, cuyo módulo es igual al producto del escalar (en valor absoluto) por el módulo del vector original, cuya dirección es la misma que la del vector original, y cuyo sentido es el mismo o el opuesto al del vector original según el escalar sea positivo o negativo, respectivamente. 

Esta operación presenta las siguientes '''propiedades algebraicas''':

;Asociativa respecto al producto por escalar:
<center><math>\lambda\,(\mu\,\vec{a})=(\lambda\,\mu)\,\vec{a}</math></center>
;Distributiva respecto a la suma de vectores:
<center><math>\lambda\,(\vec{a}+\vec{b})=\lambda\,\vec{a}+\lambda\,\vec{b}</math></center>

<center>
[[Archivo:distributiva-vector.png]]{{qquad}}{{qquad}}{{qquad}}
[[Archivo:distributiva-escalar.png]]
</center>

; Distributiva respecto a la suma de escalares:
<center><math>(\lambda+\mu)\,\vec{a}=\lambda\,\vec{a}+\mu\,\vec{a}</math></center>



;Existencia de escalar unidad: 
<center><math>1\,\vec{a}=\vec{a}</math></center>

Combinando estas propiedades con las de la suma obtenemos, entre otras propiedades

<center><math>\vec{0}=0\vec{a}</math>{{qquad}}{{qquad}}<math>-\vec{a}=(-1)\vec{a}</math></center>

===Normalización===
Una vez definido el producto por un escalar, podemos obtener el ''vector unitario'' (de módulo unidad) en la dirección dada por un vector <math>\vec{a}</math> como el vector

<center><math>\vec{u}=\frac{\vec{a}}{\left|\vec{a}\right|}=\frac{\vec{a}}{a}</math></center>

===Bases===
;Combinación lineal: Uniendo las propiedades de la suma de vectores y el producto de un vector por un escalar, podemos definir una '''combinación lineal''' de <math>n</math> vectores mediante la expresión

<center><math>\vec{a}=a_1\vec{v}_1+a_2\vec{v}_2+a_3\vec{v}_3+\cdots</math></center>

:En este caso se dice que el vector <math>\vec{a}</math> es ''linealmente dependiente'' de los vectores <math>\{\vec{v}_i\}</math>. Si no existe tal combinación lineal para obtener el vector <math>\vec{a}</math> se dice que éste es ''linealmente independiente'' del conjunto.

;Sistema generador: Un conjunto de vectores que permiten obtener todos los demás mediante combinaciones lineales se denomina ''sistema generador'' del espacio.

;Base: Un sistema generador cuyos vectores componentes son todos linealmente independientes entre sí (ninguno se puede poner como combinación lineal del resto) se denomina una '''base'''.

;Dimensión del espacio: Todas las bases de un espacio vectorial poseen el mismo número de vectores. Este número es la ''dimensión del espacio'' que, en el espacio ordinario (llamado técnicamente <math>E_3</math>) es 3.

[[Archivo:manoderecha-u1u2u3.png|right]]

:Desde un punto de vista geométrico, una base vectorial en el espacio ordinario <math>E_3</math> es cualquier terna de vectores que no sean colineales ni coplanarios.

;Base ortonormal: Es aquella formada por tres vectores unitarios y ortogonales entre sí.

;Base ortonormal dextrógira: Es aquella base <math>\{\vec{u}_1,\vec{u}_2,\vec{u}_3\}</math> que, además de ser ortonormal tiene a sus tres vectores ordenados según la ''regla de la mano derecha'': Si los dedos de la mano derecha van del primero al segundo, el pulgar apunta en la dirección y sentido del tercero.

===Componentes de un vector===
Da una base B formada por la terna de vectores, <math>B=\{\vec{v}_1,\vec{v}_2,\vec{v}_3\}</math>, todo vector libre, <math>\vec{a}</math>, se pueda expresar como una única combinación lineal de ellos, es decir:

<center><math>\vec{a}=a_1\vec{v}_1+a_2\vec{v}_2+a_3\vec{v}_3</math></center>

Se dice entonces que <math>[a_1,a_2,a_3]</math> son las ''componentes del vector'' <math>\vec{a}</math> en la base vectorial <math>B</math>.

Por tanto, un mismo vector tendrá una terna distinta de componentes en cada una de las infinitas bases posibles. Por ello, es importante recordar siempre qué base se está empleando para expresar dicho vector. Una forma de garantizar que esto siempre esté presente es, para todo vector, usar la expresión como combinación lineal de la base dada más arriba.

De la propiedad de que la expresión de un vector en una base sea única se deduce que dos vectores son iguales si y solo sí son iguales dos a dos sus componentes en la misma base.
===Coordenadas de un punto===
Los puntos del espacio pueden etiquetarse mediante letras, O, P, Q,&hellip; Sin embargo, para operar con ellos, es conveniente emplear ''coordenadas'', que no son más que etiquetas numéricas que identifican cada punto de forma unívoca.

[[Archivo:car-def-flecha.png|right]]

Existen muchos sistemas de coordenadas posibles. Las más sencillas son las ''coordenadas cartesianas''

Dado un punto del espacio, ''O'', que tomamos como '''origen de coordenadas''', tomamos tres planos que pasan por dicho punto y que sean ortogonales entre sí, que denominaremos XY, XZ e YZ. Definimos entonces las coordenadas cartesianas de cualquier otro punto como las distancias (con signo), <math>x</math>, <math>y</math>, <math>z</math> a estos planos coordenados (<math>x</math> la distancia al YZ, <math>y</math> al XZ, y <math>z</math> al XY).

Los planos se cortan en tres rectas, también ortogonales entre sí, que denominamos ''ejes de coordenadas'' OX, OY y OZ (o simplemente X, Y y Z). Los vectores unitarios tangentes a estos ejes forman una base ortonormal <math>\{\vec{\imath},\vec{\jmath},\vec{k}\}</math>, de forma que la posición de cualquier punto P puede expresarse mediante su vector de posición, que es aquél que tiene como origen el de coordenadas y como extremo el punto P (es, por tanto, un vector ligado)

<center><math>\vec{r}_P =\overrightarrow{OP} =p_x\vec{\imath}+p_y\vec{\jmath}+p_z\vec{k}</math></center>

La posición del origen de coordenadas y la orientación de los ejes son arbitrarias. Por ello no hay que presuponer que, por ejemplo, &ldquo;el eje Z es vertical&rdquo;. Nadie se encuentra un eje Z por la calle. El eje Z será el que nosotros queramos que sea y si nos interesa que forme un ángulo de 37&deg; respecto al suelo, pues así lo podemos tomar.

En forma abreviada,  la posición del punto P se puede escribir en la forma <math>P(p_x,p_y,p_z)</math>

La posición relativa del punto Q respecto al punto P la da el vector que tiene por origen P y por extremo Q. Es inmediato obtener las componentes de este vector en la base cartesiana, conocidas las coordenadas cartesianas del origen y del extremo. Basta restarle las primeras a las segundas. Si <math>P(p_x,p_y,p_z)</math> y <math>Q(q_x,q_y,q_z)</math>, el vector <math>\overrightarrow{PQ}</math> es:

<center><math>\overrightarrow{PQ}=\overrightarrow{OQ}-\overrightarrow{OP}= (q_x-p_x)\vec{\imath}+(q_y-p_y)\vec{\jmath}+(q_z-p_z)\vec{k}</math></center>

==Productos entre vectores==
===Producto escalar===
====Definición====
Dados dos vectores, <math>\vec{a}</math> y <math>\vec{b}</math>, que forman un ángulo <math>\theta</math> (<math>0\leq\theta\leq\pi</math>), se denomina ''producto escalar'', <math>\vec{a}\cdot\vec{b}</math>, al escalar (número real) que resulta de multiplicar los módulos de ambos vectores por el coseno del ángulo que forman:

<center><math>\vec{a}\cdot\vec{b}=|\,\vec{a}\,||\,\vec{b}\,|\cos(\theta)</math></center>

En la notación de producto escalar es importante el incluir el punto entre los vectores. También es crucial el recordar que toma dos vectores y produce como resultado una magnitud escalar.

A pesar de la similitud en el nombre, es importante no confundir el producto escalar de dos vectores con el producto de un vector por un escalar (que toma un vector y un escalar y da como resultado un vector).

====Propiedades====
El producto escalar presenta las siguientes '''propiedades algebraicas''':

;Asociativa respecto al producto por un escalar:
<center><math>(\alpha\,\vec{a})\cdot\vec{b}=\vec{a}\cdot(\alpha\,\vec{b})=\alpha\,(\vec{a}\cdot\vec{b})</math></center>
;Conmutativa: 
<center><math>\vec{a}\cdot\vec{b}=\vec{b}\cdot\vec{a}</math></center>
;Distributiva respecto a la suma:
<center><math>\vec{a}\cdot(\vec{b}+\vec{c})=\vec{a}\cdot\vec{b}+\vec{a}\cdot\vec{c}</math></center>
; Cancelativa: 
<center><math>\vec{a}\cdot\vec{b}=\vec{a}\cdot\vec{c}\qquad(|\vec{a}|\neq 0) \quad\Rightarrow\quad
\vec{c}=\vec{b}+\vec{d}</math> siendo <math>\vec{a}\cdot\vec{d}=0</math> y por tanto <math>\vec{d}\perp\vec{a}</math> (o nulo)</center>

El producto escalar '''NO''' cumple la propiedad asociativa. Para empezar, porque el producto escalar de tres vectores ni siquiera está definido. En segundo lugar, porque se tiene que

<center><math>\left(\vec{a}\cdot\vec{b}\right)\vec{c}\neq \vec{a}\left(\vec{b}\cdot\vec{c}\right)</math></center>

El primer miembro es el producto del vector <math>\vec{c}</math> por un número, resultando un vector en la dirección de <math>\vec{c}</math>; el segundo miembro apunta en la dirección de <math>\vec{a}</math>. por tanto, no pueden ser iguales.

[[Archivo:proyeccion-paralela.png|right]]

El producto escalar presenta las siguientes '''propiedades geométricas''':

* Condición de ortogonalidad: si <math>\vec{a}\neq\vec{0}\neq\vec{b}</math> entonces 

<center><math>\vec{a}\cdot\vec{b}=0\qquad\Leftrightarrow\qquad\vec{a}\perp\vec{b}</math></center>

* Proyecciones paralelas:
<center><math>\vec{a}\cdot\vec{b}=|\,\vec{a}\,|\;\mbox{proy}_{\parallel\vec{a}}\,[\,\vec{b}\,]= |\,\vec{b}\,|\;\mbox{proy}_{\parallel\vec{b}}\,[\,\vec{a}\,]</math></center>

* si <math>\left|\vec{u}\right|=1</math>, entonces  <math>\vec{a}\cdot\vec{u}=\mbox{proy}_{\parallel\vec{u}}\,[\,\vec{a}\,]\,</math>

====Producto escalar en una base ortonormal====
Una base <math>B=\{\vec{u}_1,\vec{u}_2,\vec{u}_3\}</math> es ortonormal cuando sus vectores son ortogonales entre sí, y unitarios.

La condición de ortogonalidad se expresará

<center><math>\vec{u}_1\cdot\vec{u}_2 = 0</math>{{qquad}}{{qquad}}<math>\vec{u}_1\cdot\vec{u}_3 = 0</math>{{qquad}}{{qquad}}<math>\vec{u}_2\cdot\vec{u}_3=0</math></center>

y la de que los vectores sean unitarios

<center><math>\vec{u}_1\cdot\vec{u}_1 = 1</math>{{qquad}}{{qquad}}<math>\vec{u}_2\cdot\vec{u}_2 = 1</math>{{qquad}}{{qquad}}<math>\vec{u}_3\cdot\vec{u}_3=1</math></center>

Estos resultados se pueden resumir como

<center><math>\vec{u}_i\cdot\vec{u}_k=\delta_{ik}=\begin{cases}
1 &  (i=k) \\ 0 &  (i\neq k)\end{cases}</math></center>

donde a <math>\delta_{ik}</math> se la denomina ''delta de Kronecker''

Para el caso particular de la base canónica <math>\{\vec{\imath},\vec{\jmath},\vec{k}\}</math> podemos construir la siguiente tabla de multiplicar

<center>
{| class="bordeado"
|-
! <math>\cdot\,</math>
! <math>\vec{\imath}</math>
! <math>\vec{\jmath}</math>
! <math>\vec{k}</math>
|-
! <math>\vec{\imath}</math>
| 1
| 0
| 0
|-
! <math>\vec{\jmath}</math>
| 0
| 1
| 0
|-
! <math>\vec{k}</math>
| 0
| 0
| 1
|}
</center>

El producto escalar de un vector <math>\vec{a}</math> por cada uno de los vectores de la base nos da la componente de dicho vector en la dirección del unitario correspondiente

<center><math>\vec{a}=a_1\vec{u}_1+a_2\vec{u}_2+a_3\vec{u}_3</math>{{qquad}}{{qquad}}<math>a_1 = \vec{a}\cdot\vec{u}_1</math>{{qquad}}{{qquad}}<math>a_2 = \vec{a}\cdot\vec{u}_2</math>{{qquad}}{{qquad}}<math>a_3 = \vec{a}\cdot\vec{u}_3</math></center>

Estas relaciones son especialmente útiles, al hacer un ''cambio de base''. Partiendo de la expresión en una determinada base ortonormal, si multiplicamos escalarmente por los unitarios de una base diferente, obtenemos las componentes en la nueva base.

Reuniendo los tres resultados

<center><math>\vec{a}=(\vec{a}\cdot\vec{u}_1)\,\vec{u}_1+ (\vec{a}\cdot\vec{u}_2)\,\vec{u}_2+(\vec{a}\cdot\vec{u}_3)\,\vec{u}_3</math></center>

* En particular, para las coordenadas cartesianas de un punto P

<center><math>p_x = \overrightarrow{OP}\cdot\vec{\imath}</math>{{qquad}}{{qquad}}<math>p_y = \overrightarrow{OP}\cdot\vec{\jmath}</math>{{qquad}}{{qquad}}<math>p_z = \overrightarrow{OP}\cdot\vec{k}</math></center>

Si tenemos dos vectores expresados en una base ortonormal (en particular, la canónica), como

<center><math>\vec{a}=a_1\vec{u}_1+a_2\vec{u}_2+a_3\vec{u}_3</math>{{qquad}}{{qquad}}<math>\vec{b}=b_1\vec{u}_1+b_2\vec{u}_2+b_3\vec{u}_3</math></center>

su producto escalar se compone, en principio de nueve sumandos. Sin embargo, la ortogonalidad expresada en la tabla anterior permite eliminar seis de ellos y reducir la expresión a

<center><math>\vec{a}\cdot\vec{b}=a_1b_1+a_2b_2+a_3b_3</math></center>

Al poder calcular el producto escalar de dos vectores a partir de sus componentes, sin necesidad de conocer previamente los módulos y el ángulo que forman, nos permite emplear este producto para medir distancias y ángulos:
 
:*Módulo de un vector <math>\vec{a}</math>:
<center><math>a=\left|\vec{a}\right|=\sqrt{\vec{a}\cdot\vec{a}}=\sqrt{a_1^2+a_2+a_3^2}</math></center>
:*Distancia entre dos puntos <math>P</math> y <math>Q</math>:
<center><math>d(P,Q)=|\,\overrightarrow{PQ}\,|=\left|\vec{r}_Q-\vec{r}_P\right| = \sqrt{\overrightarrow{PQ}\cdot\overrightarrow{PQ}}=\sqrt{(\vec{r}_Q-\vec{r}_P)\cdot(\vec{r}_Q-\vec{r}_P)}=\sqrt{(q_x-p_x)^2+(q_y-p_y)^2+(q_z-p_z)^2}</math></center>
:* Ángulo formado por dos vectores <math>\vec{a}</math> y <math>\vec{b}</math>:
<center><math>\cos(\theta)=\frac{\vec{a}\cdot\vec{b}}{\left|\vec{a}\right|\left|\vec{b}\right|}</math></center>
:* Cosenos directores de una recta <math>r</math>:
<center><math>\cos(\alpha_i)=\frac{\vec{a}\cdot\vec{u}_i}{\left|\vec{a}\right|}\quad(i=1,2,3) </math></center>
::obsérvese que: 
<center><math>\cos^2(\alpha_1)+\cos^2(\alpha_2)+\cos^2(\alpha_3)=1\,</math></center>

====Ecuación vectorial del plano====
Finalmente, como aplicación geométrica del producto escalar, se puede deducir la '''ecuación vectorial normal del plano''',  <math>\Pi</math>, que pasa por el punto <math>P_0(x_0,y_0,z_0)</math> con vector de posición

<center><math>\vec{r}_0=x_0\vec{\imath}+y_0\vec{\jmath}+z_0\vec{k}</math></center>

y que es normal al vector 

<center><math>\vec{N}=A\vec{\imath}+B\vec{\jmath}+C\vec{k}</math></center>

Si <math>P(x,y,z)</math> es un punto genérico del plano con vector de posición

<center><math>\vec{r}=x\vec{\imath}+y\vec{\jmath}+z\vec{k}</math></center>

entonces

<center><math>\vec{N}\cdot\overrightarrow{P_0P}=\vec{N}\cdot(\vec{r}-\vec{r}_0)=0</math></center>

Esta es la ''ecuación vectorial del plano''. Desarrollando obtenemos su ecuación implícita

<center><math>\vec{N}\cdot\vec{r}=\vec{N}\cdot\vec{r}_0</math>{{tose}}<math>Ax+By+Cz = Ax_0+By_0+Cz_0=D\,</math></center>

===Producto vectorial===
====Definición====

[[Archivo:rhr.png|right]]

Dados dos vectores, <math>\vec{a}</math> y <math>\vec{b}</math>, que forman un ángulo <math>\theta</math> (<math>0\leq\theta\leq\pi</math>), se denomina '''producto vectorial''', <math>\vec{a}\times\vec{b}</math>, a un nuevo vector tal que

;Módulo: Es igual al producto de los módulos de los dos vectores por el seno del ángulo que forman. Equivalentemente, es el área del paralelogramo que definen ambos vectores.

<center><math>\left|\vec{a}\times\vec{b}\right| = \left|\vec{a}\right|\left|\vec{b}\right|\,\mathrm{sen}\,(\theta)</math></center>

;Dirección: la perpendicular al plano definido por los vectores <math>\vec{a}</math> y <math>\vec{b}</math>.
;Sentido: el dado por la ''regla de la mano derecha'': si colocamos nuestra mano derecha de forma que los dedos sigan el sentido de giro desde el primer vector, <math>\vec{a}</math>, hacia el segundo vector, <math>\vec{b}</math>, por el camino más corto, entonces el pulgar extendido apunta en el sentido de <math>\vec{a}\times\vec{b}</math>.

====Propiedades====
El producto vectorial presenta las siguientes propiedades algebraicas:

;No es asociativo:

<center><math>\vec{a}\times(\vec{b}\times\vec{c})\neq(\vec{a}\times\vec{b})\times\vec{c}</math></center>

;Anticonmutativa: 
<center><math>\vec{a}\times\vec{b}=-\vec{b}\times\vec{a}</math></center>
;Asociativa respecto al producto por un escalar:
<center><math>(\alpha\,\vec{a})\times\vec{b}=\vec{a}\times(\alpha\,\vec{b})=\alpha\,(\vec{a}\times\vec{b})</math></center>
;Distributiva respecto a la suma:
<center><math>\vec{a}\times(\vec{b}+\vec{c})=\vec{a}\times\vec{b}+\vec{a}\times\vec{c}</math></center>
;Cancelativa: 
<center><math>\vec{x}\times\vec{a}=\vec{x}\times\vec{b}</math>{{tose}}<math>\vec{a}=\vec{b}+t\,\vec{x}</math>{{qquad}}
siendo <math>t</math> un parámetro real</center>

El producto vectorial presenta las siguientes propiedades geométricas:

* Condición de '''paralelismo''': Si <math>\vec{a}\neq\vec{0}\neq\vec{b}</math>

<center><math>\vec{a}\times\vec{b}=\vec{0}\qquad\Longleftrightarrow\vec{a}\parallel\vec{b}</math></center>
* '''Proyecciones ortogonales'''
<center><math>\left|\vec{a}\times\vec{b}\right|=\left|\vec{a}\right|\mbox{proy}_{\perp\vec{a}}\,[\,\vec{b}\,]=
\left|\vec{b}\right|\mbox{proy}_{\perp\vec{b}}\,[\,\vec{a}\,]</math></center>

* Si <math>\left|\vec{u}\right|=1</math> entonces: 
<center><math>\left|\vec{a}\times\vec{u}\right|=\mbox{proy}_{\perp\vec{u}}\,[\,\vec{a}\,]</math></center>

[[Archivo:area-paralelogramo.png|right]]

* El módulo del producto vectorial de dos vectores, <math>\left|\vec{a}\times\vec{b}\right|</math>, es igual al '''área del paralelogramo''' que tiene como lados a ambos vectores, o -lo que es lo mismo- es igual al doble del área del triángulo que tiene a ambos vectores como dos de sus lados.

====Producto en una base ortonormal====
En una base ortonormal, el producto del primer vector de la base, <math>\vec{u}_1</math>, por el segundo de ella, <math>\vec{u}_2</math>, produce un vector en la dirección ortogonal a ellos. Esta dirección es la del tercer vector <math>\vec{u}_3</math>, pero, en principio, su sentido puede ser el de este tercer vector o el opuesto. En las aplicaciones en física se consideran exclusivamente bases ortonormales ''dextrógiras'', en las que se verifica la regla de la mano derecha:

<center><math>\vec{u}_1\times\vec{u}_2=\vec{u}_3</math></center>

[[Archivo:base-dextrogira.png|right]]

Más en general se tienen los productos:

<center><math>\vec{u}_1\times\vec{u}_2=\vec{u}_3</math>{{qquad}}<math>\vec{u}_2\times\vec{u}_3=\vec{u}_1</math>{{qquad}}<math>\vec{u}_3\times\vec{u}_1=\vec{u}_2</math></center>

Si invertimos el orden de los vectores, cambia el signo de los resultados

<center><math>\vec{u}_2\times\vec{u}_1=-\vec{u}_3</math>{{qquad}}<math>\vec{u}_3\times\vec{u}_2=-\vec{u}_1</math>{{qquad}}<math>\vec{u}_1\times\vec{u}_3=\vec{u}_2</math></center>

Vemos que es importante tener en cuenta el orden de los vectores de una base, que no se pueden dar de cualquier manera, si se quiere mantener su carácter dextrógiro.

Particularizando para la base canónica <math>\{\vec{\imath},\vec{\jmath},\vec{k}\}</math> obtenemos la siguiente tabla de multiplicar

<center>
{| class="bordeado"
|-
! <math>\times\,</math>
! <math>\vec{\imath}</math>
! <math>\vec{\jmath}</math>
! <math>\vec{k}</math>
|-
! <math>\vec{\imath}</math>
| <math>\vec{0}</math>
| <math>\vec{k}</math>
| <math>-\vec{\jmath}</math>
|-
! <math>\vec{\jmath}</math>
| <math>-\vec{k}</math>
| <math>\vec{0}</math>
| <math>\vec{\imath}</math>
|-
! <math>\vec{k}</math>
| <math>\vec{\jmath}</math>
| <math>-\vec{\imath}</math>
| <math>\vec{0}</math>
|}
</center>

* Producto vectorial de dos vectores arbitrarios, <math>\vec{a}</math> y <math>\vec{b}</math> (se deduce del punto anterior y de las propiedades algebraicas):

<center><math>\vec{a}\times\vec{b}=\left|\begin{matrix} \vec{\imath} & \vec{\jmath} & \vec{k} \\
a_x & a_y & a_z \\ b_x & b_y & b_z \end{matrix}\right|=</math><math>(a_yb_z-a_zb_y)\vec{\imath}+(a_zb_x-a_xb_z)\vec{\jmath}+(a_xb_y-a_yb_x)\vec{k}</math></center>

====Ecuación vectorial de la recta====
Finalmente, como aplicación geométrica del producto vectorial, se puede deducir la '''ecuación vectorial de la recta''', <math>r</math>, que pasa por el punto <math>P_0(x_0,y_0,z_0)</math> con vector de posición

<center><math>\vec{r}_0=x_0\vec{\imath}+y_0\vec{\jmath}+z_0\vec{k}</math></center>

y que va en la dirección del vector

<center><math>\vec{v}_0=v_x\vec{\imath}+v_y\vec{\jmath}+v_z\vec{k}</math></center>

Si <math>P(x,y,z)</math> es un punto genérico de la recta <math>r</math>, con vector de posición

<center><math>\vec{r}=x\vec{\imath}+y\vec{\jmath}+z\vec{k}</math></center>

entonces

<center><math>\vec{v}_0\parallel\overrightarrow{P_0P}</math>{{tose}}<math>\vec{v}_0\times\overrightarrow{P_0P}=\vec{v}_0\times(\vec{r}-\vec{r}_0)=\vec{0}</math></center>

Esta es la ''ecuación vectorial de la recta''. 

Aplicando la propiedad cancelativa del producto vectorial obtenemos la ecuación paramétrica de la recta

<center><math>\vec{v}_0\times\vec{r}=\vec{v}_0\times\vec{r}_0</math>{{tose}}<math>\vec{r}=\vec{r}_0+\vec{v}_0t</math></center>

siendo <math>t</math> un parámetro real. Desarrollando en las componentes cartesianas obtenemos el sistema de ecuaciones paramétricas

<center><math>\vec{r}=\vec{r}_0+\vec{v}_0t\quad\Rightarrow\quad\left\{\begin{array}{rcl}x & = & x_0+v_xt\\y & = & y_0+v_yt\\ z & = & z_0+v_zt\end{array}\right.\qquad -\infty < t < \infty</math></center>

Eliminando el parámetro <math>t</math> llegamos a las ecuaciones contínuas

<center><math>\frac{x-x_0}{v_x}=\frac{y-y_0}{v_y}=\frac{z-z_0}{v_z}</math></center>

===Producto mixto===
====Definición====
Se define el producto mixto de tres vectores como la cantidad escalar

<center><math>(\vec{a},\vec{b},\vec{c})\equiv \vec{a}\cdot(\vec{b}\times \vec{c})</math></center>

====Propiedades====
El producto mixto presenta las siguientes '''propiedades algebraicas''':

* Permutabilidad cíclica:

<center><math>\vec{a}\cdot(\vec{b}\times\vec{c})= \vec{b}\cdot(\vec{c}\times\vec{a})=\vec{c}\cdot(\vec{a}\times\vec{b})</math></center>

* Antipermutabilidad acíclica:
<center><math>\vec{a}\cdot(\vec{b}\times\vec{c})=-\vec{b}\cdot(\vec{a}\times\vec{c})</math></center>

* Intercambio de signos

<center><math>\vec{a}\cdot(\vec{b}\times\vec{c})=(\vec{a}\times\vec{b})\cdot\vec{c}</math></center>

:Nótese que no basta con cambiar los paréntesis de sitio, también hay que intercambiar los signos de producto escalar y producto vectorial.

El producto mixto presenta las siguientes '''propiedades geométricas''':

* El valor absoluto del producto mixto de tres vectores, <math>\left|\vec{a}\cdot(\vec{b}\times \vec{c})\right|</math>, es igual al '''volumen del paralelepípedo''' que tiene como aristas a esos tres vectores:

<center><math>\left|\vec{a}\cdot(\vec{b}\times\vec{c})\right|=\left|\vec{b}\times\vec{c}\right|\; \mbox{proy}_{\parallel(\vec{b}\times\vec{c})}\,[\,\vec{a}\,]=\mbox{Volumen}</math></center>

* Condición de '''coplanariedad''', para <math>\vec{a}</math>, <math>\vec{b}</math> y <math>\vec{c}</math> no nulos:

<center><math>\vec{a}\cdot(\vec{b}\times\vec{c})=0\qquad\Longleftrightarrow\qquad\vec{a}, \vec{b}\ \mbox{y}\ \vec{c}\ \mbox{son coplanarios}</math></center>

Aplicación:

* Tres vectores, <math>\vec{a}</math>, <math>\vec{b}</math> y <math>\vec{c}</math>, constituyen una base vectorial del espacio ordinario <math>E_3</math> si, y sólo si,

<center><math>\vec{a}\cdot(\vec{b}\times\vec{c})\neq 0</math></center>

====Producto en una base ortonormal====
El producto mixto de tres vectores expresados en una base ortonormal dextrógira, en particular la canónica, se expresa:

<center><math>\vec{a}\cdot(\vec{b}\times\vec{c})=\left|\begin{matrix} a_x & a_y & a_z\\ b_x & b_y & b_z \\ c_x & c_y & c_z\end{matrix}\right|</math></center>

Aplicaciones:

* Producto mixto de los vectores de una base ortonormal dextrógira, <math>\{\vec{u}_1,\vec{u}_2,\vec{u}_3\}</math>:

<center><math>\vec{u}_1\cdot(\vec{u}_2\times\vec{u}_3)=\left|\begin{matrix}
1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{matrix}\right|=1 </math></center>

En particular

<center><math>\vec{\imath}\cdot(\vec{\jmath}\times\vec{k})=1</math></center>

* '''Dependencia lineal'''. Si para tres vectores se anula su producto mixto

<center><math>\vec{a}\cdot(\vec{b}\times\vec{c})=0</math></center>

:entonces existen escalares <math>\lambda</math>, <math>\mu</math> y <math>\nu</math> no nulos tales que

<center><math>\lambda\vec{a}+\mu\vec{b}+\nu\vec{c}=\vec{0}</math></center>

:Despejando, alguno de los vectores puede ponerse combinación lineal de los otros dos.

* Ecuación del plano, <math>\Pi</math>, que pasa por tres puntos no alineados, <math>P_1(x_1,y_1,z_1)</math>, <math>P_2(x_2,y_2,z_2)</math> y <math>P_3(x_3,y_3,z_3)</math>. Todo punto <math>P(x,y,z)</math> que pertenezca al plano <math>\Pi</math> debe satisfacer la ecuación:

<center><math>0 = \overrightarrow{P_1P}\cdot(\overrightarrow{P_1P_2}\times\overrightarrow{P_1P_3})=\left|\begin{array}{ccc} x-x_1 & y-y_1 & z-z_1 \\ x_2-x_1 & y_2-y_1 & z_2-z_1 \\ x_3-x_1 & y_3-y_1 & z_3-z_1
\end{array}\right|</math></center>

===Doble producto vectorial===
El producto vectorial de dos vectores se puede multiplicar por un tercero, resultando un nuevo vector

<center><math>\vec{v}=\vec{a}\times(\vec{b}\times\vec{c})</math></center>

El resultado de este producto es un vector perpendicular a <math>\vec{b}\times\vec{c}</math> y por tanto contenido en el plano definido por <math>\vec{b}</math> y <math>\vec{c}</math>, esto es, debe ser de la forma

<center><math>\vec{a}\times(\vec{b}\times\vec{c}) = \lambda \vec{b}+\mu\vec{c}</math></center>

Puede demostrarse que

<center><math>\lambda = \vec{a}\cdot\vec{c}</math>{{qquad}}{{qquad}}<math>\mu = -\vec{a}\cdot\vec{b}</math></center>

y el doble producto vectorial es igual a

<center><math>\vec{a}\times(\vec{b}\times\vec{c}) = (\vec{a}\cdot\vec{c})\vec{b}-(\vec{a}\cdot\vec{b})\vec{c}</math></center>

Este producto NO verifica la propiedad asociativa. 

Empleando la propiedad anticonmutativa del producto vectorial se llega al resultado

<center><math>(\vec{a}\times\vec{b})\times\vec{c}=(\vec{a}\cdot\vec{c})\vec{b}-(\vec{b}\cdot\vec{c})\vec{a}</math></center>

que no coincide con el anterior (éste está contenido en el plano definido por <math>\vec{a}</math> y <math>\vec{b}</math>.

En su lugar, el doble producto vectorial satisface la identidad de Jacobi

<center><math>\vec{a}\times(\vec{b}\times\vec{c})+\vec{b}\times(\vec{c}\times\vec{a})+\vec{c}\times(\vec{a}\times\vec{b})=\vec{0}</math></center>

Aplicaciones:

*  Desarrollo del producto escalar de dos productos vectoriales:

<center><math>
(\vec{a}\times\vec{b})\cdot(\vec{c}\times\vec{d})=\vec{a}\cdot
\left(\vec{b}\times\left(\vec{c}\times\vec{d}\right)\right)=\vec{a}\cdot
\left(\left(\vec{b}\cdot\vec{d}\right)\,\vec{c}-
\left(\vec{b}\cdot\vec{c}\right)\,\vec{d}\right)=(\vec{a}\cdot\vec{c})(\vec{b}\cdot\vec{d})-
(\vec{a}\cdot\vec{d})(\vec{b}\cdot\vec{c})</math></center>

* Descomposición de un vector en componente paralela y componente ortogonal a otro vector: Dado un vector <math>\vec{v}</math> no nulo y un vector <math>\vec{a}</math>, <math>\vec{a}</math> se puede escribir como suma de un vector paralelo a <math>\vec{v}</math> y uno ortogonal a él se pueden hallar como

<center><math>(\vec{a}\times\vec{v})\times\vec{v}=(\vec{v}\cdot\vec{a})\vec{v}-(\vec{v}\cdot\vec{v})\vec{a}</math></center>

Despejando de aquí

<center><math>\vec{a}=\frac{(\vec{a}\cdot\vec{v})\vec{v}}{v^2}-\frac{(\vec{a}\times\vec{v})\times\vec{v}}{v^2}</math></center>

El primer término es paralelo a <math>\vec{v}</math>, mientras que el segundo es ortogonal, por lo que la descomposición de <math>\vec{a}</math> es

<center><math>\vec{a}_\parallel=\frac{(\vec{v}\cdot\vec{a})\vec{v}}{v^2}</math>{{qquad}}{{qquad}}<math>\vec{a}_\perp=-\frac{(\vec{a}\times\vec{v})\times\vec{v}}{v^2}=\frac{(\vec{v}\times\vec{a})\times\vec{v}}{v^2}</math></center>

* Resolver, para la incógnita <math>\vec{x}</math>, el sistema de ecuaciones vectoriales 
<center><math>\begin{cases} \vec{x}\times\vec{a}=\vec{b} & \\
\vec{x}\cdot\vec{a}=\alpha & \end{cases}</math>{{tose}}<math>\vec{a}\times(\vec{x}\times\vec{a})=\vec{a}\times\vec{b}</math>{{tose}}
<math>\left|\vec{a}\right|^2\vec{x}-(\vec{x}\cdot\vec{a})\,\vec{a}=\vec{a}\times\vec{b}
\Longrightarrow \vec{x}=\frac{\vec{a}\times\vec{b}}{\left|\vec{a}\right|^2}+
\frac{\alpha\,\vec{a}}{\left|\vec{a}\right|^2}</math></center>

==Problemas==
{{ac|Problemas de vectores libres (G.I.T.I.)}}
<categorytree mode=pages depth="2">Problemas de vectores libres (G.I.T.I.)</categorytree>
[[Categoría:Vectores libres|0]]
[[Categoría:Física I (G.I.T.I.)]]