Un fractal es un objeto semigeométrico cuya estructura básica, fragmentada o irregular, se repite a diferentes escalas. El término fue propuesto por el matemático Benoît Mandelbrot en 1975 y deriva del Latín fractus, que significa quebrado o fracturado. Muchas estructuras naturales son de tipo fractal.

A un objeto geométrico fractal se le atribuyen las siguientes características:

• Es demasiado irregular para ser descrito en términos geométricos tradicionales.

• Es autosimilar.- Su forma es hecha de copias más pequeñas de la misma figura. Las copias son similares al todo: misma forma pero diferente tamaño. Ejemplos de autosimilaridad:

• Fractales naturalistas

• Es una transformación no-linear     

•  Su dimensión de Hausdorff-Besicovitch es estrictamente mayor que su dimensión topológica.

• Se define mediante un simple algoritmo recursivo.

Un fractal es un objeto que exhibe recursividad, o autosimilitud, a cualquier escala. En otras palabras, si enfocamos una porción cualquiera de un objeto fractal (imaginemos que utilizamos un magnificador, o hasta un microscopio, para ello), notaremos que tal sección resulta ser una réplica a menor escala de la figura principal.

Otro aspecto importante sobre los fractales es que su dimensión es fraccionaria. Es decir, en vez de ser unidimensional, bidimensional o tridimensional (como es el para los objetos que nos son más familiares), la dimensión en la mayoría de los fractales no se ajusta a dichos conceptos tradicionales. Más aún, su valor raramente puede ser expresado con un número entero. Esto es, precisamente, lo que les ha dado su nombre.

Muchas veces, los fractales se subscriben a la definición anterior. Otras no: en vez de observarse la misma estructura en proporciones menores de la figura principal que estemos observando, serán evidentes rasgos y patrones nuevos. Ello dependerá del tipo de fractal que examinemos y, como debe ser evidente, de la función matemática que hayamos utilizado para producirlo.

No basta con una sola de estas características para definir un fractal. Por ejemplo, la recta real no se considera un fractal, pues a pesar de ser un objeto autosimilar carece del resto de características exigidas.

Un fractal natural es un elemento de la naturaleza que puede ser descrito mediante la geometría fractal. Las nubes, las montañas, el sistema circulatorio, las líneas costeras o los copos de nieve son fractales naturales.

Esta representación es aproximada, pues las propiedades atribuidas a los objetos fractales ideales, como el detalle infinito, tienen límites en el mundo natural.

Probablemente, el primer objeto fractal puro en la historia, el polvo de Cantor, fue descrito por el matemático alemán Georg Cantor-inventor de la teoría de los conjuntos-alrededor de 1872.

A pesar de ser una figura extremadamente sencilla, recoge todos los atributos discutidos sobre los fractales hasta el momento: presenta autosimilitud a cualquier escala y su dimensión es fraccionaria, con valor aproximado de 0,630929753571457437099527114 (log 2/log 3,si utilizamos una expresión más adecuada). Igualmente, podemos basarnos en él para introducir otra característica general de este tipo de objeto: son producidos por procesos de iteración.

La iteración puede describirse como un mecanismo de retroalimentación, que se repite un número n de veces. Esto se refiere, por ejemplo, al acto de utilizar un valor inicial en el cálculo de cierta función, y luego tomar el producto, o resultado, como valor inicial para el próximo cálculo de esa misma función. Dicha operación puede repetirse indefinidamente (incluso infinitamente), produciendo una iteración. Cualquier proceso semejante tendrá como resultado un fractal.

El polvo de Cantor se inicia con un segmento lineal (justamente, conocido como el initiador); éste se divide en tres segmentos menores de la misma longitud, el central de los cuales se extrae. Este proceso (denomonado, usualmente, como el generador) se repite indefinidamente, al final de lo cual-si tiene final- se habrá producido el polvo de Cantor.