[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む35 [無断転載禁止]©2ch.net (667ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
584: 2017/07/09(日)09:39 ID:c7rx3wCh(1/9) AAS
>>581
＞可算無限長の数列で、ある同値類の集合に対して、
＞そこから任意の元を取り出したとき、
＞有限の値mになる確率は0だ
んなこたぁないｗ
数列sの同値類Sの任意の要素である数列s'に対して
その決定番号dは自然数、つまり有限値だ
もし、そうでないなら、s'はそもそもsと同値でない
つまりs'はsの同値類Sの要素ではない
585: 2017/07/09(日)09:44 ID:c7rx3wCh(2/9) AAS
>>582
平場氏の注意は
＞∞=∞ = ∞× 1=∞ = ∞× 0 = 0
＞などという計算をしてはいけない！
の点だけである。
決して、
「長さｎの有限列に最後の要素s_nがあるから、
無限列にも最後の要素s_∞がある」
とかいう馬鹿丸出しな主張を正当化するものではない
586(1): 2017/07/09(日)09:51 ID:4FoU6amz(1/7) AAS
スレ主の頭の固さには呆れるばかり
決定番号は自然数（いわずもがな有限値）である
同じ指摘を何度受ければ理解するのか？
587: 2017/07/09(日)09:56 ID:c7rx3wCh(3/9) AAS
>>582
数列s = (s_1，s_2，s_3 ，・・・，s_n ，・・・)について、
sの同値類の代表元rをとってきたとする
r = (r_1，r_2，r_3 ，・・・，r_n ，・・・)
sとｒは同値であるから、ある自然数dが存在し
s_d=r_d、ｓ_d+1=r_d+1、・・・
という無限個の等式が成り立つ
そして、m個の列のうちm-1個の列の代表元をとってきて、
その決定番号の最大値をdmaxとすれば、
残り1個の列とその代表元との決定番号dが
省5
588(1): 2017/07/09(日)10:07 ID:lCOjTm2Z(1/13) AAS
>>581
おっちゃんです。
,同値関係〜の定義の仕方など、時枝記事に修正を要する箇所はあるが、
スレ主がいっているようなところにはない。
589: 2017/07/09(日)10:12 ID:c7rx3wCh(4/9) AAS
>>586
まあ、>>1が突っ張るのもわからんでもない
決定番号は常に自然数だと認めた瞬間
>>１は敗けるからな
結局、>>1は「同値類の代表元がとれる」点を認めたくないのだが、
そう言い切ると「選択公理を否定する異端者」になる
>>1は、異端＝負け犬と思い込んでるからこれも認められないらしい
だから「代表元はとれるが決定番号は∞」とかいって
うまくかわしたつもりになってるわけだが
しかし>>1の上記の発言こそ同値関係そのものを誤解した
省6
590(2): 2017/07/09(日)10:17 ID:c7rx3wCh(5/9) AAS
>>588
＞同値関係〜の定義の仕方など、時枝記事に修正を要する箇所はある
何言ってんだ？
同値関係の定義の変更は、設定自体の変更だからダメだろ
591: 2017/07/09(日)10:49 ID:4FoU6amz(2/7) AAS
＞同値関係〜の定義の仕方など、時枝記事に修正を要する箇所はある
具体的に
592(1): 2017/07/09(日)10:50 ID:X7gOKFxZ(1/3) AAS
>>590
> 何言ってんだ？
誤答おじさんは「こいつ何言ってんだ？」系
馬鹿スレ主は「え？そんなことも分かってなかったの？」系
593: 2017/07/09(日)11:03 ID:c7rx3wCh(6/9) AAS
>>592
二人とも、他人の話が理解できず自分勝手な前提をデッチ上げる点がそっくり
594(3): 2017/07/09(日)11:10 ID:lCOjTm2Z(2/13) AAS
>>590
実数列 s＝(s_1, s_2, s_3 ,…)，s'＝(s'_1, s'_2, s'_3 ,…)∈R^N について
n ≧n_0 のとき s_n＝s'_n となるような正整数 n_0 が2個以上あったとしよう。
そのような正整数 n_0 を n_0, n_1 n_0＞n_1 としよう。その上で、
n ≧n__1 のとき s_n＝s'_n とすると、n ≧n_0 のとき s_n＝s'_n となることは、n_0＞n_1 から直ちにいえる。
だが、n ≧n_0 のとき s_n＝s'_n を仮定したからといって、これから n ≧n__1 のとき s_n＝s'_n が成り立つことは必ずしもいえない。
つまり、必ずしも、n ≧n_0 のとき s_n＝s'_n なることと、n ≧n_1 のとき s_n＝s'_n なることとが同値になるとは限らない。
その一方で、n ≧n_0 のとき s_n＝s'_n となるような正整数 n_0 の存在性や最小性は保証されている。
だから、実数列 s＝(s_1, s_2, s_3 ,…)，s'＝(s'_1, s'_2, s'_3 ,…)∈R^N について
或る正整数 n_0 が存在して n≧n_0 のとき s_n＝s'_n となるとき s〜s' と書くことで同値関係〜を定義する際には、「或る」ではなく、
省1
595(2): 2017/07/09(日)11:26 ID:c7rx3wCh(7/9) AAS
>>594
自明なことをまるで自分が最初に気づいたかのごとく滔々と述べるのが馬鹿の特徴
596: 2017/07/09(日)11:33 ID:lCOjTm2Z(3/13) AAS
>>595
n_0 に最小性の条件を課すかどうかは重要だろ。
597(2): 2017/07/09(日)11:37 ID:X7gOKFxZ(2/3) AAS
>>594
同値関係の定義は"或る正整数"でいいんです
同値なら必ず"最小の正整数"が存在するんです
その"最小の正整数"を決定番号と呼ぶんです
わかったらハイと言ってください
598: 2017/07/09(日)11:39 ID:lCOjTm2Z(4/13) AAS
>>597
ハイ、分かりました。
599: 2017/07/09(日)11:49 ID:lCOjTm2Z(5/13) AAS
>>597
1つだけ聞くが、同値関係〜を定義するとき、
>或る正整数 n_0 が存在して n≧n_0 のとき s_n＝s'_n となるとき s〜s' と書く
と書いた途端に「或る正整数 n_0」は最小性を満たすことになるのか。
600(1): 2017/07/09(日)12:14 ID:NqIAlacD(1/3) AAS
同値関係の定義に n_0 の最小性は必要ない。すなわち、
n_0 の存在性だけから同値関係の「同値性」がきちんと証明できる。
一方で、決定番号の定義には n_0 の最小性が必要。
同値関係の定義にさえも n_0 の最小性が必要だと思ってるのば
バカのおっちゃんだけ。
601(1): 2017/07/09(日)12:24 ID:lCOjTm2Z(6/13) AAS
>>600
定義するなら、n_0 に最小性の条件を課して、
n_0 を決定番号扱いすれば記事が短くなるんじゃないか。
602(2): 2017/07/09(日)12:28 ID:NqIAlacD(2/3) AAS
>>601
論点をすり替えるなバカタレ。
お前の主張は記事を短くすることではなく
「このように修正しないと意味が無い」
というものだったはずだ。しかし、お前が言うところの修正は
全く必要なくて、現状の記事のままできちんと意味があって成立してるんだよ。
603(3): 2017/07/09(日)12:43 ID:lCOjTm2Z(7/13) AAS
>>602
そもそも、>>594に書いたように、
n ≧n__0 のとき s_n＝s'_n なることについての同値関係〜の同値類Aと
n ≧n__1 のとき s_n＝s'_n なることについての同値関係〜の同値類B
について、必ずしも A＝B となるとは限らない。一般には A≠B となる。
同値関係〜の同値類を扱うにあたり、この点がスッキリとしないのだが。
上下前次1-新書関写板覧索設栞歴
あと 64 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.130s*