Irreducible restrictions of closed mappings (Q1295292): Difference between revisions

By a result of \textit{N. Lashnev} [Sov. Math., Dokl. 6, 1504-1506 (1966); translation from Dokl. Akad. Nauk SSSR 165, 756-758 (1965; Zbl 0145.19603)], every continuous, closed surjection \(f:X\to Y\), with \(X\) paracompact and \(Y\) Fréchet, is inductively irreducible (i.e., there exists a closed \(X'\subset X\) such that \(f(X')=Y\) and \(f| X'\) is irreducible). The following results related to this theorem are obtained: (1) Lashnev's theorem becomes false (even when \(X\) is Lindelöf) if \(Y\) is not assumed to be Fréchet. (2) Assume that no weakly inaccessible cardinal exists. Then Lashnev's theorem remains true (even when \(X\) is only meta-Lindelöf) if the assumption that \(Y\) is Fréchet is weakened to assuming only that \(Y\) does not contain a nonempty, dense-in-itself, open subset \(S\) which is a \(P\)-space (i.e., every \(G_\delta\)-subset of \(S\) is open).