Inelele , câmpurile și algebrele diferențiale sunt numite inele , câmpurile și algebrele echipate cu diferențiere - o operație unară care satisface regula produsului . Un exemplu natural de câmp diferențial este câmpul funcțiilor raționale ale unei variabile complexe , operația de diferențiere corespunde diferențierii în raport cu . Teoria a fost creată de Joseph Ritt (1950) și elevul său Ellis Kolchin [1] [2] .
Un inel diferential este un inel R echipat cu unul sau mai multe endomorfisme ( derivatii )
satisfacerea regulii produsului
pentru orice . Subliniem că regula poate eșua într-un inel necomutativ. În forma de notare non-index, dacă - înmulțire în inel, atunci regula produsului va lua forma
unde este o mapare pereche-la-pereche .
Un câmp diferențial este un câmp K echipat cu o derivație. Diferențierea trebuie să se supună regulii Leibniz în formă
întrucât înmulțirea într-un câmp este comutativă. Diferențierea trebuie să fie și distributivă în raport cu adunarea:
Câmpul constantelor unui câmp diferențial se numește .
O algebră diferențială peste un câmp K este o K -algebră A în care derivațiile comută cu câmpul. Adică pentru orice și :
În formă non-index, dacă este un morfism de inele care definește înmulțirea cu scalari în algebră, atunci
Ca și în alte cazuri, diferențierea trebuie să îndeplinească regula lui Leibniz pentru înmulțirea în algebră și să fie liniară în raport cu adunarea. Adică pentru orice și :
și
O derivație de algebră Lie este o mapare liniară care satisface regula Leibniz:
Pentru orice operator - diferențiere pe , care decurge din identitatea Jacobi . Orice astfel de derivație se numește intrinsecă .
Dacă este o algebră cu unitate , atunci , deoarece . De exemplu, în câmpurile diferențiale cu caracteristica 0, elementele raționale formează un subcâmp în câmpul constantelor.
Orice câmp poate fi considerat ca un câmp de constante.
În câmpul , există o structură naturală a câmpului diferențial, definită de egalitate : din axiomele câmpului și diferențierii rezultă că aceasta va fi o diferențiere față de . De exemplu, din comutativitatea înmulțirii și din regula Leibniz rezultă că
Nu există o soluție pentru ecuația diferențială într-un câmp diferențial , dar poate fi extinsă la un câmp care conține o funcție care are o soluție la această ecuație.
Un câmp diferențial care are o soluție pentru orice sistem de ecuații diferențiale se numește câmp diferențial închis . Astfel de câmpuri există, deși nu apar în mod natural în algebră sau geometrie. Orice câmp diferențial (de putere limitată ) este încorporat într-un câmp diferențial închis mai mare. Câmpurile diferențiale sunt studiate în teoria diferențială Galois .
Exemple naturale de derivate sunt derivatele parțiale , derivatele Lie , derivata Pincherle și comutatorul față de un element dat al algebrei. Toate aceste exemple sunt strâns legate de ideea generală de diferențiere.
Inelele diferențiale și algebrele diferențiale sunt adesea studiate folosind inelul operatorilor pseudodiferențiali peste ele:
Înmulțirea în acest inel este definită ca
Aici este coeficientul binom . Observați identitatea
urmare de la
și
Fie o algebră gradată , fie o mapare liniară omogenă, . se numeste derivata omogena daca , cand actioneaza asupra elementelor omogene . O derivată gradată este suma derivatelor omogene cu același .
Dacă , definiția este aceeași cu diferențierea obișnuită.
Dacă , atunci , pentru impar . Astfel de endomorfisme sunt numite antiderivate .
Exemple de anti-derivate sunt derivatele externe și interne ale formelor diferențiale .
Derivatele gradate ale superalgebrelor (adică algebrele gradate) sunt adesea numite superderivate .
Ramuri ale matematicii | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Portalul „Știință” | ||||||||||
Bazele matematicii teoria multimilor logica matematica algebra logicii | ||||||||||
Teoria numerelor ( aritmetică ) | ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
|