数学において、微分環(びぶんかん、英: differential ring)、微分体(びぶんたい、英: differential field)、微分多元環(びぶんたげんかん、英: differntial algebra)は、夫々微分(びぶん、英: derivation)を有する環、体、多元環である。
ここで、微分とは、ライプニッツ則あるいは積の微分公式を満たす単項演算である。
微分体の自然な例としては、複素数体上の一変数有理関数体 C(t) である。
ここで、微分体としての微分は t に関する普通の意味での微分である。
微分環
環 R から R への写像 ∂ が、∀x, y ∈ R に対して常に次の 2 条件
- (ライプニッツ則、積の公式)
を満たすとき、∂ を微分または微分子(びぶんし、英: differentiation)という。
微分は、∂ 以外に、δ、d、D 等の記号を使うことがある。
環 R と R における一つまたは複数の微分とを考えあわせたものを微分環という。
ここで環は、可換である必要はなく、従って、可換性を有する場合の積の微分公式
∂(xy) = x∂y + y∂x
が成り立たないことがある。
を環の乗法とすると、積の公式は、等式
と等価である。
ここで、 は、対 を対 に移す関数である。
微分体
微分体とは、微分を有する体 K である。
微分体の理論 DF は、通常の体の公理に、微分に関する上記 2 つの公理を追加したものである。
体における積は可換であることから、微分は積の公式
に従わなくてはならない。
K が微分体のとき、
を定数体(ていすうたい、英: the field of constants)という。
微分多元環
体 K 上の微分多元環とは、一つまたは複数の微分を有する K 多元環 A において、各微分が係数体と可換性を有する、つまり微分 ∂ に対し、
を満たすをいう。
引数を用いない記法では、スカラー積を定義する環の射を とすると、
を満たすことをいう。
リー環上の微分
体 K 上のリー環 上の微分 ∂ とは、K 線型写像 であって、ライプニッツ則
を満たすものをいう。
に対し、ad(a)x = [a, x] で定まる線型写像
から、線形表現
が導かれる。
これは、随伴表現(ずいはんひょうげん、英: adjoint representation)と呼ばれる。
の元は、ヤコビの恒等式により 上の微分になる。
これを、内部微分(ないぶびぶん、英: inner derivation)という。
例
A が乗法単位元 1 を有するならば、∂(1) = ∂(1×1) = ∂(1) + ∂(1) だから、∂(1) = 0 である。
従って、例えば、標数 0 の微分体では、有理数体は常に、定数体の部分体である。
一変数有理係数有理式体 Q(t) は、∂(t) = 1 とすると、体の公理および微分の公理により、微分体としての微分が t に関する普通の意味での微分に一致し、微分体としての構造が一意に定まる。
例えば、積の可換性と積の微分公式により、
∂(u2) = u ∂(u) + ∂(u)u= 2u∂(u)
が成り立つ。
微分体 Q(t) において、微分方程式
- ∂(u) = u
は解を持たないが、指数関数 et を含むより大きい微分体に拡大でき、この拡大体でこの微分方程式は解を有する。
すべての連立微分方程式の解を有する微分体を、微分的閉体(びぶんてきへいたい、英: differentially closed field)という。
この様な体は存在するが、代数学や幾何学では、一般的な研究対象として取り扱われない。
濃度が有界なすべての微分体は、単一の大きな微分的閉体の中に埋め込める。
微分体は、微分ガロア理論の研究対象である。
自然な事例に見られる微分としては、偏微分、リー微分、Pincherle 微分
[1]
、多元環の元に関する交換子等がある。
これらの全ての例は、微分の概念を中心的テーマとして、互いに密接に関連している。
擬微分作用素の環
微分環および微分多元環は、それらの上の擬微分作用素の環を用いて研究されることが頻繁にある。
これは、以下の環である。
この環上の乗法は、以下により定義される。
ここで、 は二項係数である。
恒等式、
を使い、恒等式
が成り立つ。
脚注
- ^
体 K 上の多項式環 K[x] 上で、ベクトル空間としての線型写像 T : K[x] → K[x] が与えられたとき、∀f(x)∈K[x] に対し、
により定義される新たな線形写像
を、Pincherle 微分という。
関連記事