A description/proof of that finite dimensional real vectors space topology defined based on coordinates space does not depend on choice of basis
Topics
About: vectors space
The table of contents of this article
Starting Context
Target Context
- The reader will have a description and a proof of the proposition that for any finite dimensional real vectors space, the topology defined by the Euclidean topology of the coordinates space based on any basis does not depend on the choice of 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 finite dimensional real vectors space, \(V\), any basis, \((b_1, b_2, . . ., b_d)\), and the topology, \(T\), defined by the Euclidean topology of the coordinates space based on the basis, the topology does not depend on the choice of basis.
2: Proof
The map from V to the coordinates space is a bijection, \(f: V \rightarrow \mathbb{R}^d\). For any another basis, \((b'_1, b'_2, . . ., b'_d)\), the map from \(V\) to the coordinates space is a bijection, \(f': V \rightarrow \mathbb{R}^d = \phi \circ f\) where \(\phi\) is the bijective coordinates transition map, \(\phi: \mathbb{R}^d \rightarrow \mathbb{R}^d\). The coordinate spaces are given the Euclidean topologies and the Euclidean atlases, and \(V\) is given the topologies, \(T\) and \(T'\), based on the Euclidean topologies, which means that any subset of \(V\) is open if and only if the corresponding subset of the coordinates space is open.
By the proposition that for any map between \(C^\infty\) manifolds, its continuousness in the topological sense equals its continuousness in the norm sense for the coordinates functions, \(\phi\) is a homeomorphism, because its and its inverse's coordinates functions are continuous being linear. So, any open set in one of the coordinates spaces corresponds to an open set in the other, so, whatever open on \(T\) is open on \(T'\) and vice versa,
