User:Dfeuer/Definition:Convex Component (Order Theory)

swap def 1 and def 2.et $\left({S, \preceq}\right)$ be a totally ordered set.

Let $T \subseteq S$.

Define a relation $\sim$ on $T$ by letting $a \sim c$ iff
 * For some subset $C$ of $T$ which is convex in $S$: $a,c \in C$.

Then the $\sim$ equivalence classes of $T$ are the convex components of $T$.

Lemma
$\sim$ is an equivalence relation.

Proof
Reflexive:

Let $a \in T$.

By Singleton is Convex Set (Order Theory), $\left\{{a}\right\}$ is convex.

Thus $a \sim a$.

Symmetric:

If $a \sim b$, then for some $C \subseteq T$ which is convex in $S$: $a, b\in C$.

Then $b, a \in C$, so $b \sim a$.

Transitive:

Let $a \sim b$ and $b \sim c$.

Then for some $C, D \subseteq T$ which are convex in $S$: $a,b \in C$ and $b,c \in D$.

By Union of Overlapping Intervals is Interval, $C \cup D$ is convex.

But $a,c \in C \cup D$, so $a \sim c$.

Lemma 2
Convex components of $T$ in $S$ are convex in $S$.

Proof
Let $C$ be a convex component of $T$ in $S$.

Let $a, c \in C$, $b \in S$, and $a \preceq b \preceq c$.

Since $a, c \in C$, $a \sim c$.

Thus there is a set $D \subseteq T$ such that $a,c \in D$ and $D$ is convex in $S$.

Thus $b \in D$, so $b \in T$.

Definition 2
Let $\left({S, \preceq}\right)$ be a totally ordered set.

Let $T \subseteq S$.

Define a relation $\sim$ on $T$ by letting $a \sim c$ iff
 * For all $b \in S$: if $a \preceq b \preceq c$ or $c \preceq b \preceq a$ then $b \in T$.

Then the $\sim$ equivalence classes of $T$ are the convex components of $T$.

Lemma 1
If $x \sim y$ and $x \preceq y$, then $[x..y] \cap T$ is convex in $S$.

Proof
Suppose $a,c \in [x..y] \cap T$, $b \in S$, and $a \preceq b \preceq c$.

Then $x \preceq a \preceq b \preceq c \preceq y$.

Since $x \sim y$, $b \in [x..y] \cap T$.

Since this holds for all $a,b,c$, $[x..y] \cap T$ is convex in $S$.

Lemma 2
$\sim$ is an equivalence relation.

Definition 3
Let $\left({S, \preceq}\right)$ be a totally ordered set.

Let $T \subseteq S$.

Let $a \in T$.

Then the convex component of $a$ is the largest convex subset of $T$ that contains $a$.

Lemma
The other definitions satisfy this one.