A trichotomy for a class of equivalence relations (Q1934388): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 16:29, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A trichotomy for a class of equivalence relations |
scientific article |
Statements
A trichotomy for a class of equivalence relations (English)
0 references
28 January 2013
0 references
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\).
0 references
Borel reducibility
0 references
equivalence relation
0 references
metrization
0 references