## Conditions useful for proving paracompactness

I have a family of properties which I want to show taken together imply paracompactness (I can show that they are all implied by paracompactness). I can prove a whole bunch of things which are consequences of paracompactness, and was wondering if given any of these there's some simpler property equivalent to paracompactness I could prove. Any suggestions would be welcome.

Given X with these properties I can prove:

• X is normal
• X is countably paracompact
• X is collectionwise normal
• Every open cover $\{ U_a \}$ can be shrunk to a closed cover $\{ F_a \}$ with $F_a \subseteq U_a$. (I assume this property isn't equivalent to paracompactness? I know it's equivalent to countable paracompactness when the set of $U_a$ is countable, and I know if you add "locally finite" to the condition it becomes equivalent to paracompactness)
• Every open cover of X by $\kappa$ many open sets, where $\kappa$ is regular, has an open refinement which is locally $< \kappa$.

I don't think together these are sufficient to prove paracompactness, though I don't have a counter example. I believe $\omega_1$ satisfies all the properties but the last, though I've not confirmed you can shrink open covers to closed (it looks plausible though).

Any suggestions of avenues to pursue?

-
 What goes wrong when trying to improve your proof of the last property? – François G. Dorais♦ Apr 20 2010 at 20:06 Basically everything. :-) There's no obvious way to extend it to get anything smaller. – David R. MacIver Apr 20 2010 at 20:30 If it goes that wrong, then you should be able to prove that your space is not paracompact. :-) – François G. Dorais♦ Apr 21 2010 at 0:31 Well, first off there's no way I can prove my space is not paracompact because it's not a single space, and I know all paracompact spaces qualify. :-) But additionally the problem is that (as mentioned elsewhere) it's a parameterised property. The choice of parameter for the case locally < k isn't usefully shrinkable. – David R. MacIver Apr 21 2010 at 7:40 To elaborate, the proof of shrinkability is the one I think most likely to be extendable. The construction is clearly providing more than I'm using in concluding shrinkability (because I can demonstrate that it also rules out $\omega_1$, which is shrinkable), but I can't get a handle on how much more. – David R. MacIver Apr 21 2010 at 8:26

This paper has some theorems on shrinkable covers, which might be helpful. It's pretty close to normality, it seems (I knew that we can shrink locally finite covers in normal spaces). This book has some connections to $\kappa$-Dowker spaces that might be useful. It is mentioned that Navy's space is also shrinking (i.e. has your fourth property), so it might be a candidate counterexample.

-

Well, there's always compact or Lindelof + T3. I actually made a graph about that!

Beyond that... Well, from counterexamples in topology we find out that:

Fully Normal -> Paracompact

T2 + Fully T4 -> Paracompact

As for my personal thoughts: there's probably some way to reverse paracompactness -> metacompactness:

Paracompact: Every open cover locally finite. Metacompact: Every open cover point finite.

You'd need a pretty odd space to not have them be equivalent. Specifically: there exists some point with which every open cover has finite intersections but any open set containing it has non-finite intersections...

I suppose a non-finite number of sets approach each point from different directions so that they don't overlap too much? If you think about that in terms of dimensions, it's very weird. $\mathbb{R}^{\aleph_0}$?

-
 Compact and lindelof aren't options. The properties I'm working with are all implied by paracompactness, so anything stronger than paracompactness isn't possible to prove. Metacompactness / weak paracompactness might be an option - they're equivalent propeties for collectionwise normal spaces - but so far I've not had any luck in proving them. – David R. MacIver Apr 20 2010 at 19:54 Oops. I read "suggestions of avenues to pursue" as an opening for any property... Perhaps you might list the properties you are working with? – Christopher Olah Apr 20 2010 at 20:04 It requires a fair bit of machinery to explain the properties. Essentially it's a parameterized property we're calling OCA(V), where V is a normed space. The property is basically designed to let you construct continuous functions from X into V. – David R. MacIver Apr 20 2010 at 20:23