X
トップページ⇒数学
98コメント20KB
集合の問題なんだけど誰か教えてください [転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
垢版 |
2014/12/03(水) 20:09:12.64
nを自然数とする。このときRとR^nは濃度が等しいことを示せ。

Rは実数全体って意味のRです
0003１３２人目の素数さん
垢版 |
2014/12/03(水) 20:41:09.89
無限少数で一意に表示してn個飛ばしに取って行った実数n個に対応させる写像を考えれば良い
0004どやがおじさん
垢版 |
2014/12/03(水) 22:01:09.65
L={x∈R｜0＜x＜1} とする。
x∈L と y∈R は y=(x-0.5)/(x(x-1)) で
一対一対応するから、R 対 Rn の代わりに
L 対 Ln で比較することができる。

Ln のうち 第2〜第n 成分が 0.5 のものを集めると、
Ln の部分集合であって、L と一対一対応するから、
♯(Ln)≧♯L である。

Ln の元の各成分を十進小数展開して、
第k成分の小数第j位を小数第nj+k位に持つような
小数を新たに作ると、それは L の元になる。
この写像によって、
Ln は L の部分集合と一対一に対応するから、
♯(Ln)≦♯L である。

以上より、♯(Rn)=♯(Ln)=♯L=♯R である。
0005１３２人目の素数さん
垢版 |
2014/12/03(水) 22:09:57.55
みなさんありがとうございます
0006１３２人目の素数さん
垢版 |
2014/12/03(水) 22:11:22.19
　よっこらしょ。
　　　　∧＿∧　　ミ　＿　ドスッ
　　　 （　　　　）┌─┴┴─┐
　　　 /　　　　つ.　終　　了　|
　　 :/o　　 /´ .└─┬┬─┘
　　（＿（＿）　；;､`;｡;`|　|
　　このスレは無事に終了しました
　　ありがとうございました
　　もう書き込まないでください
0007１３２人目の素数さん
垢版 |
2014/12/03(水) 22:48:44.75
二進数じゃ駄目なんですか？　なぜ、十進数なんですか？
0010１３２人目の素数さん
垢版 |
2014/12/04(木) 09:57:25.18
>>3 >>9
実数と無限小数が1対1というのはどうやって証明するの？
0011１３２人目の素数さん
垢版 |
2014/12/04(木) 11:04:26.60
１対１に対応させれば良いんじゃないの？
0012１３２人目の素数さん
垢版 |
2014/12/04(木) 11:41:11.65
>>11
どういうふうに対応させればいいの？
0013１３２人目の素数さん
垢版 |
2014/12/04(木) 12:07:46.19
>>10
無限少数の定義は有る桁移行全部0にならないような少数表示と定義する
まず有限少数は999…(二進数なら111…)を使うことで無限少数表示も可能だから任意の実数が無限少数表示可能なことは言える
次に二つの異なる無限少数
0.a1a2a3…と0.b1b2b3…があったときan≠bnを満たす最小のnをiとする
ai<biとしても一般性を失わない
さらにbが無限少数で有ることからi<jでbj≠0なるものが存在する
このとき0.a1a2a3…≦b1b2…bi<b1b2…bj≦b1b2b3…より
a1a2a3…≠b1b2b3…
従って異なる二つの無限少数は別の実数を表す
以上のことから任意の実数は一意に無限少数表示可能

あと>>3書いたの俺だけど
n=2のとき0.11101010…と0.10191919…は無限少数だけど分けるとどっちも0.1と0.111…になるから単射にはならないよ
R≦R^nは自明だからR^n≦Rを示すための全射として持ち出したんだけど、この写像が全射としてちゃんと定義されるためには無限少数が一意で有ることが必要になるから一意って書いたんだ
一意って書き方だと全単射を作りたいようにも見えるし誤解させたならすまなかった
ちなみに>>4のやり方でもLの部分集合と一対一対応(すなわち単射である)ことを言うためにはやはり少数の一意性は必要になる

まあ後半部分は理解しているなら蛇足なので無視してくれ
0014１３２人目の素数さん
垢版 |
2014/12/04(木) 12:18:16.11
>>13
むしろ「任意の実数が無限小数表示可能なこと」の方が疑わしいんだが。
二つの無限小数の間に必ず実数があるということはあり得るよね？
00151 ◆Dcskb1Nfqs
垢版 |
2014/12/04(木) 12:21:40.76
毎度ながら、サル用の単発糞スレは盛り上がるな
0016１３２人目の素数さん
垢版 |
2014/12/04(木) 12:23:18.92
じゃ、いっそ、実数=無限小数を定義にしてしまえば良いのだ。おれってあったまいい！
0017１３２人目の素数さん
垢版 |
2014/12/04(木) 12:27:17.88
>>16
なんも解決していない。頭悪い！
0018１３２人目の素数さん
垢版 |
2014/12/04(木) 13:10:08.17
なんで？
0019１３２人目の素数さん
垢版 |
2014/12/04(木) 13:13:55.43
>>14
任意の実数は少数部n桁で10^(−n)以内にあるから有限少数の桁数増やした極限、つまり無限小数表示可能

二つの無限小数の間に必ず実数がある、なんてことは当然過ぎて何を言いたいんか分からん
0020１３２人目の素数さん
垢版 |
2014/12/04(木) 13:15:40.36
>>14
じゃあ実数xが無限少数表示可能なことを示す
何進数でも同じだけど10進数の場合で示す
整数は.999…を使えばいいのでxは整数でないとする
以下[y]はyを超えない最小の整数とする
まず整数部分は[x](=x0とおく)を採用する
次にx1=[10(x-x0)]とする
次にx2=[100x-100x0-10x1]
…
xk=[10^kx-10^kx0-10^(k-1)x1-…-10x(k-1)]
…
が順次定義される
xnが途中からずっと0になるなら有限少数なので無限少数にできる
ならないならx0.x1x2…が求める無限少数
0021１３２人目の素数さん
垢版 |
2014/12/04(木) 13:59:18.54
>>19
>任意の実数は...有限少数の桁数増やした極限、つまり無限小数表示可能

>>20
>ならないならx0.x1x2…が求める無限少数

スマンがそこがわからん。
いくらx0.x1x2…とやっても実数xがそれとは一致しないということはないの？
論点先取りしていない？
0022１３２人目の素数さん
垢版 |
2014/12/04(木) 14:00:27.44
>>17
いや、むしろ、中学高校での「実数」は >>16 流なんじゃないか。
数学でも、p進体なんかは >>16 っぽく定義することが多いし。
0023１３２人目の素数さん
垢版 |
2014/12/04(木) 14:03:10.14
>>22
じゃあ別の定義をすれば、簡単に、実数=/=無限小数にできるよね？
0025１３２人目の素数さん
垢版 |
2014/12/04(木) 14:12:00.82
>>21
10進n桁近似すると、誤差が10の-n乗以下になる
って、>>19の冒頭に書いてあるぞ。n→∞の極限で
近似値は何に収束する？
0026１３２人目の素数さん
垢版 |
2014/12/04(木) 14:28:30.42
>>21
じゃあ>>20の補足であとはx0.x1x2…=xを示す
これはつまりΣ{k=0,n}xk/10^k→xを言えばいい
左辺をSnとすると定義から|x-Sn|<1/10^n
よって任意のε>0に対してN=log_10(ε)とするとn>Nのとき|x-Sn|<1/10^N=ε
よってn→∞でSn→x
0027１３２人目の素数さん
垢版 |
2014/12/04(木) 14:31:24.33
>>25
0に収束するが、それで？
0028１３２人目の素数さん
垢版 |
2014/12/04(木) 14:36:01.09
>>26
>よってn→∞でSn→x
そうだが、xと一致する？
0029１３２人目の素数さん
垢版 |
2014/12/04(木) 14:37:41.84
>>24
どっちが本当の実数なの？
0030１３２人目の素数さん
垢版 |
2014/12/04(木) 14:49:55.26
>>28
無限少数の定義はその行き先の方だから一致するよ
0031１３２人目の素数さん
垢版 |
2014/12/04(木) 14:51:18.05
つまりは、無限小数は実数の近似値に過ぎないのか。困った
0033１３２人目の素数さん
垢版 |
2014/12/04(木) 14:56:57.34
>>31
違う。
無限小数は、近似値の列の極限で、もとの実数自身。
数列の項と極限の区別はついてる？
0034１３２人目の素数さん
垢版 |
2014/12/04(木) 15:00:26.73
>>32
つまり、どっちを実数の定義としてもよいということね？
0035１３２人目の素数さん
垢版 |
2014/12/04(木) 15:02:55.37
ふとおもった。実数が有限小数の列の極限なら、極限値は何？
0036１３２人目の素数さん
垢版 |
2014/12/04(木) 15:05:35.83
実数
0037１３２人目の素数さん
垢版 |
2014/12/04(木) 15:08:38.38
そか、結局、無限小数=実数は定義でかまわないのか。
0040１３２人目の素数さん
垢版 |
2014/12/04(木) 15:23:53.14
超実数ってのもあったな
0041１３２人目の素数さん
垢版 |
2014/12/04(木) 15:25:41.53
すでに過去形か。駄目だったんだね。
0042１３２人目の素数さん
垢版 |
2014/12/04(木) 15:27:02.99
ワロた
0043１３２人目の素数さん
垢版 |
2014/12/04(木) 15:31:26.18
つらつらと証明書いてたけどもっと基礎的なところでつまずいてたのね
0046１３２人目の素数さん
垢版 |
2014/12/04(木) 16:41:04.37
河東センセーの講義受けてみたいなあ
0048１３２人目の素数さん
垢版 |
2014/12/04(木) 17:13:15.96
超準解析は基礎論やら超積やら道具立てが大掛かりすぎ

コンウェイの超現実数というのがあるけど、これはどういう位置づけなのかな？
0049１３２人目の素数さん
垢版 |
2014/12/04(木) 17:22:36.83
数学小説です。
0050１３２人目の素数さん
垢版 |
2014/12/04(木) 19:16:00.47
>>48
トールの超実数（superreal）なら高々冪級数程度の大きさだぞ
※ロビンソン超実数（hyperreal）やそれよりデカいデールズ&ウディン超実数（superreal）
　と混同してはいけない。そしてコンウェイ超現実数（surreal）はさらにデカい。
0054１３２人目の素数さん
垢版 |
2014/12/04(木) 21:27:58.05
>>50
トールの超実数というのは知らないな
ベキ級数程度ということは形式的ベキ級数でも使うん？
0056１３２人目の素数さん
垢版 |
2014/12/04(木) 22:15:37.65
超って意味の接頭辞も度合いとしては super < hyper < ultra と思ってるんで
hyperrealより小さいsuperrealは準超実数でいいと思うんだが
なんでhyperよりデカいものにsuperって付いちゃったんだろうと思う……
0059１３２人目の素数さん
垢版 |
2014/12/04(木) 23:08:07.13
スーパーマン　＜　ハイパーマン　＜　ウルトラマン　最強！　てことか。
0062１３２人目の素数さん
垢版 |
2014/12/05(金) 09:24:28.88
単発糞スレに趣旨も糞もないわな
0064１３２人目の素数さん
垢版 |
2014/12/05(金) 14:36:48.66
オマエモナ
0067１３２人目の素数さん
垢版 |
2014/12/08(月) 12:17:01.00
R がいらんよ。俺そんな濃度に興味ないし。
そもそも考えても策略で関東軍の女が昔大量に理系の遅軍のせいで
死んでるぞ。
0068１３２人目の素数さん
垢版 |
2014/12/08(月) 16:17:00.44
それより麻雀で和算跳算しなさい。なぜ麻雀の牌を置くのが早く
文系数学者がいつも速さにおいてもトップ賞なのか。ウマ24000
0070１３２人目の素数さん
垢版 |
2014/12/09(火) 19:49:26.64
集合てのは、将制度をとるか、部隊制度つまり、
無名の兵が勝つのか、出世したしていく将が勝つのか、という、
世界的にはヴィトゲンシュタインの言語ゲームな論理学に書いてある通り、
世界の一大事の一つだから文系のほうが理系教科も理系できるという意味に
おいての意味が、
ま、こういう場合はそのことがだいじ。
海外の国立学生に騙された理系の女子には昔から救済してる。
0073１３２人目の素数さん
垢版 |
2014/12/10(水) 09:16:23.19
でもなぁ、ageるが勝ちって言うぜ。
0076１３２人目の素数さん
垢版 |
2014/12/10(水) 12:33:44.43
知能低いってより、お薬効いてないなーと思う
0078１３２人目の素数さん
垢版 |
2014/12/10(水) 13:08:35.34
良スレage
0079１３２人目の素数さん
垢版 |
2014/12/10(水) 14:49:49.06
これは、
哲なのか
荒らしなのか
哲による荒らしなのか？
それとも、やっぱり
運営なのか。
0081１３２人目の素数さん
垢版 |
2014/12/11(木) 14:02:23.75
低くなかったら、こんなとこ来ないし、
来ても書き込みなんてしない。
まともな人間だったらな。
0084１３２人目の素数さん
垢版 |
2014/12/23(火) 21:16:01.10
低脳同士の煽り合い
■ このスレッドは過去ログ倉庫に格納されています
ニューススポーツなんでも実況