# Ancient Hindu Geometry: The Science Of The Sulba by Bibhutibhushan Datta

By Bibhutibhushan Datta

Similar geometry and topology books

Plane Geometry and its Groups

San Francisco 1967 Holden-Day. eightvo. , 288pp. , index, hardcover. advantageous in VG DJ, a number of small closed tears.

Additional resources for Ancient Hindu Geometry: The Science Of The Sulba

Example text

Thus we obtain a holomorphic map h : A --t A* by setting h(x) = (314)f1(x/2). Since the hyperbolic metric on the punctured disk A* is given by Idx I/Ix log 1x11, the Schwarz lemma applied to h yields For 0 < x < 112 we have I log(3x/4)I = O(I log XI), so this bound is of the desired form when (fl(0)l< 112. Combining these two cases we obtain the theorem. ) denotes the hyperbolic metric on X . Proof. By the preceding theorem, the norm of the one-form Nf(x) - dlog IDf(x)l Df ( 4 is bounded by a universal constant with respect to the hyperbolic metric on X.

3. A Siegel disk: the component U is a disk o n which fp acts by a n irrational rotation. 4. A Herman ring: the component U is a n annulus, and again f P acts as a n irrational rotation. Remarks. The classification of periodic components of the Fatou set is contained in the work of Fatou and Julia. The existence of rotation domains was only established later by work of Siegel and Herman, while the proof that every component of the Fatou set is Preperiodic was obtained by Sullivan [Su131. For details and proofs i f the resilts above, see [Mcs], [CG] or [Bea2].

Therefore F has absolute area zero. Since any component K of F lies in a descending nest of annuli with C mod(A,) = oo,K is a poirlt and therefore F is totally disconnected. Remark. 41; compare [Mi13]. Lyubich applies the same criterion to quadratic polynomials in [Lyu4]. D]. ) denotes the hyperbolic metric. The following result is due to Buser [Busl]. 18 (Collars for simple geodesics) T h e collar C ( a ) about a simple geodesic o n a hyperbolic surface is a n embedded annulus. If a and 0 are disjoint simple geodesics, t h e n C ( a ) and C(0) are disjoint.