補題
数学において、「補助定理」(英: helping theorem) あるいは補題 (英: lemma) [注 1]とは、それ自体が興味深いステートメントと言うよりも、むしろ、より大きな結果を得る一歩として使われる、証明された命題である。
定理との比較
[編集]補題と定理の間に形式的な区別は全くなく、意図の違いのみである。
→「Theorem terminology」を参照
しかしながら、補題は定理の証明を助けることのみを目的とする（あまり重要でない）結果であり、証明へ至る道の途中に置かれた「飛び石」のようなものである[2]。
よく知られた補題
[編集]数学において強力な結果のあるものは，最初はそれら本来の狭い目的に由来していて，補題として知られる｡ それらの中には、たとえば以下のようなものがある：
例えば、ベズーの補題、デーンの補題、ユークリッドの補題、ファルカスの補題、ファトゥの補題、ガウスの補題、Greendlingerの補題 、伊藤の補題、ジョルダンの補題、中山の補題、ポワンカレの補題、リースの補題、シューアの補題、シュワルツの補題、ウリゾーンの補題、米田の補題、ツォルンの補題。
これらの結果は当初はあまりにも簡単であるかまたは個別の興味ある結果を保証するためのあまりにも技術的なものだと見なされたが，最終的にそれらの登場する理論にとっては要（かなめ）となるものであることが判明したものである｡
関連項目
[編集]
脚注
[編集]注
[編集]出典
[編集]- ^ Higham, Nicholas J. (1998) (英語). Handbook of Writing for the Mathematical Sciences. Society for Industrial and Applied Mathematics. pp. 16. ISBN 0-89871-420-6
- ^ Richeson, Dave (22 September 2008). “What is the difference between a theorem, a lemma, and a corollary?” (英語). January 2, 2015閲覧。
外部リンク
[編集]この記事は、クリエイティブ・コモンズ・ライセンス 表示-継承 3.0 非移植のもと提供されているオンライン数学辞典『PlanetMath』の項目Lemmaの本文を含む
 | この項目は、数理論理学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。 |