scholarly journals The Laczkovich-Komjáth property for coanalytic equivalence relations

2010 ◽  
Vol 75 (3) ◽  
pp. 1091-1101 ◽  
Author(s):  
Su Gao ◽  
Steve Jackson ◽  
Vincent Kieftenbeld
Keyword(s):  
Equivalence Relation ◽  
Polish Space ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Perfect Set

AbstractLet E be a coanalytic equivalence relation on a Polish space X and (An)n∈ω a sequence of analytic subsets of X. We prove that if lim supn∈kAn meets uncountably many E-equivalence classes for every K ∈ [ω]ω, then there exists K ∈ [ω]ω such that ∩n∈kAn contains a perfect set of pairwise E-inequivalent elements.

scholarly journals EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE

2017 ◽  
Vol 82 (3) ◽  
pp. 893-930 ◽  
Author(s):  
WILLIAM CHAN
Keyword(s):  
Equivalence Relation ◽  
Polish Space ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Proper Forcing ◽  
Image Position

AbstractThe following will be shown: Let I be a σ-ideal on a Polish space X so that the associated forcing of I+${\bf{\Delta }}_1^1$ sets ordered by ⊆ is a proper forcing. Let E be a ${\bf{\Sigma }}_1^1$ or a ${\bf{\Pi }}_1^1$ equivalence relation on X with all equivalence classes ${\bf{\Delta }}_1^1$. If for all $z \in {H_{{{\left( {{2^{{\aleph _0}}}} \right)}^ + }}}$, z♯ exists, then there exists an I+${\bf{\Delta }}_1^1$ set C ⊆ X such that E ↾ C is a ${\bf{\Delta }}_1^1$ equivalence relation.

Thin equivalence relations and effective decompositions

1993 ◽  
Vol 58 (4) ◽  
pp. 1153-1164 ◽  
Author(s):  
Greg Hjorth
Keyword(s):  
Equivalence Relation ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Perfect Set

AbstractLet E be a equivalence relation for which there does not exist a perfect set of inequivalent reals. If 0* exists or if V is a forcing extension of L, then there is a good well-ordering of the equivalence classes.

Actions of non-compact and non-locally compact Polish groups

2000 ◽  
Vol 65 (4) ◽  
pp. 1881-1894 ◽  
Author(s):  
Sławomir Solecki
Keyword(s):  
Equivalence Relation ◽  
Polish Space ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Locally Compact ◽  
Continuous Action ◽  
Borel Equivalence Relations ◽  
Polish Groups ◽  
Local Compactness ◽  
Polish Group

AbstractWe show that each non-compact Polish group admits a continuous action on a Polish space with non-smooth orbit equivalence relation. We actually construct a free such action. Thus for a Polish group compactness is equivalent to all continuous free actions of this group being smooth. This answers a question of Kechris. We also establish results relating local compactness of the group with its inability to induce orbit equivalence relations not reducible to countable Borel equivalence relations. Generalizing a result of Hjorth, we prove that each non-locally compact, that is, infinite dimensional, separable Banach space has a continuous action on a Polish space with non-Borel orbit equivalence relation, thus showing that this property characterizes non-local compactness among Banach spaces.

scholarly journals Analytic equivalence relations and Ulm-type classifications

1995 ◽  
Vol 60 (4) ◽  
pp. 1273-1300 ◽  
Author(s):  
Greg Hjorth ◽  
Alexander S. Kechris
Keyword(s):  
Equivalence Class ◽  
Equivalence Relation ◽  
Borel Measure ◽  
Polish Space ◽  
Borel Function ◽  
Equivalence Relations ◽  
Cantor Space ◽  
Continuous Action ◽  
Borel Set ◽  
Continuous Embedding

Our main goal in this paper is to establish a Glimm-Effros type dichotomy for arbitrary analytic equivalence relations.The original Glimm-Effros dichotomy, established by Effros [Ef], [Ef1], who generalized work of Glimm [G1], asserts that if an Fσ equivalence relation on a Polish space X is induced by the continuous action of a Polish group G on X, then exactly one of the following alternatives holds:(I) Elements of X can be classified up to E-equivalence by “concrete invariants” computable in a reasonably definable way, i.e., there is a Borel function f: X → Y, Y a Polish space, such that xEy ⇔ f(x) = f(y), or else(II) E contains a copy of a canonical equivalence relation which fails to have such a classification, namely the relation xE0y ⇔ ∃n∀m ≥ n(x(n) = y(n)) on the Cantor space 2ω (ω = {0,1,2, …}), i.e., there is a continuous embedding g: 2ω → X such that xE0y ⇔ g(x)Eg(y).Moreover, alternative (II) is equivalent to:(II)′ There exists an E-ergodic, nonatomic probability Borel measure on X, where E-ergodic means that every E-invariant Borel set has measure 0 or 1 and E-nonatomic means that every E-equivalence class has measure 0.

Classifying positive equivalence relations

1983 ◽  
Vol 48 (3) ◽  
pp. 529-538 ◽  
Author(s):  
Claudio Bernardi ◽  
Andrea Sorbi
Keyword(s):  
Topological Space ◽  
Equivalence Relation ◽  
Recursive Function ◽  
Equivalence Classes ◽  
Point Of View ◽  
Classification Theorem ◽  
Equivalence Relations ◽  
Natural Numbers ◽  
Uniformity Property

AbstractGiven two (positive) equivalence relations ~1, ~2 on the set ω of natural numbers, we say that ~1 is m-reducible to ~2 if there exists a total recursive function h such that for every x, y ∈ ω, we have x ~1y iff hx ~2hy. We prove that the equivalence relation induced in ω by a positive precomplete numeration is complete with respect to this reducibility (and, moreover, a “uniformity property” holds). This result allows us to state a classification theorem for positive equivalence relations (Theorem 2). We show that there exist nonisomorphic positive equivalence relations which are complete with respect to the above reducibility; in particular, we discuss the provable equivalence of a strong enough theory: this relation is complete with respect to reducibility but it does not correspond to a precomplete numeration.From this fact we deduce that an equivalence relation on ω can be strongly represented by a formula (see Definition 8) iff it is positive. At last, we interpret the situation from a topological point of view. Among other things, we generalize a result of Visser by showing that the topological space corresponding to a partition in e.i. sets is irreducible and we prove that the set of equivalence classes of true sentences is dense in the Lindenbaum algebra of the theory.

scholarly journals Trees and amenable equivalence relations

1990 ◽  
Vol 10 (1) ◽  
pp. 1-14 ◽  
Author(s):  
Scot Adams
Keyword(s):  
Equivalence Class ◽  
Equivalence Relation ◽  
Measure Space ◽  
Polynomial Growth ◽  
Finite Measure ◽  
Equivalence Classes ◽  
Equivalence Relations ◽  
Borel Equivalence Relation

AbstractLet R be a Borel equivalence relation with countable equivalence classes on a measure space M. Intuitively, a ‘treeing’ of R is a measurably-varying way of makin each equivalence class into the vertices of a tree. We make this definition rigorous. We prove that if each equivalence class becomes a tree with polynomial growth, then the equivalence relation is amenable. We prove that if the equivalence relation is finite measure-preserving and amenable, then almost every tree (i.e., equivalence class) must have one or two ends.

Fundamental relations and identities of fuzzy hyperalgebras

2021 ◽  
pp. 1-10
Author(s):  
Narjes Firouzkouhi ◽  
Abbas Amini ◽  
Chun Cheng ◽  
Mehdi Soleymani ◽  
Bijan Davvaz
Keyword(s):  
Universal Algebra ◽  
Equivalence Relation ◽  
Polynomial Function ◽  
Equivalence Relations ◽  
Fundamental Relation ◽  
Term Function ◽  
Biological Phenomena ◽  
Definition Of

Inspired by fuzzy hyperalgebras and fuzzy polynomial function (term function), some homomorphism properties of fundamental relation on fuzzy hyperalgebras are conveyed. The obtained relations of fuzzy hyperalgebra are utilized for certain applications, i.e., biological phenomena and genetics along with some elucidatory examples presenting various aspects of fuzzy hyperalgebras. Then, by considering the definition of identities (weak and strong) as a class of fuzzy polynomial function, the smallest equivalence relation (fundamental relation) is obtained which is an important tool for fuzzy hyperalgebraic systems. Through the characterization of these equivalence relations of a fuzzy hyperalgebra, we assign the smallest equivalence relation α i 1 i 2 ∗ on a fuzzy hyperalgebra via identities where the factor hyperalgebra is a universal algebra. We extend and improve the identities on fuzzy hyperalgebras and characterize the smallest equivalence relation α J ∗ on the set of strong identities.

scholarly journals The absorption theorem for affable equivalence relations

2008 ◽  
Vol 28 (5) ◽  
pp. 1509-1531 ◽  
Author(s):  
THIERRY GIORDANO ◽  
HIROKI MATUI ◽  
IAN F. PUTNAM ◽  
CHRISTIAN F. SKAU
Keyword(s):  
Dynamical Systems ◽  
Equivalence Relation ◽  
Closed Subset ◽  
Cantor Set ◽  
Equivalence Relations ◽  
Orbit Structure ◽  
Orbit Equivalent ◽  
Finite Set ◽  
Significant Generalization

AbstractWe prove a result about extension of a minimal AF-equivalence relation R on the Cantor set X, the extension being ‘small’ in the sense that we modify R on a thin closed subset Y of X. We show that the resulting extended equivalence relation S is orbit equivalent to the original R, and so, in particular, S is affable. Even in the simplest case—when Y is a finite set—this result is highly non-trivial. The result itself—called the absorption theorem—is a powerful and crucial tool for the study of the orbit structure of minimal ℤn-actions on the Cantor set, see Remark 4.8. The absorption theorem is a significant generalization of the main theorem proved in Giordano et al [Affable equivalence relations and orbit structure of Cantor dynamical systems. Ergod. Th. & Dynam. Sys.24 (2004), 441–475] . However, we shall need a few key results from the above paper in order to prove the absorption theorem.

SINGULAR SWITCHED LINEAR SYSTEMS: SOME GEOMETRIC ASPECTS

2012 ◽  
Vol 26 (25) ◽  
pp. 1246006
Author(s):  
H. DIEZ-MACHÍO ◽  
J. CLOTET ◽  
M. I. GARCÍA-PLANAS ◽  
M. D. MAGRET ◽  
M. E. MONTORO
Keyword(s):  
Linear Systems ◽  
Group Action ◽  
Lie Group ◽  
Equivalence Relation ◽  
Geometric Approach ◽  
Differentiable Manifold ◽  
Equivalence Classes ◽  
Switched Linear Systems ◽  
Lie Group Action

We present a geometric approach to the study of singular switched linear systems, defining a Lie group action on the differentiable manifold consisting of the matrices defining their subsystems with orbits coinciding with equivalence classes under an equivalence relation which preserves reachability and derive miniversal (orthogonal) deformations of the system. We relate this with some new results on reachability of such systems.

On Constructing Ergodic Hyperfinite Equivalence Relations of Non-Product Type

2013 ◽  
Vol 56 (1) ◽  
pp. 136-147
Author(s):  
Radu-Bogdan Munteanu
Keyword(s):  
Equivalence Relation ◽  
Product Type ◽  
Bratteli Diagram ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Property A

AbstractProduct type equivalence relations are hyperfinitemeasured equivalence relations, which, up to orbit equivalence, are generated by product type odometer actions. We give a concrete example of a hyperfinite equivalence relation of non-product type, which is the tail equivalence on a Bratteli diagram. In order to show that the equivalence relation constructed is not of product type we will use a criterion called property A. This property, introduced by Krieger for non-singular transformations, is defined directly for hyperfinite equivalence relations in this paper.

Sign in / Sign up

Export Citation Format

Share Document