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
    If by $(\bar E)_x$ you mean the topological closure of $E_x$, then what you're asking has nothing to do with product spaces and (presumably, although you didn't mention it) the Kuratowski-Ulam Theorem. I don't know how general you want "space" to be (and it is likely this will involve technical details that I don't know much about, such as Baire spaces and Cech complete spaces and the like), but it's pretty trivial that "closed and first category" implies "nowhere dense" in ${\mathbb R}^n.$ In fact, even in a complete metric space, "$G_{\delta}$ and first category" implies "nowhere dense."2011-11-28
  • 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