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

   ( x)   ( x)   x 


 a  x   a  x 


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:

1, si i  j
ei  e j  
0, si i  j

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  n xn an .
Transpuesta de una transformación lineal
Si f : V  W es una función lineal, se puede definir su transpuesta f t : W*  V * por

f t     f

para cada  en W*, la asignación f  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 f es representada por la matriz A con respecto a dos bases de V y W ,
t
entonces f t es representada por la matriz transpuesta A con respecto a las bases
duales de W * y de V * . Si g : W  X es otra función lineal, se tiene  g  f   f t g t . En el
t

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
v, w   (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 V * , definimos el espacio bidual V ** como el conjunto de todas
las aplicaciones lineales de V * en F , donde F es el cuerpo sobre el que se define
el espacio vectorial V . En notación matemática lo expresamos de la siguiente
manera: V **  hom F V * , F  donde hom hace referencia a los homomorfismos sobre F
(aplicaciones lineales). Un importante resultado del espacio bidual es el siguiente:
Teorema de reflexividad
Sea V un espacio vectorial sobre un cuerpo F . Sea V * su espacio dual y V ** su espacio
bidual. Existe una aplicación canónica  :V  V ** que transforma cada vector v V en
una forma lineal   v  V ** perteneciente al espacio bidual. Cada forma lineal   v  se
define de la siguiente manera:
 v : V *  F
w    v    w  :  w(v)

Donde w V * es una forma lineal del espacio dual. Se verifica que  : V  V ** es lineal
e inyectiva. Además, si el espacio vectorial V es finito-generado, se verifica que  es
un isomorfismo.
Para demostrar el teorema, necesitamos un lema previo:
Lema:
Dados dos vectores v, v '  V tales que v  v ' , existe al menos una forma lineal w  V *
tal que
w  v   w  v '

El enunciado a demostrar es equivalente al siguiente enunciado:

Dado v V tal que v  0 , existe w  V * tal que w  e   0 .

Tomamos el subespacio vectorial generado por v, v , y sea V el subespacio

suplementario del anterior. Como los anteriores subespacios son suplementarios,
tenemoslosiguiente: v  V  V y deducimos que:
dim F V  dim F V  dim F  v   dim F V  dim F  1 .

Ahora tomamos el paso al cociente y obtenemos V V que es de dimensión 1, como

podemos comprobar a continuación:
dimF V V  dimF V  dimF V  dim F V   dim F V  1  dim F V  dim F V  1  1 .
Como la dimensión del espacio cociente es uno y como sabemos por hipótesis
que v  0 podemos construir una base de V V con la clase de equivalencia de v .
Tenemos que V V   v  , luego los elementos V V son de la forma   v  ,   F .
Definimos la siguiente aplicación lineal:
w': V V  F
 v  
y podemos realizar una composición de aplicaciones con el paso al cociente y la aplicación
lineal que acabamos de definir:

V   V V 
w'
F
v v , definimos w  w ' o 
 v 
Luego w es una composición de aplicaciones lineales, por lo tanto w debe de ser también
una aplicación lineal. Finalmente, hemos encontrado la aplicación lineal w que verifica el

enunciado a demostrar:
w  v   w '  (v)   w '( v)   Q.E.D. (quod erat demostrandum, lo que se quería
demostrar).
Demostración del teorema de la reflexividad

Veamos que  (e) V ** es una forma lineal de V ** , para ello basta ver que verifica las
propiedades de una aplicación lineal. Sean 1 , 2  V * , 1 , 2  F , veamos que:

( (v))(11  22 )  1 ( (v))(1 )  2 ( (v))(2 )

( (v))(11  22 )  (11  22 )(v)  11 (v)  22 (v)  1 ( (v))(1 )  2 ( (v))(2 ) Q.E.D.

Luego es lineal.

A continuación, veamos que  :V  V ** es también lineal. Sean v1 , v2 V , 1 , 2  F ,

veamos que

 (1v1  2 v2 )  1 (v1 )  2 (v2 ) .

Esta igualdad es equivalente a

( (1v1  2 v2 ))( )  (1 (v1 )  2 (v2 ))( ),  V *

Desarrollando el primer miembro:
( (1v1  2v2 ))( )   (1v1  2v2 )  1 (v1 )  2 (v2 )
y desarrollando el segundo miembro:

(1 (v1 )  2 (v2 ))( )  1 ( (v1 ))( )  2 ( (v2 ))( )  1 (v1 )  2 (v2 )

Obtenemos cosas idénticas, por lo que hemos demostrado que la aplicación  es lineal.

Veamos ahora que  :V  V ** es inyectiva.

Sean v, v V , v  v , veamos qué  (v)   (v) .
Como v  v , por el lema anterior, existe   V * tal que  (v)   (v) . Ahora por la
definición de  tenemos lo siguiente:

( (v))( )   (v)


( (v))( )   (v)

y como sabemos que  (v)   (v) es cierto, deducimos que ( (v))( )  ( (v))( ) por lo
que hemos demostrado que  es inyectiva.
Por último, veamos que si V es finito-generado entonces  es un isomorfismo.

Como V es finito-generado, dim F V  n, n  .
También sabemos: dim F V  dim F V *  dim F V ** luego V ** también es finito-generado y su
dimensión es la misma que la de V . Como  es lineal e inyectiva podemos deducir lo
siguiente:
dimF V  dim F ker( )  dim F Im( ) , por ser  una aplicación lineal.
ker( )  0  dimF ker( )  0 , por ser  inyectiva.

De las igualdades anteriores deducimos que dim F V  dim F V **  dim F im( ) y

como im( )  V ** finalmente deducimos que im( )  V ** , por lo que  es sobreyectiva.
Tenemos que  es lineal, inyectiva y sobreyectiva luego es un isomorfismo, que es lo que
queríamos demostrar.
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 función lineal continúa en V es definida por:

‖  ‖  sup{|  ( x) |:‖ x ‖  1}

Donde 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.

 Un ejemplo interesante es el dual topológico de las funciones suaves de soporte

compacto C0 ( n ) cuyo dual topológico son precisamente las distribuciones
convencionales o funciones generalizadas.
Ejercicios de Espacio dual, base dual.

1 Encontrar la base B de E  1[ x] cuya dual es B*  { f1 , f 2 } , siendo

f1[ p( x)]   p  x  dx , f 2 [ p( x)]   p  x  dx.

1 2

0 0

Solución
Llamemos B  {e1 ( x), e2 ( x)} , siendo e1 ( x)  a1  b1 x , e2 ( x)  a2  b2 x . Por definición de base
dual

 1
 f1 (e1 )  1  0 (a1  b1 x)dx  1 [a1 x  b1 x / 2]0  1
2 1

  2 
 f 2 (e1 )  0 [a1 x  b1 x / 2]0  0
2 2
  (a1  b1 x)dx  0
 0
a  b / 2  1 a1  2
 1 1   e1 ( x)  2  2 x.
2a1  2b1  0 b1  2
 1 (a  b x)dx  0
 f1 (e2 )  0  0 2 2 [a2 x  b2 x 2 / 2]10  0
   2  
 f 2 (e2 )  1 [a2 x  b2 x / 2]0  1
2 2
  (a2  b2 x)dx  1
 0
a  b / 2  0 a  1/ 2
 2 2  2  e2 ( x)  1/ 2  x.
 2
2 a  2b2  1  2
b  1

B  2  2x, 2  x
Por lo tanto, .

2. Encontrar la base dual de la base de 2

,B 1, 2 , 3, 4.
Solución
Llamemos B   { f1 , f 2 }. Dado que f1 y f 2 pertenecen a  2 *
son aplicaciones
lineales de 2 en y sus expresiones matriciales en las respectivas bases canónicas
tienen la forma.

 x1   x1 
f1  [ y1 ]  [a b]   , f 2  [ y1 ]  [c d ]   .
 x2   x2 

Por definición de base dual:

  1
 a b     1
 f 2 1, 2   1   2  a  2b  1
  
 f 2  3, 4   0  a b  3  0 3a  4b  0
   4  
  
 a  4 /10
  y1  (4 /10) x1  (3 /10) x2 .
b  3 /10
  1
 c d      0
 f 2 (1, 2)  0   2  c  2d  0
  
 f 2 (3, 4)  1  c d  3  1 3c  4b  1
   4  
  
c  2 /10
  y  (2 /10) x1  (1/10) x2 .
 d  1 /10


Por tanto, la base pedida es B  { f1 , f 2 } siendo:

1 1
f1 ( x1 , x2 )  (4 x1  3x2 ) , f 2 ( x1 , x2 )  ( 2 x1  x2 ).
10 10

3
3. Usando el concepto de matriz inversa, encontrar la base dual de la base de :

B  (2,1,1),(1, 2,1),(1,1, 2)

.
Solución

B  { f1 , f 2 , f 3}. Dado que f1 , f 2 y f3

3 *
Llamemos pertenecen a ( ) , son
3
aplicaciones lineales de en y sus expresiones matriciales en las respectivas
bases canónicas tienen la forma

 x1 
fi  [ y1 ]  [ai bi ci ]  x2  (i  1, 2,3),
 x3 

O de forma equivalente

fi ( x1 , x2 , x3 )  ai x1  bi x2  ci x3 (i  1,2,3)

Por definición de base dual:

 f1 (2,1,1)  1 2a1  b1  c1  1
 
 f1 (1, 2,1)  0  a1  2b2  c1  0
 f (1,1, 2)  0 a  b  2c  0
 1  1 1 1

 f 2 (2,1,1)  0 2a2  b2  c2  0
 
 f 2 (1, 2,1)  1  a2  2b2  c2  1
 f (1,1, 2)  0  a  b  2c  0
 2  2 2 2

 f 3 (2,1,1)  0 2a3  b3  c3  0
 
 f 3 (1, 2,1)  0  a3  2b3  c3  0
 f (1,1, 2)  1 a  b  2c  1
 3  3 3 3

En vez de resolver los tres sistemas anteriores, podemos expresar

  2 1 1   a1 a2 a3  1 0 0 
1 2 1   b b b3   0 1 0 
  1 2
1 1 2   c1 c2 c3  0 0 1 
1
 a1 a2 a3   2 1 1   3 1 1
  b1 b2 b3    1 2 1    1 3 1
1
4
 c1 c2 c3   1 1 2   1 1 3 

Por tanto, la base pedida es B*  { f1 , f 2 , f 3 } siendo:

1
f1 ( x1 , x2 , x3 )  (3x1  x2  x3 ),
4
1
f 2 ( x1 , x2 , x3 )  ( x1  3x2  x3 ),
4
1
f3 ( x1 , x2 , x3 )  ( x1  x2  3x3 ).
4

4 Sea E  { p  R[ x] : grado p  2} y   E  ,  ( p)  p(1)  p(1) .Hallar las

coordenadas de  en la base dual de la B  {5, 2  3x,1  x }
2

Solución

Sea B  { f1 , f 2 , f 3 } la base dual de

*
B , y sea   1 f1  2 f 2  3 f3 .

Por definición de base dual,

(1 f1  2 f 2  3 f3 )(5)  1

(1 f1  2 f 2  3 f3 )(2  3 x)  2

(1 f1  2 f 2  3 f3 )(1  x )  3
2
Por tanto

1   (5)  5  5  10

2   (2  3x)  5  (1)  4

3   (1  x )  0  0  0,
2

Luego las coordenadas pedidas son (10, 4,0).

5 Sea E espacio vectorial sobre el cuerpo k , de dimensión finita n y

B  {e1 ,, en } una base E .Demostrar que B  { f1 , , f n } es base de E * ,en
dónde.

 f1 (e1 )  1  f 2 (e1 )  0  f3 (e1 )  0

 f (e )  0  
 1 2  f 2 (e2 )  1  f3 (e2 )  0
  ..... 
 .....  .....  .....
 f1 (en )  0  f 2 (en )  0  f3 (en )  1

Solución

Dado que dim E  dim LK ( E , K )  (dim E )(dim K )  n 1  n, basta

demostrar que B* es un sistema libre. Para todo i  1, 2, , n y teniendo en cuenta

que

f i (e j )   i j (Deltas de Kronecker):

1 f1  2 f 2   n f n  0

(1 f1  2 f 2   n f n )(ei )  0(ei )  i  0,

Luego B* es base de E *