Question. Is there a Baire subspace $X$ of a Tychonoff power $M^\kappa$ of some separable metrizable space $M$ such that for any countable subset $A\subset \kappa$ the projection $$X_A=\{x{\restriction}A:x\in X\subset M^\kappa\}\subset M^A$$ of $X$ onto $M^A$ in a meager (metrizable separable) space?

Actually, I am interested in the negative answer under the assumption that the Baire space $X$ has countable spread (i.e., does not contain an uncountable discrete subspace).

Let us recall that a topological space $X$ is

$\bullet$ meager if $X$ can be written as a countable union of closed subsets with empty interior;

$\bullet$ Baire if $X$ contains no non-empty open meager subspace.

Remark. I admit that the answer to the Question can depend on some set-theoretic assumptions (like CH or Martin's Axiom).

  • $\begingroup$ I take it you want $X_A$ to be meager-in-itself, as $2^\kappa$ in $[0,1]^\kappa$ is Baire with nowhere dense projections. $\endgroup$ – KP Hart Jan 14 at 9:36
  • $\begingroup$ @KPHart Exactly, becase of that I wrote that $X_A$ is a meager space, not a meager subset of $M^A$. $\endgroup$ – Taras Banakh Jan 14 at 10:56

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.