|
Suspension (dynamical Systems)
Suspension is a construction passing from a map to a flow. Namely, let X be a metric space, f:X\to X be a continuous map and r:X\to\mathbb^+ be a function (roof function or ceiling function) bounded away from 0. Consider the quotient space: :X_r=\/(x,r(x))\sim(f(x),0). The suspension of (X,f) with roof function r is the semiflowM. Brin and G. Stuck, ''Introduction to Dynamical Systems'', Cambridge University Press, 2002. f_t:X_r\to X_r induced by the time translation T_t:X\times\mathbb\to X\times\mathbb, (x,s)\mapsto (x,s+t). If r(x)\equiv 1, then the quotient space is also called the mapping torus In mathematics, the mapping torus in topology of a homeomorphism ''f'' of some topological space ''X'' to itself is a particular geometric construction with ''f''. Take the cartesian product of ''X'' with a closed interval ''I'', and glue the boun ... of (X,f). References {{Reflist Dynamical systems ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Flow (mathematics)
In mathematics, a flow formalizes the idea of the motion of particles in a fluid. Flows are ubiquitous in science, including engineering and physics. The notion of flow is basic to the study of ordinary differential equations. Informally, a flow may be viewed as a continuous motion of points over time. More formally, a flow is a group action of the real numbers on a set. The idea of a vector flow, that is, the flow determined by a vector field, occurs in the areas of differential topology, Riemannian geometry and Lie groups. Specific examples of vector flows include the geodesic flow, the Hamiltonian flow, the Ricci flow, the mean curvature flow, and Anosov flows. Flows may also be defined for systems of random variables and stochastic processes, and occur in the study of ergodic dynamical systems. The most celebrated of these is perhaps the Bernoulli flow. Formal definition A flow on a set is a group action of the additive group of real numbers on . More explicitl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general setting for studying many of the concepts of mathematical analysis and geometry. The most familiar example of a metric space is 3-dimensional Euclidean space with its usual notion of distance. Other well-known examples are a sphere equipped with the angular distance and the hyperbolic plane. A metric may correspond to a metaphorical, rather than physical, notion of distance: for example, the set of 100-character Unicode strings can be equipped with the Hamming distance, which measures the number of characters that need to be changed to get from one string to another. Since they are very general, metric spaces are a tool used in many different branches of mathematics. Many types of mathematical objects have a natural notion of distance and t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Continuous Map
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value, known as '' discontinuities''. More precisely, a function is continuous if arbitrarily small changes in its value can be assured by restricting to sufficiently small changes of its argument. A discontinuous function is a function that is . Up until the 19th century, mathematicians largely relied on intuitive notions of continuity, and considered only continuous functions. The epsilon–delta definition of a limit was introduced to formalize the definition of continuity. Continuity is one of the core concepts of calculus and mathematical analysis, where arguments and values of functions are real and complex numbers. The concept has been generalized to functions between metric spaces and between topological spaces. The latter are the mo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ceiling Function
In mathematics and computer science, the floor function is the function that takes as input a real number , and gives as output the greatest integer less than or equal to , denoted or . Similarly, the ceiling function maps to the least integer greater than or equal to , denoted or . For example, , , , and . Historically, the floor of has been–and still is–called the integral part or integer part of , often denoted (as well as a variety of other notations). Some authors may define the integral part as if is nonnegative, and otherwise: for example, and . The operation of truncation generalizes this to a specified number of digits: truncation to zero significant digits is the same as the integer part. For an integer, . Notation The ''integral part'' or ''integer part'' of a number ( in the original) was first defined in 1798 by Adrien-Marie Legendre in his proof of the Legendre's formula. Carl Friedrich Gauss introduced the square bracket notation in his ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Space (topology)
In topology and related areas of mathematics, the quotient space of a topological space under a given equivalence relation is a new topological space constructed by endowing the quotient set of the original topological space with the quotient topology, that is, with the finest topology that makes continuous the canonical projection map (the function that maps points to their equivalence classes). In other words, a subset of a quotient space is open if and only if its preimage under the canonical projection map is open in the original topological space. Intuitively speaking, the points of each equivalence class are or "glued together" for forming a new topological space. For example, identifying the points of a sphere that belong to the same diameter produces the projective plane as a quotient space. Definition Let \left(X, \tau_X\right) be a topological space, and let \,\sim\, be an equivalence relation on X. The quotient set, Y = X / \sim\, is the set of equivalence classes o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Time Translation
Time translation symmetry or temporal translation symmetry (TTS) is a mathematical transformation in physics that moves the times of events through a common interval. Time translation symmetry is the law that the laws of physics are unchanged (i.e. invariant) under such a transformation. Time translation symmetry is a rigorous way to formulate the idea that the laws of physics are the same throughout history. Time translation symmetry is closely connected, via the Noether theorem, to conservation of energy. In mathematics, the set of all time translations on a given system form a Lie group. There are many symmetries in nature besides time translation, such as spatial translation or rotational symmetries. These symmetries can be broken and explain diverse phenomena such as crystals, superconductivity, and the Higgs mechanism. However, it was thought until very recently that time translation symmetry could not be broken. Time crystals, a state of matter first observed in 2017, b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mapping Torus
In mathematics, the mapping torus in topology of a homeomorphism ''f'' of some topological space ''X'' to itself is a particular geometric construction with ''f''. Take the cartesian product of ''X'' with a closed interval ''I'', and glue the boundary components together by the static homeomorphism: :M_f =\frac The result is a fiber bundle whose base is a circle and whose fiber is the original space ''X''. If ''X'' is a manifold, ''Mf'' will be a manifold of dimension one higher, and it is said to "fiber over the circle". As a simple example, let X be the circle, and f be the inversion e^ \mapsto e^ , then the mapping torus is the Klein bottle. Mapping tori of surface homeomorphisms play a key role in the theory of 3-manifolds and have been intensely studied. If ''S'' is a closed surface of genus ''g'' ≥ 2 and if ''f'' is a self-homeomorphism of ''S'', the mapping torus ''Mf'' is a closed 3-manifold that fibers over the circle with fiber ''S''. A deep res ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
