# Solenoid (mathematics)

__: Class of compact connected topological spaces__

**Short description***This page discusses a class of topological groups. For the wrapped loop of wire, see Solenoid.*

Algebraic structure → Group theoryGroup 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

- [math]\displaystyle{ f_i: S_{i+1} \to S_i \quad \forall i \ge 0 }[/math]

where each [math]\displaystyle{ S_i }[/math] is a circle and *f*_{i} is the map that uniformly wraps the circle [math]\displaystyle{ S_{i+1} }[/math] for [math]\displaystyle{ n_{i+1} }[/math] times ([math]\displaystyle{ n_{i+1} \geq 2 }[/math]) around the circle [math]\displaystyle{ S_i }[/math]. This construction can be carried out geometrically in the three-dimensional Euclidean space **R**^{3}. A solenoid is a one-dimensional homogeneous indecomposable continuum that has the structure of a compact topological group.

Solenoids were first introduced by Vietoris for the [math]\displaystyle{ n_i = 2 }[/math] case,^{[1]} and by van Dantzig the [math]\displaystyle{ n_i = n }[/math] case, where [math]\displaystyle{ n\geq 2 }[/math] is fixed.^{[2]} Such a solenoid arises as a one-dimensional **expanding attractor**, or **Smale–Williams attractor**, and forms an important example in the theory of hyperbolic dynamical systems.

## 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 **R**^{3}.

Fix a sequence of natural numbers {*n*_{i}}, *n*_{i} ≥ 2. Let *T*_{0} = *S*^{1} × *D* be a solid torus. For each *i* ≥ 0, choose a solid torus *T*_{i+1} that is wrapped longitudinally *n*_{i} times inside the solid torus *T*_{i}. Then their intersection

- [math]\displaystyle{ \Lambda=\bigcap_{i\ge 0}T_i }[/math]

is homeomorphic to the solenoid constructed as the inverse limit of the system of circles with the maps determined by the sequence {*n*_{i}}.

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 *S*^{1} 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* = *S*^{1} × *D* into itself given by the explicit formula

- [math]\displaystyle{ f(t,z) = \left(2t, \tfrac{1}{4}z + \tfrac{1}{2}e^{it}\right). }[/math]

This map is a smooth embedding of *T* into itself that preserves the foliation by meridional disks (the constants 1/2 and 1/4 are somewhat arbitrary, but it is essential that 1/4 < 1/2 and 1/4 + 1/2 < 1). If *T* is imagined as a rubber tube, the map *f* stretches it in the longitudinal direction, contracts each meridional disk, and wraps the deformed tube twice inside *T* with twisting, but without self-intersections. The hyperbolic set *Λ* of the discrete dynamical system (*T*, *f*) is the intersection of the sequence of nested solid tori described above, where *T*_{i} is the image of *T* under the *i*th iteration of the map *f*. This set is a one-dimensional (in the sense of topological dimension) attractor, and the dynamics of *f* on *Λ* has the following interesting properties:

- meridional disks are the stable manifolds, each of which intersects
*Λ*over a Cantor set - periodic points of
*f*are dense in*Λ* - the map
*f*is topologically transitive on*Λ*

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 [math]\displaystyle{ R }[/math], the solenoid can be parametrized by [math]\displaystyle{ t\in \R }[/math] as[math]\displaystyle{ \zeta = 2\pi t, \quad re^{i\theta} = \sum_{k=1}^\infty r_k e^{2\pi i \omega_k t} }[/math]where

[math]\displaystyle{ \omega_k = \frac{1}{n_1 \cdots n_k}, \quad r_k = R \delta_1 \cdots \delta_k }[/math]

Here, [math]\displaystyle{ \delta_k }[/math] are adjustable shape-parameters, with constraint [math]\displaystyle{ 0 \lt \delta \lt 1 - \frac{1}{1 + \sin \frac{\pi}{n_k}} }[/math]. In particular, [math]\displaystyle{ \delta = \frac{1}{2n_k} }[/math] works.

Let [math]\displaystyle{ S\subset \R^3 }[/math] be the solenoid constructed this way, then the topology of the solenoid is just the subset topology induced by the Euclidean topology on [math]\displaystyle{ \R^3 }[/math].

Since the parametrization is bijective, we can pullback the topology on [math]\displaystyle{ S }[/math] to [math]\displaystyle{ \R }[/math], which makes [math]\displaystyle{ \R }[/math] itself the solenoid. This allows us to construct the inverse limit maps explicitly:[math]\displaystyle{ g_k: \R \to S_k, \quad g_k(t) = (r, \theta, \zeta)\text{ in toroidal coordinates, where } \zeta = 2\pi t, \quad re^{i\theta} = \sum_{k=1}^k r_k e^{2\pi i \omega_k t} }[/math]

### 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 [math]\displaystyle{ S = S^1 \times \prod_{k=1}^\infty \Z_{n_k} }[/math] as the solenoid. Next, define addition on the odometer [math]\displaystyle{ \Z \times \prod_{k=1}^\infty \Z_{n_k} \to \prod_{k=1}^\infty \Z_{n_k} }[/math], in the same way as p-adic numbers. Next, define addition on the solenoid [math]\displaystyle{ +: \R \times S \to S }[/math] by[math]\displaystyle{ r + (\theta, n) = ((r + \theta \mod 1), \lfloor r + \theta \rfloor + n) }[/math]The topology on the solenoid is generated by the basis containing the subsets [math]\displaystyle{ S' \times Z'_{(m_1, ..., m_k)} }[/math], where [math]\displaystyle{ S' }[/math] is any open interval in [math]\displaystyle{ S^1 }[/math], and [math]\displaystyle{ Z'_{(m_1, ..., m_k)} }[/math] is the set of all elements of [math]\displaystyle{ \prod_{k=1}^\infty \Z_{n_k} }[/math] starting with the initial segment [math]\displaystyle{ (m_1, ..., m_k) }[/math].

## Pathological properties

Solenoids are compact metrizable spaces that are connected, but not locally connected or path connected. This is reflected in their pathological behavior with respect to various homology theories, in contrast with the standard properties of homology for simplicial complexes. In Čech homology, one can construct a non-exact long homology sequence using a solenoid. In Steenrod-style homology theories,^{[3]} the 0th homology group of a solenoid may have a fairly complicated structure, even though a solenoid is a connected space.

## See also

- Protorus, a class of topological groups that includes the solenoids
- Pontryagin duality
- Inverse limit
- p-adic number
- Profinite integer

## References

- ↑ Vietoris, L. (December 1927). "Über den höheren Zusammenhang kompakter Räume und eine Klasse von zusammenhangstreuen Abbildungen".
*Mathematische Annalen***97**(1): 454–472. doi:10.1007/bf01447877. ISSN 0025-5831. http://dx.doi.org/10.1007/bf01447877. - ↑ van Dantzig, D. (1930). "Ueber topologisch homogene Kontinua".
*Fundamenta Mathematicae***15**: 102–125. doi:10.4064/fm-15-1-102-125. ISSN 0016-2736. http://dx.doi.org/10.4064/fm-15-1-102-125. - ↑ "Steenrod-Sitnikov homology - Encyclopedia of Mathematics". http://www.encyclopediaofmath.org/index.php/Steenrod-Sitnikov_homology.

- D. van Dantzig,
*Ueber topologisch homogene Kontinua*, Fund. Math. 15 (1930), pp. 102–125 - Hazewinkel, Michiel, ed. (2001), "Solenoid",
*Encyclopedia of Mathematics*, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=S/s086040 - 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. IHES, t. 43 (1974), p. 169–203

## Further reading

- Semmes, Stephen (12 January 2012),
*Some remarks about solenoids*, Bibcode: 2012arXiv1201.2647S

Original source: https://en.wikipedia.org/wiki/Solenoid (mathematics).
Read more |