espacios con producto interno
 Lección 1. 
   Espacios Euclidianos

En el espacio $\QTR{bf}{R}^{2}$ se define un producto interno entre sus vectores a través del cual se establece la longitud de cada vector, el ángulo entre dos vectores, la distancia entre vectores, etc. En efecto, en geometría vectorial se define el producto interno entre dos vectores MATH en la forma MATH la longitud del vector $u$ de define por MATH MATH la distancia entre los vectores $u,v$ viene dada por MATH y el $\text{\U{e1}ngulo}$ entre dos vectores no nulos $u,v$ se define por MATH En el presente capítulo estudiamos estos conceptos MATH y las propiedades derivadas de ellos en espacios vectoriales reales y complejos de dimensión finita. La primera lección está dedicada a repasar el caso real el cual seguramente ya conocen la mayoría de nuestros visitantes.

Sea $V$ un espacio vectorial real, un producto interno en $V$ es una función

MATH

que asigna a cada par de vectores $u,v\in V$ un real denotado por $(u,v)$ y que satisface las siguientes propiedades:

a) MATH

b) $(a.u,v)=a(u,v)$

c) $(u,v)=(v,u)$

d) Si $u\neq0$, entonces $(u,u)>0$

para cualesquiera vectores $u,v,w\in V$ y cualquier escalar $a\in \QTR{bf}{R.} $ Un espacio vectorial real se dice que es euclidiano si en $V$ está definido un producto interno. Veamos algunos ejemplos de espacios euclidianos.

Ejemplo 1. El producto interno de $\QTR{bf}{R}^{2}$ se generaliza a $\QTR{bf}{R}^{n}$ de la siguiente manera: si MATH entonces MATH Este se conoce como el producto internocanónico . Existen otros productos internos sobre $\QTR{bf}{R}^{n}$ , por ejemplo, en $\QTR{bf}{R}^{2}$ se puede probar facilmente que la relación MATH define un producto interno.

Ejemplo 2. Sea $C[a,b]$ el espacio de funciones continuas en el intervalo $[a,b]$ y sean MATH, entonces MATH define un producto interno.

Ejemplo 3. En el espacio $M_{n}(\QTR{bf}{R)}$ de matrices cuadradas reales de orden $n\geq 1$ está definido un producto interno canónico dado por MATH donde MATH

Ejemplo 4. Sea $V$ un espacio vectorial real y $W$ un espacio euclidiano, sea $T:V\rightarrow W$ una transformación lineal inyectiva. Entonces, $V$ es un espacio euclidiano con el producto $(u,v)=(T(u),T(v)),$ con $u,v\in V$.

Algunas propiedades de un producto interno en un espacio euclidiano son las siguientes:

1) $(0,v)=0,$ para cada $v\in V.$

2) $(v,v)=0$ si y sólo si $v=0.$

3) $u=0$ si y sólo si $(u,v)=0$ para cada $v\in V.$

4) Desigualdad de Cauchy-Schwartz: MATH para cualesquiera vectores $u,v\in V.$ Además, la igualdad se da si y sólo si $u,v$ son LD.

Demostración

Se dice que el espacio vectorial real $V$ es normado si existe una función norma

MATH

que satisface las siguientes condiciones:

a) Si $u\neq0$ entonces MATH

b) MATH

c) Desigualdad triangular: MATH

donde $u,v$ son vectores de $V$ y $a\in\QTR{bf}{R.}$

En un espacio normado $V$ se define la distancia entre dos vectores $u,v$ por MATH

Proposición 1. Todo espacio euclidiano $V$ es normado con norma canónica dada por

MATH

Ejemplo 5. En el espacio euclidiano $\QTR{bf}{R}^{n}$ la norma viene dada por MATH donde MATH La desigualdad de Cauchy-Schwartz en este caso toma la forma

MATH

y la desigualdad triangular se escribe como

MATH

Ejemplo 6. En el espacio $C[a,b]$ la norma viene dada por MATH , la desigualdad de Cauchy-Schwartz toma la forma

MATH

y la desigualdad triangular es

MATH

Los conceptos de vectores ortogonales y base ortonormal del espacio $\QTR{bf}{R}^{2}$ pueden extenderse a espacios euclidianos arbitrarios. Sea $V$ un espacio euclidiano con producto interno $(,)$, dos vectores $u,v$ se dicen ortogonales si $(u,v)=0.$ Un subconjunto no MATH $S$ de $V$ se dice que es un conjunto ortogonal de vectores si $(u,v)=0$ para cada par de vectores $u\neq v$ en $S.$ El conjunto $S$ se dice que es ortonormal si $S$ es ortogonal y $\text{adem\U{e1}s}$ MATH para cada $u\in S.$ Por último, sean $u,v$ vectores no nulos de $V$, se define el ángulo entre $u$ y $v$ como el único número real $\theta \in $ $[0,\pi ]$ que satisface la ecuación

MATH

Nótese que dos vectores no nulos en $V$ son ortogonales si y sólo si el ángulo entre ellos es $\pi/2.$ Además, en $V$ se cumple el teorema de Pitágoras, es decir, si $u_{1},\ldots,u_{n}$ son vectores ortogonales, entonces

MATH

Proposición 2. Sea $V$ un espacio euclidiano y $S$ un conjunto ortogonal de vectores no nulos. Entonces, $S$ es L I. En particular, si $V$ es de dimensión finita $n\geq 1$ entonces cada conjunto de $n$ vectores ortogonales no nulos conforman una base de $V.$

A cada producto interno en un espacio euclidiano podemos asignar una matriz invertible con ciertas condiciones de simetría y positividad, como veremos a continuación.

Proposición 3. Sea $V$ un espacio euclidiano de dimensión finita $n\geq 1$ y sea MATH una base de $V$. Entonces la matriz $A=[a_{ij}]$ definida por MATH se conoce como la matriz del producto interno $(\,,\,)$ y tiene las siguientes propiedades:

a) Si MATH, entonces MATH

b) $A^{T}=A.$

c) Para cada matriz columna no nula MATH se cumple que

$Y^{T}AY>0.$

d) $A$ es invertible.

e) Si la base $X$ es ortogonal, entonces las coordenadas $b_{1},\ldots,b_{n}$ del vector $u$ en la base $X$ vienen dadas por

MATH

f) Si $X$ es ortonormal, entonces MATH

Con una matriz real que cumpla b) y c) de la proposición anterior podemos definir un producto interno en un espacio real $V$ de MATH finita.

Proposición 4. Sea $V$ un espacio de dimensión finita $n\geq 1$ y sea MATH una base de $V.$ Sea $A=[a_{ij}]$ una matriz real de $\text{tama\U{f1}o}$ $n\times n$ que satisface las condiciones b) y c) de la proposición anterior. Entonces $V$ es un espacio euclidiano con producto interno dado por

$(u,v)=Y^{T}AZ,$

donde MATH son las coordenadas de los vectores $u$ y $v$ en la base $X,$ respectivamente.

Ejercicio 1. Sea $C[-1,1]$ con producto interno definido como en el Ejemplo 2, calcular el ángulo entre las funciones $f(x)=x$ y $g(x)=1+x.$

Ejercicio 2. Sea $\QTR{bf}{R}_{n}[x]$ el espacio de polinomios reales de grado $\leq n$. Se define en este espacio el producto interno entre dos polinomios MATH por MATH Determinar un polinomio $h(x)$ de grado $\leq 2 $ que este a igual distancia de los polinomios MATH, MATH, MATH y MATH en el espacio MATH

Solución

Si usted es un estudiante registrado en nuestra base de datos lo invitamos a realizar las evaluaciones del presente capítulo ingresando por el botón de identificación.

Universidad Nacional de Colombia
Carrera 30 No 45-03 - Edificio 477
Bogotá D.C. - Colombia

Aviso Legal - Copyright