I have to prove that a subset $A \subset F$ of meager set $F$ is also a meager set.

From the definition of meager set $F = \bigcup_{n=1}^{\infty}F_n$, where $F_n$ is a nowhere dense set.

As I know we have to show that $A$ has also similiar form, but the question is how do we find these nowhere dense sets, that sum to the whole $A$?


Notice that

$A=F\cap A=\bigcup_{n=1}^\infty F_n\cap A$.

Is $A_n:=F_n\cap A$ a nowhere dense set?

  • $\begingroup$ I get the idea, but technically I don't know how to justify, that such intersection is also nowhere dense. Any hints? $\endgroup$
    – janusz
    Oct 7 '16 at 11:07
  • 1
    $\begingroup$ @janusz Hint: a subset of a nowhere dense set is nowhere dense. $\endgroup$
    – bof
    Oct 7 '16 at 11:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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