[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
526(1): 2024/11/24(日)08:40 ID:20B4O1iN(4/18) AAS
すべて寝言なら、寝言寝言言ってるあの御方の発言は寝言よりもナンセンスですなｗ
527(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)08:46 ID:pyyDnAPQ(1/15) AAS
>>517
＞fは唯一ではない（つまり一意的でない）が、
＞少なくとも一つ存在するなら一つとれる（つまり一意化できる）
一意的でない vs 一意化できる
矛盾してないか？
そのうえで、>>492 (en.wikipedia.org/wiki/Axiom_of_choice)より
”a subset of the real numbers that is not Lebesgue measurable can be proved to exist using the axiom of choice, it is consistent that no such set is definable.[8]”
（Axiom of choice Criticism and acceptance）
で
8^ Fraenkel, Abraham A.; Bar-Hillel, Yehoshua; Lévy, Azriel (1973), Foundations of set theory (2nd ed.), Amsterdam-London: North-Holland Publishing Co., pp. 69–70, ISBN 9780080887050, MR 0345816.
省33
528(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:48 ID:I9DmCuNm(10/18) AAS
>>526
「あのお方」は
「俺様が研究している分野は、他の数学のいかなる分野よりも素晴らしい」
という自己愛に満ち溢れてる点で、その分野の創始者である
「あのお方」とそっくり
類は友を呼ぶ、ということか・・・
529(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)08:48 ID:pyyDnAPQ(2/15) AAS
つづき
2）
MathOverflow
mathoverflow.net › questions
2009/12/18 — But why should there be a definable Vitali set? Of course, some models of set theory have definable Vitali sets, because sometimes there is ...
回答 2 件
ベストアンサー:
(Edit.) With a closer reading of your question, I see that you asked for a very specific notion ...
What is the least α such that Lα contains a non-measurable set
2024年9月10日
省23
530(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:50 ID:I9DmCuNm(11/18) AAS
>>527
> 一意的でない vs 一意化できる
> 矛盾してないか？
矛盾してないが？
君、小学校で国語は学んだかね？
531: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:55 ID:I9DmCuNm(12/18) AAS
>>527 >>529
選択公理でその存在が主張される選択関数を具体的に示す必要はまったくない
ヒルベルトなら、ブラウワーに対してそういった筈である
その上で、別に選択公理を認めたくないなら、そうすればいい 無矛盾だから
コーエンなら、ブラウワーに対してそういった筈である
532: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)08:59 ID:I9DmCuNm(13/18) AAS
「選択公理の下では箱入り無数目の戦略は勝率1-εで成功する」というのは
「平行線公準の下では三角形の内角の和は180度である」というのと同じ
「・・・の下では」という前提を外すならもちろんその後の結論は言えない
だから箱入り無数目の戦略を認めたくないなら、こういうしかない
「俺は選択公理なんて認めない！ 具体的に示せないのに存在するとかいうのはオカルトだ！」
533: 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)09:02 ID:I9DmCuNm(14/18) AAS
リチャード・ファインマンは
バナッハ・タルスキーの定理に対してムカつき
数学科の学生に「実際にやってみせろ」と（冗談で）食ってかかったとか
円盤が実は双曲平面全体だったなら、選択公理抜きで実際にできるけど・・・
そういう意味では、バナッハ・タルスキの非常識さは選択公理以前のことである
534: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)09:09 ID:pyyDnAPQ(3/15) AAS
>>525
(引用開始)
> それを言ったら数学自体寝言なんだが
かつて龍樹はこういった
「すべて寝言」
(引用終り)
胡蝶の夢、「知魚楽」
湯川博士は語ります。
「小さな目に見えないものにも、できるだけ親しみを感じるように仕向けることが科学普及のひとつの眼目であろう。」
御大
省20
535: 2024/11/24(日)09:13 ID:20B4O1iN(5/18) AAS
>>527
>一意的でない vs 一意化できる
>矛盾してないか？
選択関数全体の集合が複数の元を持つならそのうちの一つを選択できる。
複数の元を持つ：一意的でない
そのうちの一つを選択できる：一意化できる
まったく矛盾していない
馬鹿？
536(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)09:15 ID:pyyDnAPQ(4/15) AAS
>>530
(引用開始)
> 一意的でない vs 一意化できる
> 矛盾してないか？
矛盾してないが？
君、小学校で国語は学んだかね？
(引用終り)
ふっふ、ほっほ
>>517
＞fは唯一ではない（つまり一意的でない）が、
省7
537(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)09:24 ID:pyyDnAPQ(5/15) AAS
>>528
(引用開始)
「あのお方」は
「俺様が研究している分野は、他の数学のいかなる分野よりも素晴らしい」
という自己愛に満ち溢れてる点で、その分野の創始者である
「あのお方」とそっくり
類は友を呼ぶ、ということか・・・
(引用終り)
某私大数学科の3年生で オチコボレて30年のおサルさん>>25
不遇な人生で、心がひずんでしまった30年
省5
538: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)09:40 ID:pyyDnAPQ(6/15) AAS
>>537
>多変数複素関数論の創始者は、岡先生では？
検索：L^2 解析 関数論
で下記がヒット
”L2 評価式”が、専門用語らしい
L2 評価式の手法を 創案したのかな？
1）
L2 評価式とその幾何学への応用
J-Stage
外部ﾘﾝｸ:www.jstage.jst.go.jp›2›53_2_157›_pdf›-char
省13
539(1): 2024/11/24(日)09:42 ID:20B4O1iN(6/18) AAS
>>536
>ならば、それは 数学で一般にいう”一意化”ではない
話について来れないおまえがズレてるだけ
540(1): 2024/11/24(日)10:00 ID:20B4O1iN(7/18) AAS
相変わらず大量のコピペと間違いだらけ
人間様の数学はコピペザルには無理
541(1): 阿弥陀如来 ◆0t25ybzgvEX5 2024/11/24(日)11:36 ID:I9DmCuNm(15/18) AAS
>>536
>君のいう”一意化”は、存在と同値では？
然り
>ならば、それは 数学で一般にいう”一意化”ではない
君は一意的＝一意化と思ってるが、それは誤解
的と化は違う文字、一意的でないのを一意にするから一意”化”
●●化といえば●●でないものを●●にするという意味
小学校の国語 勉強しなおしてな
542(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2024/11/24(日)13:48 ID:pyyDnAPQ(7/15) AAS
>>539-541
(引用開始)
>ならば、それは 数学で一般にいう”一意化”ではない
君は一意的＝一意化と思ってるが、それは誤解
的と化は違う文字、一意的でないのを一意にするから一意”化”
(引用終り)
ふっふ、ほっほ
外部ﾘﾝｸ:ja.wikipedia.org
一意性（uniqueness）とは数学分野において、注目している数学的対象が「存在するならばただ一つだけである」或いは「ただ一つだけ存在している（つまり「存在して、かつ、存在するならばただ一つだけである」の意）」という性質である
(引用終り)
省31
543(3): 2024/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): 2024/11/24(日)14:19 ID:20B4O1iN(8/18) AAS
>>543
>箱入り無数目の代表の集合は、definableではない！！ｗ ；ｐ）
だから？
545(4): 2024/11/24(日)14:45 ID:20B4O1iN(9/18) AAS
何度も何度も何度も何度も言ってるが、
選択公理を認めるなら何等かの代表選択関数を一つ固定することが可能。
そして箱入り無数目が成立するためにはそれで十分。
分からない君が馬鹿なだけ
上下前次1-新書関写板覧索設栞歴
あと 457 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s