On the notion of measurability (Q2367058)

The goal of this note is to establish some relations between two concepts of measurability. Let \(S\) be a measurable space and \(Y\) be a topological space. Definition 1. A measurable function \(f:S \to Y\) is a member of the least class closed under pointwise convergence of sequences containing step functions. Definition 2. A measurable function is a mapping \(f:S \to Y\) under which the inverse image of any open subset of \(Y\) is a measurable set on \(S\). Remark. In the case where \(Y\) is the real line, the two concepts mentioned above are equivalent. Proposition 1. If \(Y\) is perfectly normal, then any function measurable in the sense of Def. 1 is measurable in the sense of Def. 2. Mention must be made of the fact that the perfect normality is not sufficient for the converse conclusion of Prop. 1. Proposition 2. If \(Y\) is perfectly normal and a second countable Hausdorff space, then a function \(f:S \to Y\) is measurable in the sense of Def. 1 if and only if it is measurable in the sense of Def. 2.