Category:Irrational Slope Topology
Jump to navigation
Jump to search
This category contains results about Irrational Slope Topology.
Let $S = \set {\tuple {x, y}: y \ge 0, x, y \in \Q}$.
Let $\theta \in \R \setminus \Q$ be some fixed irrational number.
Let $\BB$ be the set of $\epsilon$-neighborhoods of the form:
- $\map {N_\epsilon} {x, y} = \set {\tuple {x, y} } \cup \map {B_\epsilon} {x + \dfrac y \theta} \cup \map {B_\epsilon} {x - \dfrac y \theta}$
where:
- $\map {B_\epsilon} \zeta := \set {r \in \Q: \size {r - \zeta} < \epsilon}$
that is, the open $\epsilon$-ball at $\zeta$ in $\Q^2$.
Hence each $\map {N_\epsilon} {x, y}$ consists of:
- the singleton $\set {\tuple {x, y} }$
together with:
- two open intervals of length $\epsilon$ in the rational numbers whose midpoints are at the irrational points $x \pm \dfrac y \theta$
The lines joining $\tuple {x, y}$ to $\tuple {x \pm \dfrac y \theta, 0}$ have slope $\pm \theta$ and are not part of $\map {N_\epsilon} {x, y}$.
Let $\tau$ be the topology generated from $\BB$.
$\tau$ is referred to as the irrational slope topology.
This category currently contains no pages or media.