Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I was reading this question: limiting behaviour of converging loops on a torus

And I wanted to be able to give an argument along the lines of: "If your loops are converging in your torus, their projections must converge in your $S^1$", but a quick google search gives me no results along these lines- do they exist? If not why not?

I am aware that if either of your spaces are unbounded then a sensible topology isn't particularly forthcoming, but is there a situation in which a result of this form can make sense? As a starting point let's set the bar at:

Do compact fibrations induce maps on their subsets that are continuous wrt Hausdorff distance?

Can we do better? Can we do a little worse? Or does none of this make sense?

share|improve this question

1 Answer 1

up vote 2 down vote accepted

Any uniformly continuous map $f$:X→Y between metric spaces induces a uniformly continuous map $C\mapsto \overline{f(C)}\ $ between the spaces of closed subsets wrto the Hausdorff distances; in fact with the same modulus of continuity. (Just recall that the Hausdorff distance between A and B is less than δ if and only if for any a∈A there is some b∈B with d(a,b)<δ and for any b∈B, there is some a∈A with d(a,b)<δ).

PS: As to the topologic side of the question (stability of topological or homotopical properties of subsets of a space under perturbations in Hausdorff distance). As far as I know these things usually work well in an ANR metric space X, because of the homotopy extension property. For instance, any closed subset of X that is contractible in X (meaning that the inclusion map $C\to X$ is null homotopic) has a contractible nbd in X. If X is also compact, the nbd is a uniform nbd, so if a sequence of closed sets $C_n$ converges in the Hausdorff sense to C, the $C_n$ are eventually contractible in X, too. Generalizing a bit, we may also say that the Lusternik-Schnirelman category of C (minimum cardinality of a contractible closed covering of C) is lower semicontinuous wrt the Hausdorff distance (the category of the limit is larger or equal to the limit of the category along the sequence). Reference (for ANR's and homotopy): e.g. the first 2 chapters of Spanier book.

share|improve this answer
    
Spot on, cheers! In particular, does this mean we can pass to the limit in singular homology? Is the hausdorff limit of boundaries a boundary? Of cycles a cycle? –  Tom Boardman May 23 '10 at 13:29
    
I've added a generic PS –  Pietro Majer May 23 '10 at 16:25
    
Brilliant! more than enough references to keep me busy as well! –  Tom Boardman May 23 '10 at 18:42

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.