Vをn次元実ベクトル空間、ΓをVの部分群とする。この時Γが離散部分群であればΓが格子となることを示します。
V_0をΓで張られるVの線形部分空間とし、mをV_0の次元とします。
このときΓの元からV_0の基底を選べるのでV_0の完全格子
Γ_0=Zu_1+.......+Zu_m ⊆Γ
ができる。
ここで(Γ:Γ_0)が有限であることを示す。
これを示すためにγ_i ∈ΓがΓ/Γ_0の剰余類の代表系を取るものとする。
Γ_0はV_0で完全なので基本平行体
Φ_0={x_1u_1+.....+x_mu_m|
x_i ∈R,0≦x_i<1}
を平行移動したΦ_0+γ_0の全体でV_0を覆うことができる。
よって任意のγ_i ∈Γは
γ_i=μ_i+γ_0i
(μ_i∈Φ_0, γ_0i∈Γ_0⊆V_0)
と書くことができる。
ここまではいいのですが
μ_i=γ_i-γ_i0 ∈Γは有界なΦ_0の中で離散的なのでその個数は有限である。とあるのですが、なぜこれで有限と言えるのかが分かりません。μ_i=γ_i-γ_i0 ∈Γは有界なΦ_0の中で離散的なのでその個数は有限であると言える詳しい証明を教えてください。
という質問に対して以下の解答をいただきました。
---------------------------
離散部分群の定義↓
https://ja.wikipedia.org/wiki/%E9%9B%A2%E6%95%A3 …
実ユークリッド空間は局所コンパクトですから、
V の有界部分集合である Φ_0 は、有限開被覆を持ちます。
「離散的」の定義により、Φ_0 の中で離散的な集合の元の濃度は
Φ_0 の開被覆の濃度以下です。よって有限。
---------------------------
この回答についてさらに質問があります。
1.実ユークリッド空間は局所コンパクト
と言えるのは何故ですか?
2.ユークリッド空間において任意の点xに対して有界閉集合となる近傍が存在すればハイネボレルの被覆定理でコンパクトな近傍の存在が言えると思いますが任意の点xに対して有界閉集合となる近傍が存在するという部分の証明がわかりません。
3.「離散的」の定義により、Φ_0 の中で離散的な集合の元の濃度は
Φ_0 の開被覆の濃度以下と言える理由と、これがわかると何故有限性が言えるのか分かりません。
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
1. ハイネ・ボレルの被覆定理(
https://ja.wikipedia.org/wiki/%E3%83%8F%E3%82%A4 … )と下記から。2. B(x,r)={y| |x-y|≦r } とする。r>0に対してB(x,r)はxの有界閉集合な近傍になる。
3. 『
「離散的」の定義により、Φ_0 の中で離散的な集合の元の濃度は
Φ_0 の開被覆の濃度以下です。
』はこの通りなら正しくはないかと。開被覆の作り方次第では言えるかもしれませんが。
なお、離散でコンパクトな空間は有限なので、コンパクト空間で離散的な部分集合は有限でしょうね。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- その他(教育・科学・学問) 関数、写像について 1 2022/04/10 23:45
- 数学 局所コンパクト空間になることの必要十分条件についての質問 3 2022/03/24 16:17
- 数学 「数列が無限大に発散するならばその任意の部分数列も発散する」という証明がありますが、 {an}= ・ 7 2022/07/31 10:42
- 数学 実数の収束と上限 4 2023/01/20 22:46
- 数学 数学の答えと解き方を教えてください。 問:ある(人数の非常に多い)集団から無作為に6名を選んで身長を 4 2022/12/14 10:06
- その他(法律) 共有者と弁護士費用の折半分の金額について、意見が分かれています。 2 2022/04/03 15:11
- 宗教学 現代のお経(←私の勝手な解釈です)の極一部分を、、、 1 2023/04/19 15:25
- 統計学 統計学の質問【帰無仮説】 W大学のP学部において、自宅通学者の比率にについて調べたい。 P学部から1 8 2023/05/25 23:28
- 政治 中国は一票の格差4倍で、日本は3倍ですが、それでも日本は民主主義国なら中国も同じですよね? 2 2023/03/16 04:52
- 数学 代数学 環 1 2022/10/11 00:04
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「無限の一つ前の数字は何?」...
-
無限順列に対して無限組合せを...
-
無限に1を引くとどうなりますか?
-
無限より大きい何か
-
分数関数についての質問です。...
-
二次関数での定義域と値域の違...
-
高校数学の関数について 値域や...
-
交換律と対称律の違い
-
実無限と可能無限の違いを教え...
-
命題がわかりません!!
-
高2の数学の対数関数です。 真...
-
三角関数の範囲について、 0≦x≦...
-
年代と年台・・・どちらが正し...
-
lim[n→∞](1-1/n)^n=1/e について
-
「極限を調べろ」の問題は常に...
-
極限について
-
【数学】 lim x→a ↑これってど...
-
三角関数 -3分のπって3分の5...
-
2変数関数のロピタルの定理
-
高3女子です lim(x→1+0) x/x-1...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報