Embedding of products \({Q(k)\times B(\tau)}\) in absolute \(A\)-sets (Q2435785)

If \(f:Y\to X\) is a homeomorphism of \(Y\) onto the subspace \(f(Y)\subset X\), then \(f\) is called an embedding. There are at least two categories of embedding problems. If \(X\) is given, then we may ask for the class of spaces such that each member of the class embeds into \(X\). From that point of view the universal spaces have appeared. On the other side, in the inverse problem, if \(Y\) is given find conditions under which a certain class of spaces \(X\) contains a copy (closed copy) of the selected \(Y\). The paper treats this second type of embedding problem for \(Y= Q(k) \times B(\tau)\) where the space \(X\) is a complete metric space which is the union of two complementary \(A\)-sets (analytic sets) and \(\omega \leq \tau \leq k\) are cardinals. The main theorem consists of three equivalent statements. The third statement offers the possibility that the ambient space \(X\) contains \(B(k)\) and \(Q(k) \times B(\tau)\) as closed subspaces, where \(Q(k)\) is a generalization of the space of rational numbers to the nonseparable case of weight \(k\), and \(B(\tau)\) is the Baire space of weight \(\tau\) (a counterpart of the space of irrational numbers \(\mathcal N\)). Turning back to universal spaces, let us mention that Lipscomb's universal space \(L_0(\tau)\) contains as a closed subspace every 0-dimensional space of weight \(\leq \tau\).