Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How do I show that the Upper half plane is complete with the Lobatchevski metric? I tried to use the fact that $M$ is complete iff the lengh of any divegert curve is unbounded,but did not get any results.thanks.

share|improve this question

2 Answers 2

up vote 3 down vote accepted

Here's one possible approach:

  1. If a Riemannian manifold is homogeneous (meaning for any pair of points there is an isometry moving one to the other), then it is complete.

  2. The upper half plane with Lobatchevski metric is homogeneous.

To prove 1, argue as follows: Pick a point $p$. Then for some $\epsilon > 0$, the exponential map is defined on all vectors of length less than $\epsilon$. By homogeneity, this $\epsilon$ works at all points. Intuitively, this means that from any point and in any direction, a geodesic is allowed to flow a least a distance $\epsilon$. This, in turn, easily implies all geodesics are defined for all time.

To prove 2, recall the metric is $ds^2 = \frac{1}{y^2}(dx^2 + dy^2)$. Now, show that if $T_a(x,y) = (a+x,y)$, then $T$ is an isometry. This implies we can move any point to one of the form $(0,y)$. Next, show the map $D_\lambda(x,y) = (\lambda x, \lambda y)$ is an isometry for $\lambda > 0$.

Putting these together shows the hyperbolic plane is homogeneous: To move $(x,y)$ to $(x',y')$, move $(x,y)$ to $(0,y)$ using $T_{-x}$, then use $D_{y'/y}$ to move $(0,y)$ to $(0,y')$, then use $T_{x'}$ to move $(0,y')$ to $(x',y')$.

share|improve this answer
    
Are you sure that $T_a$ is a isometry? –  Jr. Jul 9 '12 at 4:58
    
@Jr.: Yes because $d(x+a) = dx$, since $a$ is constant. –  Jason DeVito Jul 9 '12 at 12:29
    
I found: $(dT_a)_p(v_1,v_2) = (a+v_1,v_2)$ is it correct? –  Jr. Jul 12 '12 at 15:38
    
I should be $(dT_a)_p(v_1, v_2) = (v_1,v_2)$. To see this, let $\gamma(t) = p + (tv_1,0)$. Then $\gamma'(0) = (v_1,0)$. But then $T_a(\gamma(t)) = a+p +(tv_1, 0)$ so $(T_a(\gamma(t))'|_{t=0} = (v_1,0)$ as well. –  Jason DeVito Jul 12 '12 at 18:18
    
As you said "$\gamma '(0)= (v_1,0)$" but you should take a curve such that $\gamma '(0)= (v_1,v_2)$. Take $\gamma (t)=(x(t),y(t))$ then $(T_a \circ \gamma)(t)=(a+x(t),y(t))$ –  Jr. Jul 12 '12 at 22:35

Try to show the following: if a sequence of points $(x_n,y_n)$ is Cauchy wrt to the Lobatchevskii/hyperbolic/Poincare metric, then $(x_n)$ and $(\log y_n)$ are Cauchy sequences of real numbers. This will imply that $(x_n,y_n)\to (x,y)$ with $y>0$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.