Productu escalar

En matemátiques, el **productu escalar**, tamién conocíu como **productu internu**, **productu interior** o **productu puntu**, ye una operación alxebraica que toma dos secuencies de númberos d'igual llargor (usualmente na forma de vectores) y retorna un únicu númberu. 

Alxebraicamente, el productu escalar ye la suma de los productos de les correspondientes entraes en dos secuencies de númberu. Xeométricamente, ye'l productu de les magnitud euclidianes de los dos vectores y el cosenu del ángulu ente ellos. El nome del productu puntu vien del símbolu que s'utiliza pa denotar esta operación " · ". El nome alternativu de productu escalar enfatiza el fechu del que la resultancia ye un escalar en llugar d'un vector (nel casu d'espacios de tres dimensiones).

## Definición xeneral
El **productu interior** o **productu escalar** de dos vectores nun espaciu vectorial ye una forma bilineal, hermítica y definida positiva, polo que puede considerase una forma cuadrática definida positiva.

Más específicamente, ye una aplicación que'l so dominiu ye V^2 y el so codominio ye K, onde V ye un espaciu vectorial y K el cuerpu d'escalares respeutivu. Esta aplicación amplía la oportunidá d'emplegar los conceutos de la xeometría euclídea tradicional: llargores, ángulos, ortogonalidad en dos y tres dimensiones. El productu escalar puede definise tamién nos espacios euclídeos de dimensión mayor a trés, y polo xeneral nos espacios vectoriales reales y complexos. Los espacios vectoriales dotaos de productu escalar reciben el nome d'espacios prehilbertianos.

Un productu escalar puede espresase como:
: 
 \begin{array}{rrcl}
 \langle \cdot,\cdot \rangle : & \; V \times V & \longrightarrow & \mathbb{K} \\
 & (x,y) & \longrightarrow & a = \langle x, y \rangle
 \end{array}


onde  V \;  ye un espaciu vectorial y \mathbb{K} ye'l cuerpu sobre'l que ta definíu  V \; . La función \langle \cdot,\cdot \rangle (que toma como argumentos dos elementos de  V \; , y devuelve un elementu del cuerpu \mathbb{K}) tien de satisfaer les siguientes condiciones:

# Linealidá pela esquierda:  \langle ax+by,z \rangle = a \langle x,z \rangle + b \langle y,z \rangle , y linealidá conxugada pela derecha:  \langle x, ai+bz \rangle = \overline{a} \langle x, y \rangle + \overline{b} \langle x,z \rangle 
# Hermiticidá:  \langle x,y \rangle = \overline{\langle y,x \rangle} ,
# Definida positiva:  \langle x,x \rangle \geq 0 \,, y  \langle x,x \rangle = 0 \, si y namái si *x* = 0,

onde x, y, z \in V son vectores de V, a, b \in \mathbb{K} representen escalares del cuerpu \mathbb{K} y \overline{c} ye'l conxugáu del complexu c.

Si'l cuerpu tien parte imaxinaria nula (v.g., \mathbb{R}), la propiedá de ser sesquilineal conviértese en ser bilineal y el ser hermítica conviértese en ser simétrica.

Tamién suel representase por:
: 
 \begin{array}{rrcl}
 \bullet : & \; V \times V & \longrightarrow & \mathbb{K} \\
 & (x,y) & \longrightarrow & a = x \bullet y \end{array}
 


Un espaciu vectorial sobre'l cuerpu \mathbb{R} o \mathbb{C} dotáu d'un productu escalar denomínase espaciu prehilbert o espaciu prehilbertiano. Si amás ye completu, dizse que ye un espaciu de Hilbert. Si la dimensión ye finita y el cuerpu ye'l de los númberos reales, va dicise que ye un espaciu euclideu; si'l cuerpu ye'l de los númberos complexos (y la dimensión ye finita) va dicise que ye un **espaciu unitariu**.

Tou productu escalar induz una norma sobre l'espaciu nel que ta definíu, de la siguiente manera:

En tal casu, esta ye una de les infinites normes que pueden ser xeneraes a partir d'un productu interior.

## Definición xeométrica del productu escalar nun espaciu euclideu real

El productu escalar de dos vectores nun espaciu euclideu defínese como'l productu de los sos módulos pol cosenu del ángulu \theta que formen.

Nos espacios euclídeos, la notación avezada de productu escalar ye   \mathbf{o} \cdot \mathbf{v} 

Esta definición de calter xeométricu ye independiente del sistema de coordenaes escoyíu y polo tanto de la base del espaciu vectorial escoyida.

### Proyeición d'un vector sobre otru

Yá que **|A| cos θ** representa'l módulu de la proyeición del vector **A** sobre la direición del vector **B**, esto ye |A| cos θ = proy AB, va ser

de cuenta que'l productu escalar de dos vectores tamién puede definise como'l productu del módulu d'unu d'ellos pola proyeición del otru sobre él.

### Ángulos ente dos vectores

La espresión xeométrica del productu escalar dexa calcular el cosenu del ángulu esistente ente los vectores, por aciu la siguiente definición formal: que nos diz que la multiplicación d'un escalar denomináu K tien que ser distintu de cero.

.

### Vectores ortogonales

Dos vectores son ortogonales o perpendiculares cuando formen ángulu rectu ente sigo.
Si'l productu escalar de dos vectores ye cero, dambos vectores son ortogonales

una y bones el \cos\frac{\pi}{2} = 0.

### Vectores paralelos o nuna mesma direición

Dos vectores son paralelos o lleven la mesma direición si l'ángulu que formen ye de 0 radienes (0 graos) o de π radianes (180 graos).

Cuando dos vectores formen un ángulu cero, el valor del cosenu ye la unidá, polo tanto'l productu de los módulos val lo mesmo que'l productu escalar.

## Propiedaes del productu escalar
Sían A, B y C vectores nel planu o nel espaciu y sía *m* un escalar:

1. Conmutativa:

2. Distributiva al respeutive de la suma vectorial:

3. Asociativa respectu al productu por un escalar *m*:

## Espresión analítica del productu escalar

Si los vectores **A** y **B** espresar en función de les sos componentes cartesianes rectangulares, tomando la base canónica en   \mathbb{R}^3   formada polos vectores unitarios i , j , k tenemos:

.

El productu escalar realízase como un productu matricial de la siguiente forma:

.

Asina, xeneralizando pa un espaciu de n dimensiones

: si **A** y **B** son vectores o puntos nun espaciu  \mathbb{R}^n  entós:

: el productu escalar realizaríase como un productu matricial de la siguiente forma:

.

## Norma o Módulu d'un vector
Defínese como la llargor del segmentu empobináu (vector) nel espaciu métricu consideráu.

Calcúlase al traviés del productu internu del vector consigo mesmu.

||}}

Efectuáu'l productu escalar, tenemos:

de cuenta que

Por componentes, tomando la base canónica en   \mathbb{R}^3   formada polos vectores unitarios {i, j, k}

.

.

de cuenta que

.

## Productos interiores definíos n'espacios vectoriales avezaos

Citamos de siguío dellos productos estudiaos xeneralmente en Teoría d'Espacios Normados.
Toos estos productos llamaos canónicos- son namái dalgunos de los infinitos productos interiores que pueden definise nos sos respeutivos espacios.

* Nel espaciu vectorial  \mathbb{R}^n  suelse definir el productu interior (llamáu, nesti casu en concretu, *productu puntu*) por:
:\mathbf{A}\cdot\mathbf{B}=(a_1, a_2, a_3, ..., a_n)\cdot(b_1,b_2,b_3, ..., b_n)=a_1 b_1 + a_2 b_2 + ... a_n b_n = \sum a_i \cdot b_i 

* Nel espaciu vectorial  \mathbb{C}^n  suelse definir el productu interior por:

:\mathbf{A}\cdot\mathbf{B}=(a_1, a_2, a_3, ..., a_n)\cdot(b_1,b_2,b_3, ..., b_n)=a_1 \overline{b_1} + a_2 \overline{b_2} + ... a_n \cdot \overline{b_n} = \sum a_i \cdot \overline{b_i}

Siendo  \overline{b_n}  el númberu complexu conxugáu de b_n

* Nel espaciu vectorial de les matrices de *m* x *n* , con elementos reales

:\mathbf{A}\cdot\mathbf{B}=\operatorname{tr} (A^T \cdot B)

onde tr(A) ye la traza de la matriz A y  A^T  ye la matriz trespuesta d'A.

* Nel espaciu vectorial de les matrices de *m* x *n* , con elementos complexos

:\mathbf{A}\cdot\mathbf{B}=\operatorname{tr} (A^* \cdot B)

onde tr(A) ye la traza de la matriz A y  A^*  ye la matriz trespuesta conxugada d'A.

* Nel espaciu vectorial de les funciones continues sobre l'intervalu C[a, b], acutáu por a y b:

:\mathbf{f}\cdot\mathbf{g} = \int_{a}^{b} f(x)\overline{g(x)}\mathrm{d} x

* Nel espaciu vectorial de los polinomios de grau menor o igual a *n*:
Dau \textstyle [x_1,x_2,x_3,...,x_n,x_{n+1}] \subseteq \mathbb{R} tal que \textstyle x_1 :

\mathbf{p}\cdot\mathbf{q} = p(x_1)q(x_1)+p(x_2)q(x_2)+...+p(x_n)q(x_n)+p(x_{n+1})q(x_{n+1}) = \sum p(x_i) \cdot q(x_i) 

## Xeneralizaciones
### Formes cuadráticas
Dada una forma bilineal simétrica \scriptstyle B(\cdot,\cdot) definida sobre un espaciu vectorial \scriptstyle V = \R^n puede definise un productu escalar distintu del productu escalar euclídeo por aciu la fórmula:

Onde:
:B_{ij} := B(\mathbf{y}_i,\mathbf{y}_j)
:\{ \mathbf{y}_1, \dots, \mathbf{y}_n \} ye una base del espaciu vectorial \scriptstyle V
Puede comprobase que la operación anterior \scriptstyle ( \cdot,\cdot )_B:V\times V \to \R satisfai toles propiedaes que tien de satisfaer un productu escalar.

### Tensores métricos
Pueden definise y remanar espaciu non-euclídeos o más esautamente variedaes de Riemann, esto ye, espacios non-planos con un tensor de combadura distinta de cero, nos que tamién podemos definir llargores, ángulos y volúmenes. Nestos espacios más xenerales adóptase'l conceutu de xeodésica en llugar del de segmentu pa definir les distancies más curties n'ente puntos y, tamién, modifícase llixeramente la definición operativa del productu escalar habitual introduciendo un tensor métricu \scriptstyle g:\mathcal{M}\times T\mathcal{M} \times T\mathcal{M} \to \R, tal que la restricción del tensor a un puntu de la variedá de Riemann ye una forma bilineal \scriptstyle g_x(\cdot,\cdot) = g(x;\cdot,\cdot).

Asina, daos dos vectores campos vectoriales \mathbf{o} y \mathbf{v} del espaciu tanxente a la variedá de Riemann defínese'l so productu internu o escalar como:

El llargor d'una curva rectificable C ente dos puntos A y B puede definise a partir de la so vector tangente \scriptstyle \mathbf{T} de la siguiente manera:
\ ds

||left}}

## Ver tamién

## Referencies

### Bibliografía
* 
*
*
*
*
*
*

## Enllaces esternos