语言
没有数据
通知
无通知
の補題、ガウスの補題（英語版）、Greendlingerの補題 （英語版）、伊藤の補題、ジョルダンの補題、中山の補題、ポワンカレの補題、リースの補題、シューアの補題、シュワルツの補題、ウリゾーンの補題（英語版）、米田の補題、ツォルンの補題。 これらの結果は当初はあまりにも簡単であるかまたは個別の
シュワルツの補題（ドイツ語: Schwarzsche Lemma、英語: Schwarz lemma）は、ドイツの数学者ヘルマン・アマンドゥス・シュワルツにちなむ、複素解析における正則関数の性質に関する定理である。複素関数が正則であるために満たすべき、強い制約条件の1つを端的に示し、リーマンの
数学において、ポアンカレの補題（ぽあんかれのほだい、英: Poincaré lemma）とは代数的位相幾何における定理の一つ。ユークリッド空間において、閉形式である微分形式が完全形式となることを主張する。ベクトル解析におけるポテンシャルの存在条件を一般化したものとみなされる。 多様体上の k 次の微分形式 ω について、その外微分
が自己準同型のときに起きる。シューアの補題は、イサイ・シューアの名前に因んでいる。彼はこの補題を使い、大直交性定理を証明し、有限群の表現論の基礎を確立した。シューアの補題は、リー群やリー代数へ一般化されており、多くの部分はジャック・ディクスミエ（英語版）によるものである。 代数 A 上の既約加群 M, N の間の
集合論においてツォルンの補題（ツォルンのほだい、英: Zorn's lemma）またはクラトフスキ・ツォルンの補題（クラトフスキ・ツォルンのほだい）とは次の定理をいう。 命題 (Zorn の補題) 半順序集合Pは、その全ての鎖(つまり、全順序部分集合)がPに上界を持つとする。このとき、Pは少なくともひとつの極大元を持つ。
つまり軌道の数（これは自然数あるいは+∞）は群 G の元による固定点の数の平均（これも自然数あるいは+∞）と等しい。もし G が無限群ならば |G| による除法は定義されないが、その場合には次の基数に関する主張が成り立つ。 | G | ⋅ | X / G | = ∑ g ∈ G | X g | {\displaystyle
収束する任意の列に対して、列の要素の凸結合から作られる列であって同じ極限に強収束するようなものがとれることを主張する。この補題を使ってトネリの定理（英語版）を証明することができる。 (X, || ||) をバナッハ空間とし、 (un)n∈N はある X の要素 u0 に弱収束する X の要素の列とする:
数学の分野におけるファトゥの補題（ファトゥのほだい、英: Fatou's lemma）とは、ある関数列の下極限の（ルベーグ積分の意味での）積分と、積分の下極限とを関係付ける不等式についての補題である。ピエール・ファトゥの名にちなむ。 ファトゥの補題は、ファトゥ・ルベーグの定理（英語版）や、ルベーグの優収束定理の証明に使うことが出来る。
搜索 
搜索 搜索 
