Está en la página 1de 4

Espacio dual

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 latransformación de Fourier.

Índice
El espacio dual algebraico
Ejemplos
Transpuesta de una transformación lineal
Los productos bilineales y los espacios duales
Espacio bidual (doble-dual) y teorema de reflexividad
Teorema de reflexividad

El espacio dual topológico


Ejemplos
Otras propiedades
Referencias
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

para todos φ, ψ 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:

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 espacioR (ω), 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 Σn xnan.

Transpuesta de una transformación lineal


Si es una función lineal, se puede definir su transpuesta por

para cada en W*, la asignación 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 es representada por la matriz con respecto a dos bases de y , entonces es representada por la matriz
transpuesta con respecto a las bases duales de y de . Si es otra función lineal, se tiene .
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 Φ de V a V* define un producto bilineal no degenerado
único en V por

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 , definimos el espacio bidual como el conjunto de todas las aplicaciones lineales de en ,
donde es el cuerpo sobre el que se define el espacio vectorial . En notación matemática lo expresamos de la siguiente manera:
donde Hom hace referencia a los homomorfismos sobre (aplicaciones lineales). Un importante resultado
del espacio bidual es el siguiente:

Teorema de reflexividad
Sea un espacio vectorial sobre un cuerpo . Sea su espacio dual y su espacio bidual. Existe una aplicación canónica
que transforma cada vector en una forma lineal perteneciente al espacio bidual. Cada forma lineal
se define de la siguiente manera:

donde es una forma lineal del espacio dual. Se verifica que es lineal e inyectiva. Además, si el espacio
vectorial es finito-generado,1 se verifica que es un isomorfismo.

Para demostrar el teorema, necesitamos unlema previo:


Lema

Dados dos vectores tales que , existe al


menos una forma lineal tal que

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 de una funcional
lineal continua en V es definida por:

Donde 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 < ∞ un número real y considere el espacio de Banach l[[p]] de todas las secuencias a = (an) para las que

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 φ
de (lp)', el elemento correspondiente de lq es la secuencia (φ(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 φ en lp es definido por
φ(b) = Σn 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 l∞. 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 cuyo dual
topológico son precisamente lasdistribuciones convencionaleso 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 espaciol¹ es separable, pero su dual esl∞, que no es separable.

Referencias
1. Un espacio vectorial de dimensión finita.

Enlaces externos
Weisstein, Eric W. «Dual Space». En Weisstein, Eric W. MathWorld (en inglés). Wolfram Research.
Dual Space en PlanetMath.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Espacio_dual&oldid=107321795
»

Se editó esta página por última vez el 27 abr 2018 a las 02:09.

El texto está disponible bajo laLicencia Creative Commons Atribución Compartir Igual 3.0 ; pueden aplicarse cláusulas
adicionales. Al usar este sitio, usted acepta nuestrostérminos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de laFundación Wikimedia, Inc., una organización sin ánimo de lucro.