|
Expansive Homeomorphism
In mathematics, the notion of expansivity formalizes the notion of points moving away from one another under the action of an iterated function. The idea of expansivity is fairly rigid, as the definition of positive expansivity, below, as well as the Schwarz–Ahlfors–Pick theorem demonstrate. Definition If (X,d) is a metric space, a homeomorphism f\colon X\to X is said to be expansive if there is a constant :\varepsilon_0>0, called the expansivity constant, such that for every pair of points x\neq y in X there is an integer n such that :d(f^n(x),f^n(y))\geq\varepsilon_0. Note that in this definition, n can be positive or negative, and so f may be expansive in the forward or backward directions. The space X is often assumed to be compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact * Blood compact, an ancient ritual of the Philippines * Compact government, a type of colonial rule utilize ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Iterated Function
In mathematics, an iterated function is a function (that is, a function from some set to itself) which is obtained by composing another function with itself a certain number of times. The process of repeatedly applying the same function is called iteration. In this process, starting from some initial object, the result of applying a given function is fed again in the function as input, and this process is repeated. For example on the image on the right: :with the circle‑shaped symbol of function composition. Iterated functions are objects of study in computer science, fractals, dynamical systems, mathematics and renormalization group physics. Definition The formal definition of an iterated function on a set ''X'' follows. Let be a set and be a function. Defining as the ''n''-th iterate of (a notation introduced by Hans Heinrich Bürmann and John Frederick William Herschel), where ''n'' is a non-negative integer, by: f^0 ~ \stackrel ~ \operatorname_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rigidity (mathematics)
In mathematics, a rigid collection ''C'' of mathematical objects (for instance sets or functions) is one in which every ''c'' ∈ ''C'' is uniquely determined by less information about ''c'' than one would expect. The above statement does not define a mathematical property. Instead, it describes in what sense the adjective rigid is typically used in mathematics, by mathematicians. __FORCETOC__ Examples Some examples include: #Harmonic functions on the unit disk are rigid in the sense that they are uniquely determined by their boundary values. #Holomorphic functions are determined by the set of all derivatives at a single point. A smooth function from the real line to the complex plane is not, in general, determined by all its derivatives at a single point, but it is if we require additionally that it be possible to extend the function to one on a neighbourhood of the real line in the complex plane. The Schwarz lemma is an example of such a rigidity theorem. #By the fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Schwarz–Ahlfors–Pick Theorem
In mathematics, the Schwarz–Ahlfors–Pick theorem is an extension of the Schwarz lemma for hyperbolic geometry, such as the Poincaré half-plane model. The Schwarz–Pick lemma states that every holomorphic function from the unit disk ''U'' to itself, or from the upper half-plane ''H'' to itself, will not increase the Poincaré distance between points. The unit disk ''U'' with the Poincaré metric has negative Gaussian curvature −1. In 1938, Lars Ahlfors generalised the lemma to maps from the unit disk to other negatively curved surfaces: Theorem ( Schwarz– Ahlfors– Pick). Let ''U'' be the unit disk with Poincaré metric \rho; let ''S'' be a Riemann surface endowed with a Hermitian metric \sigma whose Gaussian curvature is ≤ −1; let f:U\rightarrow S be a holomorphic function. Then :\sigma(f(z_1),f(z_2)) \leq \rho(z_1,z_2) for all z_1,z_2 \in U. A generalization of this theorem was proved by Shing-Tung Yau Shing-Tung Yau (; ; born April 4, 1949) i ... [...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] |
Homeomorphism
In the mathematical field of topology, a homeomorphism, 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. The word ''homeomorphism'' comes from the Greek words '' ὅμοιος'' (''homoios'') = similar or same and '' μορφή'' (''morphē'') = shape or form, introduced to mathematics by Henri Poincaré in 1895. Very roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending 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 desc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topologic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
