今回の目標
複素解析の面白い部分のひとつである「解析接続」について紹介しようと思ったのですが、その準備として「一致の定理」が必要であることに気付きました。そこで一致の定理の記事を書こうとしていたのですが、証明を書いていたら長くなってしまったので、まずは準備の準備として、「零点の離散性」を紹介したいと思います。
今回の予備知識
用語について
- 連結な開集合のことを領域といいます。
- を領域とします。が関数の零点であるとは、をみたすことをいいます。
- 内の集合と点に対して、がの孤立点であるとは、のある近傍が存在して、が成り立つことをいいます。また、が離散的であるとは、任意のがの孤立点であることをいいます。
定義・性質について
今回は、解析関数と呼ばれる関数の性質を紹介します。解析関数の定義を見てみましょう。
解析関数
を領域(連結な開集合)とする。関数が解析的であるとは、任意のに対して、あるの近傍と ()が存在して、任意のに対して
が成り立つことをいう。
このように、無限級数として解析関数を表示することを、(を中心とする)テイラー展開と呼びます。右辺の無限級数は、とおいたとき、を中心とする半径の円の内部で収束することが知られています。この円のことを収束円とよび、収束円の半径を収束半径とよびます。このとき、収束円上に定まる関数もまた解析関数になることが知られています。また、解析関数は連続であることも知られています。
複素関数が解析的であることと、正則であること(複素微分可能であること)はじつは同値になることが知られています。これはとても重要な結果ですが、今回は使いません。
零点の離散性とその証明
今回紹介する定理は、次のようになります。
解析関数の零点の離散性
を領域とし、関数が解析的であるとする。が恒等的にでないならば、の零点集合は内で離散的である。
定理1の証明は、以下のような流れになっています。
- (Step 1) をの零点としたとき、以下のいずれかの状況であることを示す:
- の近傍上にまったく零点がない
- のある近傍がすべて零点である
- (Step 2) この結果との連結性から、すべての零点が一斉に1.のパターンであるか、一斉に2.のパターンであるかのいずれかの状況しかないことを示す。
証明の前半
Step1
の零点集合をと書く。すなわち、
とする。
を任意にとる。まず次のことを示す:
- (主張) 以下の1.か2.のいずれかが成り立つ。
- がの孤立点である。すなわち、あるの近傍が存在して、が成り立つ。
- のある近傍が存在して、上で恒等的にとなる。
を中心にしてをテイラー展開して、収束円上で
と書く。なので、である。
すべてのがであれば、上でである。
一方、のうちでないものが存在するならば、をみたす最小のが存在するので、それをとおく。だったから、である。
すると、
と書くことができる。無限和の部分を
とおくと、これは上の解析関数を定める(収束半径が変わらないことを確かめることができる)。である。解析関数は連続なので、のある近傍が存在して、に対してである。
したがって、上での零点はのみである。これで(主張)が示された。
以上が証明の前半になります。解析的なのでテイラー展開をして、係数のうち0でない最も低い次数のところを取り出し、「因数分解」のようなことをしたことになります。そうすると、出てきたの部分もまた解析関数になるので、連続性から近くに零点が全くないことがわかります。
証明の後半
それでは証明の後半を見てみましょう。
prf Step2
が恒等的にでないとして、すべてのの零点がの孤立点であることを証明する。そのために、(主張)の2.のタイプの零点の集合を
とおく。が内で開かつ閉であることを示そう。すると、は連結なので、は空であるかと一致することになる。後者であればは恒等的にだということになるので仮定に反する。したがって前者が成り立ち、のすべての零点がの孤立点となることがわかる。
(がの開集合であること) をとる。定義から、あるの開近傍が存在して、となる。すると、内の点はすべてにも含まれる。したがって、はの近傍となる。これは任意のに対して成り立つので、は開集合である。
(がの閉集合であること) 内の点列であって、となるものをとる。すべてのについてであるとしてよい。の連続性から、である。したがってであるから、は(主張)の1.か2.をみたすことになる。に収束する点列ですべてのについてとなるものが存在しているので、1.とはなりえず、したがって2.である。よって、となり、は閉集合である。
以上から、が内で開かつ閉であることが言え、証明が終わる。
後半は連結性を用いたよくある議論になっています。開集合であることは定義からほぼ自明で、閉集合であることにStep 1の結果を使っています。
次回以降、一致の定理や解析接続の紹介ができればと思います。それではまた!