In mathematics, a Borel equivalence relation on a Polish space X is an equivalence relation on X that is a Borel subset of X × X (in the product topology).
Given Borel equivalence relations E and F on Polish spaces X and Y respectively, one says that E is Borel reducible to F, in symbols E ≤B F, if and only if there is a Borel function
- Θ : X → Y
such that for all x,x' ∈ X, one has
- xEx' ⇔ Θ(x)FΘ(x' ).
Conceptually, if E is Borel reducible to F, then E is "not more complicated" than F, and the quotient space X/E has a lesser or equal "Borel cardinality" than Y/F, where "Borel cardinality" is like cardinality except for a definability restriction on the witnessing mapping.
Read more about Borel Equivalence Relation: Kuratowski's Theorem
Famous quotes containing the word relation:
“Light is meaningful only in relation to darkness, and truth presupposes error. It is these mingled opposites which people our life, which make it pungent, intoxicating. We only exist in terms of this conflict, in the zone where black and white clash.”
—Louis Aragon (18971982)