Catalycity: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
 
en>ChrisGualtieri
m General Fixes using AWB
Line 1: Line 1:
Hi there. Let me start by introducing the writer, her title is Sophia. He is an order clerk and it's some thing he truly appreciate. My wife and I reside in Mississippi and I love every day residing here. To play domino is something I really enjoy performing.<br><br>Look into my homepage: clairvoyants ([http://Hknews.Classicmall.Com.hk/groups/some-simple-tips-for-personal-development-progress/ please click the next website page])
In [[mathematics]], a '''complex geodesic''' is a generalization of the notion of [[geodesic]] to [[complex number|complex]] spaces.
 
==Definition==
Let (''X'',&nbsp;||&nbsp;||) 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''&nbsp;:&nbsp;Δ&nbsp;→&nbsp;''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''&nbsp;∈&nbsp;''X'' with ||''u''||&nbsp;=&nbsp;1, the map ''f''&nbsp;:&nbsp;Δ&nbsp;→&nbsp;''B'' given by ''f''(''z'')&nbsp;=&nbsp;''zu'' is a complex geodesic.
* Geodesics can be reparametrized: if ''f'' is a complex geodesic and ''g''&nbsp;∈&nbsp;Aut(Δ) is a bi-holomorphic [[automorphism]] of the disc Δ, then ''f''&nbsp;<small>o</small>&nbsp;''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>(Δ)&nbsp;=&nbsp;''f''(Δ)) arises as such a reparametrization of ''f''.
* If
::<math>d(f(0), f(z)) = \rho (0, z)</math>
:for some ''z''&nbsp;&ne;&nbsp;0, then ''f'' is a complex geodesic.
*If
::<math>\alpha (f(0), f'(0)) = 1,</math>
:where ''&alpha;'' 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&ndash;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

ρ(a,b)=tanh1|ab||1a¯b|

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

d(f(w),f(z))=ρ(w,z)

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
d(f(0),f(z))=ρ(0,z)
for some z ≠ 0, then f is a complex geodesic.
  • If
α(f(0),f(0))=1,
where α denotes the Caratheodory length of a tangent vector, then f is a complex geodesic.

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