Analogue of open/closed maps for measurable spaces $\newcommand{\A}{\mathcal{A}}\newcommand{\T}{\mathcal{T}}$The notions of continuous map of topological spaces and measurable function of measurable spaces are very similar:

*

*A map of topological spaces from $(X,\T_X)$ to $(Y,\T_Y)$ is continuous if for each $V\in\T_Y$, we have $f^{-1}(V)\in\T_X$.

*A map of measureable spaces from $(X,\A_X)$ to $(Y,\A_Y)$ is measurable if for each $V\in\A_Y$, we have $f^{-1}(V)\in\A_X$.

Similarly, a map from $(X,\T_X)$ to $(Y,\T_Y)$ is open if for each $U\in\T_X$, we have $f(U)\in\T_Y$.
Does the analogue of openness for measurable spaces have a name? Is there some place where I can read more about it and its properties?
 A: There are at least three different answers that can be given to this question, and in all three interpretations the answer essentially states that all maps are “open”, for the appropriate analogue of “open”.
In the first interpretation, we may ask: under what conditions is the image of a measurable set measurable?
Of course, in measure theory we typically work with equivalence classes of measurable maps modulo equivalence almost everywhere, i.e., up to a set of measure 0 (alias negligible set), so first we need to give a more precise definition of an image that interacts nicely with negligible sets.
Below, I reuse the notation of the main post.
Definition.  The measurable image of a mesurable map $\def\cA{{\cal A}}f\colon X→Y$ is a subset $V∈\cA_Y$ such that $f^{-1}(Y∖V)$ is negligible and, furthermore, for any $W∈\cA_Y$ such that $W⊂V$ and $f^{-1}(W)$ is negligible, the set $W$ itself is negligible.  The measurable image of $U∈\cA_X$ is defined as the measurable image of the map $f|_U\colon U→Y$, where $U$ is equipped with the induced structure of an enhanced measurable space.
Of course, this definition requires the additional data of σ-ideals of negligible sets $\def\cN{{\cal N}}\cN_X⊂\cA_X$ and $\cN_Y⊂\cA_Y$, which we therefore include in the given data.  Adopting the terminology of arXiv:2005.05284, we refer to a triple $(X,\cA_X,\cN_X)$ as an enhanced measurable space.  If we want composition of measurable maps to respect the equivalence relation of equality almost everywhere, we must also require that preimages of negligible sets are negligible, in complete analogy to the existing requirement that preimages of measurable sets are measurable.  Below, a morphism of enhanced measurable spaces is an equivalence class of such maps modulo equality almost everywhere; in the uncountably separated case some care must be exercised when defining equality almost everywhere, see Definition 4.13 in arXiv:2005.05284.
The following theorem is due to Fremlin (Lemma 451Q in his Measure Theory).  An exposition that matches the presentation of this post can be found in Proposition 4.65 of arXiv:2005.05284.
Theorem (Fremlin, 2003).  The measurable image exists whenever $(X,\cA_X,\cN_X)$ is Marczewski-compact and $(Y,\cA_Y,\cN_Y)$ is strictly localizable.  The equivalence class (up to a negligible set) of the measurable image is uniquely defined.
Marczewski-compactness is essentially the abstract reformulation of a Radon measure (not relying on the structure of a topological space) and strict localizability amounts to being isomorphic to a disjoint union of σ-finite spaces.  In particular, with the exception of trivial counterexamples constructed for a specific purpose, all measure spaces used in standard textbooks are compact and strictly localizable, since Radon measure spaces are automatically compact and all σ-finite measure spaces are strictly localizable.  See the sources cited above for more details.
In the second interpretation we may ask for a more direct relation between measurable maps of measurable spaces and open maps of topological spaces.
Here is a theorem that establishes such a relation.
Theorem (Theorem 1.1 in arXiv:2005.05284).  The category of compact strictly localizable enhanced measurable spaces is equivalent to the category of hyperstonean topological spaces and open continuous maps.
In one direction, the equivalence sends an enhanced measurable space $(X,\cA_X,\cN_X)$ to the Gelfand spectrum of the von Neumann algebra of bounded measurable functions on $X$, or, equivalently, the Stone spectrum of the Boolean algebra $\cA_X/\cN_X$.  In the other direction, the equivalence sends a hyperstonean topological space $\def\cT{{\cal T}}(X,\cT_X)$ to the enhanced measurable space $(X,\cA_X,\cN_X)$, where $\cN_X$ is the set of all meager subsets of $X$ (alias sets of first category) and $\cA_X$ is the set of all subsets of $X$ with the Baire property (i.e., symmetric differences of open subsets and meager subsets).
Thus, morphisms of enhanced measurable spaces correspond precisely to open maps of hyperstonean topological spaces.
Finally, if you are willing to go a little bit beyond point-set topological spaces in the setting of locales (which are a rather mild adjustment of the usual notion of a topological space), then a third answer is possible.
Theorem (Theorem 1.1 in arXiv:2005.05284).  The category of compact strictly localizable enhanced measurable spaces is equivalent to the category of measurable locales.
Here the category of measurable locales is a full subcategory of locales whose underlying frames are Boolean algebras admitting a completely additive measure.
It is in this precise sense that we can consider measure theory to be a part of general topology (understood here as including the study of locales).  Having nonspatial locales (i.e., locales that do not come from a point-set topological space) is essential, since almost all measurable locales are not spatial.  The notion of an open map makes sense for locales, and can be defined in a formally similar way: the image of an open sublocale must be open.  With this definition, it is easy to prove (Lemma 2.44 in arXiv:2005.05284) that any morphism of measurable locales is an open map of locales.
A: A classical theorem about open mappings is the invariance of domain. This theorem asserts that an injective continuous map from ${\bf R}^n$ to ${\bf R}^n$ is open: the image of an open set is an open set. The space ${\bf R}^n$ can be replaced by any manifold. This is proven in most algebraic topology books, such as Hatcher.
There is an analogous result in measure theory that asserts that for an injective Borel map from $[0,1]$ to $[0,1]$, the image of a Borel set is a Borel set. The interval $[0,1]$ can be replaced by any standard Borel space. A reference is the book of Kechris, Classical Descriptive Set Theory.
