[過去ログ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
109
(2): 2020/02/11(火)07:08 ID:yCL40qf3(1/44) AAS
>>108
そもそも現実世界には無限個の箱はないだろ

あったとしても、実数の無限列s、s’に対して
「sとs’がある箇所から先一致する」
と判定する手続きがないだろ
(これ言い出すとそもそも尻尾の同値類が
 構成できないということになる)
省4
112
(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)11:24 ID:6xY3HAGO(1/17) AAS
>>109
>そもそも現実世界には無限個の箱はないだろ
>あったとしても、実数の無限列s、s’に対して
>「sとs’がある箇所から先一致する」
>と判定する手続きがないだろ
>(これ言い出すとそもそも尻尾の同値類が
> 構成できないということになる)
省15
114
(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)11:32 ID:6xY3HAGO(2/17) AAS
>>109
>で、上記の同値関係の判定ができたとしても
>同値類の代表元r(s)を返す関数rが
>具体的に構成できないだろ
>(rは選択公理で存在が云えるだけのこと)

(>>22より)
可算無限数列 s=(s1,s2,・・sd,sd+1・・)に対し
省8
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.037s