1
$\begingroup$

Let $E$ be a subset of first category of product space $X \times Y$. Why is the following true: if $(\bar E)_x \subset Y$ is of first category then it follows that $E_x$ is nowhere dense. $E_x$ denotes the $x$-section of E: the projection of $E \cap (\{x\} \times Y)$ down to $Y$.

  • 0
    I see now from the title (but not anywhere in the question itself) that $(\bar E)_x$ is intended to be the $x$-section of the closure of $E.$ The projection of a closed set does not have to be closed (e.g., the projection onto the $x$-axis of the graph of $xy = 1$ in ${\mathbb R}^2$), so I'm not sure where to go off-hand. I still think you need some assumptions on the spaces $X$ and $Y,$ however.2011-11-28

0 Answers 0