Catalycity: Difference between revisions
Jump to navigation
Jump to search
en>ChrisGualtieri m General Fixes using AWB |
|||
| Line 1: | Line 1: | ||
In [[mathematics]], a '''complex geodesic''' is a generalization of the notion of [[geodesic]] to [[complex number|complex]] spaces. | |||
==Definition== | |||
Let (''X'', || ||) be a complex [[Banach space]] and let ''B'' be the [[open set|open]] [[unit ball]] in ''X''. Let Δ denote the open unit disc in the [[Complex plane#Other meanings of "complex plane"|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 | |||
:<math>\rho (a, b) = \tanh^{-1} \frac{| a - b |}{|1 - \bar{a} b |}</math> | |||
and denote the corresponding [[Carathéodory metric]] on ''B'' by ''d''. Then a [[holomorphic function]] ''f'' : Δ → ''B'' is said to be a '''complex geodesic''' if | |||
:<math>d(f(w), f(z)) = \rho (w, z) \,</math> | |||
for all points ''w'' and ''z'' in Δ. | |||
==Properties and examples of complex geodesics== | |||
* Given ''u'' ∈ ''X'' with ||''u''|| = 1, the map ''f'' : Δ → ''B'' given by ''f''(''z'') = ''zu'' is a complex geodesic. | |||
* Geodesics can be reparametrized: if ''f'' is a complex geodesic and ''g'' ∈ Aut(Δ) is a bi-holomorphic [[automorphism]] of the disc Δ, then ''f'' <small>o</small> ''g'' is also a complex geodesic. In fact, any complex geodesic ''f''<sub>1</sub> with the same image as ''f'' (i.e., ''f''<sub>1</sub>(Δ) = ''f''(Δ)) arises as such a reparametrization of ''f''. | |||
* If | |||
::<math>d(f(0), f(z)) = \rho (0, z)</math> | |||
:for some ''z'' ≠ 0, then ''f'' is a complex geodesic. | |||
*If | |||
::<math>\alpha (f(0), f'(0)) = 1,</math> | |||
:where ''α'' denotes the Caratheodory length of a tangent vector, then ''f'' is a complex geodesic. | |||
==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 | |||
}} | |||
[[Category:Hyperbolic geometry]] | |||
[[Category:Metric geometry]] | |||
Revision as of 15:50, 20 October 2013
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 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
and denote the corresponding Carathéodory metric on B by d. Then a holomorphic function f : Δ → B is said to be a complex geodesic if
for all points w and z in Δ.
Properties and examples of complex geodesics
- Given u ∈ X with ||u|| = 1, the map f : Δ → B given by f(z) = zu is a complex geodesic.
- Geodesics can be reparametrized: if f is a complex geodesic and g ∈ Aut(Δ) is a bi-holomorphic automorphism of the disc Δ, then f o g is also a complex geodesic. In fact, any complex geodesic f1 with the same image as f (i.e., f1(Δ) = f(Δ)) arises as such a reparametrization of f.
- If
- If
References
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534