Eine Teilmenge E eines metrischen Raums (X,d) heißt porös, wenn es eine Konstante c ∈ (0,1) gibt, sodass für jeden Punkt x ∈ E und für alle hinreichend kleinen Radien r > 0 ein Punkt y existiert mit der offenen Kugel B(y, c r) ⊂ B(x, r) \ E; anschaulich bedeutet dies, dass E auf allen kleinen Skalen Löcher relativer Radius mindestens c besitzt.

Prinzip

Porösität formalisiert die Idee gleichmäßig relativer Löcher auf beliebig kleinen Skalen: die Existenz komplementärer Kugeln, deren Radien proportional zur Beobachtungsgröße sind, ist die ordnende quantitative Regel.

Demonstration

Die Cantor‑Menge des mittleren Drittels in R ist porös: in jedem kleinen Intervall um einen Punkt der Cantor‑Menge findet man ein Teilintervall, dessen Länge proportional zur Nachbarschaftslänge ist und das im Komplement liegt. In euklidischen Räumen sind viele fraktale Staubmengen porös, wohingegen glatte Mannigfaltigkeiten dies nicht sind.

Fehlanwendung

Porösität mit Maßnull oder mit 'nirgendwo dicht' gleichzusetzen, ohne weitere Präzisierung; Porösität impliziert starke Kleinheitseigenschaften (oft Maßnull und erste Kategorie), aber nicht jede Menge mit Maßnull ist porös, Porösität ist eine strengere geometrische Bedingung.

Konsequenz

Poröse Mengen sind quantitativ dünn: Porösität führt oft zu oberen Schranken für Hausdorff‑ oder Assouad‑Dimensionen, liefert starke Abschätzungen zur Entfernbarkeit in nichtlinearer Potentialtheorie und schließt bestimmte Dichte‑ oder Dickeeigenschaften aus, die in Analysis und Dynamik verwendet werden.

Umkehrung

Das Gegenstück ist eine nichtporöse oder gleichmäßig nichtporöse Menge, die auf kleinen Skalen keine relativ großen komplementären Kugeln zulässt; solche Mengen können gleichmäßig dick, von positiver Dichte oder Ahlfors‑regulär auf bestimmten Skalenbereichen sein.

Abgrenzung

Porösität setzt eine metrische Struktur (Kugeln, Radien) voraus und benötigt eine Festlegung, welche Skalen als 'hinreichend klein' gelten; Varianten (obere Porösität, untere Porösität, σ‑Porösität) verändern Quantoren und Geltungsbereich, weshalb Konstanten und Skalenbereiche anzugeben sind.

Semantische Spannung

Porösität steht zwischen topologischer Kleinteiligkeit (leerem Inneren) und Maß‑/Dimensionsbegriffen: sie ist stärker als Nichträumigkeit, unterscheidet sich aber von rein maßtheoretischen oder dimensionsbasierten Begriffen und erzeugt Spannungen beim Vergleich der 'Dünnheits'begriffe.

Synthese

Eine poröse Menge ist eine Teilmenge eines metrischen Raums, die auf kleinen Skalen gleichmäßig relativ große Löcher in ihrem Komplement enthält; Porösität ist eine quantitative geometrische Kleinheitsbedingung, die sich von und stärker als bloße topologische oder maßtheoretische Dünnheit unterscheidet.