Un jet (sau jet , din engleză jet ) este o structură determinată în mod unic de derivatele parțiale ale unei funcții (sau secțiuni) într-un punct până la o anumită ordine. De exemplu , k -jetul unei funcții la zero este descris în mod unic de următoarea secvență a numărului --lea:
Jeturile și germenii oferă un limbaj invariant pentru teoria ecuațiilor diferențiale pe varietăți netede .
K - jetul unui pachet netedpe o varietate într-un punct este o colecție de secțiuni netede având aceleași polinoame Taylor de gradul k într-un punctdintr-o diagramă (și, prin urmare, în orice) diagramă.
Spațiul jet într-un punct este notat ca .
Această definiție se bazează pe ideile de geometrie algebrică și algebrei comutative . Fie spațiul vectorial al germenilor de mapări netede în punctul . Fie idealul mapărilor care dispar într-un punct (acesta este idealul maxim al inelului local ) și fie idealul constând din germenii tuturor mapărilor care dispar într-un punct până la ordinul al treilea. Definim spatiul jeturilor intr-un punct ca
Dacă este o mapare lină, atunci putem defini un -jet într-un punct ca element pentru care
Indiferent de definiție, teorema lui Taylor stabilește un izomorfism canonic între spațiile vectoriale și , astfel încât jeturile de funcții din spațiul euclidian sunt adesea identificate cu polinoamele Taylor corespunzătoare.
Am definit spațiul cu jet în punctul . Subspațiul care conține acele jeturi de cartografiere pentru care , este notat
Să fie un pachet neted . Jetul de ordinul al treilea al secțiunilor sale este clasa de echivalență a acestor secțiuni, care sunt identificate dacă valorile lor și valorile derivatelor lor parțiale până la ordinul al treilea la un punct coincid. Jeturile de ordinul al treilea formează o varietate netedă numită colector de jet .
Teoria conexiunii , teoria operatorilor diferenţiali şi teoria lagrangiană asupra fasciculelor netede (inclusiv teoria clasică a câmpului ) sunt formulate în termeni de varietăţi de jet .