I'm working my way through a proof of the Baire Category Theorem & need help with some of the concepts involved...
First off, can someone help me with understanding the definition of "nowhere dense" & "somewhere dense"? I've got the definition of somewhere dense as being "a set A is somewhere dense in a complete metric space B if the closure of A contains an open subset of B" ... For nowhere dense I have A is nowhere dense in B if the interior of its closure is dense in B.
I'm comfortable with all the other terms/concepts in the definition, even "dense", but these two definitions just haven't really 'clicked' I guess. I think what I need is a few examples. The books I'm working from have none :-/ ... So yeah if someone could really spell it out for me and throw a few examples in I'd appreciate that very much.
Also, with regards to an interior of a closure, is this interpretation:
If A is open then the interior of it's closure is A itself ... if A is closed then the interior of it's closure is a subset of A.
Part of the BCT as it's stated in the book I'm working from is: Let (X,d) be a complete metric space. Then if U1, U2, U3... are countably many dense open subsets of X then the intersection of N Un's is dense in X.
I only have a small photocopied part of this book, and I have been introduced to "countable" from another book as meaning either finite or countably infinite. Is it true that some authors (including this one) use it only to mean countably infinite, and NOT finite? Otherwise, where does this break down - the rationals and irrationals are both dense in the reals, but their intersection is null, and the closure of the null set is null, which is not the reals... ?
Lastly, could someone suggest a few simple examples of the BCT?
Thank you very much to anyone who takes the time to answer any of this!