Solenoid (mathematics)
- This page discusses a class of topological groups. For the wrapped loop of wire, see Solenoid.
Algebraic structure → Group theory Group theory |
---|
In mathematics, a solenoid is a compact connected topological space (i.e. a continuum) that may be obtained as the inverse limit of an inverse system of topological groups and continuous homomorphisms
where each is a circle and fi is the map that uniformly wraps the circle for times () around the circle .[1]: Ch. 2 Def. (10.12) This construction can be carried out geometrically in the three-dimensional Euclidean space R3. A solenoid is a one-dimensional homogeneous indecomposable continuum that has the structure of an abelian compact topological group.
Solenoids were first introduced by Vietoris for the case,[2] and by van Dantzig the case, where is fixed.
Construction
Geometric construction and the Smale–Williams attractor
Each solenoid may be constructed as the intersection of a nested system of embedded solid tori in R3.
Fix a sequence of natural numbers {ni}, ni ≥ 2. Let T0 = S1 × D be a solid torus. For each i ≥ 0, choose a solid torus Ti+1 that is wrapped longitudinally ni times inside the solid torus Ti. Then their intersection
is
Here is a variant of this construction isolated by Stephen Smale as an example of an expanding attractor in the theory of smooth dynamical systems. Denote the angular coordinate on the circle S1 by t (it is defined mod 2π) and consider the complex coordinate z on the two-dimensional unit disk D. Let f be the map of the solid torus T = S1 × D into itself given by the explicit formula
This map is a smooth
- meridional disks are the stable manifolds, each of which intersects Λ over a Cantor set
- densein Λ
- the map f is topologically transitiveon Λ
General theory of solenoids and expanding attractors, not necessarily one-dimensional, was developed by R. F. Williams and involves a projective system of infinitely many copies of a compact branched manifold in place of the circle, together with an expanding self-immersion.
Construction in toroidal coordinates
In the toroidal coordinates with radius , the solenoid can be parametrized by as
Here, are adjustable shape-parameters, with constraint . In particular, works.
Let be the solenoid constructed this way, then the topology of the solenoid is just the subset topology induced by the Euclidean topology on .
Since the parametrization is bijective, we can pullback the topology on to , which makes itself the solenoid. This allows us to construct the inverse limit maps explicitly:
Construction by symbolic dynamics
Viewed as a set, the solenoid is just a Cantor-continuum of circles, wired together in a particular way. This suggests to us the construction by symbolic dynamics, where we start with a circle as a "racetrack", and append an "odometer" to keep track of which circle we are on.
Define as the solenoid. Next, define addition on the odometer , in the same way as p-adic numbers. Next, define addition on the solenoid by
Pathological properties
Solenoids are
See also
- Protorus, a class of topological groups that includes the solenoids
- Pontryagin duality
- Inverse limit
- p-adic number
- Profinite integer
References
- ISBN 978-0-387-94190-5.
- S2CID 121172198.
- ISSN 0016-2736.
- ^ "Steenrod-Sitnikov homology - Encyclopedia of Mathematics".
This article includes a list of general references, but it lacks sufficient corresponding inline citations. (January 2012) |
- D. van Dantzig, Ueber topologisch homogene Kontinua, Fund. Math. 15 (1930), pp. 102–125
- "Solenoid", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Clark Robinson, Dynamical systems: Stability, Symbolic Dynamics and Chaos, 2nd edition, CRC Press, 1998 ISBN 978-0-8493-8495-0
- S. Smale, Differentiable dynamical systems, Bull. of the AMS, 73 (1967), 747 – 817.
- L. Vietoris, Über den höheren Zusammenhang kompakter Räume und eine Klasse von zusammenhangstreuen Abbildungen, Math. Ann. 97 (1927), pp. 454–472
- Robert F. Williams, Expanding attractors, Publ. Math. IHÉS, t. 43 (1974), p. 169–203
Further reading
- Bibcode:2012arXiv1201.2647S