補題

数学において、「補助定理」() あるいは補題 () とは、それ自体が興味深いステートメントと言うよりも、むしろ、より大きな結果を得る一歩として使われる、証明された命題である。

定理との比較
補題と定理の間に形式的な区別は全くなく、意図の違いのみである。しかしながら、補題は定理の証明を助けることのみを目的とする（あまり重要でない）結果であり、証明へ至る道の途中に置かれた「飛び石」のようなものである。

よく知られた補題
数学において強力な結果のあるものは，最初はそれら本来の狭い目的に由来していて，補題として知られる｡　それらの中には、たとえば以下のようなものがある：

例えば、ベズーの補題、、ユークリッドの補題、、ファトゥの補題、、、伊藤の補題、ジョルダンの補題、中山の補題、ポワンカレの補題、リースの補題、シューアの補題、シュワルツの補題、、米田の補題、ツォルンの補題。

これらの結果は当初はあまりにも簡単であるかまたは個別の興味ある結果を保証するためのあまりにも技術的なものだと見なされたが，最終的にそれらの登場する理論にとっては要（かなめ）となるものであることが判明したものである｡

関連項目

系 (数学)
東屋五郎
伊藤清
中山正
米田信夫

定理の用語集

 脚注 
 注 

 出典 

外部リンク
 Doron Zeilberger筆、Opinion 82: A Good Lemma is Worth a Thousand Theorems ラトガース大学

*
Category:命題
Category:数学用語
Category:数学に関する記事