2025-03-09

1033: Canonical 'Vectors Spaces - Linear Morphisms' Isomorphism Between Finite-Dimensional Vectors Space and Its Double Dual Space

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of canonical 'vectors spaces - linear morphisms' isomorphism between finite-dimensional vectors space and its double dual space

Topics


About: vectors space

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of canonical 'vectors spaces - linear morphisms' isomorphism between finite-dimensional vectors space and its double dual 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:
\( F\): \(\in \{\text{ the fields }\}\)
\( V\): \(\in \{\text{ the finite-dimensional } F \text{ vectors spaces }\}\)
\( V^*\): \(= L (V: F)\)
\( {V^*}^*\): \(= L (L (V: F): F)\)
\( J\): \(\in \{\text{ the finite index sets }\}\)
\( B\): \(\in \{\text{ the bases for } V\}\), \(= \{b_j \vert j \in J\}\)
\( B^*\): \(= \text{ the dual basis of } B\), \(= \{b^j \vert j \in J\}\)
\( {B^*}^*\): \(= \text{ the dual basis of } B^*\), \(= \{\widetilde{b}_j \vert j \in J\}\)
\(*f\): \(: V \to {V^*}^*, v^j b_j \mapsto \sum_{j \in J} v^j \widetilde{b}_j\), \(\in \{\text{ the 'vectors spaces - linear morphisms' isomorphisms }\}\)
//

Conditions:
//

\(f\) does not depend on the choice of \(B\): compare to the definition of canonical 'vectors spaces - linear morphisms' isomorphism between finite-dimensional vectors space and its covectors space with respect to original space basis with "with respect to original space basis".


2: Note


\(f\) is indeed a 'vectors spaces - linear morphisms' isomorphism, does not depend on the choice of \(B\), and has the property that for each \(v \in V\) and each \(w \in V^*\), \(w (v) = f (v) (w)\), by the proposition that between any finite-dimensional vectors space and its double dual, there is the canonical 'vectors spaces - linear morphisms' isomorphism.

Although it is sometimes sloppily expressed like "The double dual of a finite-dimensional vectors space is the original vectors space.", the double dual is not the same entity with the original vectors space, as the 2 have different meanings. They are just 'vectors spaces - linear morphisms' isomorphic, and having such a relation does not make 2 entities the same.


References


<The previous article in this series | The table of contents of this series | The next article in this series>