Canonization of smooth equivalence relations on infinite-dimensional E₀-large products

Abstract: A canonization scheme for smooth equivalence relations on

m a t h b b R^{o} m e g a

modulo restriction to infinite perfect products is proposed. It shows that given a pair of Borel smooth equivalence relations

m a t h s f E, m a t h s f F

on

m a t h b b R^{o} m e g a

, there is an infinite perfect product

P s u b s e t e q m a t h b b R^{o} m e g a

such that either

m a t h s f F s u b s e t e q m a t h s f E

on

P

, or, for some

j < o m e g a

, the following is true for all

x, y i n P

:

x, m a t h s f E, y

implies

x (j) = y (j)

, and

x e s t r i c t i o n (o m e g a s m a l l s e t m i n u s j) = y e s t r i c t i o n (o m e g a s m a l l s e t m i n u s j)

implies

x, m a t h s f F, y

.

Review text

Recall that the equivalence relation \(E_0\) on \(2^\omega\) is defined as \[xE_0y\iff\exists m\forall n>m(x(n)=y(n))\] for all \(x,y\in 2^\omega\). An equivalence relation \(E\) on a standard Borel space \(X\) is \textit{smooth} if there exsits aBorel map \(f:X\to 2^\omega\) satisfying \[xEy\iff f(x)=f(y).\] A Borel set \(X\subseteq 2^\omega\) is \textit{\(E_0\)-large} if \(E_0\upharpoonright X\) is not smooth. An infinite \textit{perfect product} is a set \(P\subseteq(2^\omega)^\omega\) such that \(P=\prod_{l<\omega}P(l)\), where \(P(l)\) is a perfect subset of \(2^\omega\). Furthermore, if each \(P(l)\) is an \(E_0\)-large set, we say that \(P\) is an \(E_0\)-large perfect product. The main result of this article is: Theorem. If \(E,F\) are smooth equivalence relations on \((2^\omega)^\omega\), then there is an \(E_0\)-large perfect product \(P\subseteq(2^\omega)^\omega\) such that either \(F\subseteq E\) on \(P\), or, for some \(l<\omega\) and for all \(x,y\in P\), \(xEy\) implies \(x(l)=y(l)\), and \(x\upharpoonright(\omega\setminus\{l\})=y\upharpoonright(\omega\setminus\{l\})\) implies \(xFy\).

Recommendations

Cites work

Cited in

(1)

Canonizing relations on nonsmooth sets

This page was built for publication: Canonization of smooth equivalence relations on infinite-dimensional \(\mathsf{E}_0\)-large products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2176409)