Wednesday, 23 December 2015

real analysis - Showing there is a bijection from all open subsets to all closed subsets of M

(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:TK 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:AB and g:BA. 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

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...