Un cardinal κ es un calibre de un espacio topológico X si toda familia de κ abiertos no vacíos en X contiene una subfamilia de tamaño κ cuya intersección es no vacía. Existen variantes como calibre contable, calibres relativos a familias dirigidas o condiciones sobre intersecciones finitas.

Principio

El calibre formaliza una restricción combinatoria de tipo compactitud sobre grandes familias de abiertos: entre κ abiertos siempre se pueden extraer κ que se intersectan simultáneamente, evitando ciertos comportamientos de fragmentación en familias grandes.

Demostración

Un espacio compacto suele tener propiedades fuertes de calibre: por ejemplo, en espacios compactos métricos una familia numerable de abiertos no puede comportarse patológicamente sin que sus cierres tengan intersección no vacía en ciertas condiciones; en general la compacidad genera calibres sobre cardenales infinitos.

Aplicación incorrecta

Confundir calibre con celularidad (que pregunta por κ abiertos dos a dos disjuntos) o con condiciones de cadena conduce a errores; leer 'contiene subfamilia de tamaño κ con intersección no vacía' como 'alguna subfamilia finita' cambia radicalmente el sentido.

Consecuencia

La presencia de calibres restringe construcciones combinatorias en topología, condiciona la preservación bajo productos e imágenes continuas y se emplea en resultados de consistencia que conectan topología y teoría de conjuntos.

Inversión

La negación —existencia de una familia de κ abiertos no vacíos sin subfamilia de tamaño κ con intersección no vacía— describe el fallo del calibre y suele señalar comportamientos tipo celularidad o familias independientes de gran tamaño.

Límite

El calibre trata familias de abiertos no vacíos y aritmética de cardinales; no afirma propiedades directas sobre puntos, conjuntos discretos cerrados o tamaños de bases salvo en la medida en que esos objetos se relacionen combinatoriamente con familias abiertas.

Tensión semántica

Hay tensión entre calibre y celularidad/condiciones de cadena: la celularidad mide el tamaño máximo de abiertos disjuntos (comportamiento opuesto), mientras que el calibre exige intersecciones coherentes de gran tamaño; ambas nociones restringen familias de abiertos en direcciones distintas.

Síntesis

Decir que κ es calibre de X significa que toda familia de κ abiertos no vacíos contiene κ elementos con intersección no vacía; es una formulación combinatoria de compactidad que impide que familias muy grandes sean mutuamente incompatibles.