definition of canonical topology for finite-dimensional complex vectors space
Topics
About: vectors space
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of %field name% vectors space.
- The reader knows a definition of topology.
- The reader admits the proposition that for any finite dimensional complex vectors space, the topology defined by the complex Euclidean topology of the coordinates space based on any basis does not depend on the choice of basis.
Target Context
- The reader will have a definition of canonical topology for finite-dimensional complex vectors space.
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: Structured Description
Here is the rules of Structured Description.
Entities:
\( V\): \(\in \{\text{ the } d \text{ -dimensional complex vectors spaces }\}\)
\( B\): \(= \{b_1, ..., b_d\} \subseteq V\), \(\in \{\text{ the bases for } V\}\)
\( \mathbb{C}^d\): \(= \text{ the complex Euclidean topological space }\)
\( f\): \(: V \to \mathbb{C}^d\), \(v = v^j b_j \mapsto (v^1, ..., v^d)\)
\(*O\): \(= \{U \subseteq V \vert f (U) \in \text{ the topology of } \mathbb{C}^d\}\)
//
Conditions:
//
\(O\) does not depend on the choice of \(\{b_1, ..., b_d\}\), by the proposition that for any finite dimensional complex vectors space, the topology defined by the complex Euclidean topology of the coordinates space based on any basis does not depend on the choice of basis.
