全体集合と補集合の定義
全体集合と補集合の定義
すなわち、\(x\notin A\Leftrightarrow x\in A^{c}\)である。
また、\(x\in A\Leftrightarrow x\notin A^{c}\)も成り立つ。
(1)全体集合(普遍集合)
考えている対象全体を全体集合または普遍集合という。(2)補集合
全体集合\(X\)の中で集合\(A\)に含まれない要素全てを集めた集合を\(A\)の補集合といい、\(A^{c}:=X\setminus A\)で表す。すなわち、\(x\notin A\Leftrightarrow x\in A^{c}\)である。
また、\(x\in A\Leftrightarrow x\notin A^{c}\)も成り立つ。
全体集合を\(X=\left\{ a,b,c\right\} \)とする。
このとき、
\(\left\{ a\right\} ^{c}=\left\{ a,b,c\right\} \setminus\left\{ a\right\} =\left\{ b,c\right\} \)
\(\left\{ a,b\right\} ^{c}=\left\{ a,b,c\right\} \setminus\left\{ a,b\right\} =\left\{ c\right\} \)
となる。
このとき、
\(\left\{ a\right\} ^{c}=\left\{ a,b,c\right\} \setminus\left\{ a\right\} =\left\{ b,c\right\} \)
\(\left\{ a,b\right\} ^{c}=\left\{ a,b,c\right\} \setminus\left\{ a,b\right\} =\left\{ c\right\} \)
となる。
ページ情報
| タイトル | 全体集合と補集合の定義 |
| URL | https://www.nomuramath.com/renj8eqj/ |
| SNSボタン |
(*)分離公理(距離・正規・正則・T2・T1・T0・その他)同士の関係
\[
\text{距離空間}\Rightarrow\text{正規空間}\Rightarrow\text{正則空間}\Rightarrow T_{2}\text{空間}\Rightarrow T_{1}\text{空間}\Rightarrow T_{0}\text{空間}
\]
級数が収束するならチェザロ平均の極限は存在
\[
\exists a\in\left[-\infty,\infty\right],\lim_{n\rightarrow\infty}a_{n}=a\rightarrow\lim_{n\rightarrow\infty}\frac{1}{n}\sum_{k=1}^{n}a_{k}=a
\]
ビネ・コーシーとラグランジュの恒等式
\[
\left(\sum_{i=1}^{n}a_{i}c_{i}\right)\left(\sum_{j=1}^{n}b_{j}d_{j}\right)-\left(\sum_{i=1}^{n}a_{i}d_{i}\right)\left(\sum_{j=1}^{n}b_{j}c_{j}\right)=\sum_{1\leq i<j\leq n}\left(a_{i}b_{j}-a_{j}b_{i}\right)\left(c_{i}d_{j}-c_{j}d_{i}\right)
\]
フルヴィッツ・ゼータ関数の乗法定理
\[
n^{s}\zeta\left(s,nz\right)=\sum_{k=0}^{n-1}\zeta\left(s,z+\frac{k}{n}\right)
\]