Difference between revisions of "Quotient set"

(added note on saturation)
(Compatible relations; derived relations; quotient structure)
 
Line 10: Line 10:
  
 
Let <math>P(x)</math> be a relation.  The relation <math>P'(y)</math> on the elements of <math>S/\mathcal{R}</math>, defined as
 
Let <math>P(x)</math> be a relation.  The relation <math>P'(y)</math> on the elements of <math>S/\mathcal{R}</math>, defined as
<cmath> \exist x\in y, P(x) </cmath>
+
<cmath> \exists x \in y, P(x) </cmath>
 
is called the relation ''derived from <math>P</math> by passing to the quotient.''
 
is called the relation ''derived from <math>P</math> by passing to the quotient.''
  

Latest revision as of 08:42, 7 June 2016

A quotient set is a set derived from another by an equivalence relation.

Let $S$ be a set, and let $\mathcal{R}$ be an equivalence relation. The set of equivalence classes of $S$ with respect to $\mathcal{R}$ is called the quotient of $S$ by $\mathcal{R}$, and is denoted $S/\mathcal{R}$.

A subset $A$ of $S$ is said to be saturated with respect to $\mathcal{R}$ if for all $x,y \in S$, $x\in A$ and $\mathcal{R}(x,y)$ imply $y\in A$. Equivalently, $A$ is saturated if it is the union of a family of equivalence classes with respect to $\mathcal{R}$. The saturation of $A$ with respect to $\mathcal{R}$ is the least saturated subset $A'$ of $S$ that contains $A$.

Compatible relations; derived relations; quotient structure

Let $P(x)$ be a relation, and let $\mathcal{R}$ be an equivalence relation. If $\mathcal{R}(x,y)$ and $P(x)$ together imply $P(y)$, then $P$ is said to be compatible with $\mathcal{R}$.

Let $P(x)$ be a relation. The relation $P'(y)$ on the elements of $S/\mathcal{R}$, defined as \[\exists x \in y, P(x)\] is called the relation derived from $P$ by passing to the quotient.

Let $S$ be a structure, $\mathcal{R}$, an equivalence relation. If the equivalence classes form a structure of the same species as $S$ under relations derived from passing to quotients, $\mathcal{R}$ is said to be compatible with the structure on $S$, and this structure on the equivalence classes of $S$ is called the quotient structure, or the derived structure, of $S/\mathcal{R}$.

This article is a stub. Help us out by expanding it.