IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

820: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/11/08(日) 22:51:02.15 ID:rSmWbt0i

>>808
どなたか知らないが、レスありがとう

>x∞に一番外側の"{"と"}"が無いならそもそも集合ではありません。

？？？
簡単に素朴集合論に戻るよ、例えば、下記 集合論 花木章秀で
”集合は「xに関する命題P(x)が真となるようなxの集まり」という形で記述される。
このとき、その集合を {x|P(x)} のように表す」という形で記述される”とあるよね
だから、{x|P(x)} とすれば良い。要は、P(x)を作れば良いでしょ（P(x)で、「xはこうだ」と文を書けば良い）

あるいは別法として、空集合Φを使ってシングルトンを作るとき、{Φ}の次に、{(Φ)}みたく内側にカッコを作る。()→{}の置き換えで、{{Φ}}となる
有限の範囲では、内側にカッコを作るか外側かは、違いがないけど、無限になると違う
内側だと{{・・Φ・・}}となる。外側だと・・{{Φ}}・・となる。（分かると思うが、・・のところは、カッコが続いている）

この場合、>>779同様に幾何的に考えると
　>>782に維新さんが書いているように、一番外側の円を半径3/4として、そこから内側に半径1/2,1/3,…,1/n,…の円を描く
円の中心は原点０がある。この原点０を空集合Φと見なせば良い
そして、>>779のように、各円の北極と南極に切れ目を入れて、左半円と右半円に分けて、半円をカッコに変形すれば
集合{{・・Φ・・}}ができる。この集合のカッコには、一番外側を1番として、その内の半径1/2が2番、その内の半径1/3が3番、と順にカッコに附番ができる
そして、附番ｎ以下全ての自然数を渡る。よって、一番外側に"{"と"}"が出来た
QED

（参考）
http://math.shinshu-u.ac.jp/~hanaki/edu/set.html
http://math.shinshu-u.ac.jp/~hanaki/edu/set/set2011.pdf
集合論
花木章秀
2011年度後期(2011/09/12)
P15
Chapter2
2.1集合
集合は「xに関する命題P(x)が真となるようなxの集まり」という形で記述される。このとき、その集合を
{x|P(x)}
のように表す。例えば「100以上の整数の集まり」であれば
{x|x∈Zかつx≧100}
のように表す。
「かつ」というのを省略、あるいは英語で表して
{x|x∈Z,x≧100},{x|x∈Z and x≧100}
のようにも表す。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1592654877/820

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.032s