Definition:Parallel Line Topology/Strong
< Definition:Parallel Line Topology(Redirected from Definition:Strong Parallel Line Topology)
Jump to navigation
Jump to search
Definition
Let $A$ be the subset of the Cartesian plane $\R^2$ defined as:
- $A := \set {\tuple {x, 0}: 0 < x \le 1}$
Let $B$ be the subset of the Cartesian plane $\R^2$ defined as:
- $B := \set {\tuple {x, 1}: 0 \le x < 1}$
Let $S = A \cup B$.
Let $\BB$ be the set of sets of the form:
\(\ds \map V {a, b}\) | \(=\) | \(\ds \set {\paren {x, 1}: a \le x < b}\) | ||||||||||||
\(\ds \map U {a, b}\) | \(=\) | \(\ds \set {\paren {x, 0}: a < x \le b} \cup \set {\paren {x, 1}: a < x \le b}\) |
that is:
- the left half-open real intervals on $B$
and:
- the right half-open real intervals on $A$ together with the interior of their projection onto $B$.
$\BB$ is then taken to be the basis for a topology $\sigma$ on $S$.
Thus $\sigma$ is referred to as the strong parallel line topology.
The topological space $T = \struct {S, \sigma}$ is referred to as the strong parallel line space.
Also see
- Results about the strong parallel line topology can be found here.
Sources
- 1978: Lynn Arthur Steen and J. Arthur Seebach, Jr.: Counterexamples in Topology (2nd ed.) ... (previous) ... (next): Part $\text {II}$: Counterexamples: $96$. Strong Parallel Line Topology