Solenoid (mathematics)

Last updated February 15, 2024

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

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 $S_{i}$ is a circle and f_i is the map that uniformly wraps the circle $S_{i+1}$ for $n_{i+1}$ times ( $n_{i+1}\geq 2$ ) around the circle $S_{i}$ .^[1]^{: Ch. 2 Def. (10.12)} This construction can be carried out geometrically in the three-dimensional Euclidean space R³. 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 $n_{i}=2$ case,^[2] and by van Dantzig the $n_{i}=n$ case, where $n\geq 2$ is fixed.^[3] 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

The first six steps in the construction of the Smale-Williams attractor. Solenoid.gif — The first six steps in the construction of the Smale-Williams attractor.

Each solenoid may be constructed as the intersection of a nested system of embedded solid tori in R³.

Fix a sequence of natural numbers {n_i}, n_i≥ 2. Let T₀ = S¹×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

\Lambda =\bigcap _{i\geq 0}T_{i}

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¹ 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¹×D into itself given by the explicit formula

f(t,z)=\left(2t,{\tfrac {1}{4}}z+{\tfrac {1}{2}}e^{it}\right).

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 ith 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 $R$ , the solenoid can be parametrized by $t\in \mathbb {R}$ as

\zeta =2\pi t,\quad re^{i\theta }=\sum _{k=1}^{\infty }r_{k}e^{2\pi i\omega _{k}t}

where

$\omega _{k}={\frac {1}{n_{1}\cdots n_{k}}},\quad r_{k}=R\delta _{1}\cdots \delta _{k}$

Here, $\delta _{k}$ are adjustable shape-parameters, with constraint $0<\delta <1-{\frac {1}{1+\sin {\frac {\pi }{n_{k}}}}}$ . In particular, $\delta ={\frac {1}{2n_{k}}}$ works.

Let $S\subset \mathbb {R} ^{3}$ be the solenoid constructed this way, then the topology of the solenoid is just the subset topology induced by the Euclidean topology on $\mathbb {R} ^{3}$ .

Since the parametrization is bijective, we can pullback the topology on $S$ to $\mathbb {R}$ , which makes $\mathbb {R}$ itself the solenoid. This allows us to construct the inverse limit maps explicitly:

g_{k}:\mathbb {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}

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 $S=S^{1}\times \prod _{k=1}^{\infty }\mathbb {Z} _{n_{k}}$ as the solenoid. Next, define addition on the odometer $\mathbb {Z} \times \prod _{k=1}^{\infty }\mathbb {Z} _{n_{k}}\to \prod _{k=1}^{\infty }\mathbb {Z} _{n_{k}}$ , in the same way as p-adic numbers.

Next, define addition on the solenoid $+:\mathbb {R} \times S\to S$ by

r+(\theta ,n)=((r+\theta \mod 1),\lfloor r+\theta \rfloor +n)

The topology on the solenoid is generated by the basis containing the subsets $S'\times Z'_{(m_{1},...,m_{k})}$ , where $S'$ is any open interval in $S^{1}$ , and $Z'_{(m_{1},...,m_{k})}$ is the set of all elements of $\prod _{k=1}^{\infty }\mathbb {Z} _{n_{k}}$ starting with the initial segment $(m_{1},...,m_{k})$ .

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,^[4] the 0th homology group of a solenoid may have a fairly complicated structure, even though a solenoid is a connected space.

Related Research Articles

In mathematics, an $n$ -sphere or hypersphere is an $n$ -dimensional generalization of the 1-dimensional circle and 2-dimensional sphere to any non-negative integer $n$ . The $n$ -sphere is the setting for $n$ -dimensional spherical geometry.

In geometry, a torus is a surface of revolution generated by revolving a circle in three-dimensional space one full revolution about an axis that is coplanar with the circle. The main types of toruses include ring toruses, horn toruses, and spindle toruses. A ring torus is sometimes colloquially referred to as a donut or doughnut.

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields. A list of the spherical harmonics is available in Table of spherical harmonics.

In mathematics, the Poisson summation formula is an equation that relates the Fourier series coefficients of the periodic summation of a function to values of the function's continuous Fourier transform. Consequently, the periodic summation of a function is completely defined by discrete samples of the original function's Fourier transform. And conversely, the periodic summation of a function's Fourier transform is completely defined by discrete samples of the original function. The Poisson summation formula was discovered by Siméon Denis Poisson and is sometimes called Poisson resummation.

In mathematics, the circle group, denoted by $or, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers$

In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space. Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory.

In mathematics, in particular in algebraic topology and differential geometry, the Stiefel–Whitney classes are a set of topological invariants of a real vector bundle that describe the obstructions to constructing everywhere independent sets of sections of the vector bundle. Stiefel–Whitney classes are indexed from 0 to n, where n is the rank of the vector bundle. If the Stiefel–Whitney class of index i is nonzero, then there cannot exist $everywhere linearly independent sections of the vector bundle. A nonzero n th Stiefel-Whitney class indicates that every section of the bundle must vanish at some point. A nonzero first Stiefel-Whitney class indicates that the vector bundle is not orientable. For example, the first Stiefel-Whitney class of the Möbius strip, as a line bundle over the circle, is not zero, whereas the first Stiefel-Whitney class of the trivial line bundle over the circle,, is zero.$

In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below.

In mathematics, the Hawaiian earring $is the topological space defined by the union of circles in the Euclidean plane with center and radius for endowed with the subspace topology:$

In mathematics, real projective space, denoted or is the topological space of lines passing through the origin 0 in the real space It is a compact, smooth manifold of dimension $n$ , and is a special case of a Grassmannian space.

In mathematics, specifically algebraic topology, an Eilenberg–MacLane space is a topological space with a single nontrivial homotopy group.

<span class="mw-page-title-main">Triangulation (topology)</span>

In mathematics, triangulation describes the replacement of topological spaces by piecewise linear spaces, i.e. the choice of a homeomorphism in a suitable simplicial complex. Spaces being homeomorphic to a simplicial complex are called triangulable. Triangulation has various uses in different branches of mathematics, for instance in algebraic topology, in complex analysis or in modeling.

In mathematics, subharmonic and superharmonic functions are important classes of functions used extensively in partial differential equations, complex analysis and potential theory.

In mathematics, a local system on a topological space X is a tool from algebraic topology which interpolates between cohomology with coefficients in a fixed abelian group A, and general sheaf cohomology in which coefficients vary from point to point. Local coefficient systems were introduced by Norman Steenrod in 1943.

In mathematics, a $π$ -system on a set $is a collection of certain subsets of such that$

In mathematics, Kan complexes and Kan fibrations are part of the theory of simplicial sets. Kan fibrations are the fibrations of the standard model category structure on simplicial sets and are therefore of fundamental importance. Kan complexes are the fibrant objects in this model category. The name is in honor of Daniel Kan.

In mathematics, especially in the area of mathematical analysis known as dynamical systems theory, a linear flow on the torus is a flow on the n-dimensional torus

In mathematics, Maass forms or Maass wave forms are studied in the theory of automorphic forms. Maass forms are complex-valued smooth functions of the upper half plane, which transform in a similar way under the operation of a discrete subgroup $of as modular forms. They are eigenforms of the hyperbolic Laplace operator defined on and satisfy certain growth conditions at the cusps of a fundamental domain of . In contrast to modular forms, Maass forms need not be holomorphic. They were studied first by Hans Maass in 1949.$

In mathematics, a quasitoric manifold is a topological analogue of the nonsingular projective toric variety of algebraic geometry. A smooth $-dimensional manifold is a quasitoric manifold if it admits a smooth, locally standard action of an -dimensional torus, with orbit space an -dimensional simple convex polytope.$

In mathematics, a càdlàg, RCLL, or corlol function is a function defined on the real numbers that is everywhere right-continuous and has left limits everywhere. Càdlàg functions are important in the study of stochastic processes that admit jumps, unlike Brownian motion, which has continuous sample paths. The collection of càdlàg functions on a given domain is known as Skorokhod space.

References

↑ Hewitt, Edwin; Ross, Kenneth A. (1979). Abstract Harmonic Analysis I: Structure of Topological Groups Integration Theory Group Representations. Grundlehren der Mathematischen Wissenschaften. Vol. 115. Berlin-New York: Springer. doi:10.1007/978-1-4419-8638-2. ISBN 978-0-387-94190-5.
↑ 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. S2CID 121172198.
↑ van Dantzig, D. (1930). "Ueber topologisch homogene Kontinua". Fundamenta Mathematicae. 15: 102–125. doi: 10.4064/fm-15-1-102-125 . ISSN 0016-2736.
↑ "Steenrod-Sitnikov homology - Encyclopedia of Mathematics".

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