補題一覧

以下は補題(あるいは「補題」、すなわち小定理、あるいは証明から除外される中間的な技術的結果)の一覧です。公理一覧定理一覧予想一覧も参照してください。

代数

代数幾何学

カテゴリー理論

5つの補題を示す可換図

線形代数

群論

多項式

環論と可換代数

普遍代数

分析

複素解析

フーリエ解析

微分方程式

微分形式

機能解析

数学級数

数値解析

応用数学

長さ8の高速フーリエ変換の図
長さ8の高速フーリエ変換の図

制御理論

計算複雑性理論

暗号化

形式言語

ミクロ経済学

組合せ論

グラフ理論

秩序理論

動的システム

幾何学

ユークリッド幾何学

双曲幾何学

計量空間

リーマン幾何学

数理論理学

集合論

数論

解析的数論

ディオファントス方程式

ふるい理論

確率論

統計

測度論

トポロジー

微分位相幾何学

固定点理論

クナスター・クラトフスキー・マズルキエヴィチの補題によって記述される被覆の例

幾何学的位相幾何学

位相群と半群