補題
数学において、「補助定理」(英: helping theorem) あるいは補題 (英: lemma) [注 1]とは、それ自体が興味深いステートメントと言うよりも、むしろ、より大きな結果を得る一歩として使われる、証明された命題である。
定理との比較
補題と定理の間に形式的な区別は全くなく、意図の違いのみである。
「Theorem terminology(英語)」を参照
しかしながら、補題は定理の証明を助けることのみを目的とする(あまり重要でない)結果であり、証明へ至る道の途中に置かれた「飛び石」のようなものである[2]。
よく知られた補題
数学において強力な結果のあるものは,最初はそれら本来の狭い目的に由来していて,補題として知られる。 それらの中には、たとえば以下のようなものがある:
例えば、ベズーの補題、デーンの補題(英語版)、ユークリッドの補題、ファルカスの補題(英語版)、ファトゥの補題、ガウスの補題(英語版)、Greendlingerの補題 (英語版)、伊藤の補題、ジョルダンの補題、中山の補題、ポワンカレの補題、リースの補題、シューアの補題、シュワルツの補題、ウリゾーンの補題(英語版)、米田の補題、ツォルンの補題。
これらの結果は当初はあまりにも簡単であるかまたは個別の興味ある結果を保証するためのあまりにも技術的なものだと見なされたが,最終的にそれらの登場する理論にとっては要(かなめ)となるものであることが判明したものである。
関連項目
ウィクショナリーに関連の辞書項目があります。
lemma
ウィクショナリーに関連の辞書項目があります。
補題
脚注
注
出典
外部リンク
- Doron Zeilberger筆、Opinion 82: A Good Lemma is Worth a Thousand Theorems ラトガース大学
この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Lemmaの本文を含む
- 表示
- 編集