La porosité est un module quantitatif de la taille relative des trous dans un ensemble aux petites échelles. Les formulations courantes définissent la porosité supérieure de E en x comme le limsup lorsque r→0 du supremum des α ∈ [0,1] tels qu'il existe une boule de rayon α r contenue dans B(x,r) \ E ; la porosité globale peut être l'infimum de ces porosités locales ou l'existence d'un α>0 uniforme valable pour tous les x et petits r.

Principe

La porosité mesure la finesse par un rapport invariant d'échelle : la règle organisatrice est de comparer la plus grande boule complémentaire qu'on peut loger dans une boule de rayon r au rayon r lui‑même et d'étudier le comportement limite quand les échelles décroissent.

Démonstration

Pour l'ensemble de Cantor du tiers moyen en R, des calculs montrent une constante de porosité non nulle (on peut toujours trouver un intervalle de longueur proportionnelle à r dans tout voisinage petit), tandis que les courbes lisses ou les boules pleines ont porosité nulle car il n'existe pas de boule complémentaire relativement grande aux petites échelles autour de points typiques.

Mauvaise application

Confondre porosité supérieure et porosité inférieure ou utiliser la porosité sans préciser locale versus globale, limsup versus liminf ; de telles erreurs de quantificateurs mènent à des conclusions incorrectes sur la dimension, la supprimabilité ou la prévalence de la propriété.

Conséquence

Une porosité positive (uniformément minorée par une constante positive) implique une forte petitesse géométrique : de nombreuses estimations de dimension, exclusions de densité et résultats de supprimabilité en découlent ; la porosité nulle n'implique pas la grandeur, mais interdit certaines réductions basées sur les trous.

Inversion

Le renversement est l'antiporosité (porosité nulle ou arbitrairement petite), où les trous complémentaires décroissent plus rapidement que toute proportion fixée de r ; des ensembles de densité positive ou Ahlfors‑réguliers illustrent un comportement anti‑poreux sur de nombreuses échelles.

Limite

La porosité se définit dans des contextes métriques et admet des variantes : porosité locale/ponctuelle, porosité supérieure/inférieure, porosité uniforme et σ‑porosité ; il faut préciser quelle variante et la manière de prendre les limites (limsup/liminf) et les quantificateurs sur les points et les échelles.

Tension sémantique

La porosité rivalise avec les mesures de densité et de dimension : un ensemble peut avoir mesure de Lebesgue nulle mais porosité positive, ou une faible dimension de Hausdorff tout en n'étant pas poreux ; ainsi la porosité saisit l'espace vide géométrique différemment des descripteurs de mesure ou de dimension.

Synthèse

La porosité est le descripteur quantitatif invariant d'échelle de la grandeur des trous complémentaires, mesurée par le rapport limite du rayon du trou au rayon d'observation ; les différentes notions de porosité codent des quantificateurs distincts (supérieur/inférieur, local/global) et entraînent des conséquences géométriques spécifiques.