Diferenciální okruhy , pole a algebry se nazývají okruhy , pole a algebry vybavené derivací – unární operací, která splňuje pravidlo součinu . Přirozeným příkladem diferenciálního pole je pole racionálních funkcí jedné komplexní proměnné , operace derivace odpovídá derivaci vzhledem k . Teorii vytvořil Joseph Ritt (1950) a jeho student Ellis Kolchin [1] [2] .
Diferenciální kruh je kruh R vybavený jedním nebo více endomorfismy ( derivacemi )
splňující pravidlo produktu
pro jakýkoli . Zdůrazňujeme, že pravidlo může selhat v nekomutativním kruhu. V neindexové formě zápisu, pokud - násobení v kruhu, pak bude mít pravidlo součinu formu
kde je mapování páru na pár .
Diferenciální pole je pole K vybavené derivací. Diferenciace se musí ve formuláři řídit Leibnizovým pravidlem
protože násobení v poli je komutativní. Diferenciace musí být také distributivní s ohledem na sčítání:
Pole konstant diferenciálního pole se nazývá .
Diferenciální algebra přes pole K je K -algebra A , ve které derivace komutují s polem. To znamená pro všechny a :
V neindexové formě, pokud je morfismus kruhů, který definuje násobení skaláry v algebře, pak
Stejně jako v jiných případech musí diferenciace splňovat Leibnizovo pravidlo pro násobení v algebře a být lineární s ohledem na sčítání. To znamená pro všechny a :
a
Odvození Lieovy algebry je lineární zobrazení , které splňuje Leibnizovo pravidlo:
Pro jakýkoli operátor - diferenciace na , která vyplývá z identity Jacobi . Jakékoli takové odvození se nazývá vnitřní .
Jestliže je algebra s jednotkou , pak , protože . Například v diferenciálních polích charakteristiky 0 tvoří racionální prvky podpole v poli konstant.
Jakékoli pole lze považovat za pole konstant.
V poli existuje přirozená struktura diferenciálního pole, definovaná rovností : z axiomů pole a diferenciace vyplývá, že se bude jednat o diferenciaci vzhledem k . Vyplývá to například z komutativnosti násobení a Leibnizova pravidla, že
Neexistuje žádné řešení diferenciální rovnice v diferenciálním poli , ale může být rozšířeno na pole obsahující funkci , která má řešení této rovnice.
Diferenciální pole, které má řešení pro jakýkoli systém diferenciálních rovnic, se nazývá diferenciálně uzavřené pole . Taková pole existují, i když v algebře nebo geometrii přirozeně nevznikají. Jakékoli diferenciální pole (o omezeném výkonu ) je zabudováno do většího diferenciálně uzavřeného pole. Diferenciální pole jsou studována v diferenciální Galoisově teorii .
Přirozenými příklady derivací jsou parciální derivace , Lieovy derivace , Pincherleova derivace a komutátor s ohledem na daný prvek algebry. Všechny tyto příklady úzce souvisejí s obecnou myšlenkou diferenciace.
Diferenciální kruhy a diferenciální algebry jsou často studovány pomocí kruhu pseudodiferenciálních operátorů nad nimi:
Násobení v tomto kruhu je definováno jako
Zde je binomický koeficient . Všimněte si identity
následující z
a
Dovolit být odstupňovaná algebra , být homogenní lineární zobrazení, . se nazývá homogenní derivace jestliže při působení na homogenní prvky . Odstupňovaná derivace je součtem homogenních derivací se stejným .
Jestliže , definice je stejná jako běžná diferenciace.
Pokud tedy pro liché . Takové endomorfismy se nazývají primitivní deriváty .
Příklady anti-derivátů jsou vnější a vnitřní deriváty diferenciálních forem .
Stupňované deriváty superalgeber (tj. -gradované algebry) se často nazývají superderiváty .
Odvětví matematiky | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
Portál "Věda" | ||||||||||
Základy matematiky teorie množin matematická logika algebra logiky | ||||||||||
Teorie čísel ( aritmetika ) | ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
| ||||||||||
|