By using a similar pattern of arguments, we show that in four categories the collection of isomorphisms forms a residual subset of the space of morphisms. We first consider surjective continuous mappings on Cantor spaces. Next, we look at measure preserving maps on Polish measure spaces. We then consider the L^1 representations of nonsingular maps on Polish measure spaces. Finally, we examine continuous, measure preserving maps on Cantor spaces equipped with so-called good measures.
A Cantor space X is a topological space satisfying the following properties.
X is compact and metrizable.
X is zero-dimensional, i.e. the clopen sets form a basis for the topology.
X is perfect, i.e. there are no isolated points, or, equivalently, every non-empty open subset is infinite.
(Uniqueness) Any two Cantor spaces are homeomorphic.
As this result is well-known we will just sketch the proof.
Given a Cantor space X we build homeomorphism from X onto our standard space C by constructing inductively a monotone sequence \{\mathcal P_n \} of clopen partitions on X, an increasing sequence \{ m_n \} of positive integers and a labelling bijection w : \mathcal P_n \to \{ 0, 1\}^{[m_n]} such that if V \in \mathcal P_{n+1} is contained in U \in \mathcal P_n, then the label of U is an initial string of the label of V. Thus,
In addition,
For the inductive step, we can choose k_n large enough that every U \in \mathcal P_n can be partitioned by 2^{k_n} clopen sets each of diameter less than 1/(n+1). Put these together to define \mathcal P_{n+1}. Let m_{n+1} = m_n + k_n. Label the elements of \mathcal P_{n+1} which are contained in U using those m_{n+1}-strings whose initial m_n-strings equal w(U).
For each point x \in X, there is a unique sequence \{ U_n \in \mathcal P_n \} with x \in U_n. Because the sequence \{ \mathcal P_n \} is monotone, U_{n+1} \subset U_n. Thus, there exists a unique w(x) \in C such that w(x)|[m_n] = w(U_n). On the other hand, if z \in C, there is a sequence \{ U_n \in \mathcal P_n \} with z|[m_n] = w(U_n). From (Proof) it follows that U_{n+1} \subset U_n. The decreasing sequence \{ U_n \} of nonempty compacta has a nonempty intersection and (Proof) implies that the intersection is a singleton x. Clearly, w(x) = z. Thus, the map x \mapsto w(x) is a bijection from X to C. From
it follows that the map is a homeomorphism.
(\mathbf{G_{\delta}}) For compact metrizable spaces X and Y,
\mathcal C_{sur}(X,Y) is a closed subset of
\mathcal C(X,Y) and \mathcal C_{iso}(X,Y) is a G_{\delta} subset of \mathcal C(X,Y).
If A, B are closed subsets of X and Y respectively with open complements U and V then the compact sets T(A) and B are a positive distance apart if they are disjoint. So \{ T\in \mathcal C(X,Y) : T(A) \cap B = \emptyset \} is an open subset of \mathcal C(X,Y).
For any proper open subset V of Y, it follows from (?)that \{ T \in \mathcal C : T(X) \subset V \} is an open set and taking the union over all such proper open sets V, we obtain the open set \mathcal C \setminus \mathcal C_{sur}. Hence, \mathcal C_{sur} is closed.
Clearly, T \mapsto T \times T is a continuous map from \mathcal C(X,Y) to \mathcal C(X \times X,\\ Y \times Y). With the metric d on X, the set V_{1/n} = \{ (x_1,x_2) : d(x_1,x_2) < 1/n \} is open in X \times X. With \Delta_Y = \{ (y,y) \}, the closed diagonal in Y, it follows from (?)that \{ T \in \mathcal C :(T \times T)^{-1}(\Delta_Y) \subset V_{1/n} \} is open. Intersecting over n we see that the set of injective maps is G_{\delta}. Since a closed set in a metric space is always G_{\delta}, it follows that \mathcal C_{iso} is G_{\delta}.
(Density) Let T : X \to Y be a surjective, continuous map with X and Y Cantor spaces. For d an admissible metric on Y and \epsilon > 0, there exists a homeomorphism T_1 of X onto Y such that
.
Let \mathcal P = \{U_1, \dots, U_n \} be a clopen partition of Y with mesh at most \epsilon. Since T is surjective and each U_i is nonempty, it follows that each T^{-1}(U_i) is a nonempty clopen subset of X and so \{ T^{-1}(U_1), \dots, T^{-1}(U_n) \} is a clopen partition of X. Each U_i and each T^{-1}(U_i) is a Cantor space and so Proposition 2.2 implies we can choose a homeomorphism \hat T_i from T^{-1}(U_i) onto U_i. Concatenating we obtain the homeomorphism T_1 from X onto Y. Clearly, for all x \in X
Since the partition \mathcal P has mesh at most \epsilon, (2.4) follows.
If X and Y are Cantor spaces, then the set of homeomorphisms \mathcal C_{iso}(X,Y) is a G_{\delta} subset of the completely metrizable space \mathcal C(X,Y) and it is dense in the closed subset \mathcal C_{sur}(X,Y) of surjective maps. Thus, the generic surjective map is invertible.
For a measure space, the associated measure algebra is a complete metric space.
Let \{ A_n \in \mathcal B \} represent a Cauchy sequence in \mathcal M. The sequence of characteristic functions \{ 1_{A_n} \} is clearly fundamental in measure in the sense of [H50] Section 22 of Chapter IV. By Theorem E of that section the sequence \{ 1_{A_n} \} converges in measure to a measurable function k and a subsequence converges almost uniformly, and so pointwise a.e., to the function k. It then follows that k is the characteristic function of some set A and that \{ d(A_n,A) \} has limit zero.
Let T : (X, \mu) \to (Y, \nu) be a measure space map.
(a) If T : (X, \mu) \to (Y, \nu) is a measure space isomorphism with inverse \hat T then there exist subsets X_1 \subset X and Y_1 \subset Y of full measure such that the restriction T|X_1 is a bijection onto Y_1 with inverse the restriction \hat T|Y_1.
(b) Conversely, if there exist subsets X_1 \subset X and Y_1 \subset Y of full measure such that the restriction T|X_1 is a bijection onto Y_1 with a measurable inverse, then T is a measure space isomorphism.
(a) Let X_0 \subset X and Y_0 \subset Y be subsets of full measure such that \hat T \circ T is the identity on X_0 and T \circ \hat T is the identity on Y_0. Let X_1 = X_0 \cap T^{-1}(Y_0) and Y_1 = Y_0 \cap \hat T^{-1}(X_0). If x \in X_1 then T(x) \in Y_0 and since x \in X_0, \hat T(T(x)) = x. Hence, T(x) \in \hat T^{-1}(X_0). That is, T(X_1) \subset Y_1 and similarly, \hat T(Y_1) \subset X_1. The maps T : X_1 \to Y_1 and \hat T : Y_1 \to X_1 are clearly inverses.
(b) Define \hat T to be (T|X_1)^{-1} on Y_1 and map Y \setminus Y_1 to a point x of X_1. Since \hat T maps into X_1, we have for A \in \mathcal B_X, \hat T^{-1}(A) = T(A \cap X_1) if x \not\in A or T(A \cap X_1) \cup (Y \setminus Y_0) if x \in A. These are measurable because (T|X_1)^{-1} is assumed measurable and T(A \cap X_1) = ((T|X_1)^{-1})^{-1}(A \cap X_1). Since A \cap X_1 = T^{-1}(T(A \cap X_1)) \cap X_1 we have
Hence, \hat T : (Y, \nu) \to (X, \mu) is a measure space map. Since \hat T \circ T is the identity on X_1 and T \circ \hat T is the identity on Y_1, \hat T is the inverse of T.
For measure algebras \mathcal M_X and \mathcal M_Y with \mu(X) = \nu(Y) a mapping S : \mathcal M_Y \to \mathcal M_X is a measure algebra map when it satisfies:
(i) S(B_1 \cup B_2) = S(B_1) \cup S(B_2) and S(B_1 \setminus B_2) = S(B_1) \setminus S(B_2) for all B_1, B_2 \in \mathcal M_Y.
(ii) \mu(S(B)) = \nu(B) for all B \in \mathcal M_Y.
(iii) If \{ B_i \} is a full sequence in \mathcal M_Y, then \{ S(B_i) \} is a full sequence in \mathcal M_X.
(Uniqueness) Any two normalized, separable,
nonatomic measure algebras are isomorphic.
It suffices to show that a normalized, separable, nonatomic measure algebra \mathcal M_X is isomorphic to \mathcal M_I. Let \{E_1, E_2, \dots \} be a dense sequence in \mathcal M_X. We construct a monotone sequence of measure algebra partitions \{ \mathcal P_n \} and maps S : \mathcal P_n \to \mathcal B_I such that
The \mu-mesh |\mathcal P_n| is at most 1/n and E_n is a union of elements of \mathcal P_n.
The set S(\mathcal P_n) = \{ S(A) : A \in \mathcal P_n \} is a partition of I by closed intervals with \lambda(S(A)) = \mu(A).
If A \in \mathcal P_n, B \in \mathcal P_{n+1} with B \subset A, then S(B) \subset S(A).
Thus, \{ S(\mathcal P_n) \} is a monotone sequence of partitions of \mathcal M_I with |S(\mathcal P_n)| = |\mathcal P_n|.
We begin the inductive construction with \mathcal P_1 = \{ E_1, X \setminus E_1 \}. Let S(E_1) be the interval [0,\mu(E_1)] and let S(X \setminus E_1) be the interval [\mu(E_1),1]. Since \mathcal M_X is normalized, \mu(X \setminus E_1) = 1 - \mu(E_1).
Now assume that \mathcal P_k and S : \mathcal P_k \to \mathcal B_I have been constructed for k \le n. Because \mathcal M_X is nonatomic, we can choose a refinement \mathcal P_{n+1} of the common refinement \mathcal P_n \wedge \{ E_{n+1}, X \setminus E_{n+1} \} such that |\mathcal P_{n+1}| \le 1/(n+1). Given A \in \mathcal P_n, \mathcal P_{n+1} contains a partition \{ B_1, \dots,B_k \} of A. Now S(A) is an interval [a,b] of length \lambda(S(A)) = \mu(A). Choose S(B_1) = [a,a+\mu(B_1)], S(B_2) = [a+\mu(B_1),a+\mu(B_1)+\mu(B_2)], etc to obtain a partition of [a,b] by closed intervals. Letting A vary over \mathcal P_n we obtain the partition \mathcal P_{n+1}. This completes the inductive construction.
Let \mathcal B_0 be the subalgebra of \mathcal B'_X generated by the representatives of \bigcup_n \{ \mathcal P_n \} and let \mathcal M_0 be the associated subset of \mathcal M_X. If A \in \mathcal M_0 then for some n A is a union of elements of \mathcal P_n and we let S(A) be the union of the corresponding intervals. Since the sequences of partitions are monotone, the definition of S(A) is independent of the choice of large enough n. Thus, we obtain a measure algebra map S : \mathcal M_0 \to \mathcal M_I. As S is an isometry and \mathcal M_0 is dense in \mathcal M_X, S extends to an isometry from \mathcal M_X to the complete metric space \mathcal M_I. From continuity of the algebraic operations it follows that S is a measure algebra map on all \mathcal M_X. Finally, since the mesh of the S(\mathcal P_n) tend to zero, every interval in I can be arbitrary closely approximated by a union of intervals in \bigcup_n \{ S(\mathcal P_n) \}. Thus, S(\mathcal M_0) is dense in \mathcal M_I and so S : \mathcal M_X \to \mathcal M_I is surjective and is thus an isomorphism.
(Uniqueness) Any two infinite, separable,
nonatomic measure algebras are isomorphic.
We construct an isomorphism of \mathcal M_X with \mathcal M_{\mathbb R}. Let \mathcal P = \{ A_k \in \mathcal B' : k \in \mathbb Z \} be a partition of X by sets of finite, positive measure with a_k = \mu(A_k). Since \mu(X) = \infty, \ \sum_k \ a_k = \infty. We choose the numbering so that \sum_{ k > 0 } \ a_k and \sum_{k < 0} \ a_k are both infinite. Let J_0 = [0,a_0) and for k > 0 let J_k = [a_0 + \dots + a_{k-1}, a_0 + \dots + a_k). Let J_{-1} = [a_{-1},0) and for k < -1 let J_k = [a_k + \dots a_{-1}, a_{k+1} + \dots a_{-1}). By normalizing, we can apply Proposition 3.4 to obtain a measure space isomorphism S_k : (A_k,\mu|A_k) \to (J_k,\lambda|A_k) and define for A \in \mathcal M_X, B \in \mathcal M_I
to get the required isomorphism.
(\mathbf{G_{\delta}}) If \mathcal M_Y and \mathcal M_X are separable, nonatomic measure algebras, then the set of isomorphisms \mathcal S_{iso}(\mathcal M_Y.M_X) is a G_{\delta} subset of \mathcal S(\mathcal M_Y.M_X).
Let \{E_i \} be a dense sequence in \mathcal M_X. If S \in \mathcal S, then because it is an isometry, the range S(\mathcal M_Y) is a closed subset of \mathcal M_X. Since S is not an isomorphism exactly when it is not surjective, this occurs when some E_i is at a positive distance from the range of S. Define for positive integers i, k
This is a closed set and \mathcal S \setminus \mathcal S_{iso} is the union of the countable collection obtained by varying i and k. Since \mathcal S \setminus \mathcal S_{iso} is an F_{\sigma} set, the complement \mathcal S_{iso} is a G_{\delta}.
(Density) Let S : \mathcal M_Y \to \mathcal M_X be a measure algebra map with \mathcal M_X and \mathcal M_Y separable, nonatomic measure spaces. If \{ E_1, E_2, \dots \} is a dense sequence in \mathcal M_Y, then for any positive integer n, there exists a measure algebra isomorphism S_n : \mathcal M_Y \to \mathcal M_X such that S(E_i) = S_n(E_i) for i = 1, \dots, n. The sequence \{ S_n \} converges to S in \mathcal S(\mathcal M_Y,\mathcal M_X).
In the infinite case we begin with an infinite partition \mathcal P_0 of \mathcal M_Y, i.e. a partition of Y by elements of \mathcal B'_Y. In the finite case, let \mathcal P_0 = \{ Y \} Let \mathcal P = \{ B_i\} be the common refinement partition of \mathcal P_0 with \bigwedge_{i = 1}^n \ \{E_i, Y \setminus E_i \} and let S(\mathcal P) = \{ S(B_i) \} be the image partition of \mathcal M_X. Note that \mathcal P_0 and hence also \mathcal P are full sequences in \mathcal M_Y and so S(\mathcal P) is a full sequence in \mathcal M_X. For each k, \mathcal M_{B_k} \subset \mathcal M_Y and \mathcal M_{S(B_k)} \subset \mathcal M_X are finite, nonatomic measure algebras. Each is separable as any subspace of a separable metric space is separable.
We can normalize by dividing the measures by \nu(B_k) = \mu(S(B_k)) and then apply Proposition 3.4 to get an isomorphism \hat S_k : \mathcal M_{B_k} \to \mathcal M_{S(B_k)}. We obtain the isomorphism S_n by defining for B \in \mathcal M_Y and A \in \mathcal M_X:
Since S_n(B_k) = S(B_k) for all k and each E_i with i \le n is a union of the B_k’s it follows that S_n(E_i) = S(E_i).
For each i, the sequence \{ S_n(E_i) \} is constant at S(E_i) once n \ge i. Since \{ E_i \} is dense in \mathcal M_Y, the sequence \{ S_n \} converges to S.
If \mathcal M_Y and \mathcal M_X are separable, nonatomic measure algebras, then the set \mathcal S_{iso}(\mathcal M_Y,\mathcal M_X) of measure algebra isomorphisms is a dense, G_{\delta} subset of the completely metrizable space \mathcal S(\mathcal M_Y,\mathcal M_X) of measure algebra mappings. Thus, the generic measure algebra map is invertible.
Let T_1, T_2 : (X,\mu) \to (Y, \nu) be measure space maps with \nu a Borel measure on the separable metric space Y. If T_1^* = T_2^* : \mathcal M_Y \to \mathcal M_X, then T_1 = T_2 a.e.
The product map T_1 \times T_2 : X \to Y \times Y is measurable because the Borel subsets of Y \times Y are generated by the sets B_1 \times B_2 with B_1, B_2 \in \mathcal B_Y. Hence, T_1 = T_2 a.e. if and only if the set \{ x : T_1(x) \not= T_2(x) \} has measure zero. If this is not true, then for some positive integer k, the set A = \{ x : d(T_1(x),T_2(x)) > 1/k \} has positive measure.
Let \mathcal P be a partition of Y by measurable sets each of metric diameter at most 1/k. Again we use the Lindelöf property. For some B \in \mathcal P, the set A \cap T_1^{-1}(B) has positive measure. If x \in A \cap T_1^{-1}(B) then T_1(x) \in B and d(T_2(x),T_1(x)) > 1/k implies T_2(x) \not\in B. That is, T_2^{-1}(B) is disjoint from A \cap T_1^{-1}(B) and so T_1^*(B) \not= T_2^*(B).
Let (X,\mu) and (Y,\nu) be separable measure spaces with X and Y uncountable and (Y,\nu) Polish. If S : \mathcal M_Y \to \mathcal M_X is a measure algebra map, then there exists T : (X,\mu) \to(Y,\nu) a measure space map with T^* = S.
(a) Let (X,\mu) and (Y,\nu) be Polish measure spaces with X and Y uncountable. If S : \mathcal M_Y \to \mathcal M_X is a measure algebra isomorphism, then there exists T : (X,\mu) \to(Y,\nu) a measure space isomorphism with T^* = S.
(b) Let T : (X,\mu) \to(Y,\nu) be a measure space map between Polish measure spaces with X and Y uncountable. If T^* is a measure algebra isomorphism, then T is a measure space isomorphism.
(a) Applying Theorem 3.10 to S and S^{-1} we obtain measure space maps T : (X,\mu) \to(Y,\nu) and \hat T : (Y,\nu) \to(X,\mu) such that T^* = S and \hat T^* = S^{-1}. Hence, (\hat T \circ T)^* = T^* \circ \hat T^* = id_X^* and so by Proposition 3.9 \hat T \circ T = id_X a.e. Similarly, T \circ \hat T = id_Y a.e. Thus, T and \hat T are inverse isomorphisms.
(b) By (a) there is a measure space isomorphism \hat T with \hat T^* = T^*. By Proposition 3.9 T = \hat T a.e.
If (X,\mu) and (Y,\nu) are nonatomic Polish measure spaces (and so with X and Y uncountable) the generic measure space map between them is invertible.
For measure algebras \mathcal M_X and \mathcal M_Y a mapping S : \mathcal M_Y \to \mathcal M_X is a measure algebra \sigma-homomorphism when it satisfies:
(i) S(0) = 0.
(ii) S(Y \setminus B) = X \setminus S(B) for all B \in \mathcal M_Y.
(iii) For any sequence \{ B_n \} \in \mathcal M_Y, \ \ S(\bigcup_n B_n) \ = \ \bigcup_n S(B_n).
If a sequence \{ B_n \} in \mathcal M_Y converges to B, then there exists a subsequence \{ B_{n_k} \} such that B \ = \ \bigcap_N \ \bigcup_{k \ge N} B_{n_k}, i.e. B is the limsup of the subsequence.
Inductively, we choose an increasing sequence \{ n_k \} such that m \ge n_k implies d(B_m, B) < 2^{-k}. Let \hat B_N = \bigcup_{k \ge N} B_{n_k}. Since \hat B_N + B \subset \bigcup_{k \ge N} (B_{n_k} + B) it follows that d(\hat B_N, B) < 2^{-N+1}. Hence, B is the limit of the decreasing sequence \{ \hat B_N \}.
A measure algebra \sigma-homomorphism S : \mathcal M_Y \to \mathcal M_X is uniformly continuous and has a closed image.
If S were not uniformly continuous, there would exists \epsilon > 0 and a sequence \{ B_n \} in \mathcal M_Y with \nu(B_n) < 2^{-n} and \mu(S(B_n)) \ge \epsilon. Let \hat B_k = \bigcup_{i \ge k} B_{i}. Since \nu(\hat B_k) < 2^{-k+1} it follows that \bigcap_k \hat B_k = 0. However, B_k \subset \hat B_k implies that \{ S(\hat B_k) \} is a decreasing sequence in \mathcal M_X with \mu(S(\hat B_k)) \ge \epsilon for all k. Hence, \mu(\bigcap_k \ S(\hat B_k)) \ge \epsilon and so \bigcap_k \ S(\hat B_k) \not= 0 = S( \bigcap_k \ \hat B_k). This contradicts the assumption that S is a \sigma-homomorphism.
Now suppose that A \in \mathcal M_X and \{ B_n \} is a sequence in \mathcal M_Y such that \{ S(B_n) \} converges to A. By Lemma 4.2 we may assume, by going to a subsequence if necessary, that A = \limsup S(B_n). Let B = \limsup B_n. Because S commutes with countable operations it follows that B \in \mathcal M_Y with S(B) = \limsup S(B_n) = A. Notice that we do not claim and do not need that \{ B_n \} converges to B. Nonetheless, we see that S has a closed image.
For a measure algebra \sigma-homomorphism S : \mathcal M_Y \to \mathcal M_X, the following are equivalent.
(a) The map S is injective.
(b) The kernel Ker(S) is trivial.
(c) For every \epsilon > 0 there exists \delta > 0 such that for all B\in \mathcal M_Y
(d) For every \epsilon > 0 there exists \delta > 0 such that for all B_1, B_2 \in \mathcal M_Y
The inverse map S^{-1} : S(\mathcal M_Y) \to \mathcal M_Y is uniformly continuous.
(a) \Leftrightarrow (b): S(B_1) = S(B_2) if and only if S(B_1 + B_2) = S(B_1) + S(B_2) = 0.
(c) \Leftrightarrow (d) : d(B_1,B_2) = \nu(B_1 + B_2) and d(S(B_1),S(B_2)) = \mu(S(B_1 + B_2)) = \mu(S(B_1) + S(B_2)).
(c) \Rightarrow (b) : The contrapositive of (4.4) clearly implies (b).
(b) \Rightarrow (c) : We mimic the proof of the first part of Proposition 4.3. If (4.4) fails, then there exists \epsilon > 0 and a sequence \{ B_n \} in \mathcal M_Y with \nu(B_n) \ge \epsilon and \mu(S(B_n)) < 2^{-n}. Let \hat B_k = \bigcup_{i \ge k} B_{i}. Since \mu(S(\hat B_k)) < 2^{-k+1} it follows that S(\bigcap_k \hat B_k) = 0. However, B_k \subset \hat B_k implies that \{\hat B_k \} is a decreasing sequence in \mathcal M_Y with \nu(\hat B_k) \ge \epsilon for all k and so \bigcap_k \hat B_k is a non-trivial element of the kernel.
Uniform continuity of S^{-1} : S(\mathcal M_Y) \to \mathcal M_Y is the contrapositive of (4.4).
Assume S : \mathcal M_Y \to \mathcal M_X is a measure algebra \sigma-homomorphism with \mathcal M_Y separable. If the kernel of S is non-trivial, then there exists K \in \mathcal M_Y such that Ker(S) = \mathcal M_K. We call K the zero-set for S and denote it complement Y \setminus K by K'.The restriction S : \mathcal M_{K'} \to \mathcal M_X is injective with S(\mathcal M_{K'}) = S(\mathcal M_Y). In particular, if S is surjective, then the restriction S : \mathcal M_{K'} \to \mathcal M_X is a \sigma-isomorphism.
Because \mathcal M_Y is a separable metric space, the subset Ker(S) contains a dense sequence \{ K_i \}. From continuity of S, \ \ K = \bigcup_i K_i \in Ker(S). So if B \subset K, then B \in Ker(S). Conversely, if B \in Ker(S) and \epsilon > 0, then there exists K_i in the sequence with \mu(B + K_i) < \epsilon. Since B \setminus K \subset B + K_i and \epsilon is arbitrary, it follows that \mu(B \setminus K) = 0 and so B \subset K.
For any B \in \mathcal M_Y, B = (B \cap K') \cup (B \cap K) and B \cap K \in Ker(S). Hence, S(B \cap K) = 0 and so S(B) = S(B \cap K'). Thus, S(\mathcal M_{K'}) = S(\mathcal M_Y). If B \subset K' and B \not= 0, then B \not\in Ker(S) and so S(B) \not= 0. Hence, the restriction S : \mathcal M_{K'} \to \mathcal M_X is injective.
(\mathbf{G_{\delta}}) With (X, \mu) and (Y, \nu) Polish measure spaces, the set \mathcal J_{iso}(L^1(Y,\nu),L^1(X,\mu)) of isometric isomorphisms is a G_{\delta} subset of \mathcal J(L^1(Y,\nu),L^1(X,\mu)).
Each isometry I has a closed image and is an isomorphism if and only if it is surjective. If I fails to be surjective, then some 1_{E_n} is not in the image where \{ E_n \} is a dense sequence in \mathcal M_X. As in the proof of 3.6 the set
is closed in \mathcal J(L^1(Y,\nu),L^1(X,\mu)). The set of isomorphisms
\mathcal J_{iso}(L^1(Y,\nu),L^1(X,\mu)) is the complement
of the union and so is a G_{\delta} set.
(Density) With (X, \mu) and (Y, \nu) Polish measure spaces, if I(f) = (f \circ T) \cdot h is an isometry in \mathcal J(L^1(Y,\nu),L^1(X,\mu)) with h > 0 a.e., then there exists a sequence T_n : (X,\mu) \to (Y,\nu) of nonsingular isomorphisms such that \{ T_n^* \} converges pointwise to T^* and I_n(f) = (f \circ T_n) \cdot h defines a sequence of isometric isomorphisms which converges strongly to I.
The set \mathcal J_{iso}(L^1(Y,\nu),L^1(X,\mu)) of isometric isomorphisms is a dense subset of \mathcal J(L^1(Y,\nu),L^1(X,\mu)).
We define \mu_T(A) = \int_A h \ d\mu, obtaining a measure on X with Radon-Nikodym derivative \frac{d \mu_T}{d \mu} = h. In addition, T_* \mu_T = \nu because for all B \in \mathcal B_Y,
If T is an isomorphism, then the unique measure \mu_T with T_* \mu_T = \nu is \nu \circ T = (T^{-1})_* \nu. However, if T is not an isomorphism, then different h’s can be used to get isometries and these lead to different measures \mu_T.
We thus factor T : (X,\mu) \to (Y,\nu) as the composition of the non-singular isomorphism T_1 = id : (X,\mu) \to (X,\mu_T) with the measure space map (i.e. measure preserving map) T_2 : (X,\mu_T) \to (Y,\nu). (which is just T with a different measure). Thus, T = T_2 \circ T_1.
This factors the isometry I : L^1(Y,\nu) \to L^1(X,\mu) by the isometries I_2 : L^1(Y,\nu) \to L^1(X,\mu_T) given by I_2(f) = f \circ T_2 and I_1 : L^1(X,\mu_T) \to L^1(X,\mu) given by I_1(g) = g \cdot h. We have
with I = I_1 \circ I_2.
By our measure space results, there exists a sequence of T_n : (X,\mu_T) \to (Y,\nu) of measure space isomorphisms such that T_n^*(E) converges to T_2^*(E) for every Borel set E. That is \int 1_E \circ T_n \ d\mu_T = \mu_T(T_n^{-1}(E)) converges to \int 1_E \circ T_2 \ d\mu_T = \mu_T(T^{-1}(E)) for every E \in \mathcal B_Y. Because T_1 is a nonsingular isomorphism, it follows from Proposition 4.3 that \int 1_E \circ T_n \ d\mu = \mu(T_n^{-1}(E)) converges to \int 1_E \circ T_2 \ d\mu = \int 1_E \circ T \ d\mu = \mu(T^{-1}(E)). Thus, \{ T_n \circ T_1 \} is a sequence of nonsingular isomorphisms converging pointwise to T.
With I_n : L^1(Y,\nu) \to L^1(X,\mu_T) given by I_n(f) = f \circ T_n we have that I_n converges strongly to I_2, i.e. we have convergence with respect to the metric given by equation (?). Since I_1 is an isometry, it follows that I_1 \circ I_n converges strongly to I_1 \circ I_2 = I. The composition (I_1 \circ I_n)(f) = f \circ T_n \cdot h. Because each T_n is a measure space isomorphism, each I_n is an isometric isomorphism. Also I_1 is an isometric isomorphism and so the compositions I_1 \circ I_n are isomorphisms.
As noted above the set of isometries with h > 0 is dense in
\mathcal J(L^1(Y,\nu),L^1(X,\mu)) and so the last statement follows.
Let (X, \mu) and (Y, \nu) be Polish measure spaces. The set \mathcal J_{iso}(L^1(Y,\nu),L^1(X,\mu)) of isometric L^1 isomorphisms is a dense, G_{\delta} subset of the completely metrizable space \mathcal J(L^1(Y,\nu),L^1(X,\mu)) of positive isometries, i.e. those isometries with I(1_Y) \ge 0. That is, the generic positive isometry is invertible.
With (X, \mu) and (Y, \nu) Polish measure spaces,if T : (X,\mu) \to (Y,\nu) is a null-preserving map, there exists a sequence T_n : (X,\mu) \to (Y,\nu) of null-preserving maps such that \{ T_n^* \} is a sequence of surjective \sigma-homomorphisms converging pointwise to T^*.
The restriction T' : (X,\mu) \to (K',\nu|K') is nonsingular where K' is the complement of the zero-set for T. For the inclusion map inc : (K',\nu|K') \to (Y,\nu) the measure algebra \sigma-homomorphism inc^* is surjective and T = inc \circ T'. Proposition 4.7 gives a sequence of nonsingular isomorphisms T'_n: (X,\mu) \to (K',\nu|K') such that \{ (T_n')^{*} \} converges pointwise to (T')^{*}. So T_n = inc \circ T'_n: (X,\mu) \to (Y,\nu) is a sequence of null-preserving maps with \{ T_n^* \} a sequence of surjections converging pointwise to T^*.
Examples on the unit interval.
(\mathbf{G_{\delta}}) If \mathcal M_Y and \mathcal M_X are separable, nonatomic measure algebras, then the set of
surjections \Sigma_{sur}(\mathcal M_Y.M_X) is
closed with respect to the uniform topology. The set of
isomorphisms
\Sigma_{iso}(\mathcal M_Y.M_X) is a G_{\delta} subset of \Sigma_{sur}(\mathcal M_Y.M_X).
A map S \in \Sigma fails to be surjective when some A \in \mathcal M_X is a positive distance from the image. For any such A define
This is open, because if d(A, S(B)) > \delta and d_u(S,S_1) < \delta/2, then d(A, S_1(B)) > \delta/2. The union of the G_A’s is the complement of \Sigma_{sur}.
For injectivity, let \{ \nu \ge 1/k \} denote the subset \{ B \in \mathcal M_Y : \nu(B) \ge 1/k \} and similarly define \{ \mu \le \delta \} for \delta > 0. Define
This is open because if S(\{ \nu \ge 1/k \}) \cap \{ \mu \le \delta \} = 0 and d(S,S_1) < \delta/2, then S(\{ \nu \ge 1/k \}) \cap \{ \mu \le \delta/2 \} = 0. That is, if B \in \{ \nu \ge 1/k \} and \mu(S_1(B)) < \delta/2, then \mu(S(B) + S_1(B)) < \delta/2 implies \mu(S(B)) < \delta. From Proposition 4.4 it follows that \bigcap_k G_k is the set of injective \sigma-homomorphisms.
Thus, the bijective maps in \Sigma comprise a G_{\delta} set for the uniform topology. By Proposition 4.4 \Sigma_{iso} is the set of bijective maps in \Sigma.
Let (X, \mu) and (Y, \nu) be Polish measure spaces. Given a null-preserving map T : (X,\mu)\to (Y,\nu) with T^* surjective there exists a sequence \{ T_n \} of nonsingular isomorphisms from (X,\mu) to (Y,\nu) such that the sequence of \sigma-homomorphisms \{ T_n^* \} converges to T^* uniformly.
If the zero-set is 0, then T is already a nonsingular isomorphism. In any case, Proposition 4.5 implies that T restricts to a nonsingular isomorphism T' : (X,\mu) \to (K',\nu|K'). With inc : (K', \nu|K') \to (Y,\nu) we have inc^*(B) = B \cap K'. Thus, T factors as inc \circ T'.
Choose disjoint subsets A_n, B_n \subset K' with e_n = \nu(A_n) = \nu(B_n) > 0 and 1/n > e_n. Choose \hat T_n: (B_n,\nu|B_n) \to (K,\nu|K) to be an isomorphism of the normalized measures spaces, \hat T_n : (A_n,\nu|A_n) \to (A_n \cup B_n,\nu|(A_n \cup B_n)) to be an isomorphism of the normalized measures spaces and \hat T_n to be the identity on K' \setminus (A_n \cup B_n). For B \in \mathcal B_Y, inc^*(B) + \hat T_n^*(B) \subset A_n \cup B_n and so has measure less than 2/n. The Radon-Nikodym derivative \frac{d (\hat T_n)_*(\nu|K')}{d \nu} is given by e_n/\nu(K) on K, \ 1/2 on A_n \cup B_n and 1 on K' \setminus (A_n \cup B_n).
By Proposition 4.3 the map T'^* is uniformly continuous. So for every \epsilon > 0 there exists \delta > 0 such that for B_1, B_2 \subset K', \ d(B_1, B_2) < \delta implies d(T'^*(B_1), T'^*(B_2)) < \epsilon. If T_n = \hat T_n \circ T' then 2/n < \delta will imply that for B \in \mathcal B_Y
Thus, the sequence \{ T_n \} of nonsingular isomorphisms has T_n^* converging uniformly to T^*.
A null-preserving map T : (X,\mu)\to (Y,\nu) with (Y,\nu) separable is an injection if and only if T^* : \mathcal M_Y \to \mathcal M_X is a surjection.
We saw in the proof of Proposition 4.12 that if T^* is surjective, then T = inc \circ T' with inc : (K', \nu|K') \to (Y,\nu) the inclusion of the complement of the zero-set and with T' an isomorphism. So T is an injection.
Conversely, if T = inc \circ T' with inc : (B, \nu|B) \to (Y,\nu) the inclusion and T' : (X,\mu) \to (B, \nu|B) is a nonsingular isomorphism, then (T')^* : \mathcal M_B \to \mathcal M_X is a \sigma-isomorphism and so is surjective and inc^* : \mathcal M_Y \to \mathcal M_B is a retraction and so is surjective. Hence the composition (T')^* \circ inc^* = (inc \circ T')^* = T^* is surjective.
Let (X, \mu) and (Y, \nu) be Polish measure spaces. The set \Sigma_{iso}((X,\mu),(Y,\nu)) of nonsingular isomorphisms is a dense, G_{\delta} subset of the completely metrizable space \Sigma_{inj}((X,\mu),(Y,\nu)) of null-preserving injections, equipped with the topology of uniform convergence. That is, the generic null-preserving injection is invertible
Let (X, \mu) and (Y, \nu) be Polish measure spaces. The set \Sigma_{iso}((X,\mu),(Y,\nu)) of nonsingular isomorphisms is a dense subset of the space \Sigma((X,\mu),(Y,\nu)) of null-preserving maps equipped with the coarse topology of pointwise convergence. In fact for any null-preserving map T : (X, \mu) \to (Y, \nu) there is a sequence T_n : (X, \mu) \to (Y, \nu) of nonsingular isomorphisms converging pointwise to T.
With K' the complement of the zero-set of T, the restriction T : (X,\mu) \to (K',\nu|K') is a nonsingular map, and so there exists a measure \mu_T on X such that T_1 = id_X : (X,\mu) \to (X,\mu_T) is a nonsingular isomorphism and T_*\mu_T = \nu|K'. Hence, T_2 = T : (X,\mu_T) \to (K',\nu|K') is a measure preserving map. With T_3 = inc : (K',\nu|K') \to (Y,\nu) the inclusion map, we have the factorization T = T_3 \circ T_2 \circ T_1.
By our previous results, there exists a sequence T_{2n}: (X,\mu_T) \to (K',\nu|K') of measure space isomorphisms which converge to T_2 and a sequence T_{3n} : (K',\nu|K') \to (Y,\nu) of nonsingular isomorphisms which converge to T_3.
Let B \in \mathcal B_Y. From convergence of the T_3 sequence we have
d(T_{3n}^*(B),T_3^*(B)) \to 0. Because each T_{2n} is measure
preserving we have d(T_{2n}^*T_{3n}^*(B),T_{2n}^*T_3^*(B)) \to 0. From convergence of the T_2 sequence
we have d(T_{2n}^*T_{3}^*(B),T_{2}^*T_3^*(B))) \to 0 and so by the triangle inequality
d(T_{2n}^*T_{3n}^*(B),T_{2}^*T_3^*(B))) \to 0. Here the metric on \mathcal M_X uses the measure \mu_T. But because the measure
\mu_T is equivalent to \mu we have d(T_1^*T_{2n}^*T_{3n}^*(B),T_1^*T_{2}^*T_3^*(B))) \to 0.
Thus, T_n = T_{3n} \circ T_{2n} \circ T_1 is a sequence of nonsingular isomorphisms which converges to T = T_{3} \circ T_{2} \circ T_1 with respect to the coarse topology.
For every \epsilon > 0 there exists \delta > 0 such that any Borel set with diameter less than \delta has measure less than \epsilon. In particular, if a clopen partition has d-mesh less than \delta, then it has \mu-mesh less than \epsilon.
If \{ A_i \} were a sequence of Borel sets with diameter tending to zero but with measures at least \epsilon, then for any limit point x, every neighborhood would have measure at least \epsilon and so x would be an atom.
For a Cantor measure space (X,\mu) the clopen values set S(\mu) is defined by
(a) If (X,\mu) is a Cantor measure space, then S(\mu) is a countable, dense subset of [0,\mu(X)] which contains the endpoints.
(b) If T : (X,\mu) \to (Y,\nu) is a Cantor measure space map, then S(\nu) \subset S(\mu) with equality if T is an isomorphism.
(a) Given \epsilon > 0 and \delta > 0 from Lemma 5.1 we choose \{A_1, \dots, A_n \} is a clopen partition with d-mesh less than \delta then
is an increasing sequence in [0,\mu(X)] with a_n - a_{n-1} < \epsilon for n = 1, \dots, n. As \epsilon was arbitrary, it follows that S(\mu) is dense. It is clearly countable.
(b) This is obvious from (?).
For a Cantor measure space (X,\mu), the measure \mu is called good and (X,\mu) is called a good Cantor measure space when for every pair of clopen subsets A, B of X
If S is a subset of the unit interval [0,1] with 0, 1 \in S, then (S + \mathbb Z) \cap [0,1] = S. Furthermore, S + \mathbb Z is a subgroup of \mathbb R, and so S is group-like, if and only if for all s, t \in S
If 0 < t < 1 and n \in \mathbb Z, then n \ge 1 implies n + t > 1 and n \le -1 implies n +t < 0. Hence, n+t \in [0,1] implies n = 0. Thus, (S + \mathbb Z) \cap [0,1] = S.
If S is group-like then (5.5) obviously holds. Assume, conversely, that (5.5) is true. Since 1 \in S, 1 - t \in S when t \in S. If s + t \le 1, then s \le 1 - t and so s + t = 1 - [(1 - t) - s] \in S. If s + t > 1, then (1 - s) + (1 - t) = 2 - (s + t) \le 1. Hence, s + t - 1 = 1 - [(1 - s) + (1 - t)] \in S. It follows that S + \mathbb Z is closed under addition. Furthermore, -(n + t) = -(n+1) + (1 - t) and so S + \mathbb Z is closed under negation.
(a) If (X,\mu) is a good Cantor measure space, then S(\mu) is group-like.
(b) If S is a dense, group-like subset of [0,1] with 0, 1 \in S, then there exists a normalized good Cantor measure space with S(\mu) = S.
(c) Assume that (X,\mu) and (Y,\nu) are good Cantor measure spaces with \mu(X) = \nu(Y).
There exists a Cantor measure space isomorphism T : (X,\mu) \to (Y,\nu) if and only if S(\nu) = S(\mu).
There exists a Cantor measure mapping T : (X,\mu) \to (Y,\nu) if and only if S(\nu) \subset S(\mu).
(a) A subset S is group-like in [0.m] if and only if (1/m)S is group-like in [0,1]. So we may assume (X,\mu) is normalized. Let s = \mu(A) and t = \mu(B) with clopens A, B. If s \le t then there exists A_1 \subset B clopen with \mu(A_1) = \mu(A). Then \mu(B \setminus A_1) = t - s and so (5.5) holds for S(\mu) and S(\mu) is group-like by Lemma 5.5.
(b) This result is Theorem 2.6 of [A05] taken together with Corollary 3.3 of [A99].
(c) The conditions on the clopen values sets are necessary by Proposition 5.3. By normalizing, i.e. dividing the measures by \mu(X) = \nu(Y) we may assume they are normalized. The results are then in Theorem 2.9 of [A05].
(\mathbf{G_{\delta}}) Let (X,\mu) and (Y,\nu) be Cantor measure spaces. The set \mathcal C \mathcal S((X,\mu),(Y,\nu))
of Cantor measure space maps
is a closed subset of \mathcal C_{sur}(X,Y), the set of continuous surjections. The set
\mathcal C \mathcal S_{iso}((X,\mu),(Y,\nu)) of Cantor
measure space isomorphisms is a G_{\delta} subset.
We saw above that any Cantor measure space map is surjective. A continuous function T : X \to Y preserves measure exactly when for every continuous function f : Y \to \mathbb R, \ \int (f \circ T) \ d\mu = \int f \ d\nu. This is clearly a closed condition and so \mathcal C \mathcal S((X,\mu),(Y,\nu)), the set of Cantor measure space maps is a closed subset of \mathcal C_{sur}(X,Y).
By Proposition 2.3 \mathcal C_{iso}(X,Y) is a G_{\delta} subset and so the intersection \mathcal C \mathcal S((X,\mu),(Y,\nu)) \cap \mathcal C_{iso}(X,Y), is a G_{\delta} subset. The intersection clearly contains the set of Cantor measure space isomorphisms. On the other hand, if T : (X,\mu) \to (Y,\nu) is a Cantor measure space map with T : X \to Y a homeomorphism then, as remarked above, T is an isomorphism. That is, the intersection equals the set of isomorphisms.
(Density) Let T : (X,\mu) \to (Y,\nu) be a Cantor measure space map with S(X,\mu) = S(Y,\nu). For a metric d on Y and \epsilon > 0, there exists a Cantor measure space isomorphism T_1 :(X,\mu) \to (Y,\nu) such that
.
The proof is almost the same as that of Proposition 2.4. Let \mathcal P = \{U_1, \dots, U_n \} be a clopen partition of Y with d-mesh at most \epsilon. As before \{ T^{-1}(U_1), \dots, T^{-1}(U_n) \} is a clopen partition of X. For each i, (U_i,\nu|U_i) and (T^{-1}(U_i),\mu|T^{-1}(U_i)), are good Cantor measure spaces with the same clopen values set and so Theorem 5.6 implies we can choose an isomorphism \hat T_i from (T^{-1}(U_i),\mu|T^{-1}(U_i)) onto (U_i,\nu|U_i). Concatenating we obtain the isomorphism T_1 : (X,\mu) \to (Y,\nu). Again for all x \in X
and so (5.8) follows.
If (X,\mu) and (Y,\nu) are good Cantor measure spaces with the same clopen values set, then the set \mathcal C \mathcal S_{iso}((X,\mu),(Y,\nu)) of Cantor measure isomorphisms from (X,\mu) to (Y,\nu) is a dense G_{\delta} subset of the completely metrizable space \mathcal C \mathcal S((X,\mu),(Y,\nu))of Cantor measure space maps from (X,\mu) to (Y,\nu). Thus, the generic Cantor measure space map between them is invertible.
The text on this page is from arXiv:2603.26376v3 by Ethan Akin and Benjamin Weiss, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2603/2603.26376.jsonl.