On ^P-like equivalence relations

DOI10.14321/REALANALEXCH.34.2.0377MaRDI QIDQ1047478zbMATH OpenOpenAlexFDO

Authors Tamás Mátrai

Publication date 4 January 2010

Published in Real Analysis Exchange (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0911.2778

zbMATH Keywords

\(\ell^p\)-space\(E_1\)Borel equivalence relationBorel reductionLipschitz embedding

Mathematics Subject Classification ID

Descriptive set theory (03E15) Sequence spaces (including Köthe sequence spaces) (46A45)

Abstract: For $fcolon[0,1]area{l}^{+}$, consider the relation $mathbf{E}_f$ on $[0,1{]}^{omega}$ defined by $(x_n)mathbf{E}_f(y_n)Leftrightarrowsu{m}_{n<omega}f(|y_n-x_n|)<infty.$ We study the Borel reducibility of Borel equivalence relations of the form $mathbf{E}_f$. Our results indicate that for every $1leqp<q<infty$, the order $le{q}_B$ of Borel reducibility on the set of equivalence relations $$ is more complicated than expected, e.g. consistently every linear order of cardinality continuum embeds into it.

Review text

For every function \(f:[0,1]\to\mathbb{R}^+\) there is a relation \(E_f\) on \([0,1]^\omega\) such that \[ (x_n) E_f (y_n)\iff \sum\limits_{n=0}^\infty f(|y_n-x_n|) < \infty. \] The following questions arise naturally: {\parindent=6mm \begin{itemize}\item[(1)] Is \(E_f\) an equivalence relation? \item[(2)] Which equivalence relations can be obtained in the form \(E_f\)? \item[(3)] For which functions \(f,g:[0,1]\to [0,1]\) is \(E_f\) Borel-reducible to \(E_g\)? \end{itemize}} In the paper, the authors give an answer to question (1), initiate a study of question (2), and provide various conditions on \(f\) and \(g\) with respect to question (3).

Recommendations

• Reducibility and nonreducibility between ℓ^{𝑝} equivalence relations
• Characterization of \(\ell_p\)-like and \(c_{0}\)-like equivalence relations
• Borel equivalence relations between \(\ell_1\) and \(\ell_p\)
• A trichotomy for a class of equivalence relations
• A note on equivalence relations \(\ell_p(\ell_q)\)

Cited in

(12)

• On \(c\)-equivalence
• Adequate equivalence relations and Pontryagin products
• On nice equivalence relations on \(^\lambda 2\)
• Characterization of \(\ell_p\)-like and \(c_{0}\)-like equivalence relations
• scientific article; zbMATH DE number 5856171 (Why is no real title available?)
• A note on equivalence relations \(\ell_p(\ell_q)\)
• Borel equivalence relations between \(\ell_1\) and \(\ell_p\)
• Reducibility and nonreducibility between ℓ^{𝑝} equivalence relations
• On Schauder equivalence relations
• Historical remarks on equivalence of functions
• Borel reducibility and finitely Hölder\((\alpha)\) embeddability
• \(\Sigma^ n_ 0\)-equivalence relations

This page was built for publication: On \(\ell^P\)-like equivalence relations

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