Inter universal geometryとABC予想(応援スレ)
レス数が1000を超えています。これ以上書き込みはできません。
1132人目の素数さん
2021/08/12(木) 23:26:34.44ID:E5vJ+Wh+ テンプレは後で
953Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 11:46:34.80ID:z3zwlfJp >>947
>無限次元ベクトルFから、何かの手段(※)で、決定番号n∈Nを決める
>つまり、関数f:R^N→N が存在する
>では、この関数fから、確率測度Pが与えられるのか?
>無理でしょ!
(※) 「何かの手段」ではなく「選択関数による代表元の選択」
選択公理が全然分かってない🐎🦌だねえwww
さて、「箱入り無数目」では
無限個の箱の中身は確率変数じゃないから、
上記の関数fはまったく必要ないよ
知らなかった?🐎🦌🐒の雑談 ◆yH25M02vWFhP こと SET A
>無限次元ベクトルFから、何かの手段(※)で、決定番号n∈Nを決める
>つまり、関数f:R^N→N が存在する
>では、この関数fから、確率測度Pが与えられるのか?
>無理でしょ!
(※) 「何かの手段」ではなく「選択関数による代表元の選択」
選択公理が全然分かってない🐎🦌だねえwww
さて、「箱入り無数目」では
無限個の箱の中身は確率変数じゃないから、
上記の関数fはまったく必要ないよ
知らなかった?🐎🦌🐒の雑談 ◆yH25M02vWFhP こと SET A
954132人目の素数さん
2021/10/03(日) 12:35:04.99ID:dHNATHr2 >>947
>下記の確率空間 (Ω,F,P)で、「箱入り無数目」では
>全事象Ω=R^N (無限次元のユークリッド空間)、
大間違い。
記事原文の記述「さて, 1〜100 のいずれかをランダムに選ぶ. 」
から容易に分かる通り Ω={1,2,…,100}
記事原文の記述
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にnを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる. 」
から分かる通り、出題者がある s∈R^N を固定した後に回答者のターンとなるため
>全事象Ω=R^N (無限次元のユークリッド空間)、
とはなり得ない。
>「箱入り無数目」>>888は、結局は、確率空間 (Ω,F,P)が、正当化されないので、決定番号による確率は、測度論的に正当化されない
測度論の問題ではなく国語(文章読解)の問題。
数学の前に国語を勉強し直した方が良い。
>下記の確率空間 (Ω,F,P)で、「箱入り無数目」では
>全事象Ω=R^N (無限次元のユークリッド空間)、
大間違い。
記事原文の記述「さて, 1〜100 のいずれかをランダムに選ぶ. 」
から容易に分かる通り Ω={1,2,…,100}
記事原文の記述
「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.
どんな実数を入れるかはまったく自由,例えばn番目の箱にe^nを入れてもよいし,すべての箱にnを入れてもよい.
もちろんでたらめだって構わない.そして箱をみな閉じる.
今度はあなたの番である.片端から箱を開けてゆき中の実数を覗いてよいが,一つの箱は開けずに閉じたまま残さねばならぬとしよう.
どの箱を閉じたまま残すかはあなたが決めうる. 」
から分かる通り、出題者がある s∈R^N を固定した後に回答者のターンとなるため
>全事象Ω=R^N (無限次元のユークリッド空間)、
とはなり得ない。
>「箱入り無数目」>>888は、結局は、確率空間 (Ω,F,P)が、正当化されないので、決定番号による確率は、測度論的に正当化されない
測度論の問題ではなく国語(文章読解)の問題。
数学の前に国語を勉強し直した方が良い。
955現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 13:08:34.12ID:gtH9cx8i >>954
>から分かる通り、出題者がある s∈R^N を固定した後に回答者のターンとなるため
>>全事象Ω=R^N (無限次元のユークリッド空間)、
>とはなり得ない。
じゃないよね
その話だと、R^Nの全ての同値類を作る必要はないよね
(実際、やり方によっては*)(下記)、R^Nの全ての同値類を作る必要はないけどね)
実際、時枝記事の中では、R^Nの全ての同値類を作るとなっているよ
それが一番簡単だからね
つまりは、
1.問題を出された時点では、回答者から見て、全事象Ω=R^Nです
2.下記のように、99列の箱を開けてM+1以降の箱も開けると、未開封の箱は有限M個、つまりR^Mです
3.しかし、さらに1〜M-1まで開けて、残り1個つまりR^1となっても、未知の一つの実数をピンポイントで的中の確率はP=0でしかないのです!
注*)上記の”やり方”とは
1)問題の数列が与えられて
2)100列に分けて
3)ある1列を選んで
4)残り99列の箱を開けて、99列も同値類(99のみ)を知る
5)代表は、全くの第三者に選ばせる。 あるいは、おみくじのようにガラガラポンで作為が入らない方法にすれば良い
6)決定番号の最大値Mから、M+1以降の箱の数を知り、上記5)項の方法で代表を知るようにする
7)これで、100の同値類と代表だけで済む
以上
>から分かる通り、出題者がある s∈R^N を固定した後に回答者のターンとなるため
>>全事象Ω=R^N (無限次元のユークリッド空間)、
>とはなり得ない。
じゃないよね
その話だと、R^Nの全ての同値類を作る必要はないよね
(実際、やり方によっては*)(下記)、R^Nの全ての同値類を作る必要はないけどね)
実際、時枝記事の中では、R^Nの全ての同値類を作るとなっているよ
それが一番簡単だからね
つまりは、
1.問題を出された時点では、回答者から見て、全事象Ω=R^Nです
2.下記のように、99列の箱を開けてM+1以降の箱も開けると、未開封の箱は有限M個、つまりR^Mです
3.しかし、さらに1〜M-1まで開けて、残り1個つまりR^1となっても、未知の一つの実数をピンポイントで的中の確率はP=0でしかないのです!
注*)上記の”やり方”とは
1)問題の数列が与えられて
2)100列に分けて
3)ある1列を選んで
4)残り99列の箱を開けて、99列も同値類(99のみ)を知る
5)代表は、全くの第三者に選ばせる。 あるいは、おみくじのようにガラガラポンで作為が入らない方法にすれば良い
6)決定番号の最大値Mから、M+1以降の箱の数を知り、上記5)項の方法で代表を知るようにする
7)これで、100の同値類と代表だけで済む
以上
956Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 14:37:47.11ID:z3zwlfJp >>955
>(箱入り無数目は)問題を出された時点では、回答者から見て、全事象Ω=R^Nです
違うよ 🐎🦌
箱は全て定数
>下記のように、99列の箱を開けてM+1以降の箱も開けると、未開封の箱は有限M個、
そうだよ 🐎🦌
>つまり(確率空間は)R^Mです
違うよ 🐎🦌
繰り返すが
箱は全て定数
>しかし、さらに1〜M-1まで開けて、残り1個
そうしてもいいよ 🐎🦌
>つまり(確率空間)R^1となっても、
違うよ 🐎🦌
三度繰り返すが
箱は全て定数
>未知の一つの実数をピンポイントで的中の確率はP=0でしかないのです!
「箱の中身の定数をピンポイントで的中の確率」じぇねえよ 🐎🦌
選べる箱は100個、その中で中身と代表元が違ってる箱が1個
100個から1個選んだ箱の、中身と代表元が一致してる確率が
1-1/100 つまり 99/100
まだ、こんな簡単なことがわかんねぇのか 🐎🦌!
>(箱入り無数目は)問題を出された時点では、回答者から見て、全事象Ω=R^Nです
違うよ 🐎🦌
箱は全て定数
>下記のように、99列の箱を開けてM+1以降の箱も開けると、未開封の箱は有限M個、
そうだよ 🐎🦌
>つまり(確率空間は)R^Mです
違うよ 🐎🦌
繰り返すが
箱は全て定数
>しかし、さらに1〜M-1まで開けて、残り1個
そうしてもいいよ 🐎🦌
>つまり(確率空間)R^1となっても、
違うよ 🐎🦌
三度繰り返すが
箱は全て定数
>未知の一つの実数をピンポイントで的中の確率はP=0でしかないのです!
「箱の中身の定数をピンポイントで的中の確率」じぇねえよ 🐎🦌
選べる箱は100個、その中で中身と代表元が違ってる箱が1個
100個から1個選んだ箱の、中身と代表元が一致してる確率が
1-1/100 つまり 99/100
まだ、こんな簡単なことがわかんねぇのか 🐎🦌!
957Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 14:44:04.92ID:z3zwlfJp >>955
P.S.
出題した列の代表元は出題者が選んでいいが当然その時点で固定すること
そして選んだ代表元をそのまま回答者に教えること
その時点で完全に100本中1本がはずれのくじと同じ
なんで、こんな簡単なことがわからんか
お🐒の雑談 ◆yH25M02vWFhP のセタこと
背乗り朝鮮人キム某はw
P.S.
出題した列の代表元は出題者が選んでいいが当然その時点で固定すること
そして選んだ代表元をそのまま回答者に教えること
その時点で完全に100本中1本がはずれのくじと同じ
なんで、こんな簡単なことがわからんか
お🐒の雑談 ◆yH25M02vWFhP のセタこと
背乗り朝鮮人キム某はw
958現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 15:09:02.99ID:gtH9cx8i959現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 15:26:28.16ID:gtH9cx8i >>956
>>(箱入り無数目は)問題を出された時点では、回答者から見て、全事象Ω=R^Nです
>違うよ 歷
>箱は全て定数
同じだよ
いま100列で、あるk列 (kは、1〜100)として
k列の無限数列の同値類は、R^Nだろ?
もちろん、同値類の前の全体集合R^Nよりも、小さくなっている(=真部分集合)だとlしてもなお
集合としては、無限次元 つまり、R^Nで
R^Nから、ランダムに代表を選び、
(この”ランダム性”が実は定義できないが、便宜でこう表現する)
決定番号を得るよ
つまり
同値類のR^N→代表列rk→決定番号dk という流れになるよ
だから、f:R^N→dk∈N で、関数fの可測性は不成立でしょ
(参考)
https://ja.wikipedia.org/wiki/%E5%8F%AF%E6%B8%AC%E9%96%A2%E6%95%B0
可測関数
可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う(これは位相空間の間の連続関数の定義の仕方と似ている)。
https://www.fbc.keio.ac.jp/~hkomiya/
小宮英敏
https://www.fbc.keio.ac.jp/~hkomiya/education/lecture/Lebesgue-integral-2014-1.pdf
ルベーグ積分 2014 年度秋学期 1
1 可測空間,可測関数,測度空間
>>(箱入り無数目は)問題を出された時点では、回答者から見て、全事象Ω=R^Nです
>違うよ 歷
>箱は全て定数
同じだよ
いま100列で、あるk列 (kは、1〜100)として
k列の無限数列の同値類は、R^Nだろ?
もちろん、同値類の前の全体集合R^Nよりも、小さくなっている(=真部分集合)だとlしてもなお
集合としては、無限次元 つまり、R^Nで
R^Nから、ランダムに代表を選び、
(この”ランダム性”が実は定義できないが、便宜でこう表現する)
決定番号を得るよ
つまり
同値類のR^N→代表列rk→決定番号dk という流れになるよ
だから、f:R^N→dk∈N で、関数fの可測性は不成立でしょ
(参考)
https://ja.wikipedia.org/wiki/%E5%8F%AF%E6%B8%AC%E9%96%A2%E6%95%B0
可測関数
可測空間の間の関数が可測であるとは、各可測集合に対するその原像が可測であることを言う(これは位相空間の間の連続関数の定義の仕方と似ている)。
https://www.fbc.keio.ac.jp/~hkomiya/
小宮英敏
https://www.fbc.keio.ac.jp/~hkomiya/education/lecture/Lebesgue-integral-2014-1.pdf
ルベーグ積分 2014 年度秋学期 1
1 可測空間,可測関数,測度空間
960Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 15:36:41.85ID:z3zwlfJp >>958
>>・・・{{{}}}・・・>{}
>>・・・{{{}}}・・・>{{}}
>>・・・{{{}}}・・・>{{{}}}
>>をどうやって示すつもり?
>添え字(いまの場合 n∈Nと ω)があれば十分でしょ?
全然ダメでしょw
あのさ、
a∈・・・∈bという列の存在からa<bを導く場合
x∈・・・{{{}}}・・・となるxが存在しないから
y<・・・{{{}}}・・・となることなんか証明しようがないじゃん
お🐒のSET A ちゃんと考えてる?
>>959
>つまり同値類のR^N→代表列rk→決定番号dk という流れになるよ
ならないよ
100個の列sk→それぞれの代表元rk→決定番号dk としかならないよw
で、100個の列skも代表元rkも各試行で同じ(それが「定数」という意味)
だから、確率変数でもなんでもない
これ豆な 分からんお🐒のSET Aが🐎🦌
>>・・・{{{}}}・・・>{}
>>・・・{{{}}}・・・>{{}}
>>・・・{{{}}}・・・>{{{}}}
>>をどうやって示すつもり?
>添え字(いまの場合 n∈Nと ω)があれば十分でしょ?
全然ダメでしょw
あのさ、
a∈・・・∈bという列の存在からa<bを導く場合
x∈・・・{{{}}}・・・となるxが存在しないから
y<・・・{{{}}}・・・となることなんか証明しようがないじゃん
お🐒のSET A ちゃんと考えてる?
>>959
>つまり同値類のR^N→代表列rk→決定番号dk という流れになるよ
ならないよ
100個の列sk→それぞれの代表元rk→決定番号dk としかならないよw
で、100個の列skも代表元rkも各試行で同じ(それが「定数」という意味)
だから、確率変数でもなんでもない
これ豆な 分からんお🐒のSET Aが🐎🦌
961132人目の素数さん
2021/10/03(日) 17:21:33.97ID:nhymlcFg >>933
オドレのは新概念の導入じゃのうてダブル・トリプル・クォドゥプル…マルチプルスタンダード、二枚・三枚・四枚…千枚舌じゃガキ
オドレのは新概念の導入じゃのうてダブル・トリプル・クォドゥプル…マルチプルスタンダード、二枚・三枚・四枚…千枚舌じゃガキ
962132人目の素数さん
2021/10/03(日) 17:24:54.11ID:dHNATHr2 >>955
>その話だと、R^Nの全ての同値類を作る必要はないよね
「同値分割して代表系を決めれば確率99/100以上で当てられる。」が時枝先生の主張なのだから、
おまえが示すべきは「同値分割して代表系を決めても確率99/100以上で当てられない。」であって、同値分割の要否ではない。
>(実際、やり方によっては*)(下記)、R^Nの全ての同値類を作る必要はないけどね)
大間違い。
おまえが言ってるのは、くじ引きを引いた後にその当たり外れを決めるようなもの。くじ引きの体を為してない。
>つまりは、
>1.問題を出された時点では、回答者から見て、全事象Ω=R^Nです
「Ω={1,2,…,100}なら確率99/100以上で当てられる」
が時枝先生の主張なのだから、Ω=R^Nで当てられないことを示しても何の反論にもなってない。バカとしか言い様が無い。
>その話だと、R^Nの全ての同値類を作る必要はないよね
「同値分割して代表系を決めれば確率99/100以上で当てられる。」が時枝先生の主張なのだから、
おまえが示すべきは「同値分割して代表系を決めても確率99/100以上で当てられない。」であって、同値分割の要否ではない。
>(実際、やり方によっては*)(下記)、R^Nの全ての同値類を作る必要はないけどね)
大間違い。
おまえが言ってるのは、くじ引きを引いた後にその当たり外れを決めるようなもの。くじ引きの体を為してない。
>つまりは、
>1.問題を出された時点では、回答者から見て、全事象Ω=R^Nです
「Ω={1,2,…,100}なら確率99/100以上で当てられる」
が時枝先生の主張なのだから、Ω=R^Nで当てられないことを示しても何の反論にもなってない。バカとしか言い様が無い。
963132人目の素数さん
2021/10/03(日) 17:28:23.61ID:nhymlcFg >>937
> あんた、ここ半年くらいIUTの数学について語っていないぞw
お前もじゃ
> IUTについて、新情報を提供するでもないし
お前もじゃ
え?語れてる積もりじゃった?提供できとる積もりじゃった?ええ?高卒どころか中卒より酷いな。
> あんた、ここ半年くらいIUTの数学について語っていないぞw
お前もじゃ
> IUTについて、新情報を提供するでもないし
お前もじゃ
え?語れてる積もりじゃった?提供できとる積もりじゃった?ええ?高卒どころか中卒より酷いな。
964132人目の素数さん
2021/10/03(日) 17:38:28.65ID:dHNATHr2 要するにバカは時枝戦略とはどんな戦略かが分ってない。
成立の是非を論じるためのスタート地点にすら達していない。
数学は勿論だが国語が壊滅している。
成立の是非を論じるためのスタート地点にすら達していない。
数学は勿論だが国語が壊滅している。
965132人目の素数さん
2021/10/03(日) 17:43:37.63ID:dHNATHr2966現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 17:48:08.08ID:gtH9cx8i >>963
なんだ、蕎麦屋のおっさんかい?
>> あんた、ここ半年くらいIUTの数学について語っていないぞw
>お前もじゃ
蕎麦屋のおっさんは、いままで一度も語ってないぞよw
>> IUTについて、新情報を提供するでもないし
>お前もじゃ
>え?語れてる積もりじゃった?提供できとる積もりじゃった?ええ?高卒どころか中卒より酷いな。
蕎麦屋のおっさんよ、新情報は提供しているぞ
IUTは、遠アーベル幾何から派生した新たな類体論 だとか(フェセンコ先生、今後のIUTの発展の道でしょ)
IUTの4回の国際会議で、最後の2回の参加者にAtsushi Shiho (Univ. Tokyo, Japan)先生が含まれているとか(これが事実でShiho先生がIUT支持なら国内は決まりだ)
おっさん、自分が語れないし、情報提供もない、文句ばかり
だったら、黙ってなよw
なんだ、蕎麦屋のおっさんかい?
>> あんた、ここ半年くらいIUTの数学について語っていないぞw
>お前もじゃ
蕎麦屋のおっさんは、いままで一度も語ってないぞよw
>> IUTについて、新情報を提供するでもないし
>お前もじゃ
>え?語れてる積もりじゃった?提供できとる積もりじゃった?ええ?高卒どころか中卒より酷いな。
蕎麦屋のおっさんよ、新情報は提供しているぞ
IUTは、遠アーベル幾何から派生した新たな類体論 だとか(フェセンコ先生、今後のIUTの発展の道でしょ)
IUTの4回の国際会議で、最後の2回の参加者にAtsushi Shiho (Univ. Tokyo, Japan)先生が含まれているとか(これが事実でShiho先生がIUT支持なら国内は決まりだ)
おっさん、自分が語れないし、情報提供もない、文句ばかり
だったら、黙ってなよw
967現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 17:51:54.60ID:gtH9cx8i >>962
>おまえが言ってるのは、くじ引きを引いた後にその当たり外れを決めるようなもの。くじ引きの体を為してない。
宝くじしらないのか? 当選番号は後で決まる
サッカーくじも同じ。どのチームが勝つかは、事前には分からないよ
(参考)
https://www.toto-dream.com/
スポーツくじオフィシャルサイト コンテンツ
>おまえが言ってるのは、くじ引きを引いた後にその当たり外れを決めるようなもの。くじ引きの体を為してない。
宝くじしらないのか? 当選番号は後で決まる
サッカーくじも同じ。どのチームが勝つかは、事前には分からないよ
(参考)
https://www.toto-dream.com/
スポーツくじオフィシャルサイト コンテンツ
968現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 17:54:59.16ID:gtH9cx8i >>960
(引用開始)
あのさ、
a∈・・・∈bという列の存在からa<bを導く場合
x∈・・・{{{}}}・・・となるxが存在しないから
y<・・・{{{}}}・・・となることなんか証明しようがないじゃん
(引用終り)
おサルさん
何言っているの?
コトバのサラダそのものじゃんw
統合失調症のお薬飲みましょうねww
(引用開始)
あのさ、
a∈・・・∈bという列の存在からa<bを導く場合
x∈・・・{{{}}}・・・となるxが存在しないから
y<・・・{{{}}}・・・となることなんか証明しようがないじゃん
(引用終り)
おサルさん
何言っているの?
コトバのサラダそのものじゃんw
統合失調症のお薬飲みましょうねww
969現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 17:56:24.50ID:gtH9cx8i まあ、時枝も、可算無限多重シングルトンも
おサルが壊れたみたいなので、この程度で終わるよ
おサルが壊れたみたいなので、この程度で終わるよ
970132人目の素数さん
2021/10/03(日) 17:58:00.26ID:dHNATHr2 >>959
>だから、f:R^N→dk∈N で、関数fの可測性は不成立でしょ
選択関数の可測性はまったく関係無い。
選択関数が存在しさえすれば「どの実数列の決定番号も自然数」が成立する。
そこまで来ればあとは「100列中単独最大決定番号の列は0列または1列、よって100列のいずれかをランダム選択すれば単独最大決定番号の列を引く確率は0または1/100。その時だけ同値類からのカンニングに失敗。」となる。
この論理の中のどこに選択関数の非可測性が影響すると?数学板で妄想はやめてもらえますか?
>だから、f:R^N→dk∈N で、関数fの可測性は不成立でしょ
選択関数の可測性はまったく関係無い。
選択関数が存在しさえすれば「どの実数列の決定番号も自然数」が成立する。
そこまで来ればあとは「100列中単独最大決定番号の列は0列または1列、よって100列のいずれかをランダム選択すれば単独最大決定番号の列を引く確率は0または1/100。その時だけ同値類からのカンニングに失敗。」となる。
この論理の中のどこに選択関数の非可測性が影響すると?数学板で妄想はやめてもらえますか?
971132人目の素数さん
2021/10/03(日) 18:01:37.08ID:dHNATHr2972132人目の素数さん
2021/10/03(日) 18:05:38.26ID:dHNATHr2973現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 18:22:44.88ID:gtH9cx8i >>968 参考
有向点族を参考に投下しておく
おれも、ここらは全く詳しくないけど
おサルは非道すぎるよね
https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E7%82%B9%E6%97%8F#%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E3%81%B8%E3%81%AE%E5%BF%9C%E7%94%A8
有向点族
有向点族(ゆうこうてんぞく、directed family of points)とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された[1]。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。
点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である(可算または非可算な)有向集合の元で添え字付けられている。
有向点族の概念の利点として以下の2つがある:
・点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定(第一可算公理など)を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。
・複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。
特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる(詳細は列型空間を参照)。
つづく
有向点族を参考に投下しておく
おれも、ここらは全く詳しくないけど
おサルは非道すぎるよね
https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E7%82%B9%E6%97%8F#%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E6%80%A7%E3%81%B8%E3%81%AE%E5%BF%9C%E7%94%A8
有向点族
有向点族(ゆうこうてんぞく、directed family of points)とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された[1]。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。
点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である(可算または非可算な)有向集合の元で添え字付けられている。
有向点族の概念の利点として以下の2つがある:
・点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定(第一可算公理など)を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。
・複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。
特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる(詳細は列型空間を参照)。
つづく
974現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 18:23:10.74ID:gtH9cx8i >>973
つづき
なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である(詳細後述)事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。
点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。ここで ω1は最小の非可算順序数である。実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにも関わらず、[0,ω1)内のいかなる点列もω1に収束しない。なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、 ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。
(引用終り)
以上
つづき
なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である(詳細後述)事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。
点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。ここで ω1は最小の非可算順序数である。実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにも関わらず、[0,ω1)内のいかなる点列もω1に収束しない。なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、 ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。
(引用終り)
以上
975132人目の素数さん
2021/10/03(日) 18:34:58.45ID:nhymlcFg >>966
ゴミは情報とは言わん、ゴミじゃ。
ゴミは情報とは言わん、ゴミじゃ。
976Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 20:26:38.19ID:z3zwlfJp977Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 20:32:10.54ID:z3zwlfJp >>973
>おれも、ここらは全く詳しくないけど
おまえは、どこも全く疎いだろw
自分が理解できないこと、コピペしても恥ずかしいだけだぞw
x∈・・・{{{}}}・・・となるxがないんだったら
いかなるyについても
y∈・・・∈x∈・・・{{{}}}・・・
といえないだろが!
{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・だからといって
{}∈・・・∈ ・・・{{{}}}・・・ はいえないだろ?
こんな簡単なことも理解できんスカスカ脳なのか?
お🐒の 雑談 ◆yH25M02vWFhP は
>おれも、ここらは全く詳しくないけど
おまえは、どこも全く疎いだろw
自分が理解できないこと、コピペしても恥ずかしいだけだぞw
x∈・・・{{{}}}・・・となるxがないんだったら
いかなるyについても
y∈・・・∈x∈・・・{{{}}}・・・
といえないだろが!
{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・だからといって
{}∈・・・∈ ・・・{{{}}}・・・ はいえないだろ?
こんな簡単なことも理解できんスカスカ脳なのか?
お🐒の 雑談 ◆yH25M02vWFhP は
978Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 20:34:34.45ID:z3zwlfJp 論理盲とは
https://ameblo.jp/midnightgarden/entry-12078640412.html
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
A「地球外知的生物は存在するかもしれない」
B「ジョージ・アダムスキーは正しかった」
A「血液型と性格には弱い関係があるかもしれない」
B「血液型性格判断は正しかった」
AとBとは全く別物で、Aが正しいとしてもBは正しいとはならないのだが、
このAとBが同じに見える人、区別がつかない人がいると。
そう言う人を論理盲を名付けている。
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
https://ameblo.jp/midnightgarden/entry-12078640412.html
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
A「地球外知的生物は存在するかもしれない」
B「ジョージ・アダムスキーは正しかった」
A「血液型と性格には弱い関係があるかもしれない」
B「血液型性格判断は正しかった」
AとBとは全く別物で、Aが正しいとしてもBは正しいとはならないのだが、
このAとBが同じに見える人、区別がつかない人がいると。
そう言う人を論理盲を名付けている。
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
979Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 20:38:23.03ID:z3zwlfJp a∈・・・∈bなる列があるとき a<b とするのであれば
Zermeloのωはシングルトンではなく
{{},{{}},{{{}}},…}
なる無限集合とすればいい
極限がシングルトンでなければならない、と思うのは🐎🦌である
Zermeloのωはシングルトンではなく
{{},{{}},{{{}}},…}
なる無限集合とすればいい
極限がシングルトンでなければならない、と思うのは🐎🦌である
980Mara Papiyas ◆y7fKJ8VsjM
2021/10/03(日) 20:43:37.04ID:z3zwlfJp >>974
>点列の極限で位相構造を特徴づけられない例としては、
>整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
>ここで ω1は最小の非可算順序数である。
>実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにも関わらず、
>[0,ω1)内のいかなる点列もω1に収束しない。
>なぜなら ω1の非可算性と
>「可算集合の可算和はまた可算集合になる」という事実により、
>[0,ω1)内の任意の点列に対し、
>点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、
>ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
雑談 ◆yH25M02vWFhP が上記の文、
特に「なぜなら・・・」以降を理解できたとは
到底思えんw
>点列の極限で位相構造を特徴づけられない例としては、
>整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
>ここで ω1は最小の非可算順序数である。
>実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにも関わらず、
>[0,ω1)内のいかなる点列もω1に収束しない。
>なぜなら ω1の非可算性と
>「可算集合の可算和はまた可算集合になる」という事実により、
>[0,ω1)内の任意の点列に対し、
>点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、
>ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
雑談 ◆yH25M02vWFhP が上記の文、
特に「なぜなら・・・」以降を理解できたとは
到底思えんw
981現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 21:09:35.26ID:gtH9cx8i982132人目の素数さん
2021/10/03(日) 21:28:17.18ID:PHHW3o6+ zbmath reviewが広く受け入れられて結論が出たからね。
今はもはや基地外信者が数学用語、数学者名でカルタ遊びするだけの墓場と化した廃墟スレ。
今はもはや基地外信者が数学用語、数学者名でカルタ遊びするだけの墓場と化した廃墟スレ。
983132人目の素数さん
2021/10/03(日) 22:18:31.12ID:nhymlcFg >>981
ん?何を自慢しとるんじゃ?ゴミは空虚な指摘さえ成果と評価し自慢し排他に走るんじゃな。
>>ポニョ爺
確か自己愛性人格障害の特徴として
『自己の成果過大評価で失敗は過小評価』且つ『他者の成果過小評価で失敗は過大評価』
じゃったな。どうやらSetAはマジモンか?
ん?何を自慢しとるんじゃ?ゴミは空虚な指摘さえ成果と評価し自慢し排他に走るんじゃな。
>>ポニョ爺
確か自己愛性人格障害の特徴として
『自己の成果過大評価で失敗は過小評価』且つ『他者の成果過小評価で失敗は過大評価』
じゃったな。どうやらSetAはマジモンか?
984132人目の素数さん
2021/10/03(日) 22:23:56.37ID:nhymlcFg >>981
数学無知のオドレ如き指摘を自ら自慢する厚顔無恥ぶりもさる事ながら
自ら周囲にヨイショ信者しか居らん環境(スレ)を作り其処に身を置くオドレがスレの空気を語るは
オドレらの仲間内で作り出した虚構の解説にしか成らんじゃろ。
オドレは本当に世間知らずな振る舞いを止められんのう。
数学無知のオドレ如き指摘を自ら自慢する厚顔無恥ぶりもさる事ながら
自ら周囲にヨイショ信者しか居らん環境(スレ)を作り其処に身を置くオドレがスレの空気を語るは
オドレらの仲間内で作り出した虚構の解説にしか成らんじゃろ。
オドレは本当に世間知らずな振る舞いを止められんのう。
985132人目の素数さん
2021/10/03(日) 22:26:32.11ID:nhymlcFg やはりどう見ても、人権停止され次第で燃えるゴミじゃな
燃ーえろよ燃えろーよー 炎よ燃ーえーろー
燃ーえろよ燃えろーよー 炎よ燃ーえーろー
986現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 23:22:22.45ID:gtH9cx8i >>982
>zbmath reviewが広く受け入れられて結論が出たからね。
あなたは、下記の方かな?
zbmath reviewを潰せば良いんじゃない? 目標がはっきりしたともいえる
(参考)
Inter universal geometryとABC予想(応援スレ)
https://rio2016.5ch.net/test/read.cgi/math/1628778394/256
256 名前:132人目の素数さん[sage] 投稿日:2021/08/24(火) 22:08:52.35 ID:MnKDJ80K [3/8]
>>255
望月先生の論文の不備はそんな言い逃れのできるレベルじゃないよ
どんなに革新的であろうが出来上がってしまった理論を理解するのが2年かかってもできないなどという事はありえない
そんなもんを論文と呼ぶ事はできない
(引用終り)
>今はもはや基地外信者が数学用語、数学者名でカルタ遊びするだけの墓場と化した廃墟スレ。
”zbmath reviewが広く受け入れられて”というが、根拠レスだろ?
別に、zbmath review支持のアンケートなり、投票があったはずもない
つまりは、ショルツェ氏の尻馬
オセロと同じ。zbmath reviewを白にすれば、尻馬組も白になるよ
それから、あんた勘違いしているのは、ここ5chの議論など、実際のプロ数学者たちとは殆ど関係ないんだよ
もともと、6chなど便所だよ、便所、便所の落書きよ
それを忘れて、何を粋がっているのかね?
>zbmath reviewが広く受け入れられて結論が出たからね。
あなたは、下記の方かな?
zbmath reviewを潰せば良いんじゃない? 目標がはっきりしたともいえる
(参考)
Inter universal geometryとABC予想(応援スレ)
https://rio2016.5ch.net/test/read.cgi/math/1628778394/256
256 名前:132人目の素数さん[sage] 投稿日:2021/08/24(火) 22:08:52.35 ID:MnKDJ80K [3/8]
>>255
望月先生の論文の不備はそんな言い逃れのできるレベルじゃないよ
どんなに革新的であろうが出来上がってしまった理論を理解するのが2年かかってもできないなどという事はありえない
そんなもんを論文と呼ぶ事はできない
(引用終り)
>今はもはや基地外信者が数学用語、数学者名でカルタ遊びするだけの墓場と化した廃墟スレ。
”zbmath reviewが広く受け入れられて”というが、根拠レスだろ?
別に、zbmath review支持のアンケートなり、投票があったはずもない
つまりは、ショルツェ氏の尻馬
オセロと同じ。zbmath reviewを白にすれば、尻馬組も白になるよ
それから、あんた勘違いしているのは、ここ5chの議論など、実際のプロ数学者たちとは殆ど関係ないんだよ
もともと、6chなど便所だよ、便所、便所の落書きよ
それを忘れて、何を粋がっているのかね?
987現代数学の系譜 雑談 ◆yH25M02vWFhP
2021/10/03(日) 23:24:34.30ID:gtH9cx8i988132人目の素数さん
2021/10/04(月) 07:40:40.56ID:CsDDDBEh989132人目の素数さん
2021/10/04(月) 07:44:56.36ID:CsDDDBEh990132人目の素数さん
2021/10/04(月) 07:46:21.73ID:CsDDDBEh じゃ、便所虫が巣食うこのスレ、埋めさせてもらうわ
991132人目の素数さん
2021/10/04(月) 07:46:32.92ID:CsDDDBEh 9
992132人目の素数さん
2021/10/04(月) 07:46:43.32ID:CsDDDBEh 8
993132人目の素数さん
2021/10/04(月) 07:46:54.44ID:CsDDDBEh 7
994132人目の素数さん
2021/10/04(月) 07:47:06.26ID:CsDDDBEh 6
995132人目の素数さん
2021/10/04(月) 07:47:23.18ID:CsDDDBEh 5
996132人目の素数さん
2021/10/04(月) 07:47:36.19ID:CsDDDBEh 4
997132人目の素数さん
2021/10/04(月) 07:47:46.37ID:CsDDDBEh 3
998132人目の素数さん
2021/10/04(月) 07:47:58.82ID:CsDDDBEh 2
999132人目の素数さん
2021/10/04(月) 07:48:07.89ID:CsDDDBEh 1
1000132人目の素数さん
2021/10/04(月) 07:48:19.45ID:CsDDDBEh 0!
10011001
Over 1000Thread このスレッドは1000を超えました。
新しいスレッドを立ててください。
life time: 52日 8時間 21分 45秒
新しいスレッドを立ててください。
life time: 52日 8時間 21分 45秒
レス数が1000を超えています。これ以上書き込みはできません。