族
family
とある
集合
写像
の別表現
定義域が
添字集合
添字付けられた元の集まり
「「「
添字集合
の元」をラベルにしたもの」を元にもつ集合」のことか?
mrsekut.icon
要するに
$ \{a_1,a_2,\cdots\}
な集合
定義
集合
$ I
から集合
$ X
への写像
$ A:I\rightarrow X
が与えられた時、これを
$ X
の元の集まりとみなしたものを、「
$ I
を
添字集合
とする
$ X
の元の族」という