Dual basis and differential forms

  • Thread starter Buri
  • Start date
  • #1
273
0
I was reading about dual spaces and dual bases in the book Linear Algebra by Friedberg, Spence and Insel (FSI) and they give an example of a linear functional, f_i (x) = a_i where [x]_β = [a_1 a_2 ... a_n] denotes the matrix representation of x in terms of the basis β = {x_1, x_2, ..., x_n} of V. Now they go on to prove that {f_1, f_2, ..., f_n} is in fact the dual basis of β for V* by actually never using the fact that f_i (x) = a_i, but rather that f_i (x_j) = δ_ij, where δ_ij denotes the Kronecker delta function. I also happened to have read other references by Halmos and Lang and they did not go about actually finding the linear functionals, but rather use the fact that a linear functional that satisfies φ_i (x_j) = δ_ij exists. Now I suppose my question is, doesn't it so happen that the dual basis of β ALWAYS equals {f_1, f_2, ..., f_n} as defined by FSI? Because since φ and f agree on the basis elements in turns out that φ_i = f_i for all x.

Now here is where differential forms come in. I was reading do Carmo's book on Differential forms and he says that the basis of R³ is {dx_i; i = 1,2,3} where x_i represents the i-th coordinate function. So I guess its true that dx_i = f_i(x) from above then right? I, to be honest, find this a bit unexpected as x_i is precisely f_i when we're using the canonical basis, yet differentiating doesn't mess it up. So I actually went on to check it on some values that dx_i really does equal f_i(x). And so it seems to also verify what I was asking in the first paragraph.

Is this all right? I'd appreciate someone clarifying some of this stuff to me.

Thanks!

EDIT: I guess another way of putting my question is, is the dual basis unique, in the sense that the linear functionals that form the basis are always identically equal to f_i(x) as given by FSI?
 
Last edited:

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
Another way of putting your question is:

If you have two lists f and g of linear functionals satisfying:
fi(xj) = δ_ij
gi(xj) = δ_ij​

Can you prove that, for each i,
fi = gi
?
 
  • #3
273
0
I guess I could since they agree on basis elements they should be equal - that's a result from linear algebra. I guess that answers my question, but the differential form example sorta throws me off...
 
  • #4
273
0
I suppose the purpose of 'rewriting' the f_i (x) as dx_i is probably just more convenient as it is "differential" forms.
 
  • #5
402
1
...purpose of 'rewriting' the f_i (x) as dx_i is probably just more convenient as it is "differential" forms.
The purpose is that do Carmo's is interested in differential forms defined on a manifold (or in an open set of it), not just on a single point. Therefore, given a manifold M and [itex]p \in M[/itex] and R3 is its tangent space at p, then the dual basis to the canonical one is indeed dx_i(p) and is exactly the same as the dual basis as defined in linear algebra.

This notation is useful when, for example, you have a function f defined on an open set U of M and you need df, which is then written (usually supressing p):

[tex]df(p) = \sum_{i = 1}^{n}a_{i}\left(p\right)dx_{i}\left(p\right)[/tex]

Where the a_i's are (usually) smooth functions on U.
 
  • #6
273
0
The purpose is that do Carmo's is interested in differential forms defined on a manifold (or in an open set of it), not just on a single point. Therefore, given a manifold M and [itex]p \in M[/itex] and R3 is its tangent space at p, then the dual basis to the canonical one is indeed dx_i(p) and is exactly the same as the dual basis as defined in linear algebra.

This notation is useful when, for example, you have a function f defined on an open set U of M and you need df, which is then written (usually supressing p):

[tex]df(p) = \sum_{i = 1}^{n}a_{i}\left(p\right)dx_{i}\left(p\right)[/tex]

Where the a_i's are (usually) smooth functions on U.

Ahh that makes sense to me now. Thanks a lot JSuarez! Also thanks to Hurkyl for helping me out too! :smile:
 

Related Threads on Dual basis and differential forms

  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
5
Views
7K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
2
Views
4K
  • Last Post
Replies
16
Views
3K
  • Last Post
Replies
15
Views
998
  • Last Post
Replies
20
Views
6K
  • Last Post
Replies
8
Views
1K
  • Last Post
Replies
12
Views
2K
Top