__NOTOC__
In
mathematics, a self-similar object is exactly or approximately
similar to a part of itself (i.e., the whole has the same shape as one or more of the parts). Many objects in the real world, such as
coastline
The coast, also known as the coastline or seashore, is defined as the area where land meets the ocean, or as a line that forms the boundary between the land and the coastline. The Earth has around of coastline. Coasts are important zones in n ...
s, are statistically self-similar: parts of them show the same statistical properties at many scales.
[PDF]
/ref> Self-similarity is a typical property of fractal
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 il ...
s. Scale invariance
In physics, mathematics and statistics, scale invariance is a feature of objects or laws that do not change if scales of length, energy, or other variables, are multiplied by a common factor, and thus represent a universality.
The technical te ...
is an exact form of self-similarity where at any magnification there is a smaller piece of the object that is similar to the whole. For instance, a side of the Koch snowflake
The Koch snowflake (also known as the Koch curve, Koch star, or Koch island) is a fractal curve and one of the earliest fractals to have been described. It is based on the Koch curve, which appeared in a 1904 paper titled "On a Continuous Cur ...
is both symmetrical and scale-invariant; it can be continually magnified 3x without changing shape. The non-trivial similarity evident in fractals is distinguished by their fine structure, or detail on arbitrarily small scales. As a counterexample
A counterexample is any exception to a generalization. In logic a counterexample disproves the generalization, and does so rigorously in the fields of mathematics and philosophy. For example, the fact that "John Smith is not a lazy student" is ...
, whereas any portion of a straight line
In geometry, a line is an infinitely long object with no width, depth, or curvature. Thus, lines are one-dimensional objects, though they may exist in two, three, or higher dimension spaces. The word ''line'' may also refer to a line segment ...
may resemble the whole, further detail is not revealed.
A time developing phenomenon is said to exhibit self-similarity if the numerical value of certain observable quantity
measured at different times are different but the corresponding dimensionless quantity at given value of remain invariant. It happens if the quantity exhibits dynamic scaling. The idea is just an extension of the idea of similarity of two triangles. Note that two triangles are similar if the numerical values of their sides are different however the corresponding dimensionless quantities, such as their angles, coincide.
Peitgen ''et al.'' explain the concept as such:
Since mathematically, a fractal may show self-similarity under indefinite magnification, it is impossible to recreate this physically. Peitgen ''et al.'' suggest studying self-similarity using approximations:
This vocabulary was introduced by Benoit Mandelbrot in 1964.
Self-affinity
In mathematics, self-affinity is a feature of a fractal
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 il ...
whose pieces are scaled by different amounts in the x- and y-directions. This means that to appreciate the self similarity of these fractal objects, they have to be rescaled using an anisotropic
Anisotropy () is the property of a material which allows it to change or assume different properties in different directions, as opposed to isotropy. It can be defined as a difference, when measured along different axes, in a material's phys ...
affine transformation
In Euclidean geometry, an affine transformation or affinity (from the Latin, ''affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.
More generall ...
.
Definition
A 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 utilized in British ...
topological space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...
''X'' is self-similar if there exists a finite set
In mathematics, particularly set theory, a finite set is a set that has a finite number of elements. Informally, a finite set is a set which one could in principle count and finish counting. For example,
:\
is a finite set with five elements. ...
''S'' indexing a set of non-surjective
In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of ...
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 isomor ...
s for which
:
If , we call ''X'' self-similar if it is the only non-empty subset
In mathematics, set ''A'' is a subset of a set ''B'' if all elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset o ...
of ''Y'' such that the equation above holds for . We call
:
a ''self-similar structure''. The homeomorphisms may be iterated
Iteration is the repetition of a process in order to generate a (possibly unbounded) sequence of outcomes. Each repetition of the process is a single iteration, and the outcome of each iteration is then the starting point of the next iteration. ...
, resulting in an 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 ...
. The composition of functions creates the algebraic structure of a monoid
In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being 0.
Monoids ...
. When the set ''S'' has only two elements, the monoid is known as the dyadic monoid. The dyadic monoid can be visualized as an infinite binary tree
In computer science, a binary tree is a k-ary k = 2 tree data structure in which each node has at most two children, which are referred to as the ' and the '. A recursive definition using just set theory notions is that a (non-empty) binar ...
; more generally, if the set ''S'' has ''p'' elements, then the monoid may be represented as a p-adic tree.
The automorphisms of the dyadic monoid is the modular group
In mathematics, the modular group is the projective special linear group of matrices with integer coefficients and determinant 1. The matrices and are identified. The modular group acts on the upper-half of the complex plane by fraction ...
; the automorphisms can be pictured as hyperbolic rotation
In linear algebra, a squeeze mapping, also called a squeeze transformation, is a type of linear map that preserves Euclidean area of regions in the Cartesian plane, but is ''not'' a rotation or shear mapping.
For a fixed positive real number , t ...
s of the binary tree.
A more general notion than self-similarity is Self-affinity.
Examples
The Mandelbrot set
The Mandelbrot set () is the set of complex numbers c for which the function f_c(z)=z^2+c does not diverge to infinity when iterated from z=0, i.e., for which the sequence f_c(0), f_c(f_c(0)), etc., remains bounded in absolute value.
This ...
is also self-similar around Misiurewicz points.
Self-similarity has important consequences for the design of computer networks, as typical network traffic has self-similar properties. For example, in teletraffic engineering
Teletraffic engineering, telecommunications traffic engineering, or just traffic engineering when in context, is the application of transportation traffic engineering theory to telecommunications. Teletraffic engineers use their knowledge of sta ...
, packet switched
In telecommunications, packet switching is a method of grouping Data (computing), data into ''network packet, packets'' that are transmitted over a digital Telecommunications network, network. Packets are made of a header (computing), header and ...
data traffic patterns seem to be statistically self-similar. This property means that simple models using a Poisson distribution
In probability theory and statistics, the Poisson distribution is a discrete probability distribution that expresses the probability of a given number of events occurring in a fixed interval of time or space if these events occur with a known ...
are inaccurate, and networks designed without taking self-similarity into account are likely to function in unexpected ways.
Similarly, stock market movements are described as displaying self-affinity, i.e. they appear self-similar when transformed via an appropriate affine transformation
In Euclidean geometry, an affine transformation or affinity (from the Latin, ''affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.
More generall ...
for the level of detail being shown. Andrew Lo describes stock market log return self-similarity in econometrics
Econometrics is the application of statistical methods to economic data in order to give empirical content to economic relationships.M. Hashem Pesaran (1987). "Econometrics," '' The New Palgrave: A Dictionary of Economics'', v. 2, p. 8 p. 8†...
.
Finite subdivision rules are a powerful technique for building self-similar sets, including the 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 introduced by German mathematician Georg Cantor in 1883.
T ...
and the Sierpinski triangle.
In cybernetics
The viable system model of Stafford Beer is an organizational model with an affine self-similar hierarchy, where a given viable system is one element of the System One of a viable system one recursive level higher up, and for whom the elements of its System One are viable systems one recursive level lower down.
In nature
Self-similarity can be found in nature, as well. To the right is a mathematically generated, perfectly self-similar image of a fern
A fern (Polypodiopsida or Polypodiophyta ) is a member of a group of vascular plants (plants with xylem and phloem) that reproduce via spores and have neither seeds nor flowers. The polypodiophytes include all living pteridophytes except ...
, which bears a marked resemblance to natural ferns. Other plants, such as Romanesco broccoli
Romanesco broccoli (also known as Roman cauliflower, Broccolo Romanesco, Romanesque cauliflower, Romanesco or broccoflower) is an edible flower bud of the species ''Brassica oleracea''. It is chartreuse in color, and has a form naturally approxi ...
, exhibit strong self-similarity.
In music
* Strict canons display various types and amounts of self-similarity, as do sections of fugues.
* A Shepard tone is self-similar in the frequency or wavelength domains.
* The Danish composer Per Nørgård
Per Nørgård (; born 13 July 1932) is a Danish composer and music theorist. Though his style has varied considerably throughout his career, his music has often included repeatedly evolving melodies—such as the infinity series—in the vein o ...
has made use of a self-similar integer sequence
In mathematics, an integer sequence is a sequence (i.e., an ordered list) of integers.
An integer sequence may be specified ''explicitly'' by giving a formula for its ''n''th term, or ''implicitly'' by giving a relationship between its terms. Fo ...
named the 'infinity series' in much of his music.
* In the research field of music information retrieval
Music information retrieval (MIR) is the interdisciplinary science of retrieving information from music. MIR is a small but growing field of research with many real-world applications. Those involved in MIR may have a background in academic musico ...
, self-similarity commonly refers to the fact that music often consists of parts that are repeated in time. In other words, music is self-similar under temporal translation, rather than (or in addition to) under scaling.[ (Also se]
Google Books
See also
References
External links
"Copperplate Chevrons"
— a self-similar fractal zoom movie
— New articles about Self-Similarity. Waltz Algorithm
Self-affinity
*
*
*
{{DEFAULTSORT:Self-Similarity
Fractals
Scaling symmetries
Homeomorphisms
Self-reference