From Wikipedia, the free encyclopedia
Méngerjeva spúžva je v matematiki vrsta fraktalne krivulje. Je univerzalna krivulja v smislu, da je njena topološka razsežnost enaka 1. Vsaka krivulja ali graf je homeomorfna neki podmnožici Mengerjeve spužve. Včasih jo imenujejo spužva Mengerja in Sierpińskega ali nepravilno spužva Sierpińskega. Mengerjeva spužva je trirazsežni analogon Cantorjeve množice in preproge Sierpińskega. Prvi jo je opisal avstrijski matematik Karl Menger leta 1926.
Konstrukcijo Mengerjeve spužve si lahko predstavimo na naslednji način:
Število kock se povečuje s faktorjem . Tu je število iteracij izvedenih na prvi kocki:
Iteracije | Kocke | Vsota |
---|---|---|
0 | 1 | 1 |
1 | 20 | 21 |
2 | 400 | 421 |
3 | 8000 | 8421 |
4 | 160.000 | 168.421 |
5 | 3.200.000 | 3.368.421 |
6 | 64.000.000 | 67.368.421 |
V prvem koraku ni iteracij ().
Vsaka stran Mengerjeve spužve je preproga Sierpińskega. Velja še naprej, da je vsak presek Mengerjeve spužve z diagonalo ali središčnico prvotne množice M0 Cantorjeva množica. Mengerjeva spužva je zaprta množica. Ker je tudi omejena, Heine-Borelov izrek zatrjuje, da je kompaktna. Mengerjeva množica je neštevna in njena Lebesguova mera je enaka 0.
Topološka razsežnost Mengerjeve spužve je enaka ena. Spužvo je Menger skonstruiral med raziskovanjem pojma topološke razsežnosti. Topološka razsežnost vsake krivulje je ena. To pomeni, da so krivulje topološko enorazsežne. Menger je v svoji konstrukciji pokazal, da je Mengerjeva spužva univerzalna krivulja, tako da je vsaka poljubna enorazsežna krivulja homeomorfna kakšni podmnožici Mengerjeve spužve. Pri tem je krivulja vsakršen objekt z razsežnostjo ena. To so tudi drevesa in grafi s poljubno števno mnogo povezavami.
Podobno je preproga Sierpińskega univerzalna krivulja za vse krivulje, ki jih lahko vložimo na dvorazsežno ravnino. Mengerjeva spužva konstruirana v treh razsežnostih je razširitev te zamisli na neravninske grafe, ki jih lahko vložimo v poljubno mnogo razsežnosti. Vsako geometrijo zančne kvantne gravitacije lahko v hudomušnem primeru vložimo v Mengerjevo spužvo.
Hausdorff-Bezikovičeva razsežnost Mengerjeve spužve je enaka .
Mengerjeva spužva ni telo. Njena površina je sicer neskončna, njena prostornina pa je enaka nič.
Mengerjevo spužvo strogo definiramo kot:
kjer je M0 enotska kocka in
Popolne Mengerjeve spužve seveda v naravi ni moč videti. Nekatere oblike pa spominjajo nanje. Diatomeje imajo takšne hišice in tudi lahki aerogeli imajo v majhni prostornini veliko površino.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.