Difference between revisions of "Quotient set"
(New page: A '''quotient set''' is a set derived from another by an equivalence relation. Let <math>S</math> be a set, and let <math>\mathcal{R}</math> be an equivalence relation. The set o...) |
(added note on saturation) |
||
Line 2: | Line 2: | ||
Let <math>S</math> be a set, and let <math>\mathcal{R}</math> be an equivalence relation. The set of [[equivalence class]]es of <math>S</math> with respect to <math>\mathcal{R}</math> is called the ''quotient of <math>S</math> by <math>\mathcal{R}</math>'', and is denoted <math>S/\mathcal{R}</math>. | Let <math>S</math> be a set, and let <math>\mathcal{R}</math> be an equivalence relation. The set of [[equivalence class]]es of <math>S</math> with respect to <math>\mathcal{R}</math> is called the ''quotient of <math>S</math> by <math>\mathcal{R}</math>'', and is denoted <math>S/\mathcal{R}</math>. | ||
+ | |||
+ | A [[subset]] <math>A</math> of <math>S</math> is said to be ''saturated'' with respect to <math>\mathcal{R}</math> if for all <math>x,y \in S</math>, <math>x\in A</math> and <math>\mathcal{R}(x,y)</math> imply <math>y\in A</math>. Equivalently, <math>A</math> is saturated if it is the union of a family of equivalence classes with respect to <math>\mathcal{R}</math>. The ''saturation of <math>A</math> with respect to <math>\mathcal{R}</math>'' is the least saturated subset <math>A'</math> of <math>S</math> that contains <math>A</math>. | ||
== Compatible relations; derived relations; quotient structure == | == Compatible relations; derived relations; quotient structure == |
Revision as of 23:10, 18 May 2008
A quotient set is a set derived from another by an equivalence relation.
Let be a set, and let
be an equivalence relation. The set of equivalence classes of
with respect to
is called the quotient of
by
, and is denoted
.
A subset of
is said to be saturated with respect to
if for all
,
and
imply
. Equivalently,
is saturated if it is the union of a family of equivalence classes with respect to
. The saturation of
with respect to
is the least saturated subset
of
that contains
.
Compatible relations; derived relations; quotient structure
Let be a relation, and let
be an equivalence relation. If
and
together imply
, then
is said to be compatible with
.
Let be a relation. The relation
on the elements of
, defined as
\[\exist x\in y, P(x)\] (Error compiling LaTeX. Unknown error_msg)
is called the relation derived from by passing to the quotient.
Let be a structure,
, an equivalence relation. If the equivalence classes form a structure of the same species as
under relations derived from passing to quotients,
is said to be compatible with the structure on
, and this structure on the equivalence classes of
is called the quotient structure, or the derived structure, of
.
This article is a stub. Help us out by expanding it.