Éponge de MengerL'éponge de Menger, parfois appelée éponge de Menger-Sierpinski, est un solide fractal. Il s'agit de l'extension dans une troisième dimension de l'ensemble de Cantor et du tapis de Sierpiński. Elle fut décrite pour la première fois par le mathématicien autrichien Karl Menger . Fichier:Menger-Schwamm.jpg|Éponge de Menger après quatre [[itération]]s. Fichier:Menger sponge (2D).jpg|Face d'une éponge de Menger, ou [[tapis de Sierpiński]]. Fichier:Menger4_Coupe.jpg|Éponge de Menger coupée par un plan transversal.
Dimension fractaleEn géométrie fractale, la dimension fractale, D, est une grandeur qui a vocation à traduire la façon qu'a un ensemble fractal de remplir l'espace, à toutes les échelles. Dans le cas des fractales, elle est non entière et supérieure à la dimension topologique. Ce terme est un terme générique qui recouvre plusieurs définitions. Chacune peut donner des résultats différents selon l'ensemble considéré, il est donc essentiel de mentionner la définition utilisée lorsqu'on valorise la dimension fractale d'un ensemble.
Pavage du planthumb|Pavage constitué de triangles équilatéraux et d'hexagones, dit pavage trihexagonal. thumb|Pavage hexagonal de tomettes provençales en terre cuite. Un pavage du plan est un ensemble de portions du plan, par exemple des polygones, dont l'union est le plan tout entier, sans recouvrement. Plus précisément, c'est une partition du plan euclidien par des éléments d'un ensemble fini, appelés « carreaux » (plus précisément, ce sont des compacts d’intérieur non vide).
Ensemble de CantorEn mathématiques, l'ensemble de Cantor (ou ensemble triadique de Cantor, ou poussière de Cantor), est un sous-ensemble remarquable de la droite réelle construit par le mathématicien allemand Georg Cantor. Il s'agit d'un sous-ensemble fermé de l'intervalle unité [0, 1], d'intérieur vide. Il sert d'exemple pour montrer qu'il existe des ensembles infinis non dénombrables mais négligeables au sens de la mesure de Lebesgue. C'est aussi le premier exemple de fractale (bien que le terme ne soit apparu qu'un siècle plus tard), et il possède une dimension non entière.