読者です 読者をやめる 読者になる 読者になる

記号の世界ゟ

このブログでは, 数学書などの書評を書きます。また、受験などの勉強法をまとめます。

微分ガロア理論

Liouvilleの定理の証明

今回はついにLiouvilleの定理の証明をします。以前の結果を使ったり、少し面倒な補題が必要になるので、証明のアイデアがわかることを重視して書こうと思います。 の不定積分が書けないことの証明は、以下の記事を参考にしてください。 tetobourbaki.hatenab…

ライプニッツ則と合成関数の微分

ライプニッツ則と合成関数の微分の関係について、少し書いておきます。 一般の体 を考えます。この体が微分体であるとは、関数 があり、以下の2つの条件を満たすことを言います: (i) (加法的) すべての に対して が成り立つ。 (ii) (ライプニッツ則) すべて…

微分環と双対数

微分環は、環の構造に加えて微分を考えているものでした。双対数を用いると、微分環は単なる環の議論に言い換えることができるということを知りました。けっこう感動したので、まとめておこうと思います。 双対数の定義 微分環と双対数 双対数の応用:微分を…

微分体の応用(Schanuel予想もあるよ)

今回は微分体の応用として、と が有理関数体 上で超越的であることを見ていきます。 実は、今回の内容はLiouvilleの定理の証明の準備になっています。 (というより、Liouvilleの定理の証明が大変なので、記事を分けることにした次第です。) おまけとして、と…