Jet (matematică)

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 .

Definiții

Definiție analitică

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 .

Definiție algebro-geometrică

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

Teorema lui Taylor

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.

Spațiul jeturilor de la un punct la altul

Am definit spațiul cu jet în punctul . Subspațiul care conține acele jeturi de cartografiere pentru care , este notat

Jeturi de secțiuni ale unui pachet neted

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 .

Literatură