[過去ﾛｸﾞ] 現代数学の系譜 カントル 超限集合論 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
14(4): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/05(土)11:03:52.61 ID:JrhjRl4x(8/46) AAS
>>7
つづき
>「フォン・ノイマン宇宙、WFは0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合全体のクラス」
>という存在を認めることにしましょう
さて、この前提で
下記より、冪集合で P({a})={Φ,{a}}
つまり、 P({a})は{a}という一元集合の冪集合です
ここで、{Φ,{a}}から、{{a}}という集合を作ることができるということを認めることにしましょう
（注：{Φ,{a}}から、元Φを取り除くだけですけど（多分、分出公理を使う）
あるいは、 P({Φ,{a}})={Φ,{Φ},{{a}},{Φ,{a}}}としても、{{a}}は作ることができる ）
まあ、要するに
{a}という集合に対して、一つ{}が多い{{a}}を、冪集合作る操作で、構成することができるということ
ここで、フォン・ノイマン宇宙の「0に冪集合の演算を有限回、あるいは超限回繰り返して得られる集合」を認めると
空集合Φ={}に、ω回冪集合の演算を繰り返して
ツェルメロ構成で、集合 {{…{}…}}（{}の多重無限）（>>4）が、出来ました（＾＾
https://ja.wikipedia.org/wiki/%E5%86%AA%E9%9B%86%E5%90%88
冪集合
(抜粋)
冪集合（べきしゅうごう、英: power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。
省11
23(3): 2019/10/05(土)11:33:50.61 ID:o3KPqddg(3/8) AAS
兎にも角にも数学の話したいなら数学の論理式で表された定義与えないと何にも始まんないでしょ？
数学の話したいの？
数学っぽい与太話ができればそれで満足なん？
55: 2019/10/05(土)15:37:48.61 ID:kZwmbLNI(24/44) AAS
>>51
＞＞>N={Φ,{Φ},{Φ,{Φ}},・・・}に一番右の要素は存在しません
＞いえいえ、極限ですよ
極限は、N自体であって、Nの要素の中にはありませんよ
無限公理の式
∃ω．{}∈ω∧∀x.x∈ω⇒x∪{x}∈ω
とくにx∈ω⇒x∪{x}∈ωのところ
つまりいかなる元ｘもその右側にｘ∪{x}なるｘがある
といってるわけですから、一番右の元など存在しようがないのです
省2
69: 2019/10/05(土)16:14:37.61 ID:kZwmbLNI(31/44) AAS
>>61
＞１）順序数の無限下降列には、最小元が存在するから、
＞ もともと、正則性公理には反していない
そもそもあなたのいう
0∈1∈2∈ 3∈ ............∈ω
は「∈ω」の左側の元を記載した瞬間、
有限列になるので、無限下降列にはなりません。
最小元の存在とかいう以前の問題
＞２）無限列が、極限順序数ωなどを跨ぐ場合は、除外
＞ （ωは集積点ですから、跨げば必ず無限列を成す）
いかなる超限順序数であろうと、降下列は有限です
極限順序数の場合は、すぐ下の順序数がないので飛びます
つまりωの下は、自然数ｎになります
＞３）クラスの違いで考える。
＞ 有限順序数の集合の属するクラスと、
＞ ωの集合の属するクラスとではクラスが別で、
＞ クラスを跨ぐ数列には、正則性公理は適用できないと考える
省6
170(1): 2019/10/06(日)14:58:43.61 ID:9PvOfF3Z(7/10) AAS
>>168
これは酷い
数列 an には最後の項 a∞ はありません
一方第2項 a2 はあります
あなた基本的なことが全く分かってないですね
222: 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/09(水)15:22:44.61 ID:nHmzRvjt(5/5) AAS
>>216
＞E''＝E'＼N
＼：差集合（下記）の記号
まあ、大学では普通で、みな知っているけど
不思議に、「B − A」は使わない
多分、和集合がに、∪（カップとか読む）をつかうことから（＋を使わない）、それとのバランスでしょうね（＾＾
https://ja.wikipedia.org/wiki/%E5%B7%AE%E9%9B%86%E5%90%88
差集合
(抜粋)
差集合（さしゅうごう、英: set difference）とは、ある集合の中から別の集合に属する要素を取り去って得られる集合のことである。特に、全体集合 U を固定して、U からその部分集合 A の要素を取り去って得られる集合を A の補集合という。
定義
集合 B から集合 A に属する元を間引いて得られる集合を
B＼A
または B − A と表現し、B から A を引いた差、差集合あるいは B における A の（相対）補集合と呼ぶ。
https://upload.wikimedia.org/wikipedia/commons/thumb/5/5a/Venn0010.svg/330px-Venn0010.svg.png
差集合 B − A のベン図による視覚化（左がA、右がB。）:
B＼A＝A^c∪B
省3
346(2): Mara Papiyas ◆y7fKJ8VsjM 2019/10/13(日)18:03:30.61 ID:2pwdGOo0(9/24) AAS
>>343
カネという「システム」が必要だという思い込みから脱することだ
君がどんな仕事してるか知らんが、
一度自分を見つめなおしたほうがいい
415(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/14(月)10:07:37.61 ID:w6tqRMw5(2/8) AAS
>>413
・任意の自然数よりも大きい最小の超限順序数 ωが定義されたとする（これは同型を除いて一意）
・ωは、順序数全体の成す類において順序位相（英語版）に関する極限点
・集積点であるとは、x の任意の近傍が S の点を無限に含むという条件に同値である
・よって、下記の「0, 1, 2, 3, ............, ω, S(ω)」上昇列から、
S(ω)→ｎ（ｎは有限）の ”無限降下列”を考えると
集積点ω（＝極限順序数）を通過するので、「S の点を無限に含む」、即ち、無限の自然数の元を含む
・しかし、構成法からも分かるように、この”無限降下列”は最小元をもち、正則性公理（＝最小元を持たない）には反しない
QED
(参考>>322もご参照)
https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0
極限順序数
(抜粋)
集合論および順序論（英語版）における極限順序数は 0 でも後続順序数でもない順序数を言う。
任意の自然数よりも大きい最小の超限順序数 ω は、極限順序数である。
・順序数全体の成す類において順序位相（英語版）に関する極限点 (ほかの順序数は孤立点となる)。
https://ja.wikipedia.org/wiki/%E9%9B%86%E7%A9%8D%E7%82%B9
集積点/極限点
(抜粋)
定義
位相空間 X の部分集合 S に対し、X の点 x が S の集積点であるとは、x を含む任意の開集合が少なくとも一つの x と異なる S の点を含むことを指す
この条件は T1-空間においては、x の任意の近傍が S の点を無限に含むという条件に同値である
https://ja.wikipedia.org/wiki/T1%E7%A9%BA%E9%96%93
T1空間
(抜粋)
X が T1-空間であるとは、X の任意の相異なる二点が分離できるときに言う
https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E6%95%B0
順序数
(抜粋)
順序数の並び方を次のように図示することができる：
0, 1, 2, 3, ............, ω, S(ω), S(S(ω)), ・・
省2
501(3): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/27(水)21:17:52.61 ID:qnEhNItW(6/12) AAS
>>491 補足
すでに、このスレの>>91に示したように、
天才Zermeloが、シングルトンによる自然数の構成を与えた（1908年）
（”The natural numbers are represented by Zermelo as by Φ, {Φ}, {{Φ}}, …, and the Axiom of Infinity gives us a set of these.”）
そして、確かに、Zermeloの構成は批判され、その後ノイマン構成が採用された
だが、天才Zermeloのシングルトンによる自然数の構成が決して間違っていた訳では無い
無数の超準モデルの1つだよ。（レーヴェンハイム＝スコーレムの定理）
そのことに無知な、落ちこぼれたちｗｗ（＾＾；
（>>91より再録）
https://plato.stanford.edu/entries/zermelo-set-theory/
Stanford Encyclopedia of Philosophy
Zermelo’s Axiomatization of Set Theory
First published Tue Jul 2, 2013
(抜粋)
3.2.1 Representing Ordinary Mathematics
省3
530(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/11/29(金)08:02:43.61 ID:KnsCfpdu(3/4) AAS
>>529 補足
＞空集合と単集合から生成した半束を K(S) と記し、S が K(S) に属する場合、S をクラトフスキ有限集合と呼ぶ。
単集合＝シングルトンですな ｗ（＾＾；
575(2): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/12/03(火)00:09:38.61 ID:BRqy0upZ(2/4) AAS
>>574
つづき
ノイマン 構成から、Zermelo 構成を抽出する集合の操作は
分出公理を使えば可
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
(抜粋)
分出公理
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（1922年）。分出公理は上に述べた ZF の公理から示すことができる。
この公理は、論理式 ψ をパラメータとする公理図式である。
論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、これを {\displaystyle \{x\in X\mid \psi (x)\}}\{x\in X\mid \psi(x)\} で表す。
{\displaystyle \{x\in X\mid x\in Y\}}\{x\in X\mid x\in Y\} を {\displaystyle X\cap Y}X\cap Y で表す。
616: 2019/12/07(土)01:44:09.61 ID:tI9fXlD+(1) AAS
いい、悪い、は何にとってなのかに言及しないと何も意味をなさないと、思うんです
読む方からしたら
工業高校卒は数学語らない方が(便秘対策に)いい
という意味かも知れないなと思ってしまう訳です
654(3): 2019/12/07(土)16:40:02.61 ID:r8l5YtX/(6/21) AAS
ちなみにスレ主は彼の主張するΩが(3)の仮定を満たす事は認めるそうです。
656(1): 2019/12/07(土)16:44:43.61 ID:r8l5YtX/(7/21) AAS
>>655
すいません。
混乱させたなら謝ります。
このスレではちゃんとした数学議論するつもりないのでちょっと雑に書いてしまいました。
736: 2019/12/14(土)10:11:34.61 ID:CsbquFhS(8/18) AAS
>>735
縁なき衆生は度し難し
869: 2019/12/18(水)22:32:55.61 ID:9XjuQhgT(6/6) AAS
>>865-866
＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿／
∨
|/-O-O-ヽ| ﾌﾞﾂﾌﾞﾂ･･･
| . : )'e'( : . |
｀ ‐-＝-‐
／ ＼
||＼￣￣￣￣￣￣ ＼
||＼＼. ＼ ∧＿∧
||. .＼＼ ＼ ( ；´Д｀) （ｵｲ、なんか変なのがいるぞ）
. ＼＼ ＼ / ヽ.
. ＼＼ ／ .| | |
. ＼∧＿∧ (⌒＼|_＿./ ./
（ ´,_・・`）目合わせるなって ∧＿∧
. _/ ヽ ＼ （ ） うわー、こっち見てるよ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s