|
Smale–Williams Attractor
:''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 :f_i: S_ \to S_i \quad \forall i \ge 0 where each S_i is a circle and ''f''''i'' is the map that uniformly wraps the circle S_ for n_ times (n_ \geq 2) around the circle S_i. 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 n_i = 2 case, and by van Dantzig the n_i = n case, where n\geq 2 is fixed. Such a solenoid arises as a one-dimensional expanding attractor, or Smale–Williams attractor, and forms an important example in the theory of hyperbolic dy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solenoid
upright=1.20, An illustration of a solenoid upright=1.20, Magnetic field created by a seven-loop solenoid (cross-sectional view) described using field lines A solenoid () is a type of electromagnet formed by a helix, helical coil of wire whose length is substantially greater than its diameter, which generates a controlled magnetic field. The coil can produce a uniform magnetic field in a volume of space when an electric current is passed through it. André-Marie Ampère coined the term ''solenoid'' in 1823, having conceived of the device in 1820. The French term originally created by Ampère is ''solénoïde'', which is a French transliteration of the Greek word '' σωληνοειδὴς'' which means ''tubular''. The helical coil of a solenoid does not necessarily need to revolve around a straight-line axis; for example, William Sturgeon's electromagnet of 1824 consisted of a solenoid bent into a horseshoe shape (similarly to an arc spring). Solenoids provide magnetic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Dynamics
In dynamical systems theory, a subset Λ of a smooth manifold ''M'' is said to have a hyperbolic structure with respect to a smooth map ''f'' if its tangent bundle may be split into two invariant subbundles, one of which is contracting and the other is expanding under ''f'', with respect to some Riemannian metric on ''M''. An analogous definition applies to the case of flows. In the special case when the entire manifold ''M'' is hyperbolic, the map ''f'' is called an Anosov diffeomorphism. The dynamics of ''f'' on a hyperbolic set, or hyperbolic dynamics, exhibits features of local structural stability and has been much studied, cf. Axiom A. Definition Let ''M'' be a compact smooth manifold, ''f'': ''M'' → ''M'' a diffeomorphism, and ''Df'': ''TM'' → ''TM'' the differential of ''f''. An ''f''-invariant subset Λ of ''M'' is said to be hyperbolic, or to have a hyperbolic structure, if the restriction to Λ of the tangent bundle of ''M'' admits a spl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cantor Set
In mathematics, the Cantor set is a set of points lying on a single line segment that has a number of unintuitive properties. It was discovered in 1874 by Henry John Stephen Smith and mentioned by German mathematician Georg Cantor in 1883. Through consideration of this set, Cantor and others helped lay the foundations of modern point-set topology. The most common construction is the Cantor ternary set, built by removing the middle third of a line segment and then repeating the process with the remaining shorter segments. Cantor mentioned this ternary construction only in passing, as an example of a perfect set that is nowhere dense. More generally, in topology, a Cantor space is a topological space homeomorphic to the Cantor ternary set (equipped with its subspace topology). The Cantor set is naturally homeomorphic to the countable product ^ of the discrete two-point space \underline 2 . By a theorem of L. E. J. Brouwer, this is equivalent to being perfect, nonempty, compac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stable Manifold
In mathematics, and in particular the study of dynamical systems, the idea of ''stable and unstable sets'' or stable and unstable manifolds give a formal mathematical definition to the general notions embodied in the idea of an attractor or repellor. In the case of hyperbolic dynamics, the corresponding notion is that of the hyperbolic set. Physical example The gravitational tidal forces acting on the rings of Saturn provide an easy-to-visualize physical example. The tidal forces flatten the ring into the equatorial plane, even as they stretch it out in the radial direction. Imagining the rings to be sand or gravel particles ("dust") in orbit around Saturn, the tidal forces are such that any perturbations that push particles above or below the equatorial plane results in that particle feeling a restoring force, pushing it back into the plane. Particles effectively oscillate in a harmonic well, damped by collisions. The stable direction is perpendicular to the ring. The unstable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Attractor
In the mathematical field of dynamical systems, an attractor is a set of states toward which a system tends to evolve, for a wide variety of starting conditions of the system. System values that get close enough to the attractor values remain close even if slightly disturbed. In finite-dimensional systems, the evolving variable may be represented algebraically as an ''n''-dimensional vector. The attractor is a region in ''n''-dimensional space. In physical systems, the ''n'' dimensions may be, for example, two or three positional coordinates for each of one or more physical entities; in economic systems, they may be separate variables such as the inflation rate and the unemployment rate. If the evolving variable is two- or three-dimensional, the attractor of the dynamic process can be represented geometrically in two or three dimensions, (as for example in the three-dimensional case depicted to the right). An attractor can be a point, a finite set of points, a curve, a mani ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Dimension
In mathematics, the Lebesgue covering dimension or topological dimension of a topological space is one of several different ways of defining the dimension of the space in a topologically invariant way. Informal discussion For ordinary Euclidean spaces, the Lebesgue covering dimension is just the ordinary Euclidean dimension: zero for points, one for lines, two for planes, and so on. However, not all topological spaces have this kind of "obvious" dimension, and so a precise definition is needed in such cases. The definition proceeds by examining what happens when the space is covered by open sets. In general, a topological space ''X'' can be covered by open sets, in that one can find a collection of open sets such that ''X'' lies inside of their union. The covering dimension is the smallest number ''n'' such that for every cover, there is a refinement in which every point in ''X'' lies in the intersection of no more than ''n'' + 1 covering sets. This is the gist o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Set
In dynamical systems theory, a subset Λ of a smooth manifold ''M'' is said to have a hyperbolic structure with respect to a smooth map ''f'' if its tangent bundle may be split into two invariant subbundles, one of which is contracting and the other is expanding under ''f'', with respect to some Riemannian metric on ''M''. An analogous definition applies to the case of flows. In the special case when the entire manifold ''M'' is hyperbolic, the map ''f'' is called an Anosov diffeomorphism. The dynamics of ''f'' on a hyperbolic set, or hyperbolic dynamics, exhibits features of local structural stability and has been much studied, cf. Axiom A. Definition Let ''M'' be a compact smooth manifold, ''f'': ''M'' → ''M'' a diffeomorphism, and ''Df'': ''TM'' → ''TM'' the differential of ''f''. An ''f''-invariant subset Λ of ''M'' is said to be hyperbolic, or to have a hyperbolic structure, if the restriction to Λ of the tangent bundle of ''M'' admits a sp ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foliation
In mathematics (differential geometry), a foliation is an equivalence relation on an topological manifold, ''n''-manifold, the equivalence classes being connected, injective function, injectively immersed submanifolds, all of the same dimension ''p'', modeled on the manifold decomposition, decomposition of the real coordinate space R''n'' into the cosets ''x'' + R''p'' of the standardly embedding, embedded subspace topology, subspace R''p''. The equivalence classes are called the leaves of the foliation. If the manifold and/or the submanifolds are required to have a piecewise-linear manifold, piecewise-linear, differentiable manifold, differentiable (of class ''Cr''), or analytic manifold, analytic structure then one defines piecewise-linear, differentiable, or analytic foliations, respectively. In the most important case of differentiable foliation of class ''Cr'' it is usually understood that ''r'' ≥ 1 (otherwise, ''C''0 is a topological foliation). The number ''p'' (the dime ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group (mathematics), group that is a subgroup. When some object X is said to be embedded in another object Y, the embedding is given by some Injective function, injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Disk
In mathematics, the open unit disk (or disc) around ''P'' (where ''P'' is a given point in the plane), is the set of points whose distance from ''P'' is less than 1: :D_1(P) = \.\, The closed unit disk around ''P'' is the set of points whose distance from ''P'' is less than or equal to one: :\bar D_1(P)=\.\, Unit disks are special cases of disks and unit balls; as such, they contain the interior of the unit circle and, in the case of the closed unit disk, the unit circle itself. Without further specifications, the term ''unit disk'' is used for the open unit disk about the origin, D_1(0), with respect to the standard Euclidean metric. It is the interior of a circle of radius 1, centered at the origin. This set can be identified with the set of all complex numbers of absolute value less than one. When viewed as a subset of the complex plane (C), the unit disk is often denoted \mathbb. The open unit disk, the plane, and the upper half-plane The function :f(z)=\frac is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stephen Smale
Stephen Smale (born July 15, 1930) is an American mathematician, known for his research in topology, dynamical systems and mathematical economics. He was awarded the Fields Medal in 1966 and spent more than three decades on the mathematics faculty of the University of California, Berkeley (1960–1961 and 1964–1995), where he currently is Professor Emeritus, with research interests in algorithms, numerical analysis and global analysis. Education and career Smale was born in Flint, Michigan and entered the University of Michigan in 1948. Initially, he was a good student, placing into an honors calculus sequence taught by Bob Thrall and earning himself A's. However, his sophomore and junior years were marred with mediocre grades, mostly Bs, Cs and even an F in nuclear physics. Smale obtained his Bachelor of Science degree in 1952. Despite his grades, with some luck, Smale was accepted as a graduate student at the University of Michigan's mathematics department. Yet again, Smale ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphic
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. Very roughly speaking, a topological space is a geometric object, and a homeomorphism results from a continuous deformation of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this description can be misleading. Some continuous deformations do not produce homeomorphisms, such as the deformation of a li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
