つまり軌道の数(これは自然数あるいは+∞)は群 G の元による固定点の数の平均(これも自然数あるいは+∞)と等しい。もし G が無限群ならば |G| による除法は定義されないが、その場合には次の基数に関する主張が成り立つ。 | G | ⋅ | X / G | = ∑ g ∈ G | X g | {\displaystyle
マズールの補題
収束する任意の列に対して、列の要素の凸結合から作られる列であって同じ極限に強収束するようなものがとれることを主張する。この補題を使ってトネリの定理(英語版)を証明することができる。 (X, || ||) をバナッハ空間とし、 (un)n∈N はある X の要素 u0 に弱収束する X の要素の列とする:
左分裂 (left split) 写像 t: B → A が存在して tq は A 上恒等写像である。 2. 右分裂 (right split) 写像 u: C → B が存在して ru は C 上恒等写像である。 3. 直和 (direct sum) B は A と C の直和(英語版)に同型で、q
ポアンカレの補題
数学において、ポアンカレの補題(ぽあんかれのほだい、英: Poincaré lemma)とは代数的位相幾何における定理の一つ。ユークリッド空間において、閉形式である微分形式が完全形式となることを主張する。ベクトル解析におけるポテンシャルの存在条件を一般化したものとみなされる。 多様体上の k 次の微分形式 ω について、その外微分
が自己準同型のときに起きる。シューアの補題は、イサイ・シューアの名前に因んでいる。彼はこの補題を使い、大直交性定理を証明し、有限群の表現論の基礎を確立した。シューアの補題は、リー群やリー代数へ一般化されており、多くの部分はジャック・ディクスミエ(英語版)によるものである。 代数 A 上の既約加群 M, N の間の
Lee commented
Lee commented
Lee commented
yuhui liao commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented
Lee commented