Isomorphism of P4 and R5 in a given inner product space

1. Aug 14, 2012

freddyfish

The isomorphism of ℝ5 and P4 is obvious for the "standard" inner product space.

The following question arise from an example in my course literature for a course in linear algebra. The example itself is not very difficult, but there is a statement without any proof, that if the inner product is determined by:

<p(t), q(t)>=Ʃp(ti)q(ti)

where tk=-2, -1, 0, 1, 2, respectively, (1≤k≤t)

then the polynomials in P4 are uniquely determined by their values at the given values of tk and each polynomial can be represented as a vector in ℝ5 where the entries of that the vector (from the top) are the polynomials value for each tk (same order as above).

Intuition confirmes this, but as far as I'm concerned intuition won't prove neither the uniqueness nor why the corresponding vectors in ℝ5 is formed from each polynomial's value for each given tk. Can anyone help me to prove this or at least present some idea that might be useful?

I would appreciate it //Freddy

2. Aug 15, 2012

chiro

Hey freddyfish and welcome to the forums.

Can you construct a way to show a co-ordinate transformation from P^5 to R^5?

If you can construct your metric tensor you can show that if the two inner products are equal, then you're done.

3. Aug 18, 2012

freddyfish

Thanks! I will take a closer look at it, but also, I will soon get my share of tensors, since the autumn offers a course in tensor analysis for me. I'm not "supposed" to know about co-ordinate transformations just yet, but that's what summer vacations are for. To study interesting spaces and messed up co-ordinates, right? :p

4. Aug 18, 2012

chiro

It's basically taking a lot of stuff you did with going from 2D polar to 2D cartesian and generalizing it in the context of general co-ordinate systems.

Some systems can be really messed up but that depends on your point of view: A lot of the initial examples will be pretty standard like cylindrical, polar, cartesian, parabolic and going between all of these.

Then you look at how you define metrics and inner products and that's the start of generalized co-ordinate system geometry where differential geometry enters the picture.