In colloquial usage, a fractal is "a rough or fragmented geometric shape that can be subdivided in parts, each of which is (at least approximately) a reduced-size copy of the whole". The term was coined by Benoît Mandelbrot in 1975 and was derived from the Latin fractus meaning "broken" or "fractured".

A fractal as a geometric object generally has the following features:

• It has a fine structure at arbitrarily small scales.
• It is too irregular to be easily described in traditional Euclidean geometric language.
• It is self-similar (at least approximately or stochastically).
• It has a Hausdorff dimension that is greater than its topological dimension (although this requirement is not met by space-filling curves such as the Hilbert curve).
• It has a simple and recursive definition.

Because they appear similar at all levels of magnification, fractals are often considered to be infinitely complex (in informal terms). Natural objects that approximate fractals to a degree include clouds, mountain ranges, and lightning bolts. However, not all self-similar objects are fractals—for example, the real line (a straight Euclidean line) is formally self-similar but fails to have other fractal characteristics.

History

Objects that are now described as fractals were discovered and described centuries ago. Some of the earliest man-made examples can be seen in indigenous African craft work. In 1525, the German artist Albrecht Dürer published The Painter's Manual, which contained a section on "Tile Patterns Formed by Pentagons". Dürer's Pentagon largely resembles the Sierpinski carpet, replacing squares with pentagons.

The mathematics behind fractals began to take shape in the 17th century when philosopher Leibniz considered recursive self-similarity (although he made the mistake of thinking that only the straight line was self-similar in this sense).

It took until 1872 before a function appeared whose graph would today be considered fractal, when Karl Weierstrass gave an example of a function with the nonintuitive property of being everywhere continuous but nowhere differentiable. In 1904, Helge von Koch, dissatisfied with Weierstrass's very abstract and analytic definition, gave a more geometric definition of a similar function, which is now called the Koch snowflake. In 1915, Waclaw Sierpinski constructed his triangle and, one year later, his carpet. Originally these geometric fractals were described as curves rather than the 2D shapes that they are known as in their modern constructions. The idea of self-similar curves was taken further by Paul Pierre Lévy, who, in his 1938 paper Plane or Space Curves and Surfaces Consisting of Parts Similar to the Whole, described a new fractal curve, the Lévy C curve.

Georg Cantor also gave examples of subsets of the real line with unusual properties—these Cantor sets are also now recognized as fractals.

Iterated functions in the complex plane were investigated in the late 19th and early 20th centuries by Henri Poincaré, Felix Klein, Pierre Fatou and Gaston Julia. However, without the aid of modern computer graphics, they lacked the means to visualize the beauty of many of the objects that they had discovered.

In the 1960s, Benoît Mandelbrot started investigating self-similarity in papers such as How Long Is the Coast of Britain? Statistical Self-Similarity and Fractional Dimension, which built on earlier work by Lewis Fry Richardson. Finally, in 1975 Mandelbrot coined the word "fractal" to denote an object whose Hausdorff-Besicovitch dimension is greater than its topological dimension. He illustrated this mathematical definition with striking computer-constructed visualizations. These images captured the popular imagination; many of them were based on recursion, leading to the popular meaning of the term "fractal".