微分環
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。2015年10月) ( |
数学において、微分環(びぶんかん、英: differential ring)、微分体(びぶんたい、英: differential field)、微分多元環(びぶんたげんかん、英: differntial algebra)は、それぞれ有限個の微分(加法的または線型な単項演算で積の微分法則(ライプニッツ則)を満足する)を備えた環、体、多元環である。微分環の微分はしばしば ∂, δ, d, D 等の記号を用いて表される。微分体の自然な例として、複素数体上の一変数有理関数体 C(t) に微分として普通の意味での微分 D = d⁄dt をとったものを挙げることができる。
そのような代数系自身の研究およびそれら代数系の微分方程式の代数的研究に対する応用を研究する分野を微分代数学 (Differntial Algebra) と呼ぶ。微分環はジョセフ・リットが導入した[1]。
微分環
環 R とその上の写像 ∂: R → R の組 (R, ∂) が微分環であるとは、二つの条件
作用素のレベルで見れば、環の乗法を M: R × R として
微分体
微分体は、微分を備える可換体 K を言う。ここで、微分は体の構造と両立する(つまり除法と整合する)ようなものをとるべきであるが、よく知られた商の微分法則
微分体 K に対してその定数体 (field of constants) は k ≔ {u ∈ K | ∂(u) = 0} で与えられる。
微分多元環
体 K 上の微分多元環は、スカラー乗法と両立する微分を備えた K-多元環 A を言う。すなわち、各微分 ∂ は係数体と元ごとに可換:
- リー環上の微分
- 体 K 上のリー環 上の微分 ∂ とは、K-線型写像 であって、リー括弧積に関するライプニッツ則 を満たすものをいうのであった。任意の に対し ad(a): x ↦ [a, x](つまり ad はリー環の随伴表現)が 上の微分となることはヤコビの等式による。このように得られる微分を、リー環 の内部微分と呼ぶ。
リー環の内部微分を、その普遍包絡環へ延長して、普遍包絡環を微分多元環とすることができる。
例
- A が単位的多元環ならば、その乗法単位元を 1 として ∂(1) = 0 である(∂(1) = ∂(1 × 1) = ∂(1) + ∂(1))。従って、例えば 標数 0 の微分体 K は、常に有理数体を K の定数体の部分体として含む。
- 任意の環は、零準同型(その任意の元を零元に写す)を自明な微分とみて、微分環である。
- 一変数有理係数有理式体 Q(t) は、∂(t) = 1 と正規化することで決まる、微分体として一意な構造を持つ(体の公理および微分の公理は、微分が t に関する通常の微分となることを保証する)。例えば、積の可換性と積の微分公式により、∂(u2) = u⋅∂(u) + ∂(u)⋅u= 2u∂(u) が成り立つ。
微分体 Q(t) は微分方程式 ∂(u) = u の解を持たないが、指数関数 et を含むより大きい微分体に拡大して、この微分方程式がそこで解を持つようにすることができる。任意の微分方程式系に対する解を有する微分体を微分的閉体という。自然な代数的もしくは幾何学的対象としては現れないが、このような微分体は存在する。(濃度を適当に上から抑えるとき)すべての微分体は、単一の大きな微分的閉体の中に埋め込める。微分体は、微分ガロア理論の研究対象である。
擬微分作用素の環
微分環および微分多元環 R は、しばしばそれらの上の擬微分作用素の環
関連項目
参考文献
- ^ Ritt, Joseph Fels (1950). Differential Algebra. AMS Colloquium Publications. 33. New York: American Mathematical Society
関連文献
- Buium, Alexandru (1994), Differential Algebra and Diophantine Geometry, Actualités mathématiques, Hermann.
- Kaplansky, Irving (1957), An Introduction to Differential Algebra, Actualités scientifiques et industrielles, Hermann.
- Kolchin, E. R. (1973). Differential Algebra and Algebraic Groups. Pure and applied mathematics. 54. New York: Academic Press
- Marker, David (1996). “2: Model theory of differential fields”. In Marker, D.; Messmer, M; Pillay, A.. Model theory of fields. Lecture notes in Logic. 5. Berlin: Springer Verlag. pp. 38–113
- Magid, Andy R. (1994), Lectures on Differential Galois Theory, University Lecture Series, 7, American Mathematical Society, ISBN 9780821882665 (review (PDF) )
外部リンク
- Bhatt, Bhuvanesh. "Differential Algebra". MathWorld (英語).
- differential algebra in nLab
- differential field - PlanetMath.(英語)
- Mikhalev, A.V.; Pankrat'ev, E.V. (2001), "Differential algebra", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。
微分体
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/02/05 08:29 UTC 版)
微分体は、微分を備える可換体 K を言う。ここで、微分は体の構造と両立する(つまり除法と整合する)ようなものをとるべきであるが、よく知られた商の微分法則 ∂ ( u v ) = ∂ ( u ) v − u ∂ ( v ) v 2 {\displaystyle \partial \left({\frac {u}{v}}\right)={\frac {\partial (u)v-u\partial (v)}{v^{2}}}} は積の法則から導かれる。実際に ∂ ( u v × v ) = ∂ ( u ) {\textstyle \partial ({\tfrac {u}{v}}\times v)=\partial (u)} が成り立つべきところ、左辺に積の法則を適用して ∂ ( u v ) v + u v ∂ ( v ) = ∂ ( u ) {\textstyle \partial ({\frac {u}{v}})v+{\frac {u}{v}}\partial (v)=\partial (u)} となるから、∂(u/v ) で整理すれば所期の式を得る。 微分体 K に対してその定数体 (field of constants) は k := {u ∈ K | ∂(u) = 0} で与えられる。
※この「微分体」の解説は、「微分環」の解説の一部です。
「微分体」を含む「微分環」の記事については、「微分環」の概要を参照ください。
- 微分体のページへのリンク