|
Open Set Condition
In fractal geometry, the open set condition (OSC) is a commonly imposed condition on self-similar fractals. In some sense, the condition imposes restrictions on the overlap in a fractal construction. Specifically, given an iterated function system of contractive mappings \psi_1, \ldots, \psi_m, the open set condition requires that there exists a nonempty, open set V satisfying two conditions: # \bigcup_^m\psi_i (V) \subseteq V, # The sets \psi_1(V), \ldots, \psi_m(V) are pairwise disjoint. Introduced in 1946 by P.A.P Moran, the open set condition is used to compute the dimensions of certain self-similar fractals, notably the Sierpinski Gasket. It is also used to simplify computation of the packing measure. An equivalent statement of the open set condition is to require that the s-dimensional Hausdorff measure of the set is greater than zero. Computing Hausdorff dimension When the open set condition holds and each \psi_i is a similitude (that is, a composition of an isometry a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fractal Geometry
In mathematics, a fractal is a geometric shape containing detailed structure at arbitrarily small scales, usually having a fractal dimension strictly exceeding the topological dimension. Many fractals appear similar at various scales, as illustrated in successive magnifications of the Mandelbrot set. This exhibition of similar patterns at increasingly smaller scales is called self-similarity, also known as expanding symmetry or unfolding symmetry; if this replication is exactly the same at every scale, as in the Menger sponge, the shape is called affine self-similar. Fractal geometry lies within the mathematical branch of measure theory. One way that fractals are different from finite geometric figures is how they scale. Doubling the edge lengths of a filled polygon multiplies its area by four, which is two (the ratio of the new to the old side length) raised to the power of two (the conventional dimension of the filled polygon). Likewise, if the radius of a filled sph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Iterated Function System
In mathematics, iterated function systems (IFSs) are a method of constructing fractals; the resulting fractals are often self-similar. IFS fractals are more related to set theory than fractal geometry. They were introduced in 1981. IFS fractals, as they are normally called, can be of any number of dimensions, but are commonly computed and drawn in 2D. The fractal is made up of the union of several copies of itself, each copy being transformed by a function (hence "function system"). The canonical example is the Sierpiński triangle. The functions are normally contractive, which means they bring points closer together and make shapes smaller. Hence, the shape of an IFS fractal is made up of several possibly-overlapping smaller copies of itself, each of which is also made up of copies of itself, ad infinitum. This is the source of its self-similar fractal nature. Definition Formally, an iterated function system is a finite set of contraction mappings on a complete metric space. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contraction Mapping
In mathematics, a contraction mapping, or contraction or contractor, on a metric space (''M'', ''d'') is a function ''f'' from ''M'' to itself, with the property that there is some real number 0 \leq k < 1 such that for all ''x'' and ''y'' in ''M'', : The smallest such value of ''k'' is called the Lipschitz constant of ''f''. Contractive maps are sometimes called Lipschitzian maps. If the above condition is instead satisfied for ''k'' ≤ 1, then the mapping is said to be a non-expansive map. More generally, the idea of a contractive mapping can be defined for maps between metric spaces. Thus, if (''M'', ''d'') and (''N'', ''d) are two metric spaces, then is a contractive mapping if there is a constant such that : |
Mathematical Proceedings Of The Cambridge Philosophical Society
''Mathematical Proceedings of the Cambridge Philosophical Society'' is a mathematical journal published by Cambridge University Press for the Cambridge Philosophical Society. It aims to publish original research papers from a wide range of pure and applied mathematics. The journal, titled ''Proceedings of the Cambridge Philosophical Society'' before 1975, has been published since 1843. Abstracting and indexing The journal is abstracted and indexed in *MathSciNet *Science Citation Index Expanded *Scopus *ZbMATH Open See also *Cambridge Philosophical Society The Cambridge Philosophical Society (CPS) is a scientific society at the University of Cambridge. It was founded in 1819. The name derives from the medieval use of the word philosophy to denote any research undertaken outside the fields of law ... External linksofficial website References Academic journals associated with learned and professional societies Cambridge University Press academic journals Mathematics e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Measure
In mathematics, Hausdorff measure is a generalization of the traditional notions of area and volume to non-integer dimensions, specifically fractals and their Hausdorff dimensions. It is a type of outer measure, named for Felix Hausdorff, that assigns a number in [0,∞] to each set in \R^n or, more generally, in any metric space. The zero-dimensional Hausdorff measure is the number of points in the set (if the set is finite) or ∞ if the set is infinite. Likewise, the one-dimensional Hausdorff measure of a simple curve in \R^n is equal to the length of the curve, and the two-dimensional Hausdorff measure of a Lebesgue measure#Construction of the Lebesgue measure, Lebesgue-measurable subset of \R^2 is proportional to the area of the set. Thus, the concept of the Hausdorff measure generalizes the Lebesgue measure and its notions of counting, length, and area. It also generalizes volume. In fact, there are ''d''-dimensional Hausdorff measures for any ''d'' ≥ 0, which is n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' meaning "equal", and μέτρον ''metron'' meaning "measure". If the transformation is from a metric space to itself, it is a kind of geometric transformation known as a motion. Introduction Given a metric space (loosely, a set and a scheme for assigning distances between elements of the set), an isometry is a transformation which maps elements to the same or another metric space such that the distance between the image elements in the new metric space is equal to the distance between the elements in the original metric space. In a two-dimensional or three-dimensional Euclidean space, two geometric figures are congruent if they are related by an isometry; the isometry that relates them is either a rigid motion (translation or rotati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dilation (metric Space)
In mathematics, a dilation is a function f from a metric space M into itself that satisfies the identity :d(f(x),f(y))=rd(x,y) for all points x, y \in M, where d(x, y) is the distance from x to y and r is some positive real number. In Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ..., such a dilation is a similarity of the space. Dilations change the size but not the shape of an object or figure. Every dilation of a Euclidean space that is not a congruence has a unique fixed point that is called the ''center of dilation''. Some congruences have fixed points and others do not.. See also * Homothety * Dilation (operator theory) References {{DEFAULTSORT:Dilation (Metric Space) Metric geometry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Dimension
In mathematics, Hausdorff dimension is a measure of ''roughness'', or more specifically, fractal dimension, that was introduced in 1918 by mathematician Felix Hausdorff. For instance, the Hausdorff dimension of a single point is zero, of a line segment is 1, of a square is 2, and of a cube is 3. That is, for sets of points that define a smooth shape or a shape that has a small number of corners—the shapes of traditional geometry and science—the Hausdorff dimension is an integer agreeing with the usual sense of dimension, also known as the topological dimension. However, formulas have also been developed that allow calculation of the dimension of other less simple objects, where, solely on the basis of their properties of scaling and self-similarity, one is led to the conclusion that particular objects—including fractals—have non-integer Hausdorff dimensions. Because of the significant technical advances made by Abram Samoilovitch Besicovitch allowing computation of di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Non-collinear Points
In geometry, a straight line, usually abbreviated line, is an infinitely long object with no width, depth, or curvature, an idealization of such physical objects as a straightedge, a taut string, or a ray of light. Lines are spaces of dimension one, which may be embedded in spaces of dimension two, three, or higher. The word ''line'' may also refer, in everyday life, to a line segment, which is a part of a line delimited by two points (its ''endpoints''). Euclid's ''Elements'' defines a straight line as a "breadthless length" that "lies evenly with respect to the points on itself", and introduced several postulates as basic unprovable properties on which the rest of geometry was established. ''Euclidean line'' and ''Euclidean geometry'' are terms introduced to avoid confusion with generalizations introduced since the end of the 19th century, such as non-Euclidean, projective, and affine geometry. Properties In the Greek deductive geometry of Euclid's ''Elements'', ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Logarithm
The natural logarithm of a number is its logarithm to the base of a logarithm, base of the e (mathematical constant), mathematical constant , which is an Irrational number, irrational and Transcendental number, transcendental number approximately equal to . The natural logarithm of is generally written as , , or sometimes, if the base is implicit, simply . Parentheses are sometimes added for clarity, giving , , or . This is done particularly when the argument to the logarithm is not a single symbol, so as to prevent ambiguity. The natural logarithm of is the exponentiation, power to which would have to be raised to equal . For example, is , because . The natural logarithm of itself, , is , because , while the natural logarithm of is , since . The natural logarithm can be defined for any positive real number as the Integral, area under the curve from to (with the area being negative when ). The simplicity of this definition, which is matched in many other formulas ... [...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] |
