set-theoretical_partition
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
set-theoretical_partition [2020/03/12 09:04] amang |
set-theoretical_partition [2021/11/23 11:56] (current) |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| Set-theoretical partitions of $X$ are in one-to-one correspondence to //equivalence relations// on $X$. From a partition $\pi$ of $X$ one obtains an equivalence relation $\sim_\pi$ by defining for all $i,j\in X$ that $i\sim_\pi j$ if and only if there exists $B\in \pi$ such that $\{i,j\}\in B$. Conversely, given an equivalence relation $\sim$ on $X$ the set $X/{\sim}=\{ \{j\in X\,\vert\, i\sim j\} \,\vert\, i\in X\}$ of all equivalence classes is a set-theoretical partition of $X$. | Set-theoretical partitions of $X$ are in one-to-one correspondence to //equivalence relations// on $X$. From a partition $\pi$ of $X$ one obtains an equivalence relation $\sim_\pi$ by defining for all $i,j\in X$ that $i\sim_\pi j$ if and only if there exists $B\in \pi$ such that $\{i,j\}\in B$. Conversely, given an equivalence relation $\sim$ on $X$ the set $X/{\sim}=\{ \{j\in X\,\vert\, i\sim j\} \,\vert\, i\in X\}$ of all equivalence classes is a set-theoretical partition of $X$. | ||
| + | |||
| + | Note that the only set-theoretical partition of the empty set $\emptyset$ is the empty set $\emptyset$ itself. We speak of the **empty partition**. | ||
set-theoretical_partition.1584003877.txt.gz · Last modified: 2021/11/23 11:56 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
