微分体とは? わかりやすく解説

微分環

(微分体 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/12/21 23:19 UTC 版)

数学において、微分環(びぶんかん、: differential ring)、微分体(びぶんたい、: differential field)、微分多元環(びぶんたげんかん、: differntial algebra)は、それぞれ有限個の微分英語版加法的または線型単項演算積の微分法則(ライプニッツ則)を満足する)を備えた多元環である。微分環の微分はしばしば ∂, δ, d, D 等の記号を用いて表される。微分体の自然な例として、複素数体上の一変数有理関数C(t) に微分として普通の意味での微分 D = ddt をとったものを挙げることができる。

そのような代数系自身の研究およびそれら代数系の微分方程式の代数的研究に対する応用を研究する分野を微分代数学 (Differntial Algebra) と呼ぶ。微分環はジョセフ・リット英語版が導入した[1]

微分環

R とその上の写像 : RR の組 (R, )微分環であるとは、二つの条件

を満たす、すなわち R加法群の間の準同型加法的写像)で積に関してライプニッツ則を満足するものであるときに言う。注意すべきは、ここで環は非可換となる場合もありうるから、通常よく用いられる微分を後ろに書くある種の標準形 ∂(xy) = x⋅∂y + y⋅∂x は積の可換性が保証されない場面では適切でないことである。

作用素のレベルで見れば、環の乗法を M: R × R として

なる等式として積の法則を書くこともできる。ただし、f × g写像の直積で、各 (x, y) を対 (f(x), g(x)) へ写す。

微分体

微分体は、微分を備える可換体 K を言う。ここで、微分は体の構造と両立する(つまり除法と整合する)ようなものをとるべきであるが、よく知られた商の微分法則

は積の法則から導かれる。実際に が成り立つべきところ、左辺に積の法則を適用して となるから、(u/v ) で整理すれば所期の式を得る。

微分体 K に対してその定数体 (field of constants) は k ≔ {uK  |  (u) = 0} で与えられる。

微分多元環

K 上の微分多元環は、スカラー乗法と両立する微分を備えた K-多元環 A を言う。すなわち、各微分 は係数体と元ごとに可換:

である。これは作用素のレベルでは、スカラー乗法を定義する環準同型 η: KA を用いて と書ける

リー環上の微分
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 は、しばしばそれらの上の擬微分作用素の環

を通じて研究される。この環の上に乗法は、
で定義される。二項係数である。 ここで、恒等式
には恒等式 および が用いられていることに注意。

関連項目

参考文献

  1. ^ Ritt, Joseph Fels (1950). Differential Algebra. AMS Colloquium Publications. 33. New York: American Mathematical Society. https://books.google.com/books?id=vBpzMqTH1j4C 

関連文献

外部リンク


微分体

出典: フリー百科事典『ウィキペディア(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} で与えられる

※この「微分体」の解説は、「微分環」の解説の一部です。
「微分体」を含む「微分環」の記事については、「微分環」の概要を参照ください。

ウィキペディア小見出し辞書の「微分体」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「微分体」の関連用語

微分体のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



微分体のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの微分環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの微分環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS