スレタイ 箱入り無数目を語る部屋27(あほ二人の”アナグマの姿焼き”ｗ) (672ﾚｽ)
上下前次1-新
623(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/25(月)20:49 ID:PVFg9nt/(2/4) AAS
>>621-622
ふっふ、ほっほ
>自然数をひとつ選択してください
自然数の集合Nからの選択は、選択公理でいえば 集合族がただ1つ つまりは下記”Restriction to finite sets”の特殊例にすぎない
だから、一つ1でも2でもご随意にだが
さて、箱入り無数目との関連でいえば、自然数の集合Nは無限集合なので”ランダム”に一つ選ぶが定義できない
つまり、”infinite fair lottery”>>4-5 と同じ話で、全事象Ωが発散しているのでP(Ω)=1 が不成立で
”ランダム”に一つ選ぶが定義できない（大数の法則も不成立）
>神戸の落ちこぼれエッタ君は、実数が整列可能だと示すのに
>「実数の整列の固定例を示してくださいね」
省15
624(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/25(月)20:49 ID:PVFg9nt/(3/4) AAS
つづき
Examples
(google訳)
コレクション内の個々の空でない集合の性質により、特定の無限コレクションに対しても選択公理を回避できる場合があります。たとえば、コレクションXの各メンバーが自然数の空でない部分集合であるとします。このような部分集合にはそれぞれ最小の要素があるため、選択関数を指定するには、各集合をその集合の最小の要素にマッピングすると言うだけで済みます。これにより、各集合から要素を明確に選択できるため、集合論の公理に選択公理を追加する必要がなくなります。
困難が生じるのは、各集合から自然に要素を選択できない場合です。明示的に選択できない場合、選択が正当な集合 (集合論の他の ZF 公理で定義されているように) を形成することをどうやって知るのでしょうか。たとえば、X が実数のすべての空でない部分集合の集合であるとします。まず、 X が有限であるかのように進めてみるかもしれません。各集合から要素を選択しようとすると、X は無限であるため、選択手順は決して終了せず、結果として、X全体に対する選択関数を生成することはできません。次に、各集合から最小の要素を指定してみるかもしれません。しかし、実数の部分集合の中には最小の要素がないものもあります。たとえば、開区間(0,1) には最小の要素がありません。つまり、 xが (0,1) 内にある場合、 x /2 も内にあり、x /2 は常にxよりも厳密に小さくなります。したがって、この試みも失敗します
ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
例と反例
整数の全体 Z
次のような二項関係 R を考えれば、Z を整列集合にすることができる。
省11
625: 11/25(月)21:00 ID:PVFg9nt/(4/4) AAS
>>622
そうそう
センセイに関連して >>561
>>561より再録
43 名前：１３２人目の素数さん[] 投稿日：2024/11/11(月) 23:46:43.67 ID:xGTnxzX9
富山県生まれ[1]。
（1970年東京大学入学後ワープして）
京都大学理学部卒業[2]、
1978年京都大学大学院理学研究科修士課程修了[1]。
（こっそりドイツ留学）
省14
626: 11/25(月)21:03 ID:X9aIenaL(10/10) AAS
Black民のDoettaがAC否定を絶叫ｗ
627(6): 11/25(月)21:36 ID:5DDJczCB(17/17) AAS
>>623
>自然数の集合Nからの選択は、選択公理でいえば 集合族がただ1つ つまりは下記”Restriction to finite sets”の特殊例にすぎない
>だから、一つ1でも2でもご随意にだが
君は自然数全体の集合からその元をひとつ選択した。
では、選択関数全体の集合（空でないことは選択公理が保証）からその元をひとつ選択できないのはなぜ？
628(1): 11/25(月)21:38 ID:l1rpo/A6(1) AAS
エッタに収集されて夢洲の都市鉱山に埋め立て処分される受験産業産廃阪大卒資源ゴミ
629: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/26(火)00:03 ID:Kei/fUvv(1/4) AAS
>>624 補足
>ZFC や、一般連続体仮説を加えた体系 ZFC+GCH においては、R 上の整列順序を定義する論理式は存在しない[1]。
ここen.wikipediaでどうなっているかというと、下記
”However it is consistent with ZFC that a definable well ordering of the reals exists—for example, it is consistent with ZFC that V=L, and it follows from ZFC+V=L that a particular formula well orders the reals”
で、しかし V=L（構成可能公理）は、『大多数（の集合論者）がそれは偽であると信じています』だってｗ ；ｐ）
ともかくも、en.wikipediaのチェックは必要ですな ；ｐ）
(参考)
en.wikipedia.org/wiki/Well-order
Well-order
Reals
省9
630: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/26(火)00:03 ID:Kei/fUvv(2/4) AAS
つづき
Statements true in L
The existence of a definable well-order of all sets (the formula for which can be given explicitly).
In particular, L satisfies V=HOD.
en.wikipedia.org/wiki/Ordinal_definable_set
Ordinal definable set
A set further is hereditarily ordinal definable if it is ordinal definable and all elements of its transitive closure are ordinal definable. The class of hereditarily ordinal definable sets is denoted by HOD, and is a transitive model of ZFC, with a definable well ordering.
It is consistent with the axioms of set theory that all sets are ordinal definable, and so hereditarily ordinal definable. The assertion that this situation holds is referred to as V = OD or V = HOD. It follows from V = L, and is equivalent to the existence of a (definable) well-ordering of the universe. Note however that the formula expressing V = HOD need not hold true within HOD, as it is not absolute for models of set theory: within HOD, the interpretation of the formula for HOD may yield an even smaller inner model.
HOD has been found to be useful in that it is an inner model that can accommodate essentially all known large cardinals.
(引用終り)
省1
631(1): 11/26(火)00:42 ID:Kei/fUvv(3/4) AAS
>>628
規制板で
・部落差別の放送禁止用語”エッタ”連投につき 永久アク禁希望
外部ﾘﾝｸ:rio2016.5ch.net 2024/11/25(月) 20:13:26.92ID:X9aIenaL
外部ﾘﾝｸ:rio2016.5ch.net 2024/11/25(月) 21:03:32.52ID:X9aIenaL
外部ﾘﾝｸ:rio2016.5ch.net 2024/11/25(月) 21:38:56.03ID:l1rpo/A6
と投稿してきました
632(1): Black People 11/26(火)02:08 ID:ddHgYljl(1/16) AAS
>>631
数学と全然関係ないことで暴れる数学最底辺層 乙
議論はお前の完全な負けだよ
633(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/26(火)07:53 ID:Kei/fUvv(4/4) AAS
>>632
Black People=
立花孝志【ＮＨＫ党党首】 元国会議員 "真実を発信する正義の人"！
X (Twitter) twitter.com/tachibanat
すばらしいね
部落差別の放送禁止用語”エッタ”連投した方を擁護し
それを たしなめた方を批判する
なんか、某元県知事を擁護した構図だね
「ぼくは、正しいことをいっているのに、みんながいじめるんだ・・」
立花孝志は、「おれが、応援団だ！」と言って、暴れ回ったｗ
省4
634: 11/26(火)08:06 ID:3cZFi2KG(1/10) AAS
>>633
なぜ>>627をスルーするんですか？
635(1): Black People 11/26(火)08:58 ID:ddHgYljl(2/16) AAS
>>633
貴様は喧嘩の仕方を間違えてる
数学ができないのにできると嘘をつくから負ける
最底辺なのに最上位にいると嘘をつくから負ける
数学できなくて何が悪い、最底辺で何が悪い、となぜ言えない？
貴様は数学ができることがいいことだ、
数学の出来で最上位にいることがいいことだ、
と洗脳されてる
何が愚かだといってそれが最も愚かだろう
数学至上主義のカルト宗教から抜け出せ
省2
636(1): Black People 11/26(火)09:02 ID:ddHgYljl(3/16) AAS
士農工商の外にいる人というのは
士が農工商を支配する体制から逃げ出した人
逃げ出すことが悪いこと、と思ってるなら愚劣だ
数学至上主義の中で数学ができることが善だと思うのも愚劣だ
数学したいヤツはすればいい したくないヤツはしなくていい
数学知らなくても生きていける
九九覚えてないどころか繰り上がりのあるたし算ができなくても死にはしない
それこそが正義
学校の成績がいいほうがいいとかいうのは
知性主義というカルト宗教に洗脳されているのだ
省1
637(1): Black People 11/26(火)09:08 ID:ddHgYljl(4/16) AAS
数学が分からん奴が数学の出来を偽って勝とうとするのは愚か
選択公理に対して、選択公理で存在が認められる集合が
集合論で定義可能でないから認められないとかいうのは
集合論を知らん素人が聞きかじりの知識で難癖つけてるだけで
しかもそれは全く誤りだから自爆行為でしかない
そもそも数学ができること自体意味がないというのが賢い
ガウス以降の数学はほぼ高校では教えないが
それがガウス以降の数学が数学屋の趣味でしかないことの現れである
別に趣味だから悪いというつもりはないが
数学屋の変態趣味を一般人に押し付けても馬鹿にされるだけ
省3
638(1): 月光仮面 11/26(火)10:56 ID:FymPv6sl(1) AAS
ぬすびとにもさんぶのり
悪事を働く泥棒にも、それなりの理由があることをいう。 いかなることでも、こじつければなんとでも理由がつけられることのたとえ。
639(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/26(火)11:43 ID:EX3LL1Rn(1/8) AAS
>>635-637
Black Peopleさん=
立花孝志 "真実を発信する正義の人"！ｗ (>>633)
えらく長文だねｗｗ
箱入り無数目を はずれてねｗｗｗ
>そもそも数学ができること自体意味がないというのが賢い
>ガウス以降の数学はほぼ高校では教えないが
>それがガウス以降の数学が数学屋の趣味でしかないことの現れである
ふっふ、ほっほ
１）何を 小学算数、中高数学で教えるべきなのか？
省5
640(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/26(火)11:43 ID:EX3LL1Rn(2/8) AAS
つづき
２）例えば、スレ”雑談はここに書け！” rio2016.5ch.net/test/read.cgi/math/1731752734/8
で リーマン ζでいろいろ計算して遊ぶ アマチュア数学愛好家
”YouTube「超準解析を用いたリーマン予想の証明不可能性の証明」”を投稿していて
ほほえましいと思ったよ
３）いま、Pythonが人気らしい。下記 AI関連のPyTorch が大人気らしい
つづく
つづき
４）AIで使う数学で テンソルと称するものがある
ガウスの数学以降だろう
省17
641(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/26(火)11:48 ID:EX3LL1Rn(3/8) AAS
directscout.recruit.co.jp
あなたの市場価値が分かる - 800万〜2,000万円の案件多数
株リクルート
otafuku-lab.co/aizine/tensor-0917/
AIZINE（エーアイジン）
機械学習で使う数学を学ぶなら覚えておこう！「テンソル」とは
2021.09.17
テンソルは、多次元データの集合体で、AI（人工知能）の画像認識、音声認識、自然言語処理、言語翻訳などに欠かせないディープラーニング（深層学習）で必要なデータセットとして広く活用されています。
ja.wikipedia.org/wiki/%E3%83%86%E3%83%B3%E3%82%BD%E3%83%AB
テンソル（英語: tensor, ドイツ語: Tensor）とは、線形的な量または線形的な幾何概念を一般化したもので、基底を選べば、多次元の配列として表現できるようなものである。
省10
642(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/26(火)11:58 ID:EX3LL1Rn(4/8) AAS
>>640
＞リーマン ζでいろいろ計算して遊ぶ アマチュア数学愛好家
Mathematica のサイトで
ja.wolframalpha.com/input?i=Plot%5BAbs%5BZeta%5B2%2F3+%2B+t+I%5D%5D%2C+%7Bt%2C+0%2C+100%7D%5D も投稿されたね
ja.wolframalpha.com/input?i=Plot%5BAbs%5BZeta%5B1%2F2+%2B+t+I%5D%5D%2C+%7Bt%2C+0%2C+100%7D%5D
ja.wolframalpha.com/input?i=Plot%5BAbs%5BZeta%5B1%2F3+%2B+t+I%5D%5D%2C+%7Bt%2C+0%2C+100%7D%5D
省2
上下前次1-新書関写板覧索設栞歴
あと 30 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s