箱入り無数目を語る部屋18

[0001 １３２人目の素数さん 2024/03/17(日) 04:11:58.07 ID:VAa6dkvQ]

>>1000
>そんなん箱の中身がデルタ分布になってる場合に決まってるだろ
なんで箱の中身の分布をおまえが勝手に指定するんだよｗ
問題が変わっちゃってるじゃんｗ
おまえ馬鹿だろｗ

[0826 １３２人目の素数さん 2024/03/27(水) 23:49:19.87 ID:iQbt47YX]

>>815
>お前は数学的確率論という数学の話をしてたんだろ

・ID:VYgnpeBRは、メシウマさんですね。ありがとうございます
　”スレタイ 箱入り無数目を語る部屋18”のスレ主です
・用語「数学的確率論」で
　『>>703
　　確率論（2014 年度版） 稲垣敏之： 3B413（シス情研究科長室）
　　で検索してみ？
　　筑波大学稲垣副学長のpdfヒットせん？　そこに定義が書かれてるよ』
　には、笑えました
・結局「上に述べたことから分かるように，数学的確率，統計的確率のいずれにも，何らかの問題点がある」とあって
　稲垣敏之先生は、用語「数学的確率論」は 測度論的確率論のダシにつかっているだけでしたね
　しかも、>>626に示したように "中学数学 2年 確率 『確率の導入 統計的確率と数学的確率』”にあるように
　”文科省様の造語”だったｗ
　これには、笑えました。中学生に分かるように、幼児語として”数学的確率”を使っているのでした
・数学科出身を自称する おっさんが>>618-619「まさか数学的確率を知らんの？　冗談だよね？
　もしかして今まで数学的確率と統計的確率の違いを理解せずにコロナ検査は一回でも確率だああとか言ってたの？
　頼むから違うと言ってくれ　でなきゃ赤っ恥だよ君」
　と真顔で絶叫していましたね　；ｐ）
　アホですね

あ、それはともかく”スレタイ 箱入り無数目を語る部屋18”
https://rio2016.5ch.net/test/read.cgi/math/1710632805/
気が向いたら、自由に使ってください。ここが、もうすぐ終わりそうなので
無理は、言いません。新スレ立てるのも、自由です

ともかく、メシウマさんには 抱腹絶倒の”数学的確率論”を引き出して頂き
私も大変楽しませ頂きました
重ねてお礼申し上げます ｍ（＿ ＿）ｍ

[0827 １３２人目の素数さん 2024/03/27(水) 23:57:43.13 ID:VYgnpeBR]

>>824
取れると仮定したときの話なんだけど、分かってる？

[0828 １３２人目の素数さん 2024/03/28(木) 00:03:00.67 ID:p82w91aI]

>>826
>・用語「数学的確率論」で
>　『>>703
>　　確率論（2014 年度版） 稲垣敏之： 3B413（シス情研究科長室）
>　　で検索してみ？
>　　筑波大学稲垣副学長のpdfヒットせん？　そこに定義が書かれてるよ』
>　には、笑えました
何が可笑しいの？　気でも触れた？

>・結局「上に述べたことから分かるように，数学的確率，統計的確率のいずれにも，何らかの問題点がある」とあって
>　稲垣敏之先生は、用語「数学的確率論」は 測度論的確率論のダシにつかっているだけでしたね
誰も公理的確率論を否定していないし、箱入り無数目の確率は数学的確率でなんの問題も無い

>　しかも、>>626に示したように "中学数学 2年 確率 『確率の導入 統計的確率と数学的確率』”にあるように
>　”文科省様の造語”だったｗ
文科省の造語の根拠はなに？

>　これには、笑えました。中学生に分かるように、幼児語として”数学的確率”を使っているのでした
へえ、幼児語を大学の確率論の講義ノートで使ってるんだｗ
君の荒唐無稽な発言こそ笑えるよ

>・数学科出身を自称する おっさんが>>618-619「まさか数学的確率を知らんの？　冗談だよね？
>　もしかして今まで数学的確率と統計的確率の違いを理解せずにコロナ検査は一回でも確率だああとか言ってたの？
>　頼むから違うと言ってくれ　でなきゃ赤っ恥だよ君」
>　と真顔で絶叫していましたね　；ｐ）
>　アホですね
そう思うならどこがどう間違ってるか説明してごらん？
まあまた逃げるんだろうけどｗ

[0829 １３２人目の素数さん 2024/03/28(木) 00:06:53.57 ID:p82w91aI]

>>827
いいえ、分かりません
Xって関数だよね？　なら取れるか否かは関数の定義で決まるのであって、なんで仮定が入り込む余地があるの？

[0830 １３２人目の素数さん 2024/03/28(木) 00:15:00.29 ID:p82w91aI]

定義無視して勝手に仮定されても困るんだけどなあ
その論法が通用するならなんでもありじゃんｗ

おまえ「π=eと仮定しました」
先生「πもeも定義があるので勝手に仮定してはいけません、君落第ね」

[0831 １３２人目の素数さん 2024/03/28(木) 00:16:28.29 ID:ltyF/58/]

>>829
え、ここから分かってないの？

[0832 １３２人目の素数さん 2024/03/28(木) 00:23:56.08 ID:p82w91aI]

>>831
はい分からないので、X:{}→{1,..,6} なる関数Xが1,..,6の値を取れる理由を説明して下さい

関数の定義を踏まえた説明をお願いしますね
定義と相容れない独善仮定はやめて下さいね

[0833 １３２人目の素数さん 2024/03/28(木) 00:26:55.13 ID:ltyF/58/]

例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
なんてよくある定理を見て、X=∅でY={1}のときにそんな全射はないから不成立とか言い出すの？

[0834 １３２人目の素数さん 2024/03/28(木) 00:27:23.39 ID:ltyF/58/]

>>832
君、数学向いてないよ

[0835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI]

>>833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

>X=∅でY={1}のときにそんな全射はないから不成立とか言い出すの？
答えになってません
X:{}→{1,..,6} なる関数Xが1,..,6の値を取れる理由を説明して下さい

>>834
ご意見承りました

[0836 １３２人目の素数さん 2024/03/28(木) 00:41:04.47 ID:ltyF/58/]

あとさあ、(Ω,F)を任意の可測空間とし、Pをそれ上の任意の確率測度とし、Xを{1,...,6}に値を取る…
って書き換えても同じなんだけど、Ω=∅のときのXに文句があるなら、先にPのほうに文句言えよ。P(Ω)は0なのか1なのかどっちだよ

[0837 １３２人目の素数さん 2024/03/28(木) 00:42:38.64 ID:ltyF/58/]

>>835
ここ選択公理のスレだよね…
間違ってないよね…

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
>>833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0838 １３２人目の素数さん 2024/03/28(木) 00:44:07.90 ID:p82w91aI]

>>836
答えになってません
X:{}→{1,..,6} なる関数Xが1,..,6の値を取れる理由を説明して下さい

[0839 １３２人目の素数さん 2024/03/28(木) 00:46:35.73 ID:p82w91aI]

>>837
どういうことかしら？

君なに？自信無いの？なんでズバッと言わないの？めんどくせーんだよクソガキ

[0840 １３２人目の素数さん 2024/03/28(木) 00:47:38.25 ID:ltyF/58/]

>>838
だからそんなXはねーよ

[0841 １３２人目の素数さん 2024/03/28(木) 00:48:20.27 ID:ltyF/58/]

>>838
だからそんなXはねーよ
馬鹿なのか…

[0842 １３２人目の素数さん 2024/03/28(木) 00:49:17.23 ID:p82w91aI]

自信無くてズバっと言えないなら黙ってろよクソガキ

[0843 １３２人目の素数さん 2024/03/28(木) 00:50:13.94 ID:ltyF/58/]

しばらくこれで飯を食うぞ
選択公理のスレでこれは面白すぎる

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0844 １３２人目の素数さん 2024/03/28(木) 01:07:07.84 ID:p82w91aI]

>>840 >>841
>だからそんなXはねーよ
じゃ↓はなに？

0822１３２人目の素数さん
2024/03/27(水) 23:33:56.85ID:VYgnpeBR
具体的な確率空間がないと分からないなら、勝手に好きな確率空間を具体的に与えて正しいことを確認すればいいじゃん

↓に書いてあることは実際にΩ={}でも正しく成り立っているだろ

264 １３２人目の素数さん sage 2024/03/17(日) 22:43:15.07 ID:egixwGA8
>>259
全体を書いて欲しいなら最初からそう言えよ
(Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とすると、P(X=1)=1/6

[0845 １３２人目の素数さん 2024/03/28(木) 01:10:48.33 ID:p82w91aI]

>>843
X={0,1},Y={0}とする。
f:X→Y を f(0)=0,f(1)=0 で定義する。
fは全射である。
fの逆関数を示せ。

[0846 １３２人目の素数さん 2024/03/28(木) 01:12:53.18 ID:ltyF/58/]

>>844
成り立ってるじゃん
お前正気で言ってんのか？

[0847 １３２人目の素数さん 2024/03/28(木) 01:13:58.30 ID:ltyF/58/]

>>845
逆関数はねーよ
お前完全にダチョウだろ

[0848 １３２人目の素数さん 2024/03/28(木) 01:15:08.49 ID:p82w91aI]

>>846
じゃあΩ={0,1}でも成り立つんだね？
どうやって1,..,6の値を一様に取るの？

[0849 １３２人目の素数さん 2024/03/28(木) 01:16:51.10 ID:p82w91aI]

>>847
無いなら
>X,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
はどこへ行っちゃったの？ｗ

[0850 １３２人目の素数さん 2024/03/28(木) 01:17:37.69 ID:ltyF/58/]

>>848
任意の確率空間で成り立つことが証明できるんだから、個別の確率空間で成り立つのは当たり前だろ
自分で確認しろよ

[0851 １３２人目の素数さん 2024/03/28(木) 01:18:52.64 ID:ltyF/58/]

>>849
それはg(0)=0にすれば成り立つだろ

[0852 １３２人目の素数さん 2024/03/28(木) 01:20:50.19 ID:p82w91aI]

>>850
X:{0,1}→{1,..,6}をどう定義すればXが1,..,6の値を一様に取るかを聞いているんだが答えになってないよ

[0853 １３２人目の素数さん 2024/03/28(木) 01:26:57.80 ID:ltyF/58/]

>>852
任意のXについて成り立つんだよ
問題を履き違えるな

[0854 １３２人目の素数さん 2024/03/28(木) 01:28:02.54 ID:ltyF/58/]

本質的に頭が悪いんだな…

[0855 １３２人目の素数さん 2024/03/28(木) 01:34:13.34 ID:p82w91aI]

>>853
X:{0,1}→{1,..,6}をどう定義すればXが1,..,6の値を一様に取るかを聞いているんだが答えになってないよ

[0856 １３２人目の素数さん 2024/03/28(木) 01:35:29.64 ID:p82w91aI]

>>854
君は頭が良いの？
なら逃げずに答えれば？

[0857 １３２人目の素数さん 2024/03/28(木) 01:36:17.99 ID:ltyF/58/]

>>855
そんなXはないだろ
それくらい自分でやれよ

[0858 １３２人目の素数さん 2024/03/28(木) 01:36:59.63 ID:p82w91aI]

>>854
まずXの定義を書きなよ
話はそれからだ

[0859 １３２人目の素数さん 2024/03/28(木) 01:38:31.22 ID:ltyF/58/]

>>858
∀で量化した変数に定義があるかよ

[0860 １３２人目の素数さん 2024/03/28(木) 01:38:32.90 ID:p82w91aI]

>>857
>(Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とする
はどこ行っちゃったの？

[0861 １３２人目の素数さん 2024/03/28(木) 01:41:33.25 ID:ltyF/58/]

>>860
何が言いたいのか意味不明なんだけど

[0862 １３２人目の素数さん 2024/03/28(木) 01:44:10.59 ID:p82w91aI]

>>857
>(Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とする
Ω={1,2}のときにそんなXが無いってことは
(Ω,F,P)を任意の確率空間としちゃ駄目ってことじゃないの？だって任意ってことはΩ={1,2}でもいいんでしょ？

[0863 １３２人目の素数さん 2024/03/28(木) 01:46:16.44 ID:p82w91aI]

>>861
それがおまえ

[0864 １３２人目の素数さん 2024/03/28(木) 01:46:16.72 ID:ltyF/58/]

>>862
かかるXが無いなら何も問題ないじゃん
真面目にやれよ

[0865 １３２人目の素数さん 2024/03/28(木) 01:47:42.19 ID:p82w91aI]

>>864
Xが無いなら確率計算できないという大問題があるじゃん
真面目にやれよ

[0866 １３２人目の素数さん 2024/03/28(木) 01:48:35.28 ID:p82w91aI]

任意でいいって言ったのおまえだよな？
任意でいいならΩ={0,1}でもいいんだろ？
さっさとΩ={0,1}からサイコロの1の目が出る確率を計算しろよ

[0867 １３２人目の素数さん 2024/03/28(木) 01:48:58.54 ID:p82w91aI]

真面目にやれコラ

[0868 １３２人目の素数さん 2024/03/28(木) 01:51:51.77 ID:ltyF/58/]

>>866
上のほうで計算したじゃん

50 １３２人目の素数さん sage 2024/03/17(日) 05:17:33.43 ID:HNHCaIr5
ほんとうにけいさんがわからないみたいだからさらにていねいにしてやるよ
P(X=1)=P(X∈{1})=P^X({1})=1/6
これいじょうかんたんにはならんぞ

[0869 １３２人目の素数さん 2024/03/28(木) 01:53:50.33 ID:p82w91aI]

>>868
ちょっと待てよｗ
Ω={0,1}のとき、1,..,6の値を一様に取る確率変数Ｘは無いって言ってなかったか？
無いのになんで計算できるの？

[0870 １３２人目の素数さん 2024/03/28(木) 01:54:32.23 ID:p82w91aI]

おまえ意味不明過ぎるんだけど
真面目にやれよ

[0871 １３２人目の素数さん 2024/03/28(木) 01:55:33.22 ID:p82w91aI]

>>868
計算式の中になんで存在しないＸが書かれてるんだよｗ
真面目にやれよ

[0872 １３２人目の素数さん 2024/03/28(木) 01:55:52.29 ID:ltyF/58/]

>>869
計算のどこが間違ってるというの？

[0873 １３２人目の素数さん 2024/03/28(木) 01:57:05.53 ID:ltyF/58/]

>>871
Xは任意の{1,...,6}値確率変数だつってんだろ

[0874 １３２人目の素数さん 2024/03/28(木) 01:57:24.30 ID:p82w91aI]

>>868
>これいじょうかんたんにはならんぞ
簡単になるならないの問題じゃねーよ
存在しないＸを計算式の中で使うなよ

[0875 １３２人目の素数さん 2024/03/28(木) 02:01:43.99 ID:p82w91aI]

>>873
Ω={0,1}のときXが存在しないと言ったの忘れたの？ダチョウ君

0855１３２人目の素数さん
2024/03/28(木) 01:34:13.34ID:p82w91aI
>>853
X:{0,1}→{1,..,6}をどう定義すればXが1,..,6の値を一様に取るかを聞いているんだが答えになってないよ

0857１３２人目の素数さん
2024/03/28(木) 01:36:17.99ID:ltyF/58/
>>855
そんなXはないだろ
それくらい自分でやれよ

[0876 １３２人目の素数さん 2024/03/28(木) 02:02:42.46 ID:ltyF/58/]

定理 (Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とすると、P(X=1)=1/6

証明
(Ω,F,P)を確率空間とし、Xを1,...,6の値を一様に取る確率変数とする。
P(X=1)=P(X∈{1})=P^X({1})=1/6
証明終わり

こんな当たり前のことに何の文句があるんだよ
意味分からなすぎる

[0877 １３２人目の素数さん 2024/03/28(木) 02:05:47.02 ID:p82w91aI]

>>872
>P(X=1)=P(X∈{1})=P^X({1})=1/6
おまえXが存在しないと言ったよな？　じゃこの式ってナンセンスじゃん　正しい・間違い以前じゃん

[0878 １３２人目の素数さん 2024/03/28(木) 02:05:53.36 ID:ltyF/58/]

>>875
Xが存在しないってのは、かかる性質を満たす確率変数Xは存在しないって意味だぞ
証明したのは任意のかかる性質を満たす確率変数Xについてかくかくが成り立つだ
ごっちゃにすんな

[0879 １３２人目の素数さん 2024/03/28(木) 02:07:23.66 ID:ltyF/58/]

>>877
ナンセンスではない
任意に与えられたXの性質しか使ってないだろ

[0880 １３２人目の素数さん 2024/03/28(木) 02:09:25.67 ID:ltyF/58/]

頭がダチョウだとこうも数学ができないのか…

[0881 １３２人目の素数さん 2024/03/28(木) 02:09:43.58 ID:p82w91aI]

>>878
任意のかかる性質を満たす確率変数Xが存在し得る確率空間じゃなきゃダメってことじゃないの？
じゃあ任意の確率空間じゃダメじゃん

[0882 １３２人目の素数さん 2024/03/28(木) 02:11:25.78 ID:p82w91aI]

おまえは最初から確率空間は任意任意って言ってんだよ
言い訳すんなよ

[0883 １３２人目の素数さん 2024/03/28(木) 02:11:57.96 ID:ltyF/58/]

>>881
んなわけあるかよ
任意の確率空間で成立するだろ頭わいてんのか

[0884 １３２人目の素数さん 2024/03/28(木) 02:12:04.91 ID:p82w91aI]

>>880
それがおまえ

[0885 １３２人目の素数さん 2024/03/28(木) 02:14:10.86 ID:p82w91aI]

>>883
確率空間が任意でよいならΩ={0,1}でもいいんだろ？　Y/N
Ω={0,1}のときXは存在しないんだろ？　Y/N
Xが存在しないのに
>P(X=1)=P(X∈{1})=P^X({1})=1/6
こんな計算できるの？　Y/N

[0886 １３２人目の素数さん 2024/03/28(木) 02:15:41.98 ID:p82w91aI]

言い訳しないで一つ一つYESかNOで答えてね

[0887 １３２人目の素数さん 2024/03/28(木) 02:16:51.04 ID:p82w91aI]

>P(X=1)=P(X∈{1})=P^X({1})=1/6

存在しないもの＝１
ってなに？教えて？

[0888 １３２人目の素数さん 2024/03/28(木) 02:19:31.65 ID:ltyF/58/]

>>885
全部yだって言ってんだろ

[0889 １３２人目の素数さん 2024/03/28(木) 02:21:03.59 ID:ltyF/58/]

>>887
Xって変数がないんじゃねーよ
Xが動く範囲が空集合だってんの

[0890 １３２人目の素数さん 2024/03/28(木) 02:21:33.59 ID:p82w91aI]

>>888
存在しないもの＝１
ってなに？教えて

[0891 １３２人目の素数さん 2024/03/28(木) 02:22:02.71 ID:ltyF/58/]

ダチョウだから仕方ないけど完全に論理が破綻しとる

[0892 １３２人目の素数さん 2024/03/28(木) 02:25:50.89 ID:ltyF/58/]

>>890
存在しないものってなんだよ
Xがかかる確率変数として任意に固定した時点で少なくとも1つは存在してるよ

任意の集合AとAの任意の元aに対して、Aは空集合ではないって定理と同じ形ね
これはAが空集合のときも成り立つことに注意してね

[0893 １３２人目の素数さん 2024/03/28(木) 02:28:06.80 ID:p82w91aI]

>>889
>Xが動く範囲が空集合だってんの
だってんのって初耳だよ

動く範囲ってなに？Xの取り得る値の集合ってこと？
それが空ということはXはなんの値も取らないってこと？
じゃあ
>P(X=1)=P(X∈{1})=P^X({1})=1/6
で、１の値を取るって矛盾してない？

[0894 １３２人目の素数さん 2024/03/28(木) 02:32:29.98 ID:ltyF/58/]

>>893
真面目に読めよ
Xが動く範囲を集合で書くと
{Y : YはΩ上の確率変数で、1,...,6の値を一様に取る }
だろ
これがΩが小さいときは空集合だって言ってんだよ

[0895 １３２人目の素数さん 2024/03/28(木) 02:34:00.93 ID:ltyF/58/]

なんで明らかに証明されていることに対して、意味のわからない穴を探そうとするの？
証明を1ステップずつ確認すりゃいいじゃん

[0896 １３２人目の素数さん 2024/03/28(木) 02:41:02.87 ID:p82w91aI]

おまえ言ってること変わったぞ

今
「定理 (Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とすると、P(X=1)=1/6」が真

最初
サイコロひとつを1回振る試行の確率空間は任意でよい

なんで変えたの？間違いに気づいて慌てて修正したの？

[0897 １３２人目の素数さん 2024/03/28(木) 02:42:22.41 ID:ltyF/58/]

>>896
何が違うの？
実際に任意の確率空間でいいじゃん

[0898 １３２人目の素数さん 2024/03/28(木) 02:42:35.38 ID:p82w91aI]

なんで変えたか正直に白状しなさい

[0899 １３２人目の素数さん 2024/03/28(木) 02:44:06.52 ID:ltyF/58/]

>>898
何も変わってないのだが…

[0900 １３２人目の素数さん 2024/03/28(木) 02:44:07.91 ID:p82w91aI]

>>897
違わないならなんで
「定理 (Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とすると、P(X=1)=1/6」
に変えたの？変えなくていいじゃん　違わないんだろ？

[0901 １３２人目の素数さん 2024/03/28(木) 02:49:41.88 ID:p82w91aI]

あとさ　違わなくないよ

「定理 (Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とすると、P(X=1)=1/6」
は、Xが1,..,6の値を一様に取る確率変数　⇒　P(X=1)=1/6
と言ってるのであって、「Xが1,..,6の値を一様に取る確率変数」が偽なら常に真

一方
>これがΩが小さいときは空集合だって言ってんだよ
なんだからサイコロひとつを1回振る試行の確率空間は任意じゃダメだろ

[0902 １３２人目の素数さん 2024/03/28(木) 02:49:57.70 ID:ltyF/58/]

お前がいつまで経っても詳細なステートメントを聞かなかっただけじゃん

259 １３２人目の素数さん 2024/03/17(日) 22:39:48.86 ID:VAa6dkvQ
事象が未定義なら1/6ってそもそも何よ？ｗ
事象が定義されてんでしょ？
その全体を書いてって言ってるの
君も分からん人やねえ

264 １３２人目の素数さん sage 2024/03/17(日) 22:43:15.07 ID:egixwGA8
＞259
全体を書いて欲しいなら最初からそう言えよ
(Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とすると、P(X=1)=1/6

[0903 １３２人目の素数さん 2024/03/28(木) 02:50:54.31 ID:p82w91aI]

違うから言い直したんだろ？
白状せいや

[0904 １３２人目の素数さん 2024/03/28(木) 02:52:27.93 ID:ltyF/58/]

>>901
なんでだめなの？
確率空間がなんであっても、計算は正しくできるじゃん

[0905 １３２人目の素数さん 2024/03/28(木) 02:52:56.49 ID:ltyF/58/]

>>903
どこが違うの？

[0906 １３２人目の素数さん 2024/03/28(木) 02:53:42.87 ID:p82w91aI]

結局確率空間は任意じゃダメだめなんだよ
任意でよいというのはおまえの定理の真偽に関しては任意でよいということに過ぎない
だからおまえはシレっと言い直した
白状せい

[0907 １３２人目の素数さん 2024/03/28(木) 02:56:33.02 ID:p82w91aI]

>>904
>Xが動く範囲を集合で書くと
>{Y : YはΩ上の確率変数で、1,...,6の値を一様に取る }
>だろ
>これがΩが小さいときは空集合だって言ってんだよ
空集合ってことは確率変数が存在しないってことだろ？
なんで存在しない確率変数を使ってんの？
>P(X=1)=P(X∈{1})=P^X({1})=1/6

[0908 １３２人目の素数さん 2024/03/28(木) 02:56:44.77 ID:ltyF/58/]

>>906
最初から任意でいいって言ってるし、そもそも個別の確率空間について述べるよりも強い主張をしているのに何が不満なの？

[0909 １３２人目の素数さん 2024/03/28(木) 02:58:03.21 ID:ltyF/58/]

>>907
Xをその集合から取ってきた任意の元とすれば、その計算は成り立つだろ

[0910 １３２人目の素数さん 2024/03/28(木) 02:58:35.85 ID:p82w91aI]

ちと訂正
>>904
>Xが動く範囲を集合で書くと
>{Y : YはΩ上の確率変数で、1,...,6の値を一様に取る }
>だろ
>これがΩが小さいときは空集合だって言ってんだよ
空集合ってことは1,...,6の値を一様に取るような確率変数が存在しないってことだろ？
だったら
>P(X=1)=P(X∈{1})=P^X({1})=1/6
こんな式成立せんやん

[0911 １３２人目の素数さん 2024/03/28(木) 03:00:49.29 ID:p82w91aI]

>>909
>Xをその集合から取ってきた任意の元とすれば
X:{0,1}→{1,...,6} で 1,...,6の値を一様に取る
なんだからその集合から取れんやん

なに言ってんのおまえ　真面目にやれ

[0912 １３２人目の素数さん 2024/03/28(木) 03:01:15.34 ID:870qUCcg]

>>910
Xをその集合から取ってきた任意の元とすれば、その計算は成り立つだろ

[0913 １３２人目の素数さん 2024/03/28(木) 03:02:26.55 ID:p82w91aI]

おまえ自分でΩが小さいときはその集合は空だって言ってるじゃん
じゃあその集合から取ってこれんやん
おまえ馬鹿？　真面目にやれよ

[0914 １３２人目の素数さん 2024/03/28(木) 03:03:15.22 ID:870qUCcg]

>>911
だから
任意の集合Aと任意のAの元aについて、Aは空集合ではない
という定理はAが空集合のときにも成り立つって言ってんだろ

[0915 １３２人目の素数さん 2024/03/28(木) 03:03:16.44 ID:p82w91aI]

空集合からの元の取り方を説明して下さい

[0916 １３２人目の素数さん 2024/03/28(木) 03:04:29.90 ID:p82w91aI]

>>914
話を逸らすな
おまえ自分でΩが小さいときはその集合は空だと言った
空集合からの元の取り方を説明して下さい

[0917 １３２人目の素数さん 2024/03/28(木) 03:04:48.05 ID:870qUCcg]

>>913
その集合をAと書くとして、XをAの元とすると、Aは空集合じゃねーよ

[0918 １３２人目の素数さん 2024/03/28(木) 03:05:42.01 ID:870qUCcg]

>>916
空集合には元はねーよ
頭わいてんのかよ

[0919 １３２人目の素数さん 2024/03/28(木) 03:06:37.79 ID:p82w91aI]

「定理 (Ω,F,P)を任意の確率空間として、Xを1,..,6の値を一様に取る確率変数とすると、P(X=1)=1/6」
が真だからといって任意の確率空間で
>P(X=1)=P(X∈{1})=P^X({1})=1/6
という計算が成立するとは言えない

おまえが間違っている

[0920 １３２人目の素数さん 2024/03/28(木) 03:08:20.94 ID:870qUCcg]

>>919
なんで？

[0921 １３２人目の素数さん 2024/03/28(木) 03:09:45.18 ID:p82w91aI]

>>918
>Xをその集合から取ってきた任意の元とすれば、その計算は成り立つだろ
そうだね　取ってきた元とすればね
でも空集合なら取ってこれないんだろ？　じゃ空集合のとき計算成り立たんやん
頭わいてんのかよ

[0922 １３２人目の素数さん 2024/03/28(木) 03:11:12.25 ID:p82w91aI]

>>920
確率空間によってはXが存在しないから

[0923 １３２人目の素数さん 2024/03/28(木) 03:11:47.09 ID:870qUCcg]

>>921
元が取ってこれたら計算はあってんじゃん

[0924 １３２人目の素数さん 2024/03/28(木) 03:12:27.37 ID:870qUCcg]

>>922
Xをかかる確率変数と仮定すれば計算は正しいだろ

[0925 １３２人目の素数さん 2024/03/28(木) 03:12:50.46 ID:p82w91aI]

>>923
それは否定しとらんやん
取ってこれないとき計算できねーって言ってんだよ
頭わいてんのかよ

[0926 １３２人目の素数さん 2024/03/28(木) 03:14:04.19 ID:p82w91aI]

>>924
Ωが小さいときそんな仮定はできないって言ってんの
頭わいてんのかよ

[0927 １３２人目の素数さん 2024/03/28(木) 03:14:55.09 ID:p82w91aI]

おまえは確率空間は任意でよいと言ったんだからΩはいくら小さくてもよいんだろ？
言い訳すんなよ

[0928 １３２人目の素数さん 2024/03/28(木) 03:15:23.12 ID:870qUCcg]

>>925
それ何か困るの？

[0929 １３２人目の素数さん 2024/03/28(木) 03:17:38.71 ID:p82w91aI]

>>928
任意の確率空間で計算できるというおまえの主張が間違っているのに間違いを認めないから困ってる

[0930 １３２人目の素数さん 2024/03/28(木) 03:18:20.53 ID:870qUCcg]

>>926
仮定できないってどういうこと？

[0931 １３２人目の素数さん 2024/03/28(木) 03:20:50.38 ID:870qUCcg]

>>929
任意の確率空間について計算したじゃん

[0932 １３２人目の素数さん 2024/03/28(木) 03:27:50.37 ID:870qUCcg]

確率空間について、なんの制約もかけずに計算できるからこういう便利な定式化をやるわけで、それを個別の場合に計算できてないとか意味不明なんですけど
個別の確率空間でやってもこれより弱い結果にしかならないし、そもそも確率空間を具体的なものに固定してしまったら非常に不便なんですけど

[0933 １３２人目の素数さん 2024/03/28(木) 03:28:35.45 ID:p82w91aI]

>>930
>Xをかかる確率変数と仮定すれば計算は正しいだろ
はいはい、仮定すればね？

しかしΩが小さいときかかる確率変数は存在しないんだろ？　Y/N
じゃあ計算できないね？　Y/N
じゃあ計算できるというおまえの主張は間違いだね？　Y/N

[0934 １３２人目の素数さん 2024/03/28(木) 03:29:46.67 ID:p82w91aI]

>>931
Ωが小さいときXが存在しないのになんで計算したことになるの？
頭わいてんのかよ

[0935 １３２人目の素数さん 2024/03/28(木) 03:31:19.09 ID:p82w91aI]

>>932
>確率空間について、なんの制約もかけずに計算できるから
できてねーだろ
Xが存在しないのに
>P(X=1)=P(X∈{1})=P^X({1})=1/6
ってなんだよ
頭わいてんのかよ

[0936 １３２人目の素数さん 2024/03/28(木) 03:32:53.56 ID:p82w91aI]

おまえふざけてるだろ

[0937 １３２人目の素数さん 2024/03/28(木) 03:33:07.87 ID:870qUCcg]

>>934
小さいかどうか関係なく、全く制約のないすべてのΩで成立する方法で計算しただろ

[0938 １３２人目の素数さん 2024/03/28(木) 03:35:24.38 ID:p82w91aI]

>>937
>Xが存在しないのに
>>P(X=1)=P(X∈{1})=P^X({1})=1/6
>ってなんだよ
に答えろバカ

[0939 １３２人目の素数さん 2024/03/28(木) 03:35:34.30 ID:870qUCcg]

>>935
Xが存在すると仮定したときに計算できるだろ
それはΩに関係なく可能

[0940 １３２人目の素数さん 2024/03/28(木) 03:36:33.02 ID:p82w91aI]

なんで存在しないXを式の中に入れて平然としてられるの？
頭わいてんのかよ

[0941 １３２人目の素数さん 2024/03/28(木) 03:37:43.06 ID:870qUCcg]

>>940
それの何が問題なの？
意味が分からない

[0942 １３２人目の素数さん 2024/03/28(木) 03:37:48.05 ID:p82w91aI]

>>939
>Xが存在すると仮定したときに計算できるだろ
それは否定してないと言ってるだろ

>Xが存在しないのに
>>P(X=1)=P(X∈{1})=P^X({1})=1/6
>ってなんだよ
に答えろと言ってるの
さっさと答えろバカ

[0943 １３２人目の素数さん 2024/03/28(木) 03:40:04.34 ID:p82w91aI]

>>941
Xが存在しないときのP(X=1)ってなに？

[0944 １３２人目の素数さん 2024/03/28(木) 03:41:10.96 ID:870qUCcg]

例えば、√2が無理数だと示そうと思って、√2=n/mと整数の比で書けたと仮定するだろ、そっから実は存在しないmとnに関して延々と計算していくじゃん
存在しないものを存在したと仮定して計算して一体何が問題なの？

[0945 １３２人目の素数さん 2024/03/28(木) 03:42:34.53 ID:870qUCcg]

>>943
Xは∀で量化してるんだから存在するんだって

[0946 １３２人目の素数さん 2024/03/28(木) 03:48:26.59 ID:p82w91aI]

>>944
それは背理法の話
>P(X=1)=P(X∈{1})=P^X({1})=1/6
は背理法なの？
実際は1/6ではないのにXが存在すると仮定して計算すると1/6となるから矛盾だと言いたいの？
実際は1/6ではないの？ｗ
じゃあ計算できとらんやんｗ

語るに落ちるとはこのことｗ

[0947 １３２人目の素数さん 2024/03/28(木) 03:50:31.40 ID:p82w91aI]

>>945
存在するのね？
じゃあ
X:{0,1}→{1,...,6} で 1,...,6の値を一様に取る
ようなXを示して

[0948 １３２人目の素数さん 2024/03/28(木) 03:52:38.51 ID:p82w91aI]

おまえなんで間違いを認められないの？
間違ってました、正しくは〇〇でした
って一言言えば済む話なのに言えないの？

[0949 １３２人目の素数さん 2024/03/28(木) 03:56:27.92 ID:870qUCcg]

>>946
1/6になるまでもなく、Xを取ってきた時点で矛盾してるだろ

[0950 １３２人目の素数さん 2024/03/28(木) 03:57:30.58 ID:870qUCcg]

>>947
それがXだよ

[0951 １３２人目の素数さん 2024/03/28(木) 03:58:20.56 ID:p82w91aI]

>>949
Xを取ってきた時点で矛盾なら
>P(X=1)=P(X∈{1})=P^X({1})=1/6
は不成立ってことじゃん
はい、おまえの負け　いい加減認めろ　駄々こねるな　三歳児かおまえｈ

[0952 １３２人目の素数さん 2024/03/28(木) 03:58:50.93 ID:870qUCcg]

>>948
証明されてるのに何が間違いなんだよ

[0953 １３２人目の素数さん 2024/03/28(木) 03:59:36.77 ID:870qUCcg]

>>951
矛盾してるんだから、その式は正しいだろ脳みそチンパンジーかよ

[0954 １３２人目の素数さん 2024/03/28(木) 04:00:19.22 ID:p82w91aI]

>>950
X(0)=〇
X(1)=□
〇と□に入る{1,...,6}の元を答えよ

[0955 １３２人目の素数さん 2024/03/28(木) 04:01:09.91 ID:p82w91aI]

>>952
何が証明されていると？命題を書け

[0956 １３２人目の素数さん 2024/03/28(木) 04:02:19.01 ID:p82w91aI]

>>953
Xが存在しないときのP(X=1)ってなに？

[0957 １３２人目の素数さん 2024/03/28(木) 04:03:19.05 ID:p82w91aI]

三歳児がまだ駄々こねてます
困りますねえ
ここは保育園ですか？

[0958 １３２人目の素数さん 2024/03/28(木) 04:05:32.87 ID:870qUCcg]

>>954
なんで？

[0959 １３２人目の素数さん 2024/03/28(木) 04:06:03.95 ID:870qUCcg]

>>955
何回も書いただろ

[0960 １３２人目の素数さん 2024/03/28(木) 04:07:08.97 ID:p82w91aI]

>>958
なんでじゃねーよ
おまえが
X:{0,1}→{1,...,6} で 1,...,6の値を一様に取る
ようなXが存在すると言ったからだよ
頭わいてんのかよ

[0961 １３２人目の素数さん 2024/03/28(木) 04:07:24.66 ID:870qUCcg]

>>956
Xを取ってきてるだろ

[0962 １３２人目の素数さん 2024/03/28(木) 04:08:06.86 ID:870qUCcg]

>>960
だからそれがXだって言ってんだろ

[0963 １３２人目の素数さん 2024/03/28(木) 04:08:31.40 ID:p82w91aI]

>>959
話を逸らすなって言ってんの
その命題が真であることは否定してないって言ってるだろ

[0964 １３２人目の素数さん 2024/03/28(木) 04:09:40.02 ID:p82w91aI]

>>962
>>954

[0965 １３２人目の素数さん 2024/03/28(木) 04:10:31.44 ID:870qUCcg]

Xをかかる確率変数とすると、かかる確率変数は存在し、例えばそれはXである
これのどこに疑問の余地があるんだよ

[0966 １３２人目の素数さん 2024/03/28(木) 04:10:54.60 ID:p82w91aI]

もういいや
駄々っ子相手にしても埒開かん
おれは保母さんじゃないっつーの
ばいばい駄々っ子くん

[0967 １３２人目の素数さん 2024/03/28(木) 04:11:19.19 ID:870qUCcg]

>>963
証明されてる命題は何か聞いて来たのはお前だろ

[0968 １３２人目の素数さん 2024/03/28(木) 04:12:29.01 ID:p82w91aI]

そこに疑問の余地はないって何度言わせんだよ
>>954に答えろって言ってんの

はい、ばいばい　もうやだ駄々っ子は

[0969 １３２人目の素数さん 2024/03/28(木) 04:13:51.39 ID:p82w91aI]

この基地外駄々っ子なんとかしてｗ
否定してないって何度も言ってるのに何度も同じこと繰り返す基地外

[0970 １３２人目の素数さん 2024/03/28(木) 04:17:27.87 ID:p82w91aI]

基地外駄々っ子くんは仮定が偽の命題は常に真であるという知識をひけらかしたいんだろう
だからそこから話が逸れると戻そう戻そうと何度も同じこと言ってくる
頭が狂ってるとしか思えない
基地外駄々っ子の相手は懲り懲り

[0971 １３２人目の素数さん 2024/03/28(木) 04:21:39.04 ID:870qUCcg]

なんでこんな普通の定式化に文句言ってくるのか意味不明なのはこっちなんですけど
確率空間を具体的なものに固定して現実の何の役に立つんだよ

[0972 １３２人目の素数さん 2024/03/28(木) 04:23:31.67 ID:870qUCcg]

>>968
じゃあ1と2でいいよ
これの何が楽しいんだよ

[0973 １３２人目の素数さん 2024/03/28(木) 04:41:41.13 ID:870qUCcg]

>>970
そもそも仮定が偽であることを証明では使ってないんですけど

[0974 １３２人目の素数さん 2024/03/28(木) 04:44:58.53 ID:870qUCcg]

選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0975 １３２人目の素数さん 2024/03/28(木) 04:45:18.11 ID:870qUCcg]

選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0976 １３２人目の素数さん 2024/03/28(木) 04:45:31.44 ID:870qUCcg]

選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0977 １３２人目の素数さん 2024/03/28(木) 04:47:13.24 ID:870qUCcg]

あと
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0978 １３２人目の素数さん 2024/03/28(木) 04:47:33.29 ID:870qUCcg]

少しで
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0979 １３２人目の素数さん 2024/03/28(木) 04:47:53.55 ID:870qUCcg]

この
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0980 １３２人目の素数さん 2024/03/28(木) 04:48:12.58 ID:870qUCcg]

スレ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0981 １３２人目の素数さん 2024/03/28(木) 04:48:26.35 ID:870qUCcg]

おわ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0982 １３２人目の素数さん 2024/03/28(木) 04:48:41.28 ID:870qUCcg]

りだ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0983 １３２人目の素数さん 2024/03/28(木) 04:48:59.38 ID:870qUCcg]

けど
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0984 １３２人目の素数さん 2024/03/28(木) 04:49:15.15 ID:870qUCcg]

つぎ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0985 １３２人目の素数さん 2024/03/28(木) 04:49:28.30 ID:870qUCcg]

スレ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0986 １３２人目の素数さん 2024/03/28(木) 04:49:42.07 ID:870qUCcg]

もう
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0987 １３２人目の素数さん 2024/03/28(木) 04:49:53.05 ID:870qUCcg]

ある
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0988 １３２人目の素数さん 2024/03/28(木) 04:50:06.94 ID:870qUCcg]

から
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0989 １３２人目の素数さん 2024/03/28(木) 04:50:21.01 ID:870qUCcg]

たて
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0990 １３２人目の素数さん 2024/03/28(木) 04:50:34.99 ID:870qUCcg]

なく
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0991 １３２人目の素数さん 2024/03/28(木) 04:50:49.19 ID:870qUCcg]

ても
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0992 １３２人目の素数さん 2024/03/28(木) 04:51:01.93 ID:870qUCcg]

いいよ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0993 １３２人目の素数さん 2024/03/28(木) 04:51:21.05 ID:870qUCcg]

つぎ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0994 １３２人目の素数さん 2024/03/28(木) 04:51:33.67 ID:870qUCcg]

スレ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0995 １３２人目の素数さん 2024/03/28(木) 04:51:48.14 ID:870qUCcg]

は
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0996 １３２人目の素数さん 2024/03/28(木) 04:53:21.06 ID:870qUCcg]

https://rio2016.5ch.net/test/read.cgi/math/1710632805/
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0997 １３２人目の素数さん 2024/03/28(木) 04:53:38.70 ID:870qUCcg]

だよ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0998 １３２人目の素数さん 2024/03/28(木) 04:53:53.49 ID:870qUCcg]

おや
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[0999 １３２人目の素数さん 2024/03/28(木) 04:54:05.45 ID:870qUCcg]

すみ
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。

[1000 １３２人目の素数さん 2024/03/28(木) 04:54:29.71 ID:870qUCcg]

右逆
選択公理のスレでこれは面白すぎるからこれでスレ埋めよ

参考 https://mathlog.info/articles/2404

835 １３２人目の素数さん 2024/03/28(木) 00:36:55.17 ID:p82w91aI
＞833
>例えばX,Yを任意の集合として、f:X→Yを全射とすると、g:Y→Xが存在して、f o g = id
>なんてよくある定理
いいえ、そんな定理はありません。
全射であることだけで逆関数が存在することは言えません。