Un punto de $x$ de un espacio de $X$ se dice que es un punto de la canónica débil pseudocompactness si se satisface la condición:
Para cada canónica abrir subconjunto $U$ $X$ tal que $x\in\overline{U}$, existe una secuencia $\{A_n:n\in\omega\}$ de los subconjuntos de a $U$ tal que $x\in\overline{A_n}$, para cada una de las $n\in \omega$, y por cada indexado de la familia $\xi=\{O_n:n\in\omega\}$ de subconjuntos abiertos de $X$ satisfacción $O_n\cap A_n\neq\varnothing$ para todos los $n\in\omega$, la familia $\xi$ tiene un punto de acumulación en $X$.
Un espacio de $X$ es pointwise canónicamente débilmente pseudocompact si cada punto de $X$ es un punto de canonical débil pseudocompactness.
¿Cómo podemos mostrar que Cada topológicos compactos grupo es un pointwise canónicamente débilmente pseudocompact espacio?
Es cierto que cada diádica compactum es un pointwise canónicamente débilmente pseudocompact espacio?
Si 2 es cierto, entonces 1 también se ha demostrado ya que Cada topológicos compactos grupo $G$ es un diádica compactum.
Un subconjunto abierto $U$ de un espacio de $X$ dijo ser canónica abierta en $X$ si $U$ es la interior de su cierre.
He añadido un par de referencias que espero aclarar el tema;
1. A.V. Arkhangel'skii y M. Tkachenko, Topológicos, Grupos y Estructuras Relacionadas, p359.
2. A.V. Arhangel'skii, Moscú y Espacios Topológicos, Grupos, p404.
3.Una.V. Arhangel'skii, En un teorema de W. W. Comodidad y K. A. Ross, p141.
