espacios duales
 Lección 1. 
   El Dual de un Espacio Vectorial

Sea $V$ un espacio vectorial sobre un cuerpo $K$. Puesto que $K$ es un $K$-espacio vectorial, tiene sentido considerar transformaciones lineales de $V$ en $K.$ El presente capítulo estudia tales transformaciones lineales.

Una transformación lineal $T:V\rightarrow K$ se dice que es un funcional del espacio $V$. Algunos ejemplos de funcionales son los siguientes.

Ejemplo 1. Sea $M_{n}(K)$ el espacio de matrices cuadradas de orden $n\geq 1$ sobre el cuerpo K. La función traza definida por

MATH

MATH

es un funcional sobre el espacio $M_{n}(K)$. De otra parte, sea $K[x]$ es espacio de los polinomios con coeficientes en $K$ y sea $a$ un elemento fijo de $K$. Entonces, la función que evalua cada polinomio de $K[x]$ en el punto $a$ es un funcional. Finalmente, sea $C[a,b]$ el espacio de funciones continuas en el intervalo cerrado $[a,b]$, la integral definida $\int_{a}^{b}f(x)dx$ establece un funcional sobre el espacio $C[a,b].$

En el Capítulo 3 estudiamos el espacio $L_{K}(V,W)$ de transformaciones lineales del espacio $V$ en el espacio $W\,$; tomando $W=K$ se obtiene el espacio de funcionales de $V$ en $K$ el cual denotamos por $V^{\ast }$ y se conoce con el nombre de espacio dual del espacio $V$. Si $V$ es de dimensión finita $n\geq 1$, entonces según el Corolario 1 del Capítulo 3 se tiene que $\dim (V^{\ast })=n$, y en consecuencia, $V^{\ast }\cong V.$ La siguiente proposición muestra de manera explícita una base de $V^{\ast }$ a partir de una base de $V.$

Proposición 1. Sea $V$ un espacio de dimensión finita $n\geq 1$ y sea MATH una base de $V$. Entonces, existe una única base $X^{\ast }=\{$ MATH en $V^{\ast }$ tal que

MATH

Además, para cada funcional $f\in V^{\ast}$ se cumple que

MATH

y para cada MATH se tiene que

MATH

$X^{\ast }$ se conoce como la base dual de $X$.

Ejercicio 1. Sea MATH la base de $\QTR{bf}{R}^{3}$ definida por $v_{1}=(1,0,-1),$ $v_{2}=(1,1,1),$ $v_{3}=(2,2,0)$. Si $v=(a,b,c)$ es un vector cualquiera de $\QTR{bf}{R}^{3}$, demostrar que MATH MATH MATH

Solución

Ejercicio 2. Sea MATH el espacio de polinomios de grado $\leq 2$. Probar que los funcionales

MATH MATH MATH

conforman una base del dual de MATH

Solución

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

Aviso Legal - Copyright