![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?e8efa67)
2元生成の自由群は可算か?
バナッハタルスキーのパラドックスを本で読んで証明を追っています。
その途中、2元から生成された自由群(と同型な群)は可算であるから…、との表記が証明なしにありました。
これは正しいですか?
対角線論法と同じように以下のように考えました。
生成元をh,kとしたとき、可算濃度と仮定すると全ての元を
e
h
k
hh
hk
…
と順番に並べることができます。
i番目の元のi文字目がhならk、何もない場合やkならh(i=1,2,…)と定めてできたものはすべての元と異なるので矛盾するように思うのですが…
あるいは、可算の長さである元について、その選び方は2^(可算無限)となり、全体としても連続濃度になってしまうと思います。
No.2
- 回答日時:
間違えてはいけない。
自由群の各要素は生成元の有限列であって可算列ではない。そしてそのような有限列の全体は、可算集合である。これは列の長さによって分類して並べれば分かる。長さ1の列は2つ、長さ2の列は高々4つ、...長さnの列は高々2^n個で、それぞれ有限なのでそれらを長さ順に並べていけば全体として高々可算になる。
No.1
- 回答日時:
自由群で対角線論法を行うことはできません。
実数の非可算性を対角線論法で示したとき、
番号を付けて並べた実数には、
個々の元に無限の桁がありました。
有限小数でも、右側には 0 がずっと続いていて、
三桁の 0.123 から小数第 7 位を取り出したり
することができたのです。
一方、自由群では、どの元も長さが有限です。
それが禍して、並べた n 番目の元から
第 n 文字を取り出せないことがあります。
例えば、h, k が生成する自由群の元を
h, k, hh, hk, kk, … のように並べると、
2番目の元の第2文字を取り出すことができません。
これは、元を並べる順番には依らない性質です。
二元が生成する長さ n の元は 2↑n 個あります。
よって、n 文字以内の元は 2↑(n+1) 個です。
この個数が n に対して指数的に増えるため、
自由群の元をどのように並べても、
長さ n 未満の元が n 番目までに出終わる
ようにはできないのです。
この回答への補足
ご回答ありがとうございます。
対角線論法が使えないことは理解できました。
連続濃度の証明に対角線論法が使えない
ことを教えてくださったわけですが、これが直接
連続濃度でないことの証明
にはなりませんよね。
可算濃度であることの証明はできるのでしょうか。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 0の逆数について 7 2022/07/21 16:24
- その他(コンピューター・テクノロジー) レポート 現代の情報科学における課題点を以下の中から少なくとも2つ選び、論ぜよ。 1 2023/01/22 10:12
- 宇宙科学・天文学・天気 土星の環の年齢とそこに飛来する塵の種類 2 2023/06/04 19:55
- 生物学 【生命科学】ヒトが1日に消費するATP量?(精度を変えて再計算) 3 2022/10/07 18:48
- 軍事学 自衛隊の戦闘機や戦車といった兵器の稼働率が他国群と比べて異常に高いのは、慢性的な予算不足で余裕が一切 4 2022/05/15 23:48
- 数学 単位元について 2 2022/09/11 22:56
- 数学 回答の意味について 3 2023/07/06 14:14
- 数学 回答の意味について 4 2023/07/11 11:19
- 相続税・贈与税 相続税の、土地の計算法に関して、の質問です。 4 2022/07/05 23:12
- Word(ワード) ワードの文字数行数設定をフォーマットにして切り替えたいです 2 2022/05/24 10:42
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
ケーキの9等分
-
比と分数
-
らせん階段の手すりの長さ
-
どうやって1本の直定規だけで30...
-
海岸線延長とはどういう意味で...
-
2元生成の自由群は可算か?
-
文字aとbをいくつか並べた列の...
-
一つのものを正確に三等分って...
-
この図形の太く記しているとこ...
-
大,中,小3個のさいころを投げ...
-
カウントダウンの数え方
-
【数学】反比例、逆数、逆比例...
-
0.1は10パーセントなら1.0は何...
-
周の長さは同じなのに面積が違...
-
1から9までの番号をつけた9枚の...
-
Excelで負の数を足さずに0以上...
-
大小2つのサイコロを投げる時...
-
数学Aです。大中小3個のさいこ...
-
正則行列を基本行列の積に表せ...
-
記号について2
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報