京大数学科院試過去問解答例(1992II07)

ここでは京大RIMS数学教室の修士課程の院試の1992II07の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

1992II07

$C$ 上の連結領域 $D$ をとり、 $D$ 上の有界正則関数全体の集合を $A (D)$ とおく。そして $z \in D$ に対して
$M_{D} (z) := sup_{f \in A (D)} | f^{'} (z) |$
とおく。いま $D$ は条件

ある $z_{0} \in D$ に対して $M_{D} (z) = 0$

が満たされているとする。

$A (D) = C$ であることを示しなさい。
$D$ 上の非有界関数 $φ$ を任意に取ったとき、任意の $α \in C$ に対して、
$lim_{n \to \infty} φ (x_{n}) = α$
なる $D$ 上の複素数列 ${x_{n}}$ が存在することを示しなさい。
条件を満たす $D$ の例を $C$ 以外で一つ挙げなさい。
条件を満たす $D$ で単連結なものは $D = C$ に限ることを示しなさい。

背理法で示す。有界かつ非定数かつ $f^{'} (z_{0}) = 0$ であるような $D$ 上の正則関数 $f$ が取れたとする。これは $f (z) - f (z_{0})$ を改めて $f$ とおくことにより $f (z_{0}) = 0$ と取ることができる。 $f$ の $z_{0}$ に於けるオーダーを $n$ としたとき、 $g = \frac{f (z)}{(z - z_{0})^{n}}$ とおく。これは $D$ 上有界かつ正則かつ $g^{'} (z_{0}) \neq 0$ であり、 $D$ の満たすべき条件に矛盾する。よって $A (D) = C$ である。
背理法で示す。ある $α$ について $φ (x_{n}) \to α$ なる点列 $x_{n}$ が取れないとする。このとき $α$ を含む充分小さい円 $C$ の内部 $B$ に対して、 $φ (D) \cap B = \emptyset$ になる。しかしこの $φ$ に $C$ を保ち、その内側と外側を入れ替えるメビウス変換を合成させたものは有界かつ非定数な $D$ 上の正則関数になり(1)に矛盾する。よって仮定は誤りである。
$D = C^{\times}$ が所望の例であることを示す。 $f$ を $A (D)$ 上の元とする。 $f$ の有界性から $z = 0$ は $f$ の除去可能特異点である。よって $A (D) = A (C) = C$ が従うから、 $D = C^{\times}$ は所望の例である。
単連結な $D \neq C$ をとる。このときリーマンの写像定理により $D$ は $C$ の単位開円板と双正則であるから、 $D$ 上の非定数有界正則関数の存在が従う。よってこのような $D$ は条件を満たさない。

投稿日：12日前

更新日：10日前

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

54986

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

京大数学科院試過去問解答例(1992II07)