Borel reducibility and finitely Hölder\((\alpha)\) embeddability (Q716497)

A topological space homeomorphic to a separable complete metric space is a Polish space. If \(X\) is Polish space and \(E\) an equivalence relation on \(X\), and similarly \(Y\) a Polish space and \(F\) an equivalence relation on \(Y\), then a Borel function \(\theta: X\rightarrow Y\) such that \((x,y)\in E \Leftrightarrow( \theta(x), \theta(y)) \in F\) for all \(x,y\in X\) is called a Borel reduction from \(E\) to \(F\). We say that \(E\) is Borel reducible to \(F\) and write \(E \leq_{B} F\) if there is a Borel reduction from \(E\) to \(F\). If both \(E \leq_{B} F\) and \(F\leq_{B} E\) hold, then we say that \(E\) and \(F\) are Borel bireducible and denote it by \(E\sim_{B} F\). If \((X_n,d_n)\), \(n\in \mathbb N\) is a sequence of pseudo-metric spaces and \(p\geq 1\), for \(x,y\in \prod_{n\in \mathbb N}X_{n}\), let \((x,y) \in E((X_{n})_{n\in \mathbb N};p) \Leftrightarrow \sum_{n\in \mathbb N}d_{n}(x(n),y(n))^{p}<+\infty \). It is proved in this paper that Borel reducibility between equivalence relations \(E((X_{n})_{n\in \mathbb N};p)\) is closely related to finitely Hölder\((\alpha )\) embeddability between pseudo-metric spaces.