En matemáticas, el término jet hace referencia a un operador que aplicado sobre una función diferenciable f, devuelve el polinomio correspondiente a la serie de Taylor truncada en cada punto del dominio de f. Aunque esta es la definición de un jet, la teoría de jets considera estos términos como polinomios abstractos y no como funciones polinómicas.
Este artículo describe en primer lugar la noción de un jet de una función de variable real y valores reales, seguida de una discusión de generalizaciones para múltiples variables reales. A continuación, proporciona una construcción rigurosa de los jets y de espacios de jets sobre el espacio euclídeo. Concluye con una descripción de estos operadores sobre variedades, y cómo se pueden construir intrínsecamente. En este contexto más general, resume algunas de las aplicaciones de los jets a la geometría diferencial y a la teoría de ecuaciones diferenciales.
Etimología del término El término jet procede de la traslación abreviada de la palabra francesa surjective (aplicación de un conjunto en otro elemento a elemento) al inglés.
Jets de funciones entre espacios euclídeos
Antes de dar una definición rigurosa de un jet, es útil examinar algunos casos especiales.
Caso unidimensional
Supóngase que es una función de valor real que tiene al menos k + 1 derivadas en un entorno U del punto . En consecuencia, según el teorema de Taylor,
donde
Entonces el k- jet de f en el punto se define como el polinomio
Los jets normalmente se consideran como polinomios abstractos en la variable z, no como funciones polinómicas reales en esa variable. En otras palabras, z es una variable indeterminada que permite realizar varias operaciones algebraicas entre los jets. De hecho, es el punto base del cual los jets derivan su dependencia funcional. Por lo tanto, al variar el punto base, un jet produce un polinomio de orden a lo sumo 'k' en cada punto. Esto marca una distinción conceptual importante entre jets y series de Taylor truncadas: normalmente se considera que una serie de Taylor depende funcionalmente de su variable, en lugar de su punto base. Los jets, por otro lado, separan las propiedades algebraicas de las series de Taylor de sus propiedades funcionales. Las razones y aplicaciones de esta separación se tratan más adelante en el artículo.
Asignaciones de un espacio euclidiano en otro Supóngase que es una función de un espacio euclidiano en otro, que tiene al menos (k + 1) derivadas. En este caso, el teorema de Taylor afirma que
El k-jet de f se define entonces como el polinomio
en , donde .
Propiedades algebraicas de los jets
Hay dos estructuras algebraicas básicas que los jets pueden soportar. La primera es una estructura de producto, aunque finalmente resulta ser la menos importante. La segunda es la estructura de composición de los jets.
Si son un par de funciones con valores reales, entonces se puede definir el producto de sus jets a través de
.
Aquí se ha suprimido la z indeterminada, ya que se entiende que los jets son polinomios formales. Este producto es solo el producto de polinomios ordinarios en z, módulo . En otras palabras, es una multiplicación en el anillo , donde es el ideal generado por polinomios homogéneos de orden ≥ k+1.
En cuanto a la composición de jets, para evitar tecnicismos innecesarios, se consideran jets de funciones que asignan el origen al origen. Si y con f(0)=0 y g(0)=0, entonces . La composición de jets se define por
Se verifica fácilmente, utilizando la regla de la cadena, que esto constituye una operación asociativa no conmutativa en el espacio de los jets en el origen.
De hecho, la composición de k-jets no es más que la composición del módulo polinomial sobre el ideal de polinomios homogéneos de orden .
Ejemplo: En una dimensión, sean y . Entonces
y
Jets en un punto en el espacio euclidiano: definiciones rigurosas Esta subsección se centra en dos definiciones rigurosas diferentes del jet de una función en un punto, seguida de una discusión del teorema de Taylor. Estas definiciones demostrarán ser útiles más adelante durante la definición intrínseca del jet de una función entre dos variedades.
Definición analítica La siguiente definición usa ideas del análisis matemático para definir jets y espacios de jets. Se puede generalizar a una función continuamente diferenciable en un Espacio de Banach, a funciones analíticas sobre números reales o dominios complejos, al análisis p-ádico y a otras áreas de análisis.
Sea el espacio vectorial de las funciones continuamente diferenciables . Sea también k un entero no negativo, y p un punto de . Se define una relación de equivalencia en este espacio declarando que dos funciones f y g son equivalentes en el orden k si f y g tienen el mismo valor en p, y todas sus derivadas parciales concuerdan en p hasta (e incluyendo) sus derivadas de k-ésimo orden. En resumen, siq hasta el k-ésimo orden.
El espacio de jets de orden k-ésimo de en p se define como el conjunto de clases de equivalencia de , y se denota por .
El jet de orden k-ésimo en p de una función suave se define como la clase de equivalencia de f en .
Definición algebraico-geométrica La siguiente definición usa ideas de geometría algebraica y álgebra conmutativa para establecer la noción de un jet y de un espacio de jets. Aunque esta definición no es particularmente adecuada para su uso en geometría algebraica per se, dado que se presenta sobre la categoría de curvas diferenciables, se puede adaptar fácilmente a dichos usos.
Sea el espacio vectorial de gérmenes de funciones continuamente diferenciables en un punto p en . A su vez, es el ideal de funciones que se anulan en p (este es el ideal maximal para el anillo local ). Entonces, el ideal consiste en todos los gérmenes de funciones que se anulan hasta el orden k en p. Ahora se puede definir el espacio de jets en p por
Si es una función suave (diferenciable), se puede definir el k-jet de f en p como el elemento de estableciendo que
Esta es una construcción más general. Para un espacio , sea un haz del espacio localmente anillado en y sea el ideal maximal del anillo local . El k-ésimo espacio de jets en se define como el anillo ( es el producto de ideales).
El teorema de Taylor Independientemente de la definición, el teorema de Taylor establece un isomorfismo canónico de espacios vectoriales entre y . Entonces, en el contexto euclidiano, los jets generalmente se identifican con sus representantes polinomiales bajo este isomorfismo.
Espacio de jets punto a punto Se ha definido el espacio de jets en un punto . El subespacio de los jets de funciones f tales que f (p) = q se denota por
Jets de funciones entre dos variedades
Si M y N son dos variedades diferenciables, se plantea la cuestión de cómo definir el jet de una función . Una posibilidad es intentar definir dicho jet usando coordenadas locales en M y N. La desventaja de este procedimiento es que los jets no se pueden definir así en una forma equivariante. Los jets no se comportan como tensores, y son afectados por las traslaciones. En cambio, los jets de funciones entre dos variedades pertenecen a un haz de jets.
Esta sección comienza con la introducción de la noción de jets de funciones de la recta real sobre una variedad. Demuestra que tales jets forman un fibrado, análogo al fibrado tangente, que es un paquete asociado de un grupo de jets. Continúa abordando el problema de definir el jet de una función entre dos variedades diferenciables. En esta sección, se adopta un enfoque analítico para los jets. Aunque un enfoque algebro-geométrico también es adecuado para muchas más aplicaciones, es demasiado sutil como para ser tratado sistemáticamente aquí (véase el punto dedicado a la geometría algebraica de los jets para más detalles).
Jets de funciones de la recta real sobre una variedad Supóngase que M es una variedad diferenciable que contiene un punto p. Se definen los jets de una curva a través de p, por lo que en adelante se hace referencia a funciones diferenciables tales que f(0) = p. Se define una relación de equivalencia de la siguiente manera: sean f y g un par de curvas a través de p. Entonces se dice que f y g son equivalentes al orden k en p si hay algún entorno U de p, tal que , para cada función suave , . Téngase en cuenta que estos jets están bien definidos, ya que las funciones compuestas y son solo asignaciones de la línea real sobre sí misma. Esta relación de equivalencia a veces se llama contacto de k-orden entre las curvas en p.
Ahora se define el k- jet de una curva f sobre p para que sea la clase de equivalencia de f bajo , denotado como o . El k-espacio de jets de orden es entonces el conjunto de k-jets en p.
Como p varía sobre M, forma un fibrado sobre M: el k-ésimo orden de un fibrado tangente, a menudo indicado en la literatura como TkM (aunque esta notación ocasionalmente puede llevar a confusión). En el caso de k = 1, entonces el paquete de la tangente de primer orden es el paquete tangente habitual: T1M = TM.
Para demostrar que TkM es, de hecho, un paquete de fibras, es instructivo examinar las propiedades de en coordenadas locales. Sea (xi) = (x1, ..., xn) un sistema de coordenadas local para M en un entorno U de p. Abusando ligeramente de la notación, se puede considerar (xi) como un difeomorfismo local .
Lema. Dos curvas f y g sobre p son equivalentes al módulo si y solo si .
De hecho, la parte solo si es clara, ya que cada una de las n funciones x1, ..., xn M diferenciables sobre . Entonces, por la definición de la relación de equivalencia , dos curvas equivalentes deben tener .
Por el contrario, supóngase que φ es una función de valor real suave en M en un entorno de p. Como cada función suave tiene una expresión en coordenadas locales, puede expresar φ como una función en las coordenadas. Específicamente, si Q es un punto de M próximo a p, entonces
para alguna función suave de valor real ψ de n variables reales. Por lo tanto, para dos curvas f y g en p, se tiene
La regla de la cadena ahora establece la parte si de la reclamación. Por ejemplo, si f y g son funciones de la variable real t, entonces
que es igual a la misma expresión cuando se evalúa frente a g en lugar de f, recordando que f(0) = g(0) = p y f y g están en un contacto de orden k-ésimo en el sistema de coordenadas (xi).
Por lo tanto, el paquete de fibras TkM admite una trivialización local en cada vecindad de coordenadas. En este punto, para demostrar que este paquete de fibras ostensibles es, de hecho, un paquete de fibras, basta con establecer que tiene funciones de transición no singulares bajo un cambio de coordenadas. Sea un sistema de coordenadas diferente, tal que sea el difeomorfismo del cambio de coordenadas asociado al espacio euclidiano consigo mismo. Por medio de una transformación afín de , se puede suponer sin pérdida de generalidad que ρ(0) = 0. Con esta suposición, es suficiente para demostrar que es una transformación invertible bajo la composición de jet (véase también grupo de jets). Pero como ρ es un difeomorfismo, también es una aplicación diferenciable. Por lo tanto,
lo que prueba que no es singular. Además, es diferenciable, aunque este hecho no se comprueba aquí.
Intuitivamente, esto significa que se puede expresar el jet de una curva a través de p en términos de su serie de Taylor en coordenadas locales en M.
Ejemplos en coordenadas locales:
Como se indicó anteriormente, el 1-jet de una curva a través de p es un vector tangente. El vector tangente en p es un operador diferencial de primer orden que actúa sobre funciones suaves de valores reales en p. En coordenadas locales, cada vector tangente tiene la forma
Dado un vector tangente v, sea f la curva dada en el sistema de coordenadas xi por . Si φ es una función suave en un barrio de p con φ(p) = 0, luego
es una función suave de valor real de una variable cuyo 1-jet viene dado por
.