Corps différentiel

Corps différentiel

La notion de corps différentiel permet de formaliser la notion de dérivation de fonctions, en vue de construire une théorie de Galois différentielle. Un corps différentiel est un cas particulier d'anneau différentiel.

Définition

Un corps différentiel est la donnée d'un corps K et d'une dérivation \partial sur K qui vérifie :

  • \forall y_1,y_2 \in K, \partial (y_1+y_2)=\partial (y_1)+\partial(y_2)
  • \forall y_1,y_2 \in K, \partial (y_1y_2)=\partial (y_1)y_2+y_1\partial(y_2) (formule de Leibniz)

Exemples

  1. Tout corps peut être muni de la dérivation nulle. On s'attend dans ce cas à ce que la théorie des corps différentiels coïncide avec la théorie des corps.
  1. L'exemple paradigmatique est \mathbb{C}(t), le corps des fractions rationnelles, muni de la dérivation usuelle (celle qui étend la dérivation des polynômes).

Cet exemple peut être décliné dans des versions plus complexes :

  1. Le corps des séries de Laurent \mathbb{C} \left ( \left ( t \right ) \right ) muni de la dérivation usuelle (celle qui étend la dérivation des séries formelles)
  1. Le corps \mathbb{C} \left (\{ t \}\right ) des germes (en) de fonctions méromorphes au voisinage de 0 muni de la dérivation induite par la dérivation des fonctions holomorphes. Ce corps peut aussi être vu comme le corps des fractions de l'anneau intègre \mathbb{C} \{ t \} des séries formelles à coefficients dans C qui ont un rayon de convergence non nul.
  1. Le corps différentiel K < y > est par définition le corps des fractions rationnelles à une infinité (dénombrable) d'indéterminées, K<y>=K(y_0, y_1, y_2, \ldots) muni de la dérivation définie par \partial y_i=y_{i+1} pour tout i et \forall x\in K, \,\partial x=0.

Quelques propriétés

  1. Soit K un corps différentiel et L une extension finie de K. Alors, il existe une unique dérivation sur L qui étende la dérivation de K.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Corps différentiel de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • Corps Différentiel — La notion de corps différentiel permet de formaliser la notion de dérivation de fonctions, en vue de construire une théorie de Galois différentielle. Un corps différentiel est un cas particulier d anneau différentiel. Définition Un corps… …   Wikipédia en Français

  • Corps differentiel — Corps différentiel La notion de corps différentiel permet de formaliser la notion de dérivation de fonctions, en vue de construire une théorie de Galois différentielle. Un corps différentiel est un cas particulier d anneau différentiel.… …   Wikipédia en Français

  • CORPS - La sémiotique du corps — Si la sémiologie est la science des signes, la sémiologie du corps se définira comme la région de cette science dont l’objet est le corps comme signe. Comment le corps humain peut il être signe ou ensemble de signes? Comment peut il signifier?… …   Encyclopédie Universelle

  • différentiel — 1. différentiel, ielle [ diferɑ̃sjɛl ] adj. • fin XVIIe; lat. sc. differentialis, de differens → différent ♦ Didact. Relatif aux différences ou aux variations. 1 ♦ Math. CALCUL DIFFÉRENTIEL : partie des mathématiques qui a pour objet l étude des… …   Encyclopédie Universelle

  • Corps noir (appareil) — Pour Le concept en physique quantique, voir Corps noir. Un corps noir est un appareil capable d’émettre un rayonnement infrarouge. Les corps noirs sont utilisés pour caractériser les caméras thermiques, les pyromètres[1]… Il existe plusieurs… …   Wikipédia en Français

  • Myopathie a corps d'inclusion — Myopathie à corps d inclusion La myopathie à corps d inclusion débute à l âge adulte par une faiblesse lentement progressive des muscles distaux (de la jambe et de l avant bras) qui commence par des troubles de la marche et des pieds ballants par …   Wikipédia en Français

  • Myopathie À Corps D'inclusion — La myopathie à corps d inclusion débute à l âge adulte par une faiblesse lentement progressive des muscles distaux (de la jambe et de l avant bras) qui commence par des troubles de la marche et des pieds ballants par atteinte du muscle tibial… …   Wikipédia en Français

  • Myopathie à corps d'inclusion — La myopathie à corps d inclusion débute à l âge adulte par une faiblesse lentement progressive des muscles distaux (de la jambe et de l avant bras) qui commence par des troubles de la marche et des pieds ballants par atteinte du muscle tibial… …   Wikipédia en Français

  • Algèbre sur un corps — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, une algèbre sur un corps commutatif K, ou simplement une K algèbre, est une structure algébrique (A , + , . , × ) telle que : (A, +, ·) est un espace vectoriel sur K,… …   Wikipédia en Français

  • Algebre sur un corps — Algèbre sur un corps En mathématiques, une algèbre est une structure algébrique qui se définit comme suit: est une algèbre sur un corps , ou autrement dit une algèbre si : (E, +, ·) est un espace vectoriel sur la loi × est définie …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”