A description/proof of that for Euclidean topological space, set of all open balls with rational centers and rational radii is basis
Topics
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of Euclidean topological space.
- The reader knows a definition of basis of topological space.
- The reader admits the proposition that any open set on any Euclidean topological space has a rational point.
Target Context
- The reader will have a description and a proof of the proposition that for any Euclidean topological space, the set of all the open balls with rational centers and rational radii is a basis.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Description
For any Euclidean topological space, \(\mathbb{R}^n\), the set of all the open balls with rational centers and rational radii, \(B_{rat}\), is a basis.
2: Proof
Let us take any open set, \(U \subseteq \mathbb{R}^n\). By the proposition that any open set on any Euclidean topological space has a rational point, there is a rational point, \(p \in U\). By the definition of Euclidean topological space, there is an open ball, \(p \in B_{p-\epsilon} \subseteq U\). But there is a rational number, \(0 \lt \epsilon' \leq \epsilon\), because the infinite decimal of \(\epsilon\) can be truncated at a digit. So, there is the open ball, \(B_{p-\epsilon'} \in B_{rat}\), such that \(B_{p-\epsilon'} \subseteq U\). By the definition of basis of topological space, \(B_{rat}\) is a basis.
3: Note
\(B_{rat}\) is countable, as the rational numbers set is countable, by the proposition that any subset of any countable set is countable and the proposition that the product of any finite number of countable sets is countable.
