# 資料置き場 各回のスライドを置いておく場所 ## hackmd使い方 https://hackmd.io/s/features-jp ## 第一回 ### slide {%slideshare ssuser77474a/ss-250911794 %} ### ラッセルのパラドックス https://www.youtube.com/watch?v=OZrspyex-i4&t=420s https://manabitimes.jp/math/935 ### 公理的集合論 https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96 ### 族について #### 集合と族の違い 族の定義:集合Iから集合Xへの写像A:I->Xが与えられたとき、これをXの元の集まりとみなしたものを、Iを添字集合とするXの元の族という。添字集合Iの元を添字という。Iの要素を仮にi,j...と表すとき、A(i), A(j)... の代わりに、通例A_i, A_j...といった記法を用い、この族を ![](https://i.imgur.com/dTc2Sao.png) などであらわす。これを添字記法などと呼ぶこともある。 {xi | i ∈ I} という記法を、添字付けられた元を全て含む集合に対して用い、族 (xi | i ∈ I) と区別する流儀もある。この立場では、{xi | i ∈ I} は添字や元の並べ替えに関して不変であり、また、xi (i ∈ I) の中に重複する元が複数存在しても、一つ存在するのと同じであると見なされる。また、{xi}i∈I という記法を多重集合に対して用い、通常の集合 {xi | i ∈ I} や族 (xi)i∈I と区別する場合などもある。著者によってはこれらの区別に意識的でないこともあり、文献を参照する際は文脈に注意を要する。