Questions on hyperbolic geometry, the geometry on manifolds with negative curvature.

learn more… | top users | synonyms

1
vote
0answers
9 views

Trying to understand Lobatschewsky's parallax formula.

Lobatschewsky gave a method to calculate the curvature of space (see Bonola "Non-Euclidean Geometry" paragraph 46 ) But I don't understand his method can somebody explain? I understand that the ...
4
votes
0answers
249 views

Geometric interpretation of hyperbolic functions

When proving identities like $$\cosh(2x)=\cosh^2(x)+\sinh^2(x)$$ $$\cosh^2(x)=\sinh^2(x)+1$$ algebraically, I am beset by the feeling that there should be a geometrical interpretation that makes them ...
0
votes
1answer
29 views

Definition of hyperbolic trig functions

I was doing some homework for my complex analysis class and ran into a personal question. I haven't worked a lot with hyperbolic trig functions (e.g. $\sinh (x)$, $\cosh(x)$, etc.) so this question ...
0
votes
1answer
27 views

Exponential map in the Poincaré upper half plane

I have a question regarding the Poincaré upper half plane. Is there a simple way to express the exponential map? I have been looking unsuccessfully on internet for an expression... Thanks for any ...
0
votes
0answers
12 views

“Non-Euclidean Geometry” (BONOLA, R.) appendix V paragraph 5

I'm trying to understand the appendix V paragraph 5 of "Non-Euclidean Geometry" (BONOLA, R.) Where an euclidean geometry is explained where every line is a circle trough a common point. My ...
0
votes
1answer
52 views

How does one formally verify this picture from hyperbolic geometry?

Suppose we consider some hyperbolic circle with center $iz$ using the upper-half plane model of hyperbolic geometry, and in the interior we have a point $x+iy$. How does one prove that $iy$ is also ...
0
votes
1answer
27 views

Spherical Geometry is to the Sphere just as Hyperbolic Geometry is to the…?

I need to write up a quickie description of Hyperbolic Geometry for non-mathematicians. I am trying to say "Hyperbolic Geoemtry is the Geometry of the surface of a ____" I remember that there is, in ...
0
votes
0answers
28 views

HyperCube questions

I have three hypercube questions. 1) How many nodes does a d-dimensional HyperRing have (as a function of d) ? 2) How many edges ? 3)What is the degree of each node in a HyperRing with n nodes ? I ...
0
votes
1answer
25 views

Area of pseudospherical segment

Surface area of segment of a sphere radius $a$ at the equator, between two parallels, is given by $ 2 \pi a (z_2-z_1) $,where $z_2, z_1$ are heights of spherical segment at radii of parallel circles ...
2
votes
1answer
76 views

which surfaces have (for a large area) a constant negative curvature?

There is no surface in $ R^3 $ that can represent the complete hyperbolic plane (Hilberts theorem) so we always have to do with a surface that is not completely equivalent, has a cusp somewhere, but ...
6
votes
2answers
675 views

Shortest path on hyperboloid

On the sphere $S^2$, the shortest path between two points is the great circle path. How about $H^2$, the hyperboloid $x^2+y^2-z^2=-1, z\ge 1$, with the Euclidean distance? Is there a formula for the ...
0
votes
1answer
16 views

“projective maassbestimmung” in Automorphic Functions by Fricke + Klein

I was reading a copy of Fricke and Klein's Theory of Automorphic Forms, and I came across the phrase projective maassbestimmung in the first chapter. Google translate returns: maßbestimmung as ...
1
vote
1answer
50 views

“Hyperboloid like surface” as hyperbolic plane / pseudosphere

A pseudosphere is an surface wth a constant negative curvature. In most publications, it is almost given that the tracioid (rotated tractrix) is the surface that has a constant negative curvature, ...
0
votes
0answers
11 views

constant $K$ and $k_g$ ovals growth

Referring to my recent post: Ovals of constant $ k_g$ on constant $K$ surfaces, using geodesic polar coordinates with radial geodesic lines built along v=constant around a fixed point on a constant ...
0
votes
1answer
225 views

Hyperbolic geometry

Post Number: 45 Posted on Friday, 22 March, 2013 - 04:48 pm: I was asked the following question and i do not have any clue on these. Could anyone help me in the beginning of this? Show that there ...
1
vote
2answers
48 views

Tractricoid as a pseudosphere (surface with constant negative curvature)

How to motivate/calculate/prove see that the tractricoid, i.e. a tractrix rotated about its asymptote, has a constant negative curvature? What are the hyperbolic lines on a tractricoid and how to see ...
0
votes
0answers
16 views

Finding Equation of Hyperbola with given parameters

The Question Goes As:- Q.) Find the equation of Hyperbola whose eccentricity is at the origin, transverse axis along $x$-axis, length of conjugate axis is $5$ and passing through the points $(1,-2)$. ...
3
votes
1answer
214 views

Is there a similar formula in spherical and hyperbolic geometry as Euclidean Geometry?

In an Euclidean plane, we know that the area of a triangle is determined by the length of base and the height, then is there a similar thing do happen in Spherical and hyperbolic spaces? In ...
4
votes
2answers
413 views

The law of sines in hyperbolic geometry

What is the geometrical meaning of the constant $k$ in the law of sines, $\frac{\sin A}{\sinh a} = \frac{\sin B}{\sinh b} = \frac{\sin C}{\sinh c}=k$ in hyperbolic geometry? I know the meaning of the ...
0
votes
2answers
227 views

circle reflections in hyperbolic geometry

Determine the equation of the circle reflection of the circle $x^2 + y^2 = 1$ if the circle of reflection is $x^2 + y^2 + 2x = 0$. I'm learning about circle inversion but I still don't get what this ...
0
votes
1answer
63 views

Fundamental Domain for Congruence (mod 2) Group

How can I show that the area between the circles $|z|=1$, $|z+\frac{1}{2}|=\frac{1}{2}$, $|z-\frac{1}{2}|=\frac{1}{2}$ in the upper-half plane (here's a picture) is a fundamental domain for the ...
2
votes
1answer
26 views

Good data structure for hyperbolic tiling

Say you're doing something computational where each data point is a tile in a (not necessarily Euclidean) 2-dimensional tiling, for instance, a Life-like cellular automata. You might want a data ...
1
vote
2answers
37 views

simplification of the area of a hyperbolic circle (BONOLA, S 53)

I'm trying to understand the S-53 of "Non-Euclidean Geometry" (BONOLA, R.) in which the formula for the area of a circle of radius r: $$2\pi k^2(\cosh\frac rk -1)$$ is somehow reduced by only applying ...
3
votes
1answer
57 views

Constructing The Cayley Graph and quasi-isometry to $\mathbb{Z}$

If we have a group $G$ defined by: $G=\langle a,b\mid b^2=1\rangle$ then I first need to construct the cayley graph of this, now I think that this is going to look like the "telephone pole" metric ...
4
votes
2answers
100 views

An axiomatic treatment of hyperbolic trigonometry?

I would like to see results derived in hyperbolic trigonometry synthetically, i.e. just by working from axioms, for example the ones given by Hilbert (or even Tarski). Most authors seem to discuss ...
2
votes
2answers
68 views

What's the connection between “hyperbolic” inner product spaces and the hyperbolic plane?

In Jacobson's Basic Algebra I, in Kaplansky's Linear algebra and geometry and in Artin's Geometric algebra, a hyperbolic plane is defined to be a two-dimensional, nondegenerate inner product space ...
4
votes
2answers
73 views

Why are Euclidean and hyperbolic lengths proportional to first order?

In his book “Three-Dimensional Geometry and Topology”, Thurston constructs a Riemannian metric for the Poincare disk model and begins as follows. He says that, given any (hyperbolic) line segment $s$ ...
1
vote
0answers
42 views

Hyperbolic vs Euclidean Brownian Motion

In this article, page 4 of the linked pdf file, Lalley and Sellke claim that a hyperbolic Brownian motion can be obtained by time-changing a 2-dimensional Euclidean Brownian motion, conditioned to ...
0
votes
1answer
17 views

Constructing shapes in hyperbolic space

I'm trying to get started writing a game that uses the order-4 dodecahedral honeycomb in hyperbolic space. I'm representing points as 4-vectors of the form ...
0
votes
1answer
44 views

What is the hyperbolic plane equivalent to translation in euclidean space

in euclidean plane one can move polygons like rectangles, triangles etc. around by isometries, e.g. translations. For instance if we consider a rectangle with midpoint $0\in\mathbb{R}²$ then the image ...
2
votes
1answer
25 views

Question about hyperbolic space-forms

I have a map between hyperbolic space-forms $\varphi:B^n/\Gamma \longrightarrow B^n/H$ (where $\Gamma, H$ are discrete groups of isometries that act freely), and a lift to a map $\tilde{\varphi}:B^n ...
1
vote
1answer
46 views

Gromov hyperbolic metric spaces are quasi-convex

I'm aware about the fact stated above, but I'm not able to find some references or proofs besides Gromov's Hyperbolic Groups - Essays in Group Theory. I'll state things precisely. I will consider a ...
0
votes
2answers
50 views

Invariance of measure on upper half plane

The upper half plane has the measure $|y|^{-2}dxdy$. Show that it is invariant under the action of $SL(2, \mathbb{R})$. I don't understand what any of this means. First, I don't understand what they ...
1
vote
2answers
29 views

here is a theorem that the isometries of the Hyperbolic plane are generated by $PSL(2, \mathbb{R})$ and $z \rightarrow - \overline{z}$.

There is a theorem that the isometries of the Hyperbolic plane are generated by $PSL(2, \mathbb{R})$ and $z \rightarrow - \overline{z}$. My question is, isn't $z \rightarrow kz$ an isometry for ...
1
vote
0answers
45 views

Let Cay(G, S) be the cayley graph of G with respect to the finite generating set S where G=⟨S∣R⟩ and R is finite.

Let $\operatorname{Cay}(G, S)$ be the cayley graph of $G$ with respect to the finite generating set $S$ where $G = \langle S\mid R\rangle$ and $R$ is finite. I am reading some notes that claim that ...
0
votes
1answer
40 views

Everyday life examples of hyperbolic rotations

I'm trying to find some intuition in Lorentz transformations. I understand that they are basically rotations by imaginary angle of vector of the form $\{ict,x\}$ (for $1+1$ space-time dimensions), and ...
2
votes
2answers
74 views

Simple proof of existence of hyperbolic triangles

I've studied the hyperbolic plane by analytically building up the hyperboloid model, the Klein—Beltrami disc, the Poincaré disc, and the half-plane model from scratch. Now I'd like to prove that, ...
2
votes
1answer
207 views

Distance in hyperbolic geometry

In Euclidean geometry, we have that the distance between two points $p$ and $q$ in $\Re^n$ is $\sqrt{(p_1^2-q_1^2) + (p_2^2-q_2^2) + \ldots + (p_n^2-q_n^2) }$ (if we denote the points by $p = (p_1, ...
2
votes
1answer
49 views

Geometries (Euclidean and Projective)

We can think of Euclidean Geometry and Cartesian (Coordinate) Geometry as equivalent, in the sense that some proposition is true in Euclidean Geometry iff it's true in Coordinate Geometry. It makes ...
0
votes
1answer
38 views

hypercycles through a given point that share a tangent through that point converge towards a horocycle as their distances go towards infinity.

On http://en.wikipedia.org/wiki/Hypercycle_%28geometry%29 I found the statement. The hypercycles through a given point that share a tangent through that point converge towards a horocycle as their ...
0
votes
2answers
54 views

How to construct a circle in a the Poincare Disk model

How can I construct an circle with centre C going trough point P in a Poincare disk?. I found an script of how to do it in the "Poincaré Disk Model of Hyperbolic Geometry"toolkit from the geometers ...
0
votes
1answer
52 views

Distance-preserving coordinate transformations for the poincaré disc

Following this question, I'm looking for a coordinate transformation which leaves distances unchanged. Does such a transformation exist? The isometries for the poincaré disk looked promising, but only ...
3
votes
1answer
55 views

Representation of cell location in hyperbolic plane

I want to represent an order-5 square tiling (image from Wikipedia; more text below image): Obviously for a simple grid I can uniquely refer to a given square by its ...
1
vote
1answer
15 views

calculate the curvature of a surface with a Lambert quadrilateral

I was wondering how can I calculate the curvature of a surface? For example: Given a Lambert quadrilateral ABCD (see http://en.wikipedia.org/wiki/Lambert_quadrilateral ) with: $ DA \bot AB $, $ AB ...
0
votes
2answers
49 views

Hyperbolic geometry and orientation reversing isometries.

In Quasi-cluster algebras from non-orientable surfaces by Dupont and Palesi, one can read the following on page 11: I don't understand why the 'following relations' in the image included hold. ...
0
votes
1answer
40 views

Limit set of Kleinian group

Let $\Gamma \subset PSL_2 (\mathbb{C})$ a Kleinian group coming from a discrete faithful representation $\rho : \pi_1(M) \to PSL_2 (\mathbb{C})$ of the fundamental group of a closed connected ...
0
votes
1answer
38 views

Hyperbolic metric of arbitrary curvature.

I've been trying to find this online, in books, etc, but I can never find the expression for the metric on the unit disk $$\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}$$ that has constant ...
1
vote
1answer
62 views

The distance in Lobachevski (Hyperbolic) space

I need to find the distance from the point provided in the hyperboloid model with a vector $x$ where $\langle x,x\rangle=-1$ to the hyperplane $H_e$ with a normal vector $e$, where $\langle ...
1
vote
1answer
32 views

Distance from point to line segment in Poincaré disk model

I'm trying to build a geometric datastructure in hyperbolic space. For that purpose, I'm using the Poincaré disk model. The distance between two points can be calculated with the hyperbolic law of ...
2
votes
1answer
47 views

Decomposition of modular group elements

The modular group $PSL_2(\mathbb{Z})$ acts on the hyperbolic half-space $H$ by $$h\cdot z=\frac{az+b}{cz+d},\;z\in H,\;h=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in PSL_2(\mathbb{Z})$$ with ...