|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
複素解析では、ルンゲの定理(Runge's theorem)（また、ルンゲの近似定理(Runge's approximation theorem)としても知られている）は、1885年、最初にこの定理を証明したドイツの数学者カール・ルンゲ (Carl Runge) の名前に因んでいる。この定理は以下の内容である。 C により複素数の集合を、K により C のコンパクト部分集合を、f により K を含む開集合上で正則な函数を表すとする。A が の中のすべての有界連結な集合の少なくともひとつの複素数を含むような集合とすると、有理函数の列 が存在し、K 上の f へ一様収束し、函数 のすべての極は A の元である。 A のすべての複素数が有理函数の列 の極となるわけではないことに注意する。 極となるようなすべての数については、それらが A の中にあることしか分からない。 この定理が非常に強力であるという一つの側面は、集合 A を任意に選択できることである。言い換えると、 の有界連結な成分の中から任意の複素数を選び、選んだ数のみが極となるように有理函数の列の存在するようにを選ぶことができるという定理である。 が連結集合（同値なことであるが、K が単連結）である特別な場合は、定理の集合 A は食う集合となる。極をもたない有理函数は単に多項式であるので、次の系を得る。K が が連結集合であるような C のコンパクト部分集合である、f が K 上の正則函数であれば、K 上で一意に f へ収束する多項式の列 が存在する。 ルンゲの定理は次のように一般化される。A をリーマン球面 C∪ の部分集合とし、A が K の非有界な連結成分（ここでは ∞ を含んでいる）と交わるとすると、上の定式化の中では、有理函数は無限遠点に極を持つことが分かる。一方、さらに一般的な定式化の中では、極は K の非有界な連結成分のどこにでも選ぶことができる。 ==証明== で与えられた基本的な証明は、次のような証明である。閉で区分線型な K を含む開集合の周囲 Γ が存在する。コーシーの積分定理により、K の元 w について、 : である。リーマン近似和は、K 上の周回積分を一意に近似することに使える。和の各々の項は、積分路の周意の点 z に対し、 (z − w)−1 のスカラー倍である。これは Γ 上に極を持つ有理函数により一意に近似する。 これを K の各々の成分の特別な点で極を持つ近似へ変形するには、形式 (z − w)−1 の項に対しこのことを確認することで充分である。z0 が z として同じ成分の中の点であれば、z から z0 への区分線型な経路をとる。2つの点が経路上充分近くであれば、最初の点でのみ極を持つすべての有理函数は、第二の点でのローラン展開することができる。ローラン級数が第二の点でのみ極を持ち、K 上でもとの函数に一様に収束する有理函数を与えることにより、消去することができる。z から z0 への経路にそって進むと、もとの函数 (z − w)−1 は z0 でのみ極を持つ有理函数を与えるように変形することができる。 z0 が無限遠点であれば、上の手順により、有理函数 (z − w)−1 を、R を w < R となるように大きくすると、R > 0 で極を持つ有理函数 g により、まず近似することができる。g の 0 でのテイラー級数展開は、K 上の多項式近似を与えることにより消去することができる。
|