数学やその他の分野において、 [ a ]補題(複数形:lemmasまたはlemmata)とは、一般的には証明済みの重要でない命題であり、より大きな命題を証明するために用いられる。そのため、「補助定理」または「補助定理」とも呼ばれる。[ 3 ] [ 4 ]多くの場合、補題の重要性は証明しようとする定理に由来するが、補題が当初考えられていたよりも重要であることが判明することもある。[ 5 ]
古代ギリシャ語のλῆμμα(完了受動態εἴλημμαι)に由来し、受け取ったり、取られたりしたもの。例えば、議論において当然のこととみなされるもの。[ 6 ]
補題と定理の間には正式な区別はなく、意図の違いがあるだけです(定理の用語を参照)。しかし、補題は、より本質的な定理を証明するのに役立つことを唯一の目的とする、つまり証明の方向への一歩である、小さな結果とみなすことができます。[ 5 ]
数学における強力な結果の中には、補題として知られるものがあります。これらは元々、その小さな目的のために名付けられました。例えば、以下のようなものがあります。
これらの結果は当初、独立した関心を正当化するには単純すぎる、または専門的すぎるように思われましたが、最終的には、それらが生じる理論の中心となることが判明しました。
この記事には、Creative Commons Attribution-Share-Alike Licenseに基づいてライセンスされているPlanetMathの Lemma の資料が組み込まれています。