複素解析ゼミノート(1) -一致の定理
ただ今,絶賛夏休みを満喫中でございます.
そして,めっきりブログの更新頻度が減ってしまいました.
てへぺろ.
9月に入って,ようやく成績が発表されました.
まぁ,何とも言えない感じの成績でしたね.
後期はむつかしい授業が多いっぽいので,気合入れて頑張っていきましょうね.
とりま,夏休みの間にLebesgue積分のお勉強頑張ります.
今回から,6月より始めた複素解析ゼミで学んだことを適当にまとめていこうかなと思います.
「今さら記事にすんのかい」と思われるかもですが,最初の方は別にまとめんでもええかなって感じです.
というより,まとめる暇がありませんでした…
ゼミで使用しているテキストは,笠原乾吉さんの『複素解析 1変数解析関数』です.
まさかの文庫本です.
文庫本にしては色々書かれています.
僕の数学力だと,しばしば行間を埋めるのに苦労しますね…
この複素解析ゼミノートは,上で紹介したテキストの内容に沿ってまとめていくつもりです.
ということで,第一回目はテキストp.41の一致の定理を紹介していきます.
一致の定理は正則関数の強さを物語る定理の一つで,簡単に言うと「ある領域 上で定義された2つの正則関数が 内のある曲線上または小領域上で一致していれば, 上全体で両者が一致している」ことを保証してくれるものです.
この定理から解析接続のお話に繋がっていくそうですが,それについてはまた近い将来勉強してから記事にしたいですねぇ.
定理 2.1.1(一致の定理) は領域 で正則な関数とする. このとき,次が成り立つ. (i) 1点 で ならば, で恒等的に である. (ii) 1点 と に収束し である点列 が存在し, ならば で恒等的に である.
一致の定理を上の形で適用する機会は多分少ないです.
上のある1点の近傍またはある曲線上で であれば(ii)の仮定を満たすので,その形で一致の定理が用いられることが多いと思います.
この定理の証明ではTaylor展開と連結性を利用しますが,ここではそれらについて詳しく説明しません.
あと, とすると は 上で正則かつ であるので, として一致の定理が成り立つことを示せば十分です.
(i)の証明
集合 を
のように定めます.
このとき, が共に の開集合でかつ であることが分かれば, が連結であることから であることが示され,結局 であるので定理が示されます.
ここで の開集合とは,ある の開集合 により と表される集合のことです.
の閉集合も同様にして定義されます.
仮定より であることはすぐに分かるので,あとは2つの集合が の開集合であることを示すだけです.
(以下,特に断らない限り「開(閉)集合」は「 の開(閉)集合」を意味するものとします.)
まず, が開集合であることを示すのですが, であることから の開集合であることを示せば十分です.
任意の点 に対して に含まれるように点 のある-近傍 をとると,その近傍上で はTaylor展開可能で,
となります.
(ここで, であると解釈しています.)
より であるから
であることが分かります.
これより, 上全体で であるから
という結論を得ます.
以上より, が開集合であることが分かりました.
次に, が開集合であることを示します.
ここで, のときと同じような方針で示したくなりますが,そもそも は空集合であるかもしれないので,「 から任意の点をとる」といったことができないはずです.
ですので,「閉集合の補集合は開集合である」という性質を用いて, が開集合となることを確かめるためにその補集合である が閉集合であることを示したいと思います.
ここで,僕の小言挟まさせてください.
そもそも, が閉集合であることを示せた時点で, がどうとか関係なく直ちに が言えるはずです.
なぜなら, は開集合かつ閉集合であることが分かり,そのような集合は空集合を除いて しか存在しないからです.
要するに,僕は を考える必要なんてなかったのではと考えています.
しかし,テキストでは連結性について深く説明していないので*1,今回のような証明の方針をとっているのだと思いました.
というか,テキストが何をもって 「 が開集合である」と言っているのか僕にはよく分かりませんでした.
その辺を頭に入れて読んでいただけると幸いです.
正則関数は無限回微分可能であることが知られているので, は連続であることが分かります.
ここで, 上にある任意の収束点列 をとり,その極限が であるとすると,連続性と の定義から
となります.
これより となり, が閉集合であることが分かりました.
よって, も開集合であることが分かりました.
以上より, であるので(i)が示されました.
(ii)の証明
に含まれるように の -近傍 をとり,その上で が
と展開されるとします.
もし, であることが分かれば は(i)の仮定を満たし,結論を得ることができます.
ここでは,背理法によりこれを示します.
であるとします.
すると,
となり,ここで とおきます.
仮定より であるから,展開した式に を代入することにより直ちに を得ます.
さらに, が連続であるから も連続であるので,
であることが分かります.
よって, であるので が得られました.
しかし,これは であることに反するので,背理法により であることが示されました.
一致の定理より,領域 上で恒等的に0でない正則関数の零点が孤立していることも分かります.
( の零点とは, となる点 のことを言います.)
つまり,零点のある除外近傍内に零点が存在しないことを意味します.
もし,その正則関数の零点が孤立していなかったら(ii)より 上で恒等的に0となってしまい,仮定に反するからです.
とりま,今回はこの辺にしておきます.
数学の記事を書いていると自分の無学さに気づけることがよくあるので,これからも頑張って更新していきたいっすね.
*1:テキストp.243の付録Ⅰを参照