コトバンクはYahoo!辞書と技術提携しています。

超限帰納法 ちょうげんきのうほうtransfinite induction

ブリタニカ国際大百科事典 小項目事典の解説

超限帰納法
ちょうげんきのうほう
transfinite induction

順序数αで番号づけられた命題 P(α)について,ξ<αについて P (ξ) が成立すれば,P (ξ) を証明することによって P (α) を証明する方法。自然数についての数学的帰納法を一般化したものである。αで番号づけるために,選択公理 (→ツェルメロの公理 ) を使って整列集合をつくらなければならないが,超限帰納法を直接使わないで,選択公理またはそれと同値な補題を使って証明することのほうが多い。

出典|ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について | 情報

世界大百科事典 第2版の解説

ちょうげんきのうほう【超限帰納法 transfinite induction】

一般化された数学的帰納法の一種で,次のような証明法である。整列集合Λの各元λに命題Pλが対応しているとき,次のことが証明できれば,すべてのPλは正しい。〈各λ∈Λに対して,μ<λならばPμが正しいという仮定のもとで,Pλは正しい〉。これでよい理由は,Pλが正しくないようなλがあったとして,そのようなλ全体の集合をMとすれば,Λが整列集合という仮定により,Mに最小元αがある。するとμ<αならばPμが正しいのだから,Pαも正しいはずで,α∈Mに反する。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

超限帰納法の関連キーワードツェルメロ集合論自然数仮定

今日のキーワード

気が置けない

遠慮したり気をつかったりする必要がなく、心から打ち解けることができる。「―◦ない間柄」[補説]文化庁が発表した「国語に関する世論調査」で、「その人は気が置けない人ですね」を、「相手に対して気配りや遠慮...

続きを読む

コトバンク for iPhone

コトバンク for Android