- #1
Artusartos
- 247
- 0
I'm not sure if I understood Vitali Sets correctly, so I just want to write what I understood (because I don't know if it's right):
We have an equivalence relation where [itex]x \sim y \iff x-y \in Q[/itex]. So if we look at the interval [0,1], each irrational number will have its own equivalence class...and we will have one equivalence class for all rational numbers, right? Now, using the axiom of choice, we take one element from each equivalence class as a representative and form the set A. And then we form a new collection of sets [itex]A_q = \{q+a | a \in A\}[/itex]. We know that this collection has a countable number of sets, because each set corresponds to one rational number between 0 and 1...and the rational numbers are countable. We also know that the sets are disjoint. Then, when we take the union of these sets, we just need to add their measure. But we know that each set has the same measure, since measure is translation invariant. But we also know that there are infinite number of rational numbers between 0 and 1, so there are infinite amound of sets...so the measure must be infinity. But that can't be true since [0,1] has measure 1. So that's a contradiction, and the vitali set is not measureable.
Do you think my understanding is correct? If not can you please correct me?
We have an equivalence relation where [itex]x \sim y \iff x-y \in Q[/itex]. So if we look at the interval [0,1], each irrational number will have its own equivalence class...and we will have one equivalence class for all rational numbers, right? Now, using the axiom of choice, we take one element from each equivalence class as a representative and form the set A. And then we form a new collection of sets [itex]A_q = \{q+a | a \in A\}[/itex]. We know that this collection has a countable number of sets, because each set corresponds to one rational number between 0 and 1...and the rational numbers are countable. We also know that the sets are disjoint. Then, when we take the union of these sets, we just need to add their measure. But we know that each set has the same measure, since measure is translation invariant. But we also know that there are infinite number of rational numbers between 0 and 1, so there are infinite amound of sets...so the measure must be infinity. But that can't be true since [0,1] has measure 1. So that's a contradiction, and the vitali set is not measureable.
Do you think my understanding is correct? If not can you please correct me?
Last edited: