Carathéodory metric

Carathéodory metric

In mathematics, the Carathéodory metric is a metric defined on the open unit ball of a complex Banach space that has many similar properties to the Poincaré metric of hyperbolic geometry. It is named after the Greek mathematician Constantin Carathéodory.

Definition

Let ("X", || ||) be a complex Banach space and let "B" be the open unit ball in "X". Let Δ denote the open unit disc in the complex plane C, thought of as the Poincaré disc model for 2-dimensional real/1-dimensional complex hyperbolic geometry. Let the Poincaré metric "ρ" on Δ be given by

: ho (a, b) = anh^{-1} frac{|1 - ar{a} b

(thus fixing the curvature to be −4). Then the Carathéodory metric "d" on "B" is defined by

:d (x, y) = sup { ho (f(x), f(y)) | f : B o Delta mbox{ is holomorphic} }.

Properties

* For any point "x" in "B",

::d(0, x) = ho(0, | x |).

* "d" can also be given by the following formula, which Carathéodory attributed to Erhard Schmidt:

::d(x, y) = sup left{ left. 2 anh^{-1} left| frac{f(x) - f(y)}{2} ight| ight| f : B o Delta mbox{ is holomorphic} ight}

* For all "a" and "b" in "B",

::| a - b | leq 2 anh frac{d(a, b)}{2}, qquad qquad (1)

:with equality if and only if either "a" = "b" or there exists a bounded linear functional ℓ ∈ "X"∗ such that ||ℓ|| = 1, ℓ("a" + "b") = 0 and

:: ho (ell (a), ell (b)) = d(a, b).

:Moreover, any ℓ satisfying these three conditions has |ℓ("a" − "b")| = ||"a" − "b"||.

* Also, there is equality in (1) if ||"a"|| = ||"b"|| and ||"a" − "b"|| = ||"a"|| + ||"b"||. One way to do this is to take "b" = −"a".

* If there exists a unit vector "u" in "X" that is not an extreme point of the closed unit ball in "X", then there exist points "a" and "b" in "B" such that there is equality in (1) but "b" ≠ ±"a".

Carathéodory length of a tangent vector

There is an associated notion of Carathéodory length for tangent vectors to the ball "B". Let "x" be a point of "B" and let "v" be a tangent vector to "B" at "x"; since "B" is the open unit ball in the vector space "X", the tangent space T"x""B" can be identified with "X" in a natural way, and "v" can be thought of as an element of "X". Then the Carathéodory length of "v" at "x", denoted "α"("x", "v"), is defined by

:alpha (x, v) = sup ig{ | mathrm{D} f(x) v | ig| f : B o Delta mbox{ is holomorphic} ig}.

One can show that "α"("x", "v") ≥ ||"v"||, with equality when "x" = 0.

References

* cite book
author = Earle, Clifford J. and Harris, Lawrence A. and Hubbard, John H. and Mitra, Sudeb
chapter = Schwarz's lemma and the Kobayashi and Carathéodory pseudometrics on complex Banach manifolds
title = Kleinian groups and hyperbolic 3-manifolds (Warwick, 2001)
editor = Komori, Y., Markovic, V. and Series, C. (eds)
series = London Math. Soc. Lecture Note Ser. 299
pages = 363–384
publisher = Cambridge Univ. Press
location = Cambridge
year = 2003


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Metric outer measure — In mathematics, a metric outer measure is an outer measure μ defined on the subsets of a given metric space (X, d) such that for every pair of positively separated subsets A and B of X. Construction of metric outer measures Let… …   Wikipedia

  • Constantin Carathéodory — Born 13 September 1873 …   Wikipedia

  • List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia

  • Sub-Riemannian manifold — In mathematics, a sub Riemannian manifold is a certain type of generalization of a Riemannian manifold. Roughly speaking, to measure distances in a sub Riemannian manifold,you are allowed to go only along curves tangent to so called horizontal… …   Wikipedia

  • Complex geodesic — In mathematics, a complex geodesic is a generalization of the notion of geodesic to complex spaces. Definition Let (X, || ||) be a complex Banach space and let B be the open unit ball in X. Let Δ denote the open unit disc in the complex …   Wikipedia

  • Outer measure — In mathematics, in particular in measure theory, an outer measure or exterior measure is a function defined on all subsets of a given set with values in the extended real numbers satisfying some additional technical conditions. A general theory… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Scientific phenomena named after people — This is a list of scientific phenomena and concepts named after people (eponymous phenomena). For other lists of eponyms, see eponym. NOTOC A* Abderhalden ninhydrin reaction Emil Abderhalden * Abney effect, Abney s law of additivity William de… …   Wikipedia

  • Differential geometry of surfaces — Carl Friedrich Gauss in 1828 In mathematics, the differential geometry of surfaces deals with smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives:… …   Wikipedia

  • Doubling measure — In mathematics, a metric space X with metric d is said to be doubling if there is some constant M > 0 such that for any x in X and r > 0, the ball B(x, r) = {y:|x − y| < r} may be… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”