Dejemos que $V$ sea un espacio vectorial de dimensión finita con base $e_1, ... e_n$ . Entonces podemos escribir cualquier vector $v$ en la forma
$$v = \sum c_i e_i$$
para unos coeficientes $c_i$ . Envío de un vector $v$ al coeficiente $c_i$ por el hecho de ser fijo $i$ define un funcional lineal $e_i^{\ast} : V \to k$ . El conjunto de estas funciones lineales constituye el doble base à $V$ y lo que me confundió durante mucho tiempo es que los funcionales lineales no se transforman de la misma manera que los vectores bajo el cambio de coordenadas; decimos que los vectores se transforman covariante pero los funcionales lineales transforman contravariante. Antes de entender esto, me confundía constantemente con la diferencia entre transformar un vector y transformar sus componentes.
Para un ejemplo de dimensión infinita, considere el espacio vectorial $k[x]$ de polinomios en una variable sobre un campo. Tiene un conjunto distinguido de vectores duales dados por las funciones $[x^n]$ que devuelven el coeficiente de $x^n$ en un polinomio. A modo de sugerencia se pueden escribir estas funciones como $\frac{1}{n!} \frac{d^n}{dx^n}_{x = 0}$ . Resulta que el espacio dual $k[x]^{\ast}$ es precisamente el producto de los espacios que contienen cada uno de estos vectores duales; por ejemplo, el espacio dual contiene vectores que deberían llamarse $$(e^{t \frac{d}{dx} })_{x=0} = \sum_{n \ge 0} \frac{t^n}{n!} \frac{d^n}{dx^n}_{x=0}$$
que dado un polinomio $f(x)$ devuelve el valor numérico de $f(t)$ .
Pensando en $\frac{d^0}{dx^0}_{x=0}$ como un modelo de juguete para la función delta de Dirac, puedes pensar en esta construcción como un modelo de juguete para (Schwartz) distribuciones .
En geometría diferencial, el dual de un espacio tangente $T_p(M)$ en un punto $p$ en un colector $M$ es el espacio cotangente $T_p^{\ast}(M)$ en $p$ . Al igual que el espacio tangente capta el comportamiento infinitesimal de las funciones suaves $\mathbb{R} \to M$ cerca de $p$ (curvas), el espacio cotangente capta el comportamiento infinitesimal de las funciones suaves $M \to \mathbb{R}$ cerca de $p$ (coordenadas). Así como una buena familia de vectores tangentes da un campo vectorial, una buena familia de vectores cotangentes da un 1 forma . En la mecánica clásica, el haz de cotangentes es el espacio de fase de una partícula clásica que viaja en $M$ ; los vectores cotangentes dan momento .
Para mí, la dualidad brilla realmente cuando se combina con los productos tensoriales y se empieza a utilizar el lenguaje de los tensores. Entonces puedes describir cualquier tipo de cosa lineal utilizando una combinación de productos tensoriales y duales, al menos para espacios vectoriales de dimensión finita:
- Qué es una función lineal $V \to W$ ? Es un elemento de $V^{\ast} \otimes W$ .
- Qué es una forma bilineal $V \times V \to k$ ? Es un elemento de $V^{\ast} \otimes V^{\ast}$ .
- Qué es una multiplicación $V \times V \to V$ ? Es un elemento de $V^{\ast} \otimes V^{\ast} \otimes V$ .
Cuando tienes un montón de cosas lineales, escribirlas como todos los tensores te ayuda a llevar la cuenta de cómo puedes combinarlas exactamente (usando contracción del tensor ). Por ejemplo, un endomorfismo $V \to V$ es un elemento de $V^{\ast} \otimes V$ pero tengo un distinguido emparejamiento doble $$V^{\ast} \otimes V \to k.$$
¿Qué hace esto con los endomorfismos? ¡Es sólo la traza!
0 votos
Esta 'pregunta' parece ser de la forma "¡Dime sobre [noción]!", no haciendo una pregunta específica real. Un contexto interesante en el que el functor de dualidad resulta ser importante es representaciones del carcaj Sin embargo.
0 votos
@Rasmus ¿Cómo es que pedir un ejemplo no es hacer una pregunta concreta? ¿Deberíamos suprimir la etiqueta "ejemplos-contraejemplos"?
0 votos
Tuve la impresión de que ni siquiera está especificando qué tipo de ejemplo que está buscando.
0 votos
Si te sientes cómodo con la teoría de categorías, puedes intentar leer sobre las categorías tannakianas y la dualidad de Tannaka.