Questions tagged [paracompactness]
For questions about paracompact spaces and partitions of unity, as well as variants such as metacompact spaces
136 questions
1 vote
1 answer
36 views
Sections with compact support commutes with tensor over a locally compact Hausdorff space. Why can we reduce to the compact case?
I have a question about the proof of the following result in Kashiwara, Schapira, Sheaves on Manifolds: Proposition 2.5.12 [Let $X$ be a Hausdorff and locally compact space.] Let $A$ be a ring, and ...
1 vote
1 answer
65 views
Existence of Uncountable Discrete Family induced by Uncountable pw-disjoint Open Sets in a Metric Space
There are lots of questions about the upper separation properties, where people want to get open sets around infinite collections of closed sets. For example: construction of a discrete family ...
1 vote
1 answer
89 views
Conditions for Separable $T_{3\frac{1}{2}}$ Spaces to be Strongly Paracompact
It's known that $T_3$ Lindelof spaces are strongly paracompact, but I was wondering what sorts of conditions are needed to ensure strong paracompactness. For $T_3$ locally Lindelof spaces, ...
2 votes
1 answer
93 views
Is there always a small paracompact open containing a closed set?
If I have a paracompact Hausdorff topological space $X$, a closed subset $Y$ and an open set $U$ containing $Y$, why can we find a paracompact open set $V$ contained in $U$ such that $V$ still ...
4 votes
1 answer
58 views
Locally Finite Iff Closures are Locally Finite
John Lee's Introduction to Topological Manifolds has, in its discussion of paracompactness: Lemma 4.74. Let $X$ be a topological space and $\mathcal{A}$ a collection of subsets of $X$. Then $\mathcal{...
6 votes
3 answers
196 views
Is a paracompact perfectly normal space hereditarily paracompact?
Is the following implication true for topological spaces? paracompact + perfectly normal $\implies$ hereditarily paracompact. A proof or references would be appreciated. Let $X$ be a topological ...
1 vote
1 answer
96 views
Strongly collectionwise normal spaces with $G_\delta$ diagonal are submetrizable
There is a classic result by Chaber which says that a countably compact Hausdorff space with $G_\delta$ diagonal is metrizable. On Dan Ma's blog one can find that a countably compact space with $G_\...
2 votes
0 answers
51 views
Paracompactness and barycentric refinements
I'm studying the proof of the lemma that you can see in the image. It's usefull to prove a characterization of paracompactness. I'm trying to prove that if we have the additional hypothesis that $\...
2 votes
1 answer
102 views
Regular cubical subdivision of the cube $[0, 1]^\omega$
I am reading a paper on infinite-dimensional version of Sperner's Lemma and have a couple of clarification questions. This is Question 2. The author shows that an application of a Sperner's Lemma to ...
3 votes
1 answer
168 views
Subparacompact spaces and paracompactness
Let $X$ be a topological space. $X$ is called paracompact if every open cover has a locally finite open refinement. (No separation axiom assumed here.) $X$ is called subparacompact if every open ...
4 votes
0 answers
118 views
Are all Hausdorff scattered paracompact spaces zero-dimensional?
Reading e.g. https://arxiv.org/pdf/1606.01013 and https://arxiv.org/pdf/1012.0920 it seems that every Hausdorff scattered paracompact space is zero-dimensional. However, these articles typically cite ...
1 vote
0 answers
49 views
Michael's sufficient condition for paracompactness in $T_1$ spaces
Let $X$ be a topological space. A collection $\mathcal{A}$ of subsets of $X$ is said to be closure-preserving if for each subcollection $\mathcal{C}\subseteq \mathcal{A}$ we have that $$ \overline{ \...
3 votes
1 answer
65 views
Is the Everywhere doubled line submetacompact?
The Everywhere doubled line is an interesting example of a non-Hausdorff manifold that is homogeneous. See this question for some picture. The space can be described as the union of two real lines $X=...
2 votes
0 answers
151 views
Is a filter of type p contained in an ultrafilter of type p?
A family of subsets $\Omega$ of a topological space $X$ is locally ultimately dominating if for every $x \in X$ there is a neighbourhood $U^x$ such that $U^x \subseteq A$ for all but finitely many $A \...
2 votes
0 answers
72 views
Filters and Nets on Metrization
Since the Metrization Theorems are linked to the Paracompactness Theory, I recently wonder if there is some papers, books or theory written about the Metrization Theorems in terms of filters and nets ...