No sé cómo explica Lee esto, pero en cuanto elegimos las coordenadas locales $x^i$ tenemos 3 cosas relacionadas (pero distintas):
-
Coordinar las funciones $x^i$ .
-
Campos vectoriales de coordenadas $\partial_i = \partial/\partial x^i$ .
-
Covector de coordenadas feldes $dx^i$ .
Estos satisfacen un montón de relaciones, por ejemplo $\partial_j x^i = \delta_j^i$ (delta de Kronecker) y $dx^i(\partial_j) = \delta_j^i$ .
Si tenemos un mapa $x = \phi(y)$ dado en coordenadas por $x^i = \phi^i(y^1, \cdots, y^m)$ existe una noción de pushforward de un vector tangente. Si tenemos algún vector tangente (en el $y$ coordenadas que viene dada por $$ v = \sum_i v^i \frac{\partial}{\partial y^i} $$ entonces obtenemos un vector $\phi_\ast v$ en el $x$ coordenadas por $$ \phi_\ast v = \sum_{ij} v^i \frac{\partial \phi^j}{\partial y^i} \frac{\partial}{\partial x^j}. $$ Si se piensa que los vectores tangentes son derivaciones de funciones suaves, esto es completamente obvio: es sólo la regla de la cadena.
Bien, si entiendes la regla de la cadena, entonces entiendes los pushforwards, y si entiendes los pushforwards entiendes los pullbacks, ya que son simplemente duales a los pushforwards. Recuerda que un $p$ -es sólo una función multilineal (sesgada). Así que para definir una $p$ -en el $y$ coordenadas sólo hay que decir cómo actuar sobre los vectores tangentes. Pero ya sabemos cómo empujar los vectores tangentes hacia el $x$ coordenadas. Así que si $\omega$ es un $p$ -formar en el $x$ -se obtiene un $p$ -en el $y$ -por la fórmula $$ (\phi^\ast \omega)_y(v_1, \cdots, v_p) = \omega_{\phi(y)}(\phi_\ast v_1, \cdots, \phi_\ast v_p) $$ como has escrito más arriba. Para enfatizar: todo esto es sólo la regla de la cadena y el álgebra lineal .
Ahora veamos tu ejemplo particular. Comenzamos con las coordenadas $x,y$ y quiere pasar a coordenadas $r,t$ , a través de $$ x = r \cos t $$ $$ y = r \sin t $$ Llama a este mapa $(r,t) \mapsto (x,y)$ $\phi$ . Entonces, ¿cómo impulsamos los vectores? Por la regla de la cadena, tenemos \begin {align} \phi_\ast ( \frac { \partial }{ \partial r}) &= \frac { \partial x}{ \partial r} \frac { \partial }{ \partial x} + \frac { \partial y}{ \partial r} \frac { \partial }{ \partial y} \\ &= \cos t \frac { \partial }{ \partial x} + \sin t \frac { \partial }{ \partial y} \end {align} Del mismo modo, \begin {align} \phi_\ast ( \frac { \partial }{ \partial t}) &= \frac { \partial x}{ \partial t} \frac { \partial }{ \partial x} + \frac { \partial y}{ \partial t} \frac { \partial }{ \partial y} \\ &= -r \sin t \frac { \partial }{ \partial x} + r \cos t \frac { \partial }{ \partial y} \end {align}
Ahora, para obtener el retroceso de $dx \wedge dy$ sólo tenemos que evaluarlo en estos pushforwards ( ahora editado para incluir más detalles ): \begin {align} (dx \wedge dy)( \phi_\ast\partial_r , \phi_\ast\partial_t ) &= (dx \wedge dy)( \cos t \partial_x + \sin t \partial_y , -r \sin t \partial_x + r \cos t \partial_y ) \\ &= r \cos ^2 t (dx \wedge dy)( \partial_x , \partial_y ) -r \sin ^2 t (dx \wedge dy)( \partial_y , \partial_x ) \\ &= r \cos ^2 t + r \sin ^2 t \\ &= r \end {align} Aquí, al pasar de la primera línea a la segunda, utilicé las propiedades de bilinealidad y simetría de las formas (por ejemplo $(dx\wedge dx)(\partial_x, \partial_x) = 0)$ ) para ampliarlo. Para pasar de la segunda a la tercera he utilizado el hecho de que $(dx\wedge dy)(\partial_x, \partial_y) = 1$ lo cual es cierto porque $dx$ y $dy$ son duales a $\partial_x$ y $\partial_y$ .
Eso es, $$ \phi^\ast (dx \wedge dy)(\partial_r, \partial_t) = r $$ Así que tenemos $$ \phi^\ast (dx \wedge dy) = r dr \wedge dt. $$
Obsérvese que este es el mismo resultado que se obtendría si sólo se diferenciara $x = r\cos t$ y $y = r\sin t$ y luego se han juntado los resultados. La razón por la que esto funciona es por dos hechos:
-
Los retrocesos conmutan con la derivada exterior $d$ .
-
La derivada exterior de una función de coordenadas $x^i$ es exactamente el campo covector coorinado $dx^i$ . (¡De ahí la notación!)