Definición
La porosidad es una medida cuantitativa del tamaño relativo de los agujeros en un conjunto a pequeñas escalas. Formulaciones habituales definen la porosidad superior de E en x como el limsup cuando r→0 del supremo de α ∈ [0,1] tal que existe una bola de radio α r contenida en B(x,r) \ E; la porosidad global puede ser el ínfimo de tales porosidades locales o la existencia de un α>0 uniforme que funcione para todos los x y radios pequeños.
Principio
Principio
La porosidad mide la delgadez mediante una razón invariante por escala: la regla organizadora es comparar la mayor bola complementaria que cabe dentro de una bola de radio r con r mismo y estudiar el comportamiento límite al disminuir las escalas.
Demostración
Demostración
Para el conjunto de Cantor del tercio medio en R, los cálculos muestran una constante de porosidad no nula (siempre se puede encajar un intervalo de longitud proporcional a r en cualquier vecindad pequeña), mientras que curvas suaves o bolas sólidas tienen porosidad cero porque no existe una bola complementaria relativamente grande a pequeñas escalas alrededor de puntos típicos.
Aplicación incorrecta
Aplicación incorrecta
Confundir porosidad superior con porosidad inferior o usar porosidad sin especificar local frente a global, limsup frente a liminf; tales errores de cuantificación conducen a conclusiones incorrectas sobre dimensión, removibilidad o prevalencia de la propiedad.
Consecuencia
Consecuencia
La porosidad positiva (acotada uniformemente por debajo por una constante positiva) implica una fuerte pequeñez geométrica: se derivan muchas estimaciones dimensionales, exclusiones de densidad y resultados de removibilidad; la porosidad cero no implica que el conjunto sea grande pero impide reducciones basadas en agujeros.
Inversión
Inversión
El reverso es la anti‑porosidad (porosidad cero o arbitrariamente pequeña), donde los agujeros complementarios decrecen más rápido que cualquier proporción fija de r; conjuntos con densidad positiva o Ahlfors‑regulares ejemplifican comportamiento anti‑poroso en muchas escalas.
Límite
Límite
La porosidad se define en contextos métricos y admite variantes: porosidad local/ puntual, porosidad superior/ inferior, porosidad uniforme y σ‑porosidad; las afirmaciones precisas deben fijar la variante y la forma de tomar límites (limsup/liminf) y los cuantificadores sobre puntos y escalas.
Tensión semántica
Tensión semántica
La porosidad compite con medidas de densidad y dimensión: un conjunto puede tener medida de Lebesgue cero pero porosidad positiva, o baja dimensión de Hausdorff y aun así no ser poroso; por tanto la porosidad captura el espacio vacío geométrico de forma distinta a las medidas o dimensiones.
Síntesis
Síntesis
La porosidad es el descriptor cuantitativo invariante por escala de cuán grandes son los agujeros complementarios, medido por la razón límite entre el radio del agujero y el radio de observación; las distintas nociones de porosidad codifican cuantificadores distintos (superior/inferior, local/global) y tienen consecuencias geométricas específicas.