01.07.2013 Views

Random Processes in Hyperbolic Spaces Hyperbolic Brownian ...

Random Processes in Hyperbolic Spaces Hyperbolic Brownian ...

Random Processes in Hyperbolic Spaces Hyperbolic Brownian ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Chapter 1<br />

Tools of Riemannian Geometry<br />

1.1 Sett<strong>in</strong>gs<br />

Def<strong>in</strong>ition 1.1.1. A topological space is a set X together with a collection O of subsets of X<br />

satisfy<strong>in</strong>g the follow<strong>in</strong>g properties<br />

• ∅, X ∈ O<br />

• the <strong>in</strong>tersection of any f<strong>in</strong>ite collection of sets <strong>in</strong> O is also <strong>in</strong> O,<br />

• the union of any collection of sets <strong>in</strong> O is also <strong>in</strong> O.<br />

The sets <strong>in</strong> O are called open.<br />

Def<strong>in</strong>ition 1.1.2. A topological space is Hausdorff if for any two dist<strong>in</strong>ct po<strong>in</strong>ts x1, x2 ∈ X there<br />

exists open sets O1, O2 ∈ O such that x1 ∈ O1, x2 ∈ O2 and O1 ∩ O2 = ∅.<br />

The Hausdorff axiom is essential for the uniqueness of the limit of convergent sequences.<br />

Def<strong>in</strong>ition 1.1.3. A map between two topological spaces is called cont<strong>in</strong>uos if the <strong>in</strong>verse image<br />

of any open set is open. A bijective map which is cont<strong>in</strong>uous <strong>in</strong> both directions is called<br />

homeomorphism.<br />

Def<strong>in</strong>ition 1.1.4. A n-dimensional manifold is a Hausdorff topological space M such that for each<br />

x ∈ M there is a neighborhood U of x that is homeomorphic to an open subset O of R n . Such a<br />

homeomorphism ϕ : U → O is called coord<strong>in</strong>ate chart.<br />

The important po<strong>in</strong>t here is that locally the topology of a manifold is the same as that of R n .<br />

Def<strong>in</strong>ition 1.1.5. Consider a family (Ui)i∈I of open sets such that M = <br />

i∈I Ui. An atlas is the<br />

family {Ui, ϕi}i∈I of charts.<br />

Remark 1.1.1. Each ϕ −1<br />

i (·) is referred to as parametrization and the set ϕi(Ui) is called parameter<br />

doma<strong>in</strong>.<br />

Def<strong>in</strong>ition 1.1.6. A n-dimensional manifold M is C r differentiable if, for Ui ∩ Uj = ∅, the<br />

composition<br />

ϕj ◦ ϕ −1<br />

i<br />

: ϕi(Ui ∩ Uj) → ϕj(Ui ∩ Uj)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!