I don't remember where on this site, but I vaguely remember seeing that for a vector space with its base field being $\mathbb{R}$ (or more generally, a topological field?), there can be a natural (unique) topology induced from the base field to the vector space. I wonder how it is done? Thanks!
How is the topology on a vector space induced from its base field $\mathbb{R}$?
-
0@Tim: This is the fact that any vector space has a basis. There are as many copies are there are vectors in a basis. – 2012-04-04
1 Answers
Every vector space has a basis, this can be seen using a Zorn's lemma argument: $L=\{ X\subset V: X \text{ is linearly independent }\}$ is inductive and a maximal element is a basis.
So let $(v_\alpha)_{\alpha \in A}$ be a basis for $V$, and consider the linear transformation $T:V\to \oplus_A F_\alpha$ where $F_\alpha =F$ for all $\alpha$, such that ($x_\alpha \in F$)
$ \sum_{\alpha\in A} x_\alpha v_\alpha = x \mapsto (x_\alpha)_{\alpha\in A} $
This is an isomorphism of vector spaces. Clearly we have
$ \bigoplus_A F_\alpha \subset \prod _A F_\alpha $
To this last one we can give the product topology, and so we can give the direct sum the subspace topology. Now just declare $Y\subset V$ open if and only if $T(Y)$ is open in this last topology.
How big can $A$ be: as big as you want just build a $V$ via the direct sum above. This topology is useful (as far as I know) mostly for finite dimensional vector spaces though.
As for references, the basic linear algebra you can look up in Friedberg's "Linear Algebra", and the topology on, say, Kelley's or Munkres' books.
-
0@Jose27: You're right, I meant $c_{00}$. – 2012-04-04