Measure reducibility of countable Borel equivalence relations (Q519648)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Measure reducibility of countable Borel equivalence relations |
scientific article |
Statements
Measure reducibility of countable Borel equivalence relations (English)
0 references
5 April 2017
0 references
The main subject of investigation in this paper is (Borel-)reducibility of (Borel-)equivalence relations. If \(E\) and \(F\) are equivalence relations on \(X\) and \(Y\) respectively then \(\phi:X\to Y\) is a reduction of \(E\) to \(F\) if \(x\mathrel{E}y\) is equivalent to \(\phi(x)\mathrel{F}\phi(y)\) whenever \(x,y\in X\). The adverb `measure' in `measure reducibility' means that for every Borel probability measure on~\(X\) there is a Borel set, \(B\), of full measure such that the restriction of~\(E\) to \(B\) is Borel reducible to~\(F\). The main results of the paper are about the structure of non-measure-hyperfinite, projectively separable, treeable, and countable Borel equivalence relations, both individual relations and the class as a whole. The adjectives constitute quite a mouthful and rather than repeating all definitions here I refer to the authors' excellent seven-page introduction to this paper for more information.
0 references
Borel equivalence relation
0 references
Glimm-Effros dichotomy
0 references
reducibility
0 references
basis
0 references
orbit equivalence
0 references
group actions
0 references