ขนาดวิดีโอ: 1280 X 720853 X 480640 X 360
แสดงแผงควบคุมโปรแกรมเล่น
เล่นอัตโนมัติ
เล่นใหม่
選択公理なしだとどうなるか、はまた別の動画でやるかもですが、ところでそういうことを調べている論文が見当たらないので何か論文を知ってる人がいたらコメントで教えて貰えると嬉しいです
なぜ「長い」のか、が分かるとこ気持ち良すぎる。加算無限の点列程度じゃ無限遠に飛ばないぐらい「長い」……確かに長いなあ
長い直線の定義を見た時に、非可算順序数は色々あるのになんで最小だけ考えるんだろうとぼんやり気になっていたので、最後の説明が気持ちよかった
巨大数論としてはOrd×[0,1)まで広げたくなりますが、ω₁が「丁度いい」のは面白いですね
大学3回生の幾何学演習の1問目がこれだった。解説はこれほど詳しくなかった。ありがとうございます。
直線が長いと嬉しい
パッと見では弧状連結にも見えるけど、連結までしか言えないのでしょうか?
言えますよ〜任意のα
Lie群にはならないはず!位相群にはなるのだろうか
そもそも順序数に減算が定義できないので厳しそうですね。〈ω,0〉-〈1,0〉とかを上手く定義する方法がなさそう…
ω2以上では連結じゃないのか・・・衝撃だな
連結じゃないとは誰も言ってないです(実際どうかは分からないので詳しい人お願いします)
@@alg-dx 失礼,間違えました
選択公理なしだとどうなるか、はまた別の動画でやるかもですが、ところでそういうことを調べている論文が見当たらないので何か論文を知ってる人がいたらコメントで教えて貰えると嬉しいです
なぜ「長い」のか、が分かるとこ気持ち良すぎる。
加算無限の点列程度じゃ無限遠に飛ばないぐらい「長い」……確かに長いなあ
長い直線の定義を見た時に、非可算順序数は色々あるのになんで最小だけ考えるんだろうとぼんやり気になっていたので、最後の説明が気持ちよかった
巨大数論としてはOrd×[0,1)まで広げたくなりますが、ω₁が「丁度いい」のは面白いですね
大学3回生の幾何学演習の1問目がこれだった。解説はこれほど詳しくなかった。ありがとうございます。
直線が長いと嬉しい
パッと見では弧状連結にも見えるけど、連結までしか言えないのでしょうか?
言えますよ〜
任意のα
Lie群にはならないはず!位相群にはなるのだろうか
そもそも順序数に減算が定義できないので厳しそうですね。
〈ω,0〉-〈1,0〉とかを上手く定義する方法がなさそう…
ω2以上では連結じゃないのか・・・衝撃だな
連結じゃないとは誰も言ってないです(実際どうかは分からないので詳しい人お願いします)
@@alg-dx 失礼,間違えました