4
大学数学基礎解説
文献あり

集合族と集合系の違いとは?

627
0
$$\newcommand{A}[0]{\mathbb{A}} \newcommand{abs}[1]{\left \lvert #1 \right \rvert} \newcommand{acts}[0]{\curvearrowright} \newcommand{Alt}[0]{Alt} \newcommand{aut}[0]{Aut} \newcommand{B}[0]{\mathbb{B}} \newcommand{bfsubsection}[1]{\subsection*{\textbf{#1}}} \newcommand{bmat}[1]{\begin{bmatrix}#1\end{bmatrix}} \newcommand{C}[0]{\mathbb{C}} \newcommand{card}[1]{\left|#1\right|} \newcommand{ceil}[1]{\left\lceil#1\right\rceil} \newcommand{ch}[0]{ch} \newcommand{cl}[0]{Cl} \newcommand{codim}[0]{codim} \newcommand{coker}[0]{Coker} \newcommand{Cx}[0]{\mathbb{C}^{\times}} \newcommand{defiff}[0]{\mathrel{\overset{\text{def}}{\iff}}} \newcommand{diag}[0]{diag} \newcommand{diff}[2]{\frac{d#1}{d#2}} \newcommand{dint}[0]{\displaystyle\int} \newcommand{dprod}[0]{\displaystyle\prod} \newcommand{dsum}[0]{\displaystyle\sum} \newcommand{End}[0]{End} \newcommand{F}[0]{\mathbb{F}} \newcommand{floor}[1]{\left\lfloor#1\right\rfloor} \newcommand{gal}[0]{\mathrm{Gal}} \newcommand{GL}[0]{\mathrm{GL}} \newcommand{gl}[0]{\operatorname{GL}} \newcommand{H}[0]{\mathbb{H}} \newcommand{Hom}[0]{Hom} \newcommand{I}[0]{\sqrt{-1}} \newcommand{id}[0]{id} \newcommand{im}[0]{\operatorname{Im}} \newcommand{ind}[0]{ind} \newcommand{inprod}[2]{\langle #1 , #2 \rangle} \newcommand{inv}[1]{#1^{-1}} \newcommand{iu}[0]{\sqrt{-1}} \newcommand{K}[0]{\mathbb{K}} \newcommand{ker}[0]{\operatorname{Ker}} \newcommand{leftmapsto}[0]{\leftarrow\!\shortmid} \newcommand{M}[0]{\mathbb{M}} \newcommand{Map}[0]{Map} \newcommand{mapdisplay}[1]{\begin{array}{r@{\,\,}c@{\,\,}c@{\,\,}c}#1\colon&\longrightarrow\\ &\rotatebox{90}{$\in$}&&\rotatebox{90}{$\in$}\\ &\longmapsto \end{array}} \newcommand{mc}[0]{\mathcal} \newcommand{mf}[1]{\mathfrak{#1}} \newcommand{Mp}[0]{Mp} \newcommand{N}[0]{\mathbb{N}} \newcommand{norm}[1]{\left \lVert #1 \right \rVert} \newcommand{O}[0]{\mathcal{O}} \newcommand{ord}[0]{ord} \newcommand{ord}[0]{\mathrm{ord}} \newcommand{P}[0]{\mathbb{P}} \newcommand{pdiff}[2]{\frac{\partial #1}{\partial #2}} \newcommand{pf}[0]{pf} \newcommand{PGL}[0]{\mathrm{PGL}} \newcommand{pmat}[1]{\begin{pmatrix}#1\end{pmatrix}} \newcommand{PSL}[0]{\mathrm{PSL}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{rank}[0]{rank} \newcommand{re}[0]{\operatorname{Re}} \newcommand{relmiddle}[1]{\mathrel{}\middle#1\mathrel{}} \newcommand{res}[0]{res} \newcommand{Res}[0]{Res} \newcommand{restrict}[2]{\left. #1 \right|_{#2}} \newcommand{rk}[0]{rk} \newcommand{set}[2]{\left\{ #1 \mathrel{} \middle| \mathrel{} #2 \right\}} \newcommand{sgn}[0]{sgn} \newcommand{single}[0]{\{ 0 \}} \newcommand{SL}[0]{\mathrm{SL}} \newcommand{sl}[0]{\operatorname{SL}} \newcommand{smat}[1]{\bigl(\begin{smallmatrix}#1\end{smallmatrix}\bigr)} \newcommand{SO}[0]{SO} \newcommand{Sp}[0]{Sp} \newcommand{spec}[0]{Spec} \newcommand{spl}[0]{Spl} \newcommand{stab}[0]{Stab} \newcommand{supp}[0]{supp} \newcommand{Supp}[0]{Supp} \newcommand{Sym}[0]{Sym} \newcommand{T}[0]{\mathbb{T}} \newcommand{textblue}[1]{\textcolor{blue}{\textbf{#1}}} \newcommand{tr}[0]{tr} \newcommand{Tr}[0]{Tr} \newcommand{transpose}[1]{\, {\vphantom{#1}}^t\!{#1}} \newcommand{vmat}[1]{\begin{vmatrix}#1\end{vmatrix}} \newcommand{vol}[0]{vol} \newcommand{Z}[0]{\mathbb{Z}} $$

はじめに

(添字付けられた)集合族$\{A_{\lambda}\}_{\lambda\in\Lambda}$(最近は$\left(A_{\lambda}\right)_{\lambda\in\Lambda}$と書かれることも増えてきた)と集合系$\{A_{\lambda} \mid \lambda\in\Lambda\}$別物です。以下その違いを説明します.

定義を振り返ってみよう

[松坂, 1章]

まず集合系$\{A_{\lambda} \mid \lambda\in\Lambda\}$とは各元$A_{\lambda}$が集合であるような集合のことをいう.(添字付けられた)集合族$\{A_{\lambda}\}_{\lambda\in\Lambda}$とは集合$\Lambda$から集合系$\{A_{\lambda} \mid \lambda\in\Lambda\}$への「写像」のことを言う。

「添字付けられた」というのは長いので略すことが多いです.集合族は位相空間論などで頻繁に出てきます.集合系は集合族に比べると実際の現場ではあまり意識されない概念ですがよく出てくる集合系の例としては集合$X$の同値関係$\sim$による商集合$X/\sim$があります。これは同値類という集合$[s]:=\{x\in X|x\sim s\}$たちのなす集合となっています。

両者の差異が出てくる状況

$\Lambda=\{1,2,3\}$として$A_2=A_3$であるとしたら集合系の方は$\{A_{\lambda} \mid \lambda\in\{1,2,3\}\}=\{A_1,A_2\}$となってしまいます(次の注意より)。でも集合族の場合はもちろん$\{A_{\lambda}\}_{\lambda\in\{1,2,3\}}\neq\{A_{\lambda}\}_{\lambda\in\{1,2\}}$です。

集合$\{a,b,c\}$と集合$\{a,a,b,c\}$は等しいです。これは外延性公理というものの帰結になります。この2つを区別したい場合は多重集合の概念が必要になります(が滅多に出てきません)。

直前の例を引き継ぎます.まず集合族には集合族の直積という概念があります。もし集合族と集合系を区別しないとしたら"集合系の直積"なる概念を考えられるということになりますが直積は一般に^1順番を区別する概念なのでそれが出来ずにおかしなことになります.直前の例に対して集合族の直積は$A_1\times A_2\times A_3$なのに対して"集合系の直積"は$A_1\times A_2$$A_2\times A_1$のいずれかにするしかないですがいずれにしても集合族の直積とは異なってしまいます。

$\Lambda=\Z_{>0}, A_{\lambda}=2\Z+\lambda$と取ります。ここで集合族$\{A_{\lambda}\}_{\lambda\in\Lambda}$の直和は$\bigsqcup_{\lambda\in\Lambda} A_{\lambda}=\bigcup_{m\in\Z_{>0}}(\left(2\Z +m\right)\times\{m\})$です。ここでもし集合族と集合系を区別しないとしたら”集合系の直和”なるものが考えられることになりますが今集合系は$\{A_{\lambda} \mid \lambda\in\Lambda\}=\{2\Z,2\Z+1\}$で添字とそれに対応する集合との情報がほぼ完全に消えていますからこれの”直和”なるものが考えられて上の結果と同じにするというのは無理があるでしょう。

初学者は読まない方がいい注

ZFC集合論では全ての数学的対象は集合です(詳しくはこちら:
https://mathlog.info/articles/6kdRkSN4uNoO3Wibd8c9
).よってどんな集合も集合系ということになり集合系は意味のない用語という事になります。だから厳密には集合系という言葉は実際にはある(念頭に置いている)レベルの集合の集合という意味で使うお気持ちワードにすぎないのです(上の商集合の例で言えば念頭に置いているレベルの集合とは同値類のことです)。

終わりに

以上のことから集合族と集合系の違いをしっかり把握することの重要性がわかっていただけたかと思います.両者を混同している文献等もたまにありますがあれはただ記号の濫用をしているに過ぎません。

^1 より詳細には$\Lambda$が有限集合$\Lambda=I$のとき区別する。また$I=\{1,2,3,\ldots,n\}$のとき$\prod_{i\in I} A_i:=A_1\times \cdots \times A_n$と再定義される.

参考文献

[1]
松坂和夫, 集合・位相入門
投稿日:2023102

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Period
Period
38
9310

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中