2018-05-15から1日間の記事一覧
\(\mathcal{P}\)を集合\(X\)の分割とし、\(X\)上の二項関係\(x\sim y\)を\(\exists S\in\mathcal{P}[x\in S\wedge y\in S]\)と定義すると、\(\sim\)は同値関係である(証明略)。\(a\in X\)に対し同値類\(\{x\in X\mid x\sim a\}\)を\(C_a\)と略記する。【補…
\(\mathcal{P}\)を集合\(X\)の分割とし、\(X\)上の二項関係\(x\sim y\)を\(\exists S\in\mathcal{P}[x\in S\wedge y\in S]\)と定義すると、\(\sim\)は同値関係である(証明略)。\(a\in X\)に対し同値類\(\{x\in X\mid x\sim a\}\)を\(C_a\)と略記する。【補…