Il tappeto di Sierpinski può essere costruito nel modo seguente.
Partire da un quadrato.
Dividere il quadrato in 9 quadrati più piccoli.
Rimuovere il quadrato centrale.
Ripetere i passi 1-3 su ogni nuovo quadrato.
La figura seguente mostra i primi 5 passaggi.
Tappeto di Sierpinski:
passo 0
passo 1
passo 2
passo 3
passo 4
passo 5
Il tappeto di Sierpinski è la figura che si ottiene come limite di queste iterazioni. Più precisamente, ad ogni passaggio si deve rimuovere solo la parte interna di ogni quadrato, così da ottenere sempre un insieme chiuso del piano. Il tappeto di Sierpinski è l'intersezione di tutti questi insiemi.
A differenza dell'insieme di Cantor, che ha dimensione topologica zero, la spugna di Sierpinski ha però dimensione topologica 1. Il tappeto è una curva planare universale: ogni spazio metrico compatto di dimensione topologica 1 planare (cioè che possa essere descritto nel piano) è contenuto nel tappeto (cioè è omeomorfo ad un suo sottoinsieme). La spugna di Menger, versione tridimensionale del tappeto, contiene ogni curva (non necessariamente planare).
La dimensione frattale del tappeto è , pari a = 1,892789...