A trichotomy for a class of equivalence relations (Q1934388)

Given a sequence \((X_n)_{n\in\mathbb{N}}\) of nonempty sets and functions \(\psi_n:X_n^2\to\mathbb{R}^+\), the author defines the relation \(E=E((X_n,\psi_n)_{n\in\mathbb{N}})\) on \(\prod_{n\in\mathbb{N}}X_n\) as follows: for \(x,y\in\prod_{n\in\mathbb{N}}X_n\) we have \(x\mathrel{E}y\) if \(\sum_n \psi_n(x(n),y(n))<\infty\). In general, this relation need not be an equivalence relation but the class of relations of this form includes the equivalence relations \(E_{\ell_p}\) defined from the cosets of \(\ell_p\) in \(\mathbb{R}^\mathbb{N}\). The results of this paper are motivated by a question of Kanovei which asks if every Borel equivalence relation Borel-reducible to \(E_{\ell_1}\) is either Borel bi-reducible with \(E_{\ell_1}\) or Borel-reducible to \(E_0\). The main result of this paper (Theorem 2.10) is a trichotomy which states that if \(E=E((X_n,\psi_n)_{n\in\mathbb{N}})\) as above is a Borel equivalence relation, then either \(E\leq_B E_0\), or \(E_{\ell_1}\leq_B E\), or \(E_1\leq_B E\).