現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net

[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

576: １３２人目の素数さん [sage] 2016/11/27(日) 18:49:18.04 ID:lTB4w9cF

> 無限数列のしっぽでの同値類分類：数列のしっぽが一致すれば同値＝つまりは、数列の最後の数が一致するかどうか
> 有限数列であれば、なんの問題もない。だが、可算無限個の箱に入った数列ではどうか？

>>498や
http://rio2016.2ch.net/test/read.cgi/math/1475822875/35 の補足になるが
a0=1, a1=1.4, a2=1.41, a3=1.414, a4=1.4142, ... , a(D-1), aD=√2, √2, √2, √2, ...
b0=1, b1=4, b2=1, b3=4, b4=2, ... , b(D-1), bD={√2の小数点以下n桁目}, b(D+1)={√2の小数点以下n+1桁目}, ...
a0=2, a1=2.7, a2=2.71, a3=2.718, a4=2.7182, ... , a(D-1), aD=e, e, e, e, ...
b0=2, b1=7, b2=1, b3=8, b4=2, ... , b(D-1), bD={eの小数点以下n桁目}, b(D+1)={eの小数点以下n+1桁目}, ...

時枝記事の極限(べったり版)の場合だとa0はある項以降が全て同じ数字になってaD=√2, √2, √2, √2, ... であり
ある項以降が全て√2であることを(√2)^*で表せばa0=1, a1=1.4, a2=(√2)^*やa0=1, a1=1.4, a2=1.41, a3=1.414, a4=(√2)^*と書ける
またa0=1, a1=1.4, a2=(e)^*やa0=2, a1=2.7, a2=2.71, a3=(√2)^*などとも書ける

anからbnの変換はbD={(√2)^*の小数点以下D桁目以降}などと書けば
b0=1, b1=4, b2={(√2)^*の小数点以下2桁目以降}やb0=1, b1=1.4, b2=1.41, b3=1.414, b4={(√2)^*の小数点以下4桁目以降}
b0=1, b1=4, b2={(e)^*の小数点以下2桁目以降}やb0=2, b1=7, b2=1, b3={(√2)^*の小数点以下3桁目以降}と書ける
この場合はシッポが一致するかどうかは最後の()^*の中の数が一致するかによる

{(√2)^*の小数点以下n桁目以降}などを全て可算無限個の数字に置き換えることは
> "全ての箱に数を入れる行為"までは、問題の仮定だからOK
> スレ主は(R^Nの)任意の無限数列が出題可能であると仮定しているのでしょう？
> 当然。
可能であると仮定されている

スレ主曰く「当然。」

http://rio2016.5ch.net/test/read.cgi/math/1477804000/576

627: 現代数学の系譜11 ガロア理論を読む [sage] 2016/12/03(土) 13:51:14.04 ID:6Rgz8i9T

>>623
こんなのが
http://math.sta
ckexch
ange.com/questions/176475/what-is-the-standard-proof-that-dimk-mathbb-n-is-uncountable
linear algebra - What is the standard proof that dim(k^N is uncountable? - Mathematics Stack Exchange:  asked Jul 29 '12 at 13:46 Chindea Filip

What is the standard proof that dim(kN)is uncountable?
This is my (silly) proof to a claim on top of p. 54 of Rotman's "Homological algebra".
略

1 Answer  answered Jul 29 '12 at 14:29 Asaf Karagila
One liner argument which uses a much more difficult theorems (swatting gnats with cluster bombs kind of proof):
kN is the algebraic dual of the polynomials in one variable, k[x] which has a countable dimension. If kN had a countable basis then k[x] would be isomorphic to its dual, and since this cannot be we conclude that kN has a basis of uncountable size.

The arguments given in Arturo's answer show that the above is indeed a proof (in particular Lemma 2 with κ=?0 ).

http://rio2016.5ch.net/test/read.cgi/math/1477804000/627

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.031s