• ベストアンサー

集合、数学ができて英語も出来る方

私には理解出来ない課題を出されたので助けてください。 Consider the set S of all real numbers with decimal representation of the form .x_1x_2x_3x_4.... x_k.... with x_i ∈ {2,3}. Each real number x ∈ S has a unique representation of this form. Prove that S is uncountable. お願いします。

質問者が選んだベストアンサー

  • ベストアンサー
  • koko_u_u
  • ベストアンサー率18% (216/1139)
回答No.2

小数展開したときに、例えば 0.2222… とか 0.23232323… とか表現できる実数全体の集合を考えますよ、という意味。 この小数表記が一意であることさえわかれば、非可算であることはカントールの例の議論ですぐできると思います。

koni-ami
質問者

お礼

カントールで一発解決いたしました! ありがとうございました。

その他の回答 (2)

回答No.3

英語自体は読めるのなら… ちょうど、英語版Wikipedia の http://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument に、ちょっといじれば、使えるような例が出てます。 でも、日本語版を見ても… 何で、日本語版Wikiの数学ネタは、丁寧に書いてある英語版を訳す、って形になってないんだろ?

  • B-juggler
  • ベストアンサー率30% (488/1596)
回答No.1

こんばんは、おはようかな? えっと、まず日本語にすることかな? 集合Sを考える。 10進数の実数、あるいは少数を含む実数 と書いてあるのかな? それが、 x_1x_2x_3x_4.... x_k.... with x_i ∈ {2,3}. (1) これに従うように、定められていて、 xは全て別のもの。 xi ∈ S という集合。 集合Sは無限集合です、と証明すればいいのだろうけれど、 (1)の意味が全くわからない>< 掛け算かな、{2,3}この意味が全くわからないし。 定義している式がわからないから、集合Sがどんなものかも見当がつきませんです。 演算子は何かな? 右側はこれだけですか? ここ補足をお願いします。 m(_ _)m  #あんまり丸投げは良くないな。  #ある程度理解してあげてくれないと、たぶん大学の集合のところだろうけど。 これはなんとなく訳しただけだもんなぁ~>< う~ん。。。