補題

数学の分野において、「補題」（ほだい、英: lemma）あるいは「補助定理」（ほじょていり、英: helping theorem）とは、一つの命題であり、それが証明されたものです。しかし、この命題が独立して主要な研究対象となることは少なく、むしろ、数学者たちが目指すより大きな、あるいはより重要な結果、すなわち「定理」を証明するための中間段階や準備として活用されるという特徴を持っています。

定理との関係性

補題と定理は、数学的な形式において本質的な違いはありません。どちらも厳密な証明を必要とする命題です。両者を区別するのは、その「意図」や「目的」によるものです。定理は、その数学分野における重要な結論や法則を示す最終的な目標であることが多いのに対し、補題は主にその定理の証明をより容易にし、論理の流れを整理するために導入される補助的な役割を果たします。例えるならば、複雑な山頂を目指す道筋の中で、補題は登山者が一時的に足を置くための「飛び石」のような存在であり、最終的な目的地である定理へと到達するための足がかりとなるのです。

補題を証明することで、複雑な証明をいくつかの小さな、管理しやすいステップに分割することが可能となります。これにより、証明全体の構造が見やすくなり、個々のステップの正しさを確認しやすくなります。また、特定の証明技術やテクニックを独立した補題として示すことで、それを他の証明に応用しやすくなる場合もあります。

よく知られた補題

数学の歴史においては、当初は特定の文脈や限られた目的のために補題として導入された命題が、その後に予想以上の重要性を持つことが判明し、広範な数学理論の基盤となるケースが少なくありません。これらの補題は、当初は比較的小さな結果と見なされたり、非常に専門的・技術的なものと考えられたりしましたが、最終的には関連する理論体系において核となる役割を果たすことが明らかになったのです。

特に有名な補題としては、以下のようなものが挙げられます。

ベズーの補題
デーンの補題
ユークリッドの補題
ファルカスの補題
ファトゥの補題
ガウスの補題
Greendlingerの補題
伊藤の補題
ジョルダンの補題
中山の補題
ポワンカレの補題
リースの補題
シューアの補題
シュワルツの補題
ウリゾーンの補題
米田の補題
* ツォルンの補題

これらの補題は、それぞれの分野（整数論、位相幾何学、解析学、代数学、確率論など）において、後に続く重要な定理や理論の発展に不可欠な貢献をしました。例えば、伊藤の補題は確率解析学の基礎を築き、米田の補題は圏論における非常に抽象的でありながら強力な結果の根幹をなしています。

関連事項

補題に関連する数学的な概念として、「系」（corollary）があります。これは、定理や補題から直接的かつ容易に導かれる命題を指します。補題の概念は、数学的な論証を組み立て、巨大な理論体系を築き上げる上で不可欠な要素となっています。

著名な数学者の中には、補題の形で重要な貢献をした人物もいます。例えば、確率解析の分野を創始した伊藤清氏や、代数学の中山正氏、圏論の米田信夫氏といった日本の数学者も、その名を冠した補題や関連する概念に貢献しています。これらの例からもわかるように、補題は単なる脇役ではなく、数学の発展において極めて重要な役割を担っているのです。

もう一度検索