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

  • Thread starter Thread starter Damidami
  • Start date Start date
  • Tags Tags
    Dual Example
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 fresh_42
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top