(From Pugh's RMA) Let T be the collection of open subsets of a metric space M, and K be the collection of all closed subsets. Show there is a bijection from T to K.
I believe the bijection between T and K would be the function f:T→K that returns the interior of each closed subset; the inverse function would return the closure.
I attempted to prove this using the Schroeder-Bernstein Thm: there is a bijection between A and B if there are injective functions f:A→B and g:B→A. So I need to show that the closure and interior functions are injective.
But then I realized the interior function (which takes a closed set U and returns the intersection of all opens contained in U) isn't injective-- consider a an interval [a,b]∈R and consider [a,b]∪[p]∈R ([p] is an isolated point). They have the same interiors (I think).
Where does my approach go wrong? Was it a mistake to choose the interior and closure functions to test for injectivity? How would you find the bijection between T and K?
No comments:
Post a Comment