Double Dual Example: V=R^2 to V** Transformation

  • Context: Graduate 
  • Thread starter Thread starter Damidami
  • Start date Start date
  • Tags Tags
    Dual Example
Click For Summary

Discussion Overview

The discussion revolves around understanding the natural transformation from a vector space V to its double dual V**, specifically using the example of V = R^2. Participants explore the construction of functionals in V* and the implications for V** without reaching a consensus on certain aspects.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • One participant seeks clarification on how to obtain a vector in V** from a vector in V using a functional from V*, questioning the identity of the functional f.
  • Another participant suggests a method for constructing a basis for V* from a basis of V, indicating that the process can be repeated to relate V* back to V.
  • A later reply explains that the evaluation map at a fixed vector in V defines a linear map into the base field, emphasizing that this mapping is natural and does not depend on a basis.
  • It is noted that while V is isomorphic to V*, there is no natural isomorphism between them.

Areas of Agreement / Disagreement

Participants express differing views on the nature of functionals and the construction of bases for dual spaces. The discussion remains unresolved regarding the specifics of these transformations and the existence of a natural isomorphism.

Contextual Notes

Participants do not fully agree on the definitions and implications of the transformations between V, V*, and V**, and there are unresolved questions about the construction of bases and the identity of functionals.

Damidami
Messages
93
Reaction score
0
Hi,
I'm trying to understand the natural transformation from V to V**, and the book has the theory but I think I'm needing an example.

Lets say V=R^2 a vector space over K=R.
B={(1,1),(1,-1)} a basis of V
B={x/2 + y/2, x/2 - y/2} a basis of V*

v = (3,2) a vector of V

I want to get a vector of V** (a funtional of V*), it is supposed to be
Lf_v = f(v)
with f in V*

But who is f? a generic funtional? let's say
f=ax+by
then
f(v) = 3a + 2b ?

then Lv = 3a + 2b?

And I can't also see how to construct a basis for V**

Please, any help will be appreciated. Thanks!
 
Physics news on Phys.org
Lets say we have a basis ##\{\,v_k\,\}## of ##V##. Then we get a basis for ##V^*## by ##\{\,f_k\, : \, v_m \longmapsto \langle v_m,v_k \rangle\,\}##. In coordinates the two are indistinguishable, their usage changed. Repeating this process for ##V^*## as basic vector space leads you automatically back to ##V##.
 
Do you have a question?
 
If ##v## is a vector in ##V## then the rule ##l→l(v)## defines an element of ##V^{**}##. That is: the evaluation map at a fixed vector defines a linear map of the dual vector space into the base field. This mapping of ##V## into ##V^{**}## is natural because it is defined without a basis for ##V##.

##V## is also isomorphic to ##V^{*}## but there is no natural isomorphism.
 
  • Like
Likes   Reactions: fresh_42

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 52 ·
2
Replies
52
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K