%0 Journal Article %T Cantor Limit Set of a Topological Transformation Group on S1 %A Keying Guan %A Zuming Chen %J International Journal of Mathematics and Mathematical Sciences %D 2011 %I Hindawi Publishing Corporation %R 10.1155/2011/342759 %X The limit set of a topological transformation group on generated by two generators is proved to be totally disconnected (or thin) and perfect if the conditions (i¨Cv) are satisfied. A concrete application to a Doubly Periodic Riccati equation is given. 1. Introduction The conception limit set of a transformation group plays an important role in both theory and application of modern mathematics. Assume that is a transformation group (or semigroup) formed with some continuous self-mapping on a Hausdorff space . For any , the set is called an orbit through under the action of . For any subset of , let A subset of is called a -invariant set if A subset of is called the least invariant set of if it is a nonempty closed invariant set, in which there is not any nonempty closed proper subset which is -invariant. Based on the continuity of the elements in , it is easy to obtain the following proposition. Proposition 1.1. Let be a least invariant set of . For any , if there is such a point that then For any , a least invariant set of is called a limit set of the orbit if It is easy to prove the following proposition. Proposition 1.2. If the topology space is compact, then under the action of the transformation group (or semigroup) , any least invariant set is perfect if it is not finite. Therefore, it is quite possible that a limit set under the action of may be totally disconnected and perfect (a Cantor set), and that may be with fractal structure when some measure is attached. It is an important subject in the modern nonlinear science to study the exact structure of the limit set for a given nonlinear system, especially, to determine if the limit set is a totally disconnected and perfect set (for simple, called a Cantor set). However, it is usually not an easy task to do so, because of the strong nonlinearity and nonintegrability of the system. So it is necessary to explore the conditions for the existence of Cantor-type limit set. As an example, a traditional dynamical system is a continuous (or discrete) group or a semigroup (or ), acting on a manifold . The related group or semigroup is usually generated by a single generator. Both the -limit set and -limit set of an orbit through a point are limit sets of the corresponding group by the present definition [1]. If a least invariant set or a limit set of a dynamical system is Cantor type, then the related complicated motion is described as deterministic chaos. This kind of complicated motion has been considered widely. And some methods for determining if the least invariant set of a dynamical system is Cantor %U http://www.hindawi.com/journals/ijmms/2011/342759/