Espacio dual

Ir a la navegaci�nIr a la b�squeda

Se ha sugerido que Base dual sea fusionado en este art�culo o secci�n (discusi�n).
Una vez que hayas realizado la fusi�n de art�culos, pide la fusi�n de historiales
aqu�.
Este aviso fue puesto el 20 de febrero de 2017.
En matem�ticas, la existencia de un espacio vectorial 'dual' refleja de una manera
abstracta la relaci�n entre los vectores fila (1�n) y los vectores columna (n�1) de
una matriz. La construcci�n puede darse tambi�n para los espacios infinito-
dimensionales y da lugar a modos importantes de ver las medidas, las distribuciones
y el espacio de Hilbert. El uso del espacio dual es as�, en una cierta manera,
recurso del an�lisis funcional. Es tambi�n inherente a la transformaci�n de
Fourier.

�ndice
1 El espacio dual algebraico
1.1 Ejemplos
1.2 Transpuesta de una transformaci�n lineal
1.3 Los productos bilineales y los espacios duales
1.4 Espacio bidual (doble-dual) y teorema de reflexividad
1.4.1 Teorema de reflexividad
2 El espacio dual topol�gico
2.1 Ejemplos
2.2 Otras propiedades
3 Referencias
4 Enlaces externos
El espacio dual algebraico
Dado cualquier espacio vectorial V sobre un cierto cuerpo F, definimos el espacio
dual V* como el conjunto de todas las funcionales lineales en F, es decir,
transformaciones lineales en V a valores escalares (en este contexto, un "escalar"
es un miembro del cuerpo-base F). El propio V* se convierte en un espacio vectorial
sobre F bajo las definiciones siguientes ('punto a punto') de la adici�n y de la
multiplicaci�n escalar

{\displaystyle {\begin{cases}(\phi +\psi )(x)=\phi (x)+\psi (x)\\(a\phi )(x)=a\phi

(x)\end{cases}}} {\displaystyle {\begin{cases}(\phi +\psi )(x)=\phi (x)+\psi (x)\\
(a\phi )(x)=a\phi (x)\end{cases}}}

para todos f, ? en V*, a en F y x en V. En lenguaje del c�lculo tensorial, los

elementos de V a veces se llaman vectores contravariantes, y los elementos de V*
vectores covariantes (y a campos de estos uno-formas).

Ejemplos
Si la dimensi�n de V es finita, entonces V* tiene la misma dimensi�n que V; si
{ e1,..., e n} es una base para V, entonces la base dual asociada { e�,...,e n} de
V* viene dada por:

{\displaystyle e^{i}(e_{j})=\left\
{{\begin{matrix}1,&{\mbox{si }}i=j\\0,&{\mbox{si }}i\neq j\end{matrix}}\right.}
{\displaystyle e^{i}(e_{j})=\left\
{{\begin{matrix}1,&{\mbox{si }}i=j\\0,&{\mbox{si }}i\neq j\end{matrix}}\right.}
Espec�ficamente, si se interpreta Rn como espacio de columnas de n n�meros reales,
su espacio dual se escribe t�picamente como el espacio de filas de n n�meros. Tal
fila act�a en Rn como funcional lineal por la multiplicaci�n ordinaria de matrices.
Si V consiste en el espacio de los vectores geom�tricos (flechas) en el plano,
entonces los elementos del dual V* se pueden intuitivamente representar como
colecciones de l�neas paralelas. Tal colecci�n de l�neas se puede aplicar a un
vector para dar un n�mero de la manera siguiente: se cuenta cu�ntas de las l�neas
cruzan el vector.

Si V es infinito-dimensional, entonces la construcci�n antedicha ej no produce una

base para V* y la dimensi�n de V* es mayor que la de V. Consid�rese por ejemplo el
espacio R (?), cuyos elementos son las secuencias de n�meros reales que tienen solo
una cantidad finita de entradas diferentes de cero. El dual de este espacio es R?,
el espacio de todas las secuencias de n�meros reales. Tal secuencia (an) se aplica
a un elemento (xn) de R(?) para dar Sn xnan.

Transpuesta de una transformaci�n lineal

Si {\displaystyle f:V\to W} {\displaystyle f:V\to W} es una funci�n lineal, se
puede definir su transpuesta {\displaystyle f^{t}:W^{*}\to V^{*}} {\displaystyle
f^{t}:W^{*}\to V^{*}} por

{\displaystyle f^{t}(\phi )=\phi \circ f\,} {\displaystyle f^{t}(\phi )=\phi \circ

f\,}
para cada {\displaystyle \phi } \phi en W*, la asignaci�n {\displaystyle f\mapsto
f^{t}} {\displaystyle f\mapsto f^{t}} genera un homomorfismo inyectivo entre el
espacio de operadores lineales de V a W y el espacio de operadores lineales de W* a
V*; este homomorfismo es un isomorfismo ssi W es finito-dimensional o V es trivial.
Si la funci�n lineal {\displaystyle f} f es representada por la matriz
{\displaystyle A} A con respecto a dos bases de {\displaystyle V} V y
{\displaystyle W} W, entonces {\displaystyle f^{t}} {\displaystyle f^{t}} es
representada por la matriz transpuesta {\displaystyle A^{t}} {\displaystyle A^{t}}
con respecto a las bases duales de {\displaystyle W^{*}} {\displaystyle W^{*}} y de
{\displaystyle V^{*}} {\displaystyle V^{*}}. Si {\displaystyle g:W\to X}
{\displaystyle g:W\to X} es otra funci�n lineal, se tiene {\displaystyle (g\circ
f)^{t}=f^{t}\circ g^{t}} {\displaystyle (g\circ f)^{t}=f^{t}\circ g^{t}}. En el
lenguaje de la teor�a de las categor�as, tomar el dual de los espacios vectoriales
y la transpuesta de funciones lineales es por lo tanto un funtor contravariante de
la categor�a de los espacios vectoriales sobre F a s� misma.

Los productos bilineales y los espacios duales

Como vimos arriba, si V es finito-dimensional, entonces V es isomorfo a V*,
solamente que el isomorfismo no es natural y depende de la base de V con que
comenzamos. De hecho, cualquier isomorfismo F de V a V* define un producto bilineal
no degenerado �nico en V por

{\displaystyle \langle v,w\rangle =(\Phi (v))(w)\,} {\displaystyle \langle

v,w\rangle =(\Phi (v))(w)\,}

y cada producto bilineal no degenerado en un espacio finito-dimensional da lugar

inversamente a un isomorfismo de V a V*.

Espacio bidual (doble-dual) y teorema de reflexividad

A partir del espacio dual {\displaystyle V^{*}} {\displaystyle V^{*}}, definimos el
espacio bidual {\displaystyle V^{**}} {\displaystyle V^{**}} como el conjunto de
todas las aplicaciones lineales de {\displaystyle V^{*}} {\displaystyle V^{*}} en
{\displaystyle F} F, donde {\displaystyle F} F es el cuerpo sobre el que se define
el espacio vectorial {\displaystyle V} V. En notaci�n matem�tica lo expresamos de
la siguiente manera: {\displaystyle V^{**}=\hom _{F}(V^{*},F)} {\displaystyle
V^{**}=\hom _{F}(V^{*},F)} donde Hom hace referencia a los homomorfismos sobre
{\displaystyle F} F (aplicaciones lineales). Un importante resultado del espacio
bidual es el siguiente:

Teorema de reflexividad
Sea {\displaystyle V} V un espacio vectorial sobre un cuerpo {\displaystyle F} F.
Sea {\displaystyle V^{*}} {\displaystyle V^{*}} su espacio dual y {\displaystyle
V^{**}} {\displaystyle V^{**}} su espacio bidual. Existe una aplicaci�n can�nica
{\displaystyle \phi :V\rightarrow V^{**}} {\displaystyle \phi :V\rightarrow
V^{**}}que transforma cada vector {\displaystyle v\in V} v \in Ven una forma lineal
{\displaystyle \phi (v)\in V^{**}} {\displaystyle \phi (v)\in V^{**}}perteneciente
al espacio bidual. Cada forma lineal {\displaystyle \phi (v)} {\displaystyle \phi
(v)} se define de la siguiente manera:

{\displaystyle {\begin{array}{cccl}\phi (v):&V^{*}&\longrightarrow &F\\&\omega

&\longmapsto &(\phi (v))(\omega ):=\omega (v)\end{array}}} {\displaystyle
{\begin{array}{cccl}\phi (v):&V^{*}&\longrightarrow &F\\&\omega &\longmapsto &(\phi
(v))(\omega ):=\omega (v)\end{array}}}

donde {\displaystyle \omega \in V^{*}} {\displaystyle \omega \in V^{*}} es una
forma lineal del espacio dual. Se verifica que {\displaystyle \phi :V\rightarrow
V^{**}} {\displaystyle \phi :V\rightarrow V^{**}} es lineal e inyectiva. Adem�s, si
el espacio vectorial {\displaystyle V} {\displaystyle V} es finito-generado,1? se
verifica que {\displaystyle \phi } \phi es un isomorfismo.

Para demostrar el teorema, necesitamos un lema previo:

Lema

Dados dos vectores {\displaystyle v,v'\in V} {\displaystyle v,v'\in V} tales que

{\displaystyle v\neq v'} {\displaystyle v\neq v'}, existe al menos una forma lineal
{\displaystyle {\overline {\omega }}\in V^{*}} {\displaystyle {\overline
{\omega }}\in V^{*}}tal que {\displaystyle {\overline {\omega }}(v)\neq {\overline
{\omega }}(v')} {\displaystyle {\overline {\omega }}(v)\neq {\overline {\omega }}
(v')}

Demostraci�n del lema

Demostraci�n del teorema de reflexividad
El espacio dual topol�gico
En el caso de espacios de dimensi�n finita, el dual topol�gico coincide con el dual
algebraico y el concepto de dual topol�gico es trivial. Sin embargo, con espacios
vectoriales de dimensi�n infinita el dual topol�gico generalmente es estrictamente
m�s peque�o que el dual algebraico:

Al tratar con un espacio vectorial normado V (e.g., un espacio de Banach o un

espacio de Hilbert), t�picamente se est� interesado solamente en los funcionales
lineales continuos del espacio en el cuerpo. Estos forman un espacio vectorial
normado, llamado el dual continuo o dual topol�gico de V, a veces llamado solamente
el dual de V. Es denotado por V' . La norma {\displaystyle \|\cdot \|}
{\displaystyle \|\cdot \|} de una funcional lineal continua en V es definida por:

{\displaystyle \|\phi \|=\sup\{|\phi (x)|:\|x\|\leq 1\}\,} {\displaystyle \|\phi \|

=\sup\{|\phi (x)|:\|x\|\leq 1\}\,}

Donde {\displaystyle \sup } {\displaystyle \sup } denota el supremo de un conjunto.

La definici�n anterior convierte al dual continuo o topol�gico en un espacio

vectorial normado, de hecho en un espacio de Banach. Uno puede tambi�n hablar del
continuo de un espacio vectorial topol�gico arbitrario. Esto es sin embargo mucho
m�s duro de tratar, ya que en general no ser� un espacio vectorial normado de
ninguna manera natural.

La definici�n anterior puede generalizarse un poco, dado un espacio vectorial

topol�gico V se define el espacio dual topol�gico como el subespacio del dual
algebraico formado por funciones continuas respecto a la topolog�a de V.
Ejemplos
Para cualquier espacio vectorial normado o espacio vectorial topol�gico finito-
dimensional, tal como el espacio euclidiano n-dimensional, el dual continuo y el
dual algebraico coinciden.
Sea 1 < p < 8 un n�mero real y considere el espacio de Banach [[lp]] de todas las
secuencias a = (an) para las que
{\displaystyle \|\mathbf {a} \|_{p}=\left(\sum _{n=0}^{\infty }|a_{n}|
^{p}\right)^{1/p}} {\displaystyle \|\mathbf {a} \|_{p}=\left(\sum _{n=0}^{\infty }|
a_{n}|^{p}\right)^{1/p}}

es finito. Def�nase el n�mero q por 1/p + 1/q = 1. Entonces el dual continuo lp se

identifica naturalmente con lq: dado un elemento f de (lp)', el elemento
correspondiente de lq es la secuencia (f(en)) donde en denota la secuencia cuyo
t�rmino n-�simo es 1 y todos los dem�s son cero. Inversamente, dado un elemento a =
(an ) ? lq, el funcional lineal continuo correspondiente f en lp es definido por
f(b) = Sn an bn para toda b = (bn) ? lp (v�ase la desigualdad de H�lder).

De una manera similar, el dual continuo de l� se identifica naturalmente con l8.

Adem�s, el dual continuo de los espacios de Banach c (que consisten en todas las
series convergentes, con la norma del supremo) y c0 (las secuencias que convergen a
cero) son ambas identificadas naturalmente con l�.
Otro ejemplo interesante es el dual topol�gico de las funciones suaves de soporte
compacto {\displaystyle C_{0}^{\infty }(\mathbb {R} ^{n})} {\displaystyle
C_{0}^{\infty }(\mathbb {R} ^{n})} cuyo dual topol�gico son precisamente las
distribuciones convencionales o funciones generalizadas.
Otras propiedades
Si V es el espacio de Hilbert, entonces su dual continuo es un espacio de Hilbert
que es contra-isomorfo a V. �ste es el contenido del teorema de representaci�n de
Riesz, y da lugar a la notaci�n bra-ket usada por los f�sicos en la formulaci�n
matem�tica de la mec�nica cu�ntica. En analog�a con el caso del doble dual
algebraico, hay siempre un operador lineal continuo inyectivo naturalmente definido
?: V ? V'' en su doble dual continuo V''. Esta funci�n es de hecho una isometr�a,
significando ||?(x)||=||x|| para todo x en V. Espacios para los cuales la funci�n ?
es una biyecci�n se llaman reflexivos. El dual continuo se puede utilizar para
definir una nueva topolog�a en V, llamada la topolog�a d�bil. Si el dual de V es
separable, entonces as� es el espacio V mismo. El inverso no es verdad; el espacio
l� es separable, pero su dual es l8, que no es separable.