Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Introducción
En esta ocasión, comenzaremos a resolver problemas sobre un nuevo tema: espacio dual. La parte teórica
ya la hemos cubierto en entradas anteriores. En la entrada de introducción a dualidad definimos el espacio
dual y las formas coordenadas. Después, en una siguiente entrada, de bases duales vimos que las formas
coordenadas son una base del espacio dual, hablamos de ciertos problemas prácticos para resolver, y vi-
mos un teorema que relaciona bases, bases duales y una matriz invertible.
Problemas resueltos
Uno de los problemas de dualidad que discutimos la ocasión anterior es expresar a una base dual de vecto-
res en V en términos de la base dual de la base canónica. Veamos un ejemplo de esto.
Problema. Sean v 1
, v2 , v3 , v4 los vectores en R definidos como
4
1 1 0 1
⎛ ⎞ ⎛ ⎞ ⎛ ⎞ ⎛ ⎞
1 2 0 0
v1 = , v2 = , v3 = , v4 = .
1 3 1 0
⎝ ⎠ ⎝ ⎠ ⎝ ⎠ ⎝ ⎠
1 4 2 5
Solución. Dado que V está conformado por cuatro vectores y la dimensión de R es 4, basta con probar 4
0 = a + b + d
0 = a + 2b
0 = a + 3b + c
0 = a + 4b + 2c + 5d.
⎝
1
0
→
0
→
⎜⎟
⎛
0
1
v4 =
1
∗
1
v 1 = 2e 1 −
∗
v 2 = −e 1 +
∗
v3 = e1 −
∗
1
5
d = 2b − b = b,
c = 2b − 3b = −b,
Manera 2: También podemos hacer la reducción gaussiana en la matriz (A|I ) donde A es la matriz cuyas
columnas son los vectores de V . Esta forma tiene la ventaja de que a la vez calcularemos la matriz inversa
que nos interesa encontrar.
1 1
∗
0
e2 −
0
∗
2
∗
−1
−1
∗
3
11
5
1
5
1
−1
−1
7
4
e2 +
e2 +
∗
4
∗
e2 −
e3 +
1
−7/5
∗
1
−1
−1
−1
−1
6/5
−11/5
1/5
0
−2
−3
0
demos escribir a cada elemento de V como combinación lineal de e , donde los coeficientes del vector v
∗
5
2
5
∗
e3 −
∗
∗
e3 +
e3 −
e4 .
∗
0
4/5
−2/5
7/5
−2/5
Como podemos reducir a la identidad, los vectores iniciales son linealmente independientes y forman una
5
1
5
0
Ahora, para obtener la base dual V := {v , v , v , v } de la base V , por lo visto en la última entrada, po-
∗ ∗
⎞
e4
e4
e4
∗
i
∗
0
∗
⎞
1
⎞
−2/5
−1/5
1/5
1/5
⎞
∗
i
Recordemos que la base v 1
, v2 , v3
v1 =
→
⎜⎟
Otro tipo de problemas de dualidad consisten en determinar algunos vectores en V cuya base dual sea una
base dada de V .∗
⎝
3
−1
−1
1
0
l 1 (x, y, z) = x − y,
l 2 (x, y, z) = y − z,
l 3 (x, y, z) = x + y − z.
⎛
0
⎠
0
j
−1
−1
−1
⎞
1
=
0
, v2 =
1
Solución. (1) Por el último teorema de la entrada de bases duales, sabemos que l
−1
−1
−1
−1
0
−1
−1
−1
−1
0
⎝
2
3
0
3
−1
−1
1,
−1
−1
−2
−1
−1
−2
⎞
⎠
3
Para mostrar que A es invertible, calcularemos la forma escalonada reducida de la matríz (A|I ). Entonces,
1 −1
1
0
−1
1
−1
−1
−2
0
l2 , l3
0
−2
, v3 =
0
1
0
⎠
⎞
1
⎛ ⎞
⎝ ⎠
1
3
⎠
1
, l2 , l3
1 .
−1
3
□
□
Veamos otro ejemplo, en el que veremos formas lineales un poco más interesantes, relacionadas con
cálculo.
Problema. Sea V = C [X] el espacio vectorial de polinomios de grado a lo más 2 con coeficientes comple-
2
l 1 (P ) = P (0),
1
l 2 (P ) = ∫ P (x) dx,
0
1
−2πix
l 3 (P ) = ∫ P (x)e dx.
0
Solución. (1) No es difícil ver que son formas lineales. Para l , notamos que 1
l 1 (aP ) = aP (0) = al 1 (P )
para cualesquiera polinomios P y Q, y cualquier escalar a en C. Para l y l , la linealidad se sigue por las 2 3
propiedades de la integral.
Para probar que l , l , l forman una base de V , lo haremos de manera similar al problema anterior. Sa-
1 2 3
∗
2
l 1 (1) = 1, l 1 (x) = l 1 (x ) = 0,
1
1
l 2 (1) = 1, l 2 (x) = ∫ xdx = ,
0
2
1
2 2
1
l 2 (x ) = ∫ x dx = ,
0
3
1 1
i
−2πix −2πix
l 3 (1) = ∫ e dx = 0, l 3 (x) = ∫ xe dx = ,
0 0
2π
1
1 + iπ
2 2 −2πix
l 3 (x ) = ∫ x e dx = .
2
0
2π
1 0 0
⎛ ⎞
A = 1 1/2 1/3 .
⎝0 i 1+iπ ⎠
2
2π 2π
Ahora, reduciremos la matriz (A|I ) para simultáneamente probar que A es invertible y encontrar A . Te- −1
nemos que
2
v1 =
v2 =
v3 =
⎝0
⎝0
⎝0
1
1
1/2
1/2
A
−1
=
1
3 + πi
3 + πi
3 + πi
3 + πi
0
0
2π
iπ
L i (x) =
1+iπ
1
0
2
0
1/3
1+iπ
2π
⎝
0
1/3
1 + iπ
iπ
6πi
2
−6−6πi
3+πi
3+πi
3 + πi
−6 − 6πi
1
−6
6πi
1
0
1
2
(−4π x + 6π x ).
0≤j≤n,j≠i
∏
n
1
0
0
−1
3+πi
−6πi
3+πi
0
6+6πi
6 + 6πi
2
−6πi
0
0
0
1⎠
−2iπ ⎠
∗
⎞
De esta matriz leemos a las coordenadas de la base que estamos buscando en términos de la la base canó-
nica {1, x, x }. Las columnas son los vectores de coordenadas. Por lo tanto, la base de V tal que L es la
La teoría de dualidad tiene amplias aplicaciones. Con ella se puede probar un resultado clásico: podemos
construir un polinomio de grado n que pase por n + 1 puntos que nosotros queramos. En el siguiente ejer-
cicio vemos los detalles.
x − xj
xi − xj
2π
.
0
−4π
3+πi
6π
3+πi
⎞
2⎠
−4π
2
6π
⎞
2
2
⎞
⎠
.
□
1. Demuestra que L (x ) = δ para todo 1 ≤ i, j ≤ n, donde δ es igual a 1 si i = j y es igual a 0 si
i j ij ij
i ≠ j.
P = ∑ P (x i )L i .
i=0
Lagrange asociado a b , … , b . 0 n
xj − xj xj − xk
L i (x j ) = ⋅ ∏ = 0.
xi − xj xi − xk
k≠j,i
xi − xk
L i (x j ) = L i (x i ) = ∏ = 1.
xi − xk
k≠i
(2) Dado que dim(V ) = n + 1, cuya base canónica es 1, x, … , x y L , … , L son n + 1 vectores, para n
0 n
probar que son base, basta con demostrar que son linealmente independientes. Sean a , … , a tales que 0 n
a L + ⋯ + a L
0 0 = 0. Evaluando en x y usando el inciso anterior, tenemos que
n n i
n n
0 = ∑ a j L j (x i ) = ∑ a j δ ij = a i ,
j=0 j=0
(3) Por definición de la base dual L (L ) = δ , y por el inciso (a) tenemos que L (x ) = δ , entonces
∗
i j ij j i ij
L (L ) = L (x ), para toda i, j. Ahora, fijamos i. Dado que L , … , L forman una base de V y dado que
∗
i j j i 0 n
P (x) = a 0 L 0 + a 1 L 1 + … + a n L n ,
tenemos que
∗ ∗ ∗
L i (P ) = a 0 L i (L 0 ) + … + a n L i (L n )
= a 0 L 0 (x i ) + … + a n L n (x i )
= P (x i ).
i=0
(5) Definimos P = ∑
n
i=0
bi Li . Por el inciso (1), tenemos que
P (x j ) = ∑ b i L i (x j ) = ∑ b i δ ij = b j .
i i
Suponemos que existe Q ∈ V tal que Q(x ) = b para todo i. Notemos que P − Q es un polinomio de
i i
grado a lo más n (por definición) y (P − Q)(x ) = 0 para todo i, esto implica que P − Q tiene n + 1 raí-
i
El último argumento viene de la teoría de polinomios. Puedes repasarla en otro curso que tenemos en el
blog. Observa que este problema también se satisface para los polinomios con coeficientes complejos,
V = C [X]. Intenta reproducir la demostración por tu cuenta.
n
Terminamos esta entrada con el siguiente problema. El enunciado no menciona dualidad, pero podemos
usar la teoría desarrollada hasta ahora para resolverlo.
Demuestra que l es una forma lineal en V y prueba que existe una única tercia (a 0, a1 , a2 ) de números
reales tales que para todo polinomio P en V se cumple que
1
−x
∫ P (x)e dx = a 0 P (x 0 ) + a 1 P (x 1 ) + a 2 P (x 2 ).
0
Solución. Debido a las propiedades de la integral, es fácil ver que l es lineal, ya que
1
−x
l(aP + Q) = ∫ (aP (x) + Q(x))e dx
0
1 1
−x −x
= a∫ P (x)e dx + ∫ Q(x)e dx
0 0
= al(P ) + l(Q).
1
−x ∗ ∗ ∗
∫ P (x)e = l(P ) = a 0 L 0 (P ) + a 1 L 1 (P ) + a 2 L 3 (P )
0
= a 0 P (x 0 ) + a 1 P (x 1 ) + a 2 P (x 2 ).
Es fácil ver que es única esa tercia, ya que, si existiera otra (b 0, b1 , b2 ) tal que
∗ ∗ ∗
l = b0 L0 + b1 L1 + b2 L2 ,
Entradas relacionadas
Ir a Álgebra Lineal I
Entrada anterior del curso: Bases duales, recetas y una matriz invertible
Siguiente entrada del curso: Ortogonalidad y espacio ortogonal
Agradecimientos
Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104721 «Hacia una modalidad a dis-
tancia de la Licenciatura en Matemáticas de la FC-UNAM»
Esta entrada se publicó en Matemáticas y está etiquetada con base dual, dualidad, espacio vectorial, inter-
polación, lagrange, lineal, matrices, problemas resueltos en abril 2, 2020
[https://blog.nekomath.com/algebra-lineal-i-problemas-de-dualidad-y-base-dual/] por Blanca Radillo.
Lorena
mayo 19, 2020 a las 4:08 pm
Hola, Leo.
En el problema 1, cuando mencionas que: Dado que V está conformado por cuatro vectores y la dimensión
de R^4 es 4, basta con probar que son vectores linealmente independientes.
Puedo entender de manera intuitiva esa afirmación, pero no logró ver cómo justificarla. ¿Hay alguna
proposición/teorema o de la misma definición de base o generador sale la justificación?
Leo
mayo 19, 2020 a las 6:20 pm
Hola Lorena. Sí tiene una justificación. Es una de las aplicaciones del lema del intercambio de Steinitz. De
hecho la demostración de exactamente lo que se necesita para tu duda está en la entrada
http://blog.nekomath.com/el-lema-del-intercambio-de-steinitz/ , en el punto 3 de la sección «Algunas
aplicaciones».
Vale Sauz
agosto 24, 2020 a las 10:27 pm
hola, una pregunta, por qué en el problema dos, inciso 2, ponemos v1,v2,v3 como las columnas de la matriz
inversa y en el problema 3 inciso 2, ponemos v1,v2,v3 como los renglones de la matriz inversa?
Leo
agosto 27, 2020 a las 7:58 pm
Hola Vale. Había un error en el inciso 2 del problema 3. Lo que tiene que hacer es poner a las columnas
como los vectores de coordenadas. Es decir, justo cómo se hizo en el inciso 2 del problema 2. Ya está corre-
gido, gracias por la atenta lectura.
Daniela Torija
agosto 25, 2020 a las 9:34 am
Leo
agosto 27, 2020 a las 8:18 pm
Hola Daniela. Ya reescribimos el primer problema para que coincida con la descripción de las recetas que
dimos en la entrada anterior. La razón por la cual en el problema 1 se usan filas y en el 2 se usan columnas,
es que son dos tipos de preguntas diferentes.
El primer tipo de pregunta es para los espacios del estilo F^n. Consiste en empezar con una base B de V y
preguntarse cómo se ve B* en términos de la base canónica. Aquí lo que te dan de información es la base B,
y lo que tú tienes que dar como respuesta son las coordenadas de cada elemento de B* en términos de la
base canónica dual. Este es como el Problema 1.
El segundo tipo de pregunta consiste en empezar con una base L* del dual V* y hacerse la pregunta ¿de
dónde vino L*? Aquí lo que te dan de información es la base L*, y lo que tú tienes que encontrar es la «base
original L». Para esta respuesta, debes elegir una base B de V (la que tú quieras), y dar como respuesta
cómo se expresa cada elemento de L en términos de esta base B. Este es como el Problema 2 y 3.
Luis
agosto 26, 2020 a las 1:31 am
Hola, creo que hay un error en el problema 3, al momento de finalizar. Al expresar a v_i toman como coefi-
cientes del polinomio a las entradas de la fila, según entiendo los coeficientes del polinomio deberían de ser
las entradas de las columnas para definir una base de V
Leo
agosto 27, 2020 a las 8:19 pm
Hola Luis. Sí, de acuerdo. En efecto, hay que leerlo con las columnas. Ya realizamos la corrección, gracias
por la atenta lectura.
JP Antuna
agosto 27, 2020 a las 5:11 pm
Tengo el mismo planteamiento que Luis… hay un error al finalizar el problema 3. No digo más porque con-
cuerdo con lo que dice mi compañero, pero envío el mensaje para que se percaten del error ya que me con-
fundió y puede llegar a confundir a más personas.
Leo
agosto 27, 2020 a las 8:20 pm
Hola Juan Pablo. Sí, de acuerdo. En efecto, hay que leerlo con las columnas. Ya realizamos la corrección, gra-
cias por la atenta lectura.
Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.