Proof that a specific map is an injective immersion

In summary, the function f is a map from an (m+1)-dimensional space to a space of dimension (m+1)(m+2)/2. The image of this map has dimension (m+1)(m+2)/2.
  • #1
jacobrhcp
169
0

Homework Statement



Consider [tex] f: R^{m+1} - {0} -> R^{(m+1)(m+2)/2}, (x^{0},...,x^{m}) -> (x^{i} x^{j}) [/tex] i<j in lexicografical order

a) prove that f is an immersion
b) prove that f(a) = f(b) if and only if b=±a, so that f restricted to Sm factors through an injective map g from Pm.
c) show g is an embedding

The Attempt at a Solution



for a), [tex] (x^{i} x^{j}) [/tex] is just a one-dimensional image? I think this because it is just the product of two specific components of [tex] (x^{1},...,x^{m}) [/tex], and hence just one-dimensional. But then why does the question state f is sent to some high power of R?
Continuing, under the assumption I was right, something is an immersion if its derivative matrix is injective and it's a map between manifolds. In this case the derivative matrix is just a (m+1)x1 vector, because the image is one-dimensional. Most components are zero, except the derivatives of x^i x^j with respect to x^i and x^j. Because Df(a)=Df(b) if and only if a=b, this would be an injective map. Can anyone check this and tell me if it's half right, I don't feel very confident about it?

for b), I'd say this map is not injective at all since we just kill all components except x^i and x^j, so we could change any component except the ith or jth and still be the same f(a). I must have understood something wrong.

c) was easy. A theorem states that a closed injective immersion is an embedding. because any injective immersion from a compact domain is closed (as in the case with g and Pm), g is an embedding. I also proved Pm was compact, because it is the continuous image of Sm, which is very compact in Rn.
 
Last edited:
Physics news on Phys.org
  • #2
jacobrhcp said:

Homework Statement



Consider [tex] f: R^{m+1} - {0} -> R^{(m+1)(m+2)/2}, (x^{0},...,x^{m}) -> (x^{i} x^{j}) [/tex] i<j in lexicografical order

a) prove that f is an immersion
b) prove that f(a) = f(b) if and only if b=±a, so that f restricted to Sm factors through an injective map g from Pm.
c) show g is an embedding

The Attempt at a Solution



for a), [tex] (x^{i} x^{j}) [/tex] is just a one-dimensional image? I think this because it is just the product of two specific components of [tex] (x^{1},...,x^{m}) [/tex], and hence just one-dimensional. But then why does the question state f is sent to some high power of R?
Continuing, under the assumption I was right, something is an immersion if its derivative matrix is injective and it's a map between manifolds. In this case the derivative matrix is just a (m+1)x1 vector, because the image is one-dimensional. Most components are zero, except the derivatives of x^i x^j with respect to x^i and x^j. Because Df(a)=Df(b) if and only if a=b, this would be an injective map. Can anyone check this and tell me if it's half right, I don't feel very confident about it?

for b), I'd say this map is not injective at all since we just kill all components except x^i and x^j, so we could change any component except the ith or jth and still be the same f(a). I must have understood something wrong.

c) was easy. A theorem states that a closed injective immersion is an embedding. because any injective immersion from a compact domain is closed (as in the case with g and Pm), g is an embedding. I also proved Pm was compact, because it is the continuous image of Sm, which is very compact in Rn.

Can you clarify for me the definition of this function? The first part of the definition indicates that it's a map from an (m + 1)-dimensional space to a space of dimension (m + 1)(m+2)/2. The notation used in the definition of this function doesn't convey the idea that the image of this map has dimension (m + 1)(m+2)/2.

It's also not clear to me what the image of a specific input looks like. For starters, let's assume that m = 2, in which case the map is from R^3 to R^6. I think the part of the definition that shows what results from a given input means that f carries a triple of numbers, ( x^0, x^1, x^2) to a 6-tuple (I'm still assuming m = 2) of numbers: (x^0 * x^1, x^0 * x^2, x^1 * x^2, x^2 * x^0 , x^2 * x^1, x^1 * x^0).

The first three products of the six I've listed satisfy the i < j condition in the definition, but the last three don't, so maybe their factors could be reversed to give this 6-tuple:
(x^0 * x^1, x^0 * x^2, x^1 * x^2, x^0 * x^2 , x^1 * x^2, x^0 * x^1).

Can you help me understand the given information in this problem?
 
  • #3
I wrote down the definitions exactly as in the question, except that my 'R' is supposed represent the real R.

So unfortunately, I cannot. I am as confused as you are, and frankly I was hoping you could understand the definition better than I could.

the text of the question litterally is:

Consider a map f:R^(m+1) - {0} -> R^((m+1)(m+2)/2) which assigns to (x^0,...,x^m) in R^(m+1) the vector (x^i x^j), i smaller or equal to j (in lexicographical order, say)

a) Prove f is an immersion
b) prove f(a)=f(b) if and only if b=±a, so that f, restricted to Sm factors through an injective map g:Pm -> R^((m+1)(m+2)/2)
c) prove that g is an embeddingexcept in the question they had an actual smallerequal-sign, and the R was in handwritten bold, the real space.

if you don't trust my copying, you can find the question yourselves on the bottom of page 16 of this set of lecture notes:

https://www.math.uu.nl/people/looijeng/difftop06eng.pdf [Broken]
*the question was modified in c slightly because the teacher admittedly made a typo there.Also, reading your suggestion... I think you are right probably. It is seems the most plausible of things so far, and things with i's or j's are oftenly summed over or repeated for no apparent reason without notice... even when einsteinconvention is in the back of my mind.

I'm going to work with that now.
 
Last edited by a moderator:
  • #4
well... I think it's as good as it's going to get. So for your inspiration and attempted help, I thank you.

If I use you definition I showed everything. If you want I can show how, but I don't really feel like it, so you'll have to specifically ask for it. Solved as far as I'm concerned! (how do you mark your thread 'solved' again?)
 
  • #5
jacobrhcp said:
well... I think it's as good as it's going to get. So for your inspiration and attempted help, I thank you.

If I use you definition I showed everything. If you want I can show how, but I don't really feel like it, so you'll have to specifically ask for it. Solved as far as I'm concerned! (how do you mark your thread 'solved' again?)
I took a look at the document you provided, and I understand things a little bit more. Not a whole lot, but a little.
First, the map is from R^(m+1) - { 0 }. That wasn't clear to me in the original post.
Second, I think I understand what the image vectors look like. On p. 17 of the document, in Remark 4.9, he refers to the problem you're working on, using m = 2, as I did.

In that example, the map carries a triple (x^0, x^1, x^2) in R3 - {(0, 0, 0)} to a 6-tuple (1*1, 1*x, 1*x^2, x*x, x*x^2, x^2*x^2). This simplifies to (1, x, x^2, x^2, x^3, x^4). Looking at the example he gives, I think he meant i <= j, not i < j, in the ordering of the coordinates of the image vector.

That's about all I can do, since I don't know much about manifolds and differential geometry. I hope I've been able to tell you something you didn't already know.
 

1. What is an injective immersion?

An injective immersion is a function that maps one set onto another set in a one-to-one and smooth manner. This means that each element in the first set is uniquely mapped to an element in the second set, and the function is smooth or continuous.

2. How can you prove that a specific map is an injective immersion?

To prove that a specific map is an injective immersion, you need to show that it satisfies both the injective and immersion properties. This means that the function must be one-to-one and smooth, with a non-zero derivative at each point.

3. What is the importance of proving that a map is an injective immersion?

Proving that a map is an injective immersion is important because it ensures that the function is well-defined and has a unique inverse. This can be useful in many areas of mathematics and science, such as in topology, differential geometry, and mathematical physics.

4. What are some techniques for proving that a map is an injective immersion?

Some common techniques for proving that a map is an injective immersion include using the definition of an injective immersion, the inverse function theorem, and the rank-nullity theorem. These techniques often involve analyzing the derivative of the function at each point.

5. Can a map be an injective immersion without being a bijection?

Yes, a map can be an injective immersion without being a bijection. In other words, it is possible for a function to be one-to-one and smooth, but not onto. This can happen if the domain and codomain have different dimensions, or if the function is not surjective.

Similar threads

  • Calculus and Beyond Homework Help
Replies
3
Views
706
  • Calculus and Beyond Homework Help
Replies
14
Views
513
  • Calculus and Beyond Homework Help
Replies
24
Views
616
  • Calculus and Beyond Homework Help
Replies
10
Views
2K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
300
  • Calculus and Beyond Homework Help
Replies
3
Views
451
  • Calculus and Beyond Homework Help
Replies
2
Views
721
Back
Top