Let A and B be two subsets of R^2. I define the relation T(A,B) to hold between A and B iff there exists a translation f on R^2 such that the image set of A under f is B. It is easy to prove that T is an equivalence relation. In a question on MSE, I asked if the equivalence class under T for every nonempty proper subset of R^2 has cardinality of the continuum. The answer was negative. The answerer gave me an example of a set of points whose associated equivalence class is countably infinite. But the answer to one question gives birth to another question. My question now is, is the equivalence class of every nonempty proper subset of R^2 infinite? Might there be nonempty proper subset P of R^2 such that the equivalence class of P is finite?
Equivalence relations on powerset of R^2
user107952
- 2k
- 16
- 25