スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (672ﾚｽ)
上下前次1-新
541(1): 阿弥陀如来 ◆0t25ybzgvEX5 11/24(日)11:36 ID:I9DmCuNm(15/18) AAS
>>536
>君のいう”一意化”は、存在と同値では？
然り
>ならば、それは 数学で一般にいう”一意化”ではない
君は一意的＝一意化と思ってるが、それは誤解
的と化は違う文字、一意的でないのを一意にするから一意”化”
●●化といえば●●でないものを●●にするという意味
小学校の国語 勉強しなおしてな
542(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)13:48 ID:pyyDnAPQ(7/15) AAS
>>539-541
(引用開始)
>ならば、それは 数学で一般にいう”一意化”ではない
君は一意的＝一意化と思ってるが、それは誤解
的と化は違う文字、一意的でないのを一意にするから一意”化”
(引用終り)
ふっふ、ほっほ
外部ﾘﾝｸ:ja.wikipedia.org
一意性（uniqueness）とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している（つまり「存在して、かつ、存在するならばただ一つだけである」の意）」という性質である
(引用終り)
省31
543(3): 11/24(日)13:48 ID:pyyDnAPQ(8/15) AAS
つづき
5）まとめると 区間[0,1]の実数で 有限小数Uを使って R/Uを作って その代表が 区間[0,1]内に入るようにできる
明らかに R/Uの区間[0,1]内の代表集合は、ヴィタリ集合Vを含んでいる
ヴィタリ集合Vは、definableではない。つまり definableでない部分を含んでいる(上記)
6）(10)^N で 10→R に置き換えたものが 箱入り無数目の R^N である
つまり R^N は (10)^Nを含み、
部分集合(10)^NのUによる同値類(しっぽ同値)は、 definableでない 代表を構成する
よって R^Nのしっぽ同値は、definableでない 代表を含む■
そもそもが、R^Nのしっぽ同値からできる 代表が、definableとはとても思えないが
直接証明するのは面倒なので、ヴィタリ集合Vが definableでないことに 帰着させた
省2
544(2): 11/24(日)14:19 ID:20B4O1iN(8/18) AAS
>>543
>箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
だから？
545(4): 11/24(日)14:45 ID:20B4O1iN(9/18) AAS
何度も何度も何度も何度も言ってるが、
選択公理を認めるなら何等かの代表選択関数を一つ固定することが可能。
そして箱入り無数目が成立するためにはそれで十分。
分からない君が馬鹿なだけ
546(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)14:56 ID:pyyDnAPQ(9/15) AAS
>>544-545
箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
だから
固定することは不可能だと
>>542より ”no Vitali set is definable”（>>529） ヴィタリ集合は、definableではない
”Axiom of Choice is regarded as a non-constructive statement, so we do not have an algorithm or something like that in order to properly “construct” the Vitali set. We only use the Axiom of Choice to assert its existence, and that’s all.”by Samuel Gomes da Silva Ph.D.
あなた "固定,固定,固定だぁ！"
But by Samuel Gomes da Silva Ph.D. "We only use the Axiom of Choice to assert its existence, and that’s all.”
固定できないんじゃないの？ｗｗｗ
547: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)15:06 ID:pyyDnAPQ(10/15) AAS
>>542 タイポ訂正
1/3＋有限小数は、同じ類に属する。例えば 1/3＋0.111==0.44433・・・ となる
↓
1/3＋有限小数は、同じ類に属する。例えば 1/3＋0.111=0.44433・・・ となる
548: 11/24(日)15:07 ID:20B4O1iN(10/18) AAS
>>545
>箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
>だから
>固定することは不可能だと
ほら、ぜんぜん分かってない。
選択公理を仮定すれば代表選択関数全体の集合は空でない。よってその集合のいずれか一元を選択・固定可能。
もう黙りなよ。口開けば間違うんだから。
549: 11/24(日)15:15 ID:20B4O1iN(11/18) AAS
>>546
>あなた "固定,固定,固定だぁ！
固定という言葉が分からないなら小学校からやり直し
550(1): 11/24(日)15:24 ID:20B4O1iN(12/18) AAS
ていうか箱入り無数目どころか選択公理も選択関数も関係無い。
「空でない集合のいずれか一元を選択できる」という命題に過ぎない。
もちろん自明に真。
551(1): 阿弥陀如来 ◆0t25ybzgvEX5 11/24(日)16:21 ID:I9DmCuNm(16/18) AAS
>>543 >箱入り無数目の代表の集合は、definableではない！！
>>546 >だから固定することは不可能だと
箱入り無数目の代表の集合が定義可能集合である必要はない
存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9
552: 11/24(日)16:52 ID:20B4O1iN(13/18) AAS
今日も間違いだらけでフルボッコされるコピペザル
553: 阿弥陀如来 ◆0t25ybzgvEX5 11/24(日)17:04 ID:I9DmCuNm(17/18) AAS
結局、選択公理を否定することでしか
箱入り無数目による勝率1-ε不成立を正当化できない
別に選択公理を否定しても無矛盾なのだから
堂々と選択公理を否定すればよいのに
何を恐れているのか？
554: 阿弥陀如来 ◆0t25ybzgvEX5 11/24(日)17:23 ID:I9DmCuNm(18/18) AAS
箱入り無数目の戦略がつねに失敗するとすれば以下の理由しかない
「どの列も、それが選ばれた場合と選ばれなかった場合で異なる代表を取らざるを得ず
前者の代表は後者の代表と比べて元の数列との一致度が低くなるため
結果として決定番号がより大きくなので当たらない」
そして「異なる代表を取らざるを得ない」というのは選択公理の否定であり
それが理解できないとすればそもそも選択公理の論理式が理解できてない
と考えざるを得ない
555(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)19:20 ID:pyyDnAPQ(11/15) AAS
>>551
>>543 >箱入り無数目の代表の集合は、definableではない！！
>>546 >だから固定することは不可能だと
箱入り無数目の代表の集合が定義可能集合である必要はない
存在すれば一意化できる（例えば、自然演繹の∃除去規則）
ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%BC%94%E7%B9%B9
(引用終り)
君は、詭弁・論点ずらし の天才だねｗ
御大からは”寝言”と見透かされているが
下記 ちょっと面白いけどな
省16
556(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)19:23 ID:pyyDnAPQ(12/15) AAS
>>546より再録します
>>544-545
箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
だから
固定することは不可能だと
>>542より ”no Vitali set is definable”（>>529） ヴィタリ集合は、definableではない
”Axiom of Choice is regarded as a non-constructive statement, so we do not have an algorithm or something like that in order to properly “construct” the Vitali set. We only use the Axiom of Choice to assert its existence, and that’s all.”by Samuel Gomes da Silva Ph.D.
あなた "固定,固定,固定だぁ！"
But by Samuel Gomes da Silva Ph.D. "We only use the Axiom of Choice to assert its existence, and that’s all.”
固定できないんじゃないの？ｗｗｗ
省2
557(1): 11/24(日)19:32 ID:20B4O1iN(14/18) AAS
>>556
>「空でない集合のいずれか一元を選択できる」
の反例を示して
558(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/24(日)20:32 ID:pyyDnAPQ(13/15) AAS
>>557
(引用開始)
>>556
>「空でない集合のいずれか一元を選択できる」
の反例を示して
(引用終り)
つまらん突っ込みだが
1）キーワード検索”空でない”
ヒットは5件で 一番近いのが >>550 より
”ていうか箱入り無数目どころか選択公理も選択関数も関係無い。
省14
559: 11/24(日)20:55 ID:20B4O1iN(15/18) AAS
>>558
ダメだこりゃｗ
560: 11/24(日)21:19 ID:20B4O1iN(16/18) AAS
>>558
>キーワード検索”空でない”
君、空集合って知らないの？ 空でない集合って空集合ではない集合って意味だよ？ 分からない？ 馬鹿？
>これ、選択公理の文言の一部でしょ？
はぁ？
「選択公理は関係無い」って書いてるじゃん
>ていうか箱入り無数目どころか選択公理も選択関数も関係無い
日本語読めないの？ 小学校からやり直せば？
>もっと、勉強してねｗ ；ｐ）
読み書きを習ってね
省1
上下前次1-新書関写板覧索設栞歴
あと 112 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.013s