La menor cardinalidad de una π-base local en un punto, es decir, una familia de abiertos no vacíos tal que cada vecindario del punto contiene al menos uno de ellos; denotado comúnmente Πχ(x,X) o Πχ(X) para el supremo sobre puntos.

Principio

Captura cómo los vecindarios pueden ser 'alcanzados' por una familia pequeña de piezas abiertas básicas sin exigir que esas piezas generen los vecindarios por uniones; el π-carácter mide poder de alcance en vez de poder generador.

Demostración

En muchos espacios métricos separables una familia contable de bolas básicas con centros en un conjunto denso cuenta como π-base en cada punto, por lo que el π-carácter es ℵ0; en un producto ∏_{i∈I} X_i el π-carácter en un punto puede ser al menos el tamaño mínimo de soportes de coordenadas necesarios para encontrar vecindarios arbitrarios, a menudo ligado a la cardinalidad del índice.

Aplicación incorrecta

Confundir π-carácter con carácter conduce a errores: un π-carácter pequeño sólo garantiza que cada vecindario contiene algún básico de una familia pequeña, pero no que esos básicos se puedan combinar por uniones para formar todos los vecindarios (no implica base local).

Consecuencia

Conocer el π-carácter ayuda en lemas de selección y recubrimiento (elegir representantes que alcancen muchos vecindarios) y afecta argumentos combinatorios en espacios de funciones y construcciones producto donde alcanzar vecindarios es la propiedad relevante.

Inversión

La inversión enfatiza situaciones donde ninguna familia pequeña alcanza todos los vecindarios, de modo que los vecindarios son 'delgados' respecto a cualquier familia pequeña fijada y el π-carácter es grande, obstaculizando estrategias uniformes de alcance.

Límite

El π-carácter se define mediante π-bases (familias de abiertos no vacíos que alcanzan los vecindarios) y excluye requisitos sobre generar vecindarios por uniones o sobre intersecciones que aíslen puntos; es más débil que el carácter pero más fuerte que algunas medidas de separación en ciertas comparaciones.

Tensión semántica

El π-carácter se sitúa entre pseudo-carácter y carácter en espíritu: el pseudo-carácter usa intersecciones para aislar, el carácter usa uniones para generar, mientras que el π-carácter usa el alcance por abiertos no vacíos — distinguirlos aclara qué control local hay disponible.

Síntesis

El Π-carácter mide la mínima cardinalidad de una familia de abiertos no vacíos que alcanza cada vecindario de un punto; cuantifica el poder de alcance de familias pequeñas y complementa invariantes locales basados en uniones e intersecciones.