Is a union of closures of cells in a CW complex closed?

496 Views Asked by At

Let $X$ be a CW complex with cell-partition $\mathcal{C} \subset \mathcal{P}(X)$, and $\mathcal{D} \subset \mathcal{C}$. Is $A = \bigcup \{\overline{D}(X) : D \in \mathcal{D}\}$ closed in $X$, where $\overline{D}(X)$ is the closure of $D$ in $X$?

I think I can prove the result when $X$ is first-countable as follows. Suppose $A$ is not closed in $X$. Let $x \in \overline{A}(X) \setminus A$. Since $X$ is first-countable, there exists a decreasing neighborhood basis $(U_n \in \mathcal{T}_X(x) : n \in \mathbb{N})$ at $x$, where $\mathcal{T}_X(x)$ is the set of neighborhoods of $x$. Let $D_n \in \mathcal{D}$ be such that $D_n \cap U_n \neq \emptyset$ and $D_n \cap \bigcup \{\overline{D_m}(X) : m < n\} = \emptyset$. Let $x_n \in D_n$. Then $x_n \to x$. Since $X$ is Hausdorff, $\{x_n\} = \overline{D_n}(X) \cap \{x_n\}$ is closed in $\overline{D_n}(X)$. Since $\mathcal{T}_X$ is coherent with $\mathcal{C}$, $B = \{x_n : n \in \mathbb{N}\}$ is closed in $X$, which contradicts $x \in \overline{B}(X) \setminus B$.

Can this result be proved without assuming first-countability?

EDIT: Seems like the proof above is incomplete. It should also show that $\overline{C}(X) \cap B$ is closed in $X$ for all $C \in \mathcal{C} \setminus \mathcal{D}$. Following Eric's suggestion below, since $X$ is closure-finite, $\overline{C}(X)$ intersects only finitely many cells in $\mathcal{D}$, which means $\overline{C}(X) \cap B$ is finite and so closed in $\overline{C}(X)$. After this, coherence can be applied, which completes the proof.

POST-ACCEPT EDIT: This result is also true for normal CW complexes, which is where the closure of each cell is a sub-complex. This is because sub-complexes are closed under arbitrary unions and intersections. The counter-example given in the accepted answer is neither locally finite or normal, as required. This and other results can be found from the book "The Topology of CW Complexes".

1

There are 1 best solutions below

3
On BEST ANSWER

This is not true in general. For instance, let $A\subset S^1$ be any non-closed subset. For each $a\in A$, attach a $2$-cell to $S^1$ via the constant map $S^1\to S^1$ with value $a$ and let $X$ be the resulting CW complex. Then the union of the closures of all the $2$-cells in $X$ is not closed, since its intersection with $S^1$ is $A$.

(Incidentally, your proof in the first-countable case is not quite correct, since you have not actually shown that $B$ has closed intersection with each closed cell; you only checked this for the cells $D_n$. To prove it for an arbitrary closed cell, you need to use the fact that a closed cell can only intersect finitely many of the $D_n$.)