翻訳と辞書 |
補題[ほだい] 数学において、「補助定理」(helping theorem) あるいは補題 (lemma) とは、それ自身興味あるステートメントとしてよりはむしろ、より大きな結果のための一歩として使われる、証明された命題である。 ==定理との比較== 補題と定理の間に形式的な区別は全くなく、意図の違いでしかない。Theorem terminology を参照。しかしながら、補題はそのただ 1 つの目的が定理の証明を助けることであるマイナーな結果 - いわば証明の未知の一歩 - であると考えることができる〔http://divisbyzero.com/2008/09/22/what-is-the-difference-between-a-theorem-a-lemma-and-a-corollary/〕。
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「補題」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|