Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: √ ∞ ≠ ≤ ≥ ≈ ⇒ ∈ Δ θ ∴ ∑ ∫ π -

Login

Username

Password

Not registered yet?

#1 2009-06-26 11:10:33

Ricky
Moderator

Offline

Baire's category theorem

I found this to be a rather interesting proof.  Use Baire's category theorem to prove the following:

If

is a collection of open dense sets in a complete metric space
, then
is dense.

Give a counter example to show that "open" is a required property, without using the axiom of choice.



"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."
 

#2 2009-07-13 01:31:47

Ricky
Moderator

Offline

Re: Baire's category theorem

Bump!  I'll be posting the really cool solution to this problem by tonight unless someone tells me not to.  So if you want to work on it, let me know.


"In the real world, this would be a problem.  But in mathematics, we can just define a place where this problem doesn't exist.  So we'll go ahead and do that now..."
 

Board footer

Powered by FluxBB