On the notion of measurability
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.
- In search of a measure in Poncelet's porism
- The measurable boundaries of a real function
- Trivial measures are not so trivial
- A localization of -measurability
- How constructive is constructing measures?
- scientific article; zbMATH DE number 67772 (Why is no real title available?)
- Fragile measurability
- Pointwise measurable functions
- scientific article; zbMATH DE number 3999734 (Why is no real title available?)
- A note on measurement
- Measurability of functions mapping a charge space into a uniform space
This page was built for publication: On the notion of measurability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367058)
