## [Porosidad](/es/node/63227) 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.