Menger gąbki , czasami określane jako gąbka Mengera-Sierpińskiego , jest stały wstęga . Chodzi o przedłużenie w trzecim wymiarze zespołu Cantora i dywanu Sierpińskiego . Po raz pierwszy został opisany przez austriackiego matematyka Karla Mengera ( Menger 1926 ).
Gąbka Mengera po czterech iteracjach .
Twarz gąbki Mengera, czyli dywan Sierpińskiego .
Gąbka Mengera przecięta poprzeczną płaszczyzną.
Gąbka Mengera ze śledzeniem promieni .
Formalnie gąbka Menger to zestaw:
gdzie jest kostka jednostkowa i
Konstrukcję gąbki Mengera można opisać następująco:
Ciało stałe uzyskane na granicy, po nieskończonej liczbie iteracji, to gąbka Mengera.
W każdej iteracji mnożymy liczbę kostek przez 20, tak aby bryła utworzona w iteracji n zawierała 20 n kostek.
Gąbka Mengera to fraktal, którego wymiar Hausdorffa wynosi około 2,726 833.
Każda strona gąbki Mengera to dywan Sierpińskiego . Każde przecięcie gąbki Mengera z przekątną lub środkową początkowej kostki jest zbiorem Cantora . Gąbka Mengera to zamknięta przestrzeń ; ponieważ jest również ograniczone, twierdzenie Heinego-Borela stwierdza, że jest również zwarte . Gąbka Mengera jest zestaw niezliczona od miary Lebesgue'a zero.
Topologiczna wymiar gąbki Menger jest równa 1; został również pierwotnie skonstruowany przez Mengera w celu zbadania koncepcji wymiaru topologicznego. Menger wykazał, że gąbka jest krzywą uniwersalną, to znaczy każda krzywa jednowymiarowa (w tym sensie, że jej wymiar topologiczny jest równy 1) jest homeomorficzna dla podzbioru gąbki.
Podobnie trójkąt Sierpińskiego jest uniwersalną krzywą dla dowolnej krzywej w przestrzeni dwuwymiarowej. Gąbka Mengera rozszerza to pojęcie na trójwymiarowe krzywe. Rozumowanie można rozszerzyć na dowolną liczbę w dowolnym wymiarze.