Let Xn, n ∈ N be a sequence of non-empty sets, ψn : Xn2 → IR+. We consider the relation E = E((Xn, ψn)n∈N) on ∏n∈N Xn by (x, y) ∈ E((Xn, ψn)n∈N) <=>Σn∈Nψn(x(n), y(n)) < +∞. If E is an equiv- ale...Let Xn, n ∈ N be a sequence of non-empty sets, ψn : Xn2 → IR+. We consider the relation E = E((Xn, ψn)n∈N) on ∏n∈N Xn by (x, y) ∈ E((Xn, ψn)n∈N) <=>Σn∈Nψn(x(n), y(n)) < +∞. If E is an equiv- alence relation and all ψn, n ∈ N, are Borel, we show a trichotomy that either IRN/e1≤B E, E1≤B E, or E≤B E0. We also prove that, for a rather general case, E((Xn, ψn)n∈N) is an equivalence relation iff it is an ep-like equivalence relation.展开更多
基金supported by National Natural Science Foundation of China (Grant No.11071129)the Program for New Century Excellent Talents in University (Grant No.09-0477)
文摘Let Xn, n ∈ N be a sequence of non-empty sets, ψn : Xn2 → IR+. We consider the relation E = E((Xn, ψn)n∈N) on ∏n∈N Xn by (x, y) ∈ E((Xn, ψn)n∈N) <=>Σn∈Nψn(x(n), y(n)) < +∞. If E is an equiv- alence relation and all ψn, n ∈ N, are Borel, we show a trichotomy that either IRN/e1≤B E, E1≤B E, or E≤B E0. We also prove that, for a rather general case, E((Xn, ψn)n∈N) is an equivalence relation iff it is an ep-like equivalence relation.
