Compact Subspace of Linearly Ordered Space/Reverse Implication/Proof 2

From ProofWiki
Jump to: navigation, search

Theorem

Let $\left({X, \preceq, \tau}\right)$ be a linearly ordered space.

Let $Y \subseteq X$ be a nonempty subset of $X$.

Suppose that for every non-empty $S \subset Y$, $S$ has a supremum and an infimum in $X$, and $\sup S, \inf S \in Y$.


Then $Y$ is a compact subspace of $\left({X, \tau}\right)$.


Proof


Let $\mathcal F$ be an ultrafilter on $Y$.

For $S \in \mathcal F$, let $f(S) = \inf S$.

Let $p = \sup f(\mathcal F)$.


Then $\mathcal F$ converges to $p$:


Upward rays

Let $a \in X$ with $a \prec p$.

Since $\mathcal F$ is an ultrafilter, either $Y \cap {\uparrow}a \in \mathcal F$ or $Y \cap {\bar\downarrow}a \in \mathcal F$.

Suppose for the sake of contradiction that $Y \cap {\bar\downarrow}a \in \mathcal F$.

For each $S \in \mathcal F$:

$S \cap {\bar\downarrow}a \in \mathcal F$ because an ultrafilter is a filter.
$S \cap {\bar\downarrow}a \ne \varnothing$ because a filter on a set is proper.

By applying the definition of supremum to $p$, it follows that there exists an $S \in \mathcal F$ such that $a \prec \inf S$.

By the definition of infimum, $S \cap {\bar\downarrow}a = \varnothing$, a contradiction.

Thus $Y \cap {\uparrow}a \in \mathcal F$.

Downward rays

Let $b \in X$ with $p \prec b$.

Either $Y \cap {\downarrow} b \in \mathcal F$ or $Y \cap {\bar \uparrow} b \in \mathcal F$.

Suppose, for the sake of contradiction, that $Y \cap {\bar \uparrow} b \in \mathcal F$.

Let $b' = \inf \left({ Y \cap {\bar \uparrow} b}\right)$.

We have that $b$ is a lower bound of $Y \cap {\bar \uparrow} b$

So by the definition of infimum:

$b \preceq b'$

Since $p \prec b$ and $b \preceq b'$, $p \prec b'$ by Extended Transitivity.

By the definition of $b'$ and the definition of $f$:

$b' \in f \left({\mathcal F}\right)$

But this contradicts the fact that $p$ is the supremum, and hence an upper bound, of $f \left({\mathcal F}\right)$.

$\Box$


By the definition of the order topology, the upward and downward rays containing each point form a neighborhood sub-basis for that point.

Thus by the Neighborhood Sub-Basis Criterion for Filter Convergence, $\mathcal F$ converges.

Since every ultrafilter on $Y$ converges, $Y$ is compact by Equivalent Definitions of Compactness.


Boolean Prime Ideal Theorem

This proof depends on the Boolean Prime Ideal Theorem (BPI), by way of Equivalent Definitions of Compactness.

Although not as strong as the Axiom of Choice, the BPI is similarly independent of the Zermelo-Fraenkel axioms.

As such, mathematicians are generally convinced of its truth and believe that it should be generally accepted.