How to prove a function is an isometry

In summary, the conversation discusses an isometry, how it is defined, how it is shown to exist for a particular map f:M-->N, the example of a linear function on the two-dimensional manifold R^2, and how to calculate the differential of the function at a given point.
  • #1
Cincinnatus
389
0
I need to show a particular map f:M-->N is an isometry (globally). M,N are riemannian manifolds, p is a point on M.

That is, I need to show:

<u,v>_p = <df_p(u),df_p(v)>_f(p) (for all p and for all u,v in T_p(M)?)

I think my problem is that I don't understand what this statement really means. Are u,v elements of the tangent space T_p(M)? Then doesn't that mean I should identify them with partial derivatives? But this doesn't make sense unless I apply them to functions...

I see that in euclidean space we have:

<e_i,e_j>=g_ij where g_ij is the identity matrix of the appropriate size

I don't see how that statement connects to the other one. What is "f" in this context?

Thanks for you help...
 
Last edited:
Physics news on Phys.org
  • #2
okay an isometry is a function that preserves the metric. So you have two riemannian manifolds M and N and hence given two metrics g_M and g_N.

A metric is a tensor that takes two tangent vectors as input. The way we map tangent vectors from the tangent bundle of M to the tangent bundle of N is by the differential df.

so you see that the metric is preserved if as you say:

<u,v>_p = <df_p(u),df_p(v)>_f(p) (for all p and for all u,v in T_p(M)?)

because:

<u,v>_p = g_M(u,v)(p) (i added a (p) because you have to evaluate at p in M)
<df_p(u),df_p(v)>_f(p) = g_N(df_p(u),df_p(v))(f(p))

so you need to calculate the differential of f at p in M, use it on two tangents then aply the metric in N, and see this gives the same as just aplying g in M to the two tangent vectors. This can be done in coordinates or without depending on the concrete exercise.

You are right that the metric in euclidean space just corresponds to the identity matrix, (in coordinates), but that does not give you that any function f is an isometry, you can easily see that in R^2, if we set f(x)=x^2 then whe don't have: ||x-y|| = ||f(x)-f(y)|| for all x,y in R^2, which like what you need to prove for a manifold, but because only the tangent space has a metric it is a bit more complicated.

hope this explain the general case.

Now for your more concrete example. Let's look at [tex] R^2 [/tex] with the standard basis [tex] e_1,e_2 [/tex], let's look at the linear function defined on the basis by

[tex] f(e_1)=e_2, f(e_2) = e_1 [/tex] extend by linearity to all [tex] R^2 [/tex].

This function is clearly an isometry because it only flip the coordinate system, I know that the metric actually works on the tangent space at a point in R^2, but because R^2 is so "nice" we can identify T_pM with R^2 (if you don't see this don't worry, maybe if you understand the rest you can ask about this i will explain) so that's why i can say it is an isometry, just by looking on what the function does on R^2, but in general for a manifold it depends on the differential of f.

But let's us try to show it in your notation of a riemannian manifold. So let M be the manifold [tex] R^2 [/tex] and N the same namely [tex] R^2 [/tex] (i know i said that that you need to check ||x-y||=||f(x)-f(y)||) in R^2, but because we look at R^2 as a manifold now, we need to be a bit carefull (as said above), the metric now works on the tangent space, so I will try to be careful and only use the metric on tangent. As i said above let's take two tangent vectors v,u to a point p in R^2=M. These are as you say just directional derivatives that is ve can write

[tex] v = v_1 \partial_1(p) + v_2 \partial_2(p) [/tex], [tex] \partial_i(p) = \frac{\partial}{\partial x_i}|_p [/tex]
[tex] u = u_1 \partial_1(p) + u_2 \partial_2(p) [/tex]

so we see that

[tex] g_M(v,u)_p = g(v_1 \partial_1(p) + v_2 \partial_2(p),u_1 \partial_1(p) + u_2 \partial_2(p)) [/tex]

remember we have (for R^2)

[tex] g_M = g_N = g_{ij} dx^i \otimes dx^j = \delta_{ij} dx^i \otimes dx^j [/tex] einstein summation assumed.

so we get:

[tex] g_M(v,u)_p = \delta_{ij} dx^i(v_1 \partial_1(p) + v_2 \partial_2(p)) \otimes dx^j(u_1 \partial_1(p) + u_2 \partial_2(p)) = v_1 u_1 + v_2 u_2 [/tex]

this is actually just the usual inner product, you see. Remeber that [tex] dx^i [/tex] is defined by [tex] dx^i(\partial_j) = \delta^i_j [/tex] (maybe I write to much but don't at what level you are, so just tell me if you know stuff I said, then I can leave it out in the next post, if another post is needed)

So know we need to calculate the differential df_p(v). To do this we need some curve [tex] \gamma(t) [/tex] such that [tex] \gamma(0) = p, \gamma'(0) = v [/tex]. It is not hard to see that such a curve could be

[tex] \gamma(t) = (v_1 e_1 + v_2 e_2)t + p [/tex]

I said not hard to see, hate when people do this so let's check. [tex] \gamma'(0) [/tex]
works on differential functions from M to R (and thus need to be evaluated on such), so let h be such a function and p = (p_1,p_2)

[tex] \gamma'(0)h = \frac{\partial}{\partial t}(h \circ\gamma(t))|_{t=0} =
\frac{\partial}{\partial t}(h(v_1 t+p_1, v_2 t+p_2 )) |_{t=0} = (\partial_1h)(\frac{\partial(v_1 t+p_1)}{\partial t}) + (\partial_2h)(\frac{\partial(v_2 t+p_2)}{\partial t})|_{t=0} = [/tex]
[tex]
(\partial_1h)(v_1)+ (\partial_2h)(v_2)|_{t=0} = (v_1\partial_1+ v_2\partial_2)h|_{t=0}=
(v_1\partial_1+ v_2\partial_2)h
[/tex]

this is for all h so

[tex] \gamma'(0)= v_1\partial_1+ v_2\partial_2[/tex]

so i was right :-). Now we got our curve, let's get to df_p(v), this is defined as

[tex] df_p(v) = df_p(\gamma'(0)) = \frac{\partial}{\partial t}(f \circ \gamma(t))|_{t=0} = \frac{\partial}{\partial t}(f((v_1 e_1 + v_2 e_2)t))|_{t=0}=
\frac{\partial}{\partial t}((v_1 e_2 + v_2 e_1)t)|_{t=0} = v_1 e_2 + v_2 e_1[/tex]

the same thing happens for u so

[tex] df_p(u) = u_1 e_2 + u_2 e_1 [/tex] of cause to see this you need to find a simelar curve that fulfills [tex] \gamma(0) = p, \gamma'(0) = u [/tex]

we are know ready to evaulate

[tex] g_N(df_p(v),df_p(u))_p = g_N(v_1 e_2 + v_2 e_1,u_1 e_2 + u_2 e_1)_p [/tex]

like before this is just the usual inner product (now on N, but N=R^2) so

[tex] g_N(df_p(v),df_p(u))_p = v_1 u_1 + v_2 u_2 = v_2 u_2 + v_1 u_1 = g_M(v,u)_p [/tex]

you see that in this case, what p i chose didn't play any role so this is for all p in M,
so we are done, I think i did it in a so general way that M and N could have been any manifolds, the onyl thing i used was that it was easy to find curves in R^2, you need to make a more general curve maybe only demanding [tex] \gamma(0) = p, \gamma'(0) = u [/tex], not even writing an explicit form of [tex] \gamma[/tex], this depend on your problem.

Hope this helps, if you can't generalize it to your problem, then post your problem and your attempt, I will try to help you further.
 
  • #3
Wow, thanks so much for the detailed answer.

One question (I'll probably have more as I digest this) is, do I always need to come up with curve in M? What do I do if it's not so clear how to write down a curve... Actually, I'm trying to show a function on the upper half plane is an isometry with respect to the metric g_ij=identity(2)*(1/y^2). So, I guess I could write down a curve...

Separately, I also want to show that metric is induced by the euclidean metric on R^2 since the upper half plane is a subspace of R^2...
 
  • #4
if it imposible to write down the curve it can be a bit tricky, but sometimes all you need is to know that it satiesfy [tex]\gamma(0)=p,\gamma'(0)=v[/tex]. There are also other equivalent deffinitions of the differetial, that's why it completely depends on the exercise what way you should do it. Sometimes on a general manifold you can construct the curves from something which is called the exponential function on a manifold (not the same as the normal exp), this is a very usefull construction because it makes it possible to calculate differentials of a general manifold when doing proofs.

By the way the upper half plane is only a subspace if it is over the postive real number, because if v is in that then -v is not, just a comment.
 
  • #5
mrandersdk said:
By the way the upper half plane is only a subspace if it is over the postive real number, because if v is in that then -v is not, just a comment.

Oops, I meant it was a submanifold, I didn't mean a (vector) space over only the positive real numbers. This wasn't really important though.
 

1. How do I prove that a function is an isometry?

To prove that a function is an isometry, you need to show that it preserves distances between points. This means that if you have two points A and B, the distance between them before and after the function is applied should be the same.

2. What is the definition of an isometry?

An isometry is a function that preserves distances between points. In other words, it is a function that does not change the distance between any two points when it is applied.

3. What are some common examples of isometric functions?

Some common examples of isometric functions include translations, rotations, and reflections. These functions preserve distances between points and are commonly used in geometry and computer graphics.

4. What are some techniques for proving that a function is an isometry?

One technique for proving that a function is an isometry is to use the distance formula. You can plug in the coordinates of two points before and after the function is applied and show that the distances are the same. Another technique is to use vector notation and show that the magnitude of the vectors before and after the function is applied are equal.

5. Can a function be an isometry in some cases but not in others?

Yes, a function can be an isometry in some cases but not in others. For example, a translation is always an isometry, but a scaling or shearing transformation may only be an isometry in certain directions or for certain magnitudes. It is important to carefully consider the properties of a function before determining if it is an isometry or not.

Similar threads

Replies
4
Views
1K
  • Differential Geometry
Replies
3
Views
1K
  • Differential Geometry
Replies
1
Views
1K
  • Differential Geometry
Replies
14
Views
3K
  • Differential Geometry
Replies
20
Views
2K
Replies
2
Views
1K
  • Differential Geometry
Replies
2
Views
534
Replies
2
Views
6K
  • Differential Geometry
Replies
12
Views
3K
  • Differential Geometry
Replies
10
Views
2K
Back
Top