Porosität ist ein quantitativer Maßstab für die relative Größe von Löchern in einer Menge auf kleinen Skalen. Übliche Formulierungen definieren die obere Porosität von E in x als limsup_{r→0} des Supremums der α ∈ [0,1], sodass eine Kugel des Radius α r in B(x,r) \ E liegt; globale Porosität kann das Infimum solcher lokalen Porositäten sein oder die Existenz eines einheitlichen α>0, das für alle x und kleine r gilt.

Prinzip

Porosität misst Dünnheit durch ein skaleninvariantes Verhältnis: die ordnende Regel ist, die größte komplementäre Kugel, die in eine Kugel vom Radius r passt, mit r selbst zu vergleichen und das Grenzverhalten bei schrumpfenden Skalen zu untersuchen.

Demonstration

Für die Cantor‑Menge des mittleren Drittels in R ergeben Rechnungen eine von null verschiedene Porositätskonstante (man kann in jeder kleinen Nachbarschaft ein Intervall finden, dessen Länge proportional zu r ist), während glatte Kurven oder Vollkugeln Porosität null haben, da auf kleinen Skalen keine relativ große komplementäre Kugel existiert.

Fehlanwendung

Obere Porosität mit unterer Porosität zu verwechseln oder Porosität zu verwenden, ohne lokal versus global bzw. limsup versus liminf anzugeben; solche Quantorfehler führen zu falschen Schlüssen über Dimension, Entfernbarkeit oder Häufigkeit der Eigenschaft.

Konsequenz

Positive Porosität (einheitlich untere Schranke > 0) impliziert starke geometrische Kleinheit: viele Dimensionsabschätzungen, Dichteausschlüsse und Entfernbarkeitsresultate folgen; Porosität null bedeutet nicht Größe, verbietet aber einfache Loch‑basierte Reduktionen.

Umkehrung

Das Gegenteil ist Anti‑Porosität (Porosität null oder beliebig klein), bei der komplementäre Löcher schneller schrumpfen als jede feste Proportion von r; Mengen mit positiver Dichte oder Ahlfors‑Regularität verhalten sich anti‑porös auf vielen Skalen.

Abgrenzung

Porosität ist in metrischen Kontexten definiert und kennt Varianten: punktweise/lokale Porosität, obere/untere Porosität, uniforme Porosität und σ‑Porosität; präzise Aussagen müssen die Variante und das Grenzverfahren (limsup/liminf) sowie Quantoren über Punkte und Skalen festlegen.

Semantische Spannung

Porosität konkurriert mit Dichte‑ und Dimensionsmaßen: Eine Menge kann Maß null aber positive Porosität haben oder geringe Hausdorff‑Dimension und dennoch nicht porös sein; daher erfasst Porosität geometrischen Leerraum anders als maß‑ oder dimensionsbasierte Kennzahlen.

Synthese

Porosität ist der skaleninvariante quantitative Beschreiber dafür, wie groß komplementäre Löcher sind, gemessen durch das Grenzverhältnis von Lochradius zu Beobachtungsradius; verschiedene Porositätsbegriffe kodieren unterschiedliche Quantoren (oben/unten, lokal/global) und haben spezifische geometrische Folgen.