Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The entry on topological group could stand more work, but I added some stuff on the uniform structure, in particular the proposition that for group homomorphisms , continuity at a single point guarantees uniform continuity over all of . The proof is follow-your-nose, of course.
What we really need is an entry Haar measure. I’ll get started on that soon.
added note at topological group – Protomodularity
Also created TopGrp and linked to it from protomodular category (which is mainly empty!)
added to topological group statement and proof that locally compact topological groups are paracompact (here)
In the first statement you have (connected) locally compact, and then in the second you have just locally connected. Do you want locally connected locally compact?
I made an edit to indicate how local connectedness does get used at the end, to ensure that the connected component of the identity is an open subgroup (whereupon the group is a coproduct of the cosets of that connected component). I’m not sure how you’d argue that without local connectedness though.
Thanks, Todd, for the fixes.
I was about to do some of them myself, but my internet connection keeps going down, and then you had already locked the entry. (At least that worked tis time! :-)
I was being dumb before. Local connectedness is not needed.
I’ve therefore done some editing. I hope the (somewhat significant) edit doesn’t come across as rude, but it seems to me that the argument becomes less wordy if you make the two statements of the Theorem the punch lines at the very end of the proof. See what you think.
Ah, right, thanks. Looks good, thanks.
As you will have deduced from my activity, I was trying to collect useful classes of “concrete” examples of paracompact spaces, e.g. CW-complexes, locally compact topological groups. What else to include?
Metrizable spaces, of course (and I see that’s in the list of examples at paracompact space). It looks like this covers the major examples that most people talk about.
Point-set topologists will probably remind us that regular Lindelöf spaces are paracompact, but I couldn’t even tell you the definition of Lindelöf space without looking it up. So I have no feeling for those.
What I might like to know is what sorts of categorical operations paracompact spaces are closed under. We’ve got coproducts in . Equalizers of maps between paracompact Hausdorff spaces: yes. Countable products? (Uncountable products: no.) What sorts of colimits? I haven’t seen this sort of thing discussed.
Reflection? Coreflection? etc.
Well, apparently even finite products in is a ’no’. The Sorgenfrey plane which is a product of two Sorgenfrey lines is not paracompact, so I am told.
One thing led to another, and I created Sorgenfrey line (to which Sorgenfrey plane redirects).
Metrizable spaces, of course
Right, so that’s why I said “classes of concrete examples”, thinking of something that one is going to test in practice. From my experience we regularly check for instance if something admits the structure of a CW-complex or if something is a locally compact topological group. But metrizability?
Smooth mapping spaces are infinite-dimensional and paracompact, which was to me slightly counter-intuitive.
Even just Fréchet spaces in general, which are examples of metrizable spaces that don’t always come with a canonical metric - one can of course build one from the family of seminorms, but it can be slightly arbitrary.
But metrizability?
Why on earth not? This is one of the best studied of all classes of spaces, and people have expended a lot of effort exploring necessary and sufficient conditions (i.e., tests) for metrizability.
David actually raises a good point. For example, it’s not always completely obvious when say a LF-space is metrizable.
Put differently, it seems to me believable that people “check” that something is metrizable about as frequently as they “check” that something is a locally compact topological group.
Thanks. Please bear with my ignorance.
Now I remember why I interrupted writing out a proof that metric spaces are paracompact: the proof I wanted to do used Michael’s theorem, and I am still stuck on the proof of that. On p. 3 of Michael’s article (pdf) he says
and since each element of the locally finite covering intersects only finitely many elements of , is locally finite.
But is a closed cover. This only implies that is point-finite, i.e. that every point is contained in a finite number of the elements of , but it does not in itself imply that there is an open neighbourhood of every point which intersects only a finite number of the elements of , for that to be true we would need that has a refinement by an open cover.
I suppose I must be making a fool of myself here. So be it. What am I missing?
Is given by closure of an open cover? Or more generally do the interiors of the elements still cover?
do the interiors of the elements still cover?
That had been my first thought, too.
But check that single paragraph labeled “(c) (a)” on p. 3 of that short pdf.
The closed cover is not constructed in any way that would make it inherit tacit extra properties. Instead it is taken to exist by the assumption (labeled “(c)”) that every open cover has a closed locally finite refinement.
Next I thought that Michael is using terminology in a (nowadays, maybe) non-standard way, that maybe “closed cover” means “cover by closed neighbourhoods” for him. But on p. 2 he states his definitions in the paragraph starting with “Let us quickly recall the definitions” and from that a closed cover is nothing but a cover by closed sets.
Or else I am missing something.
On the other hand, the implication “(b) (c)” does produce a closed cover whose interiors still cover. So maybe if we rephrase item (c) appropriately, then the issue goes away.
the implication “(b) (c)” does produce a closed cover whose interiors still cover.
Sorry, no, it does not. It produces a cover whose patches are closures of patches of another cover, but that other cover is by any subsets, not necessarily open.
Hmm, ok. I haven’t got anything else right now, sorry.
Hi Urs, I took a look at the proof of c) => a). I believe that it works; I will try to explain it.
The key idea is the consideration of the covering . Note that the defining property of this covering is that every set in it intersects only finitely many sets in . Of course we need to convince ourselves that such a covering exists, but let’s assume that for the moment. Now, is by definition a refinement of , so it inherits the same property: every set in intersects only finitely many sets in .
It now follows that a set in also intersects only finitely many sets of the form for in , because even though is larger than , it has, by construction, the property (as is explicitly pointed out) that a set in intersects if and only if it intersects .
It follows immediately that a set in also intersects only finitely many sets of the form for in , because is smaller than , so can intersect at most as many sets of this form as of the form , and, as we have observed, there are at most finitely many such sets.
The closedness of is used only in deducing that is open (proving that is open is quite a fun little argument). The local finiteness of is used only at the very end of the proof.
It remains to justify that a covering with the defining property of can be found. To obtain the covering from , the assumption of c) is being used (so this assumption is used twice in the proof). To get , we can just pick, for every , the open set which the local finiteness of provides us with.
Hi Richard,
the issue that I am referring to is not the local finiteness of , that is clear, but the local finiteness of , that last step in the proof for (c) (a)
We want to check that an open cover is locally finite. This means equivalently that there is another open cover all whose elements intersect only finitely many of the elements in . Michael’s proof suggests to use as this other cover. But is not an open cover. So why does it follows that is locally finite?
Hi Urs, what I explained was a proof of the following claim.
each element of … intersects only finitely many elements of
From this and the fact that is locally finite, it is immediate that is locally finite. Indeed, take an in . Because is locally finite, there is an open neighbourhood of which intersects only finitely many sets in . Now, by the claim that I quoted and explained a proof of, each of these sets intersects only finitely many sets in . So intersects only a finite union of finitely many sets in , hence it intersects only finitely many sets in .
So is locally finite, and it is certainly open and a refinement of , so we are done.
Oh, I see. All right, so I was indeed making a fool of myself. Thanks.
On the contrary, I wish people would ask these kinds of question more often. I enjoyed thinking about it, and hopefully you were able to make some progress a little quicker than might otherwise have been the case. Everyone gets stuck in this way often; having the honesty to acknowledge this in particular cases is very fruitful, I feel.
I very much agree with Richard here.
added pointer to:
added DOI to
added pointer to:
1 to 31 of 31