5
$\begingroup$

I don't seem to get the special properties of Vitali sets which makes them different from the intervals, e.g. [0,1].

  • 5
    For one thing, it is not measureable!2012-08-17
  • 0
    I am aware that it is not measurable, but i'm in doubts of the construction of the vitali set itself... it is formed by the collection of representatives of partitions of all real numbers, but why can't the representatives form the interval [0,1] itself?2012-08-17
  • 2
    Because no two elements of the Vitali set differ by a rational number: that is precisely its characteristic property. The same is not true of the interval $[0,1]$.2012-08-17
  • 2
    For another thing, the Vitali set contains only one rational number.2012-08-17
  • 0
    See [here](http://math.stackexchange.com/q/137949/8271) for detailed explanations of the construction of Vitali set(s).2012-08-18

1 Answers 1

11

The Vitali set can not be an interval. As Mariano Suarez-Alvarez mentioned, a well-known result is that the Vitali set is not measurable, but every interval is measureable.

However, even more elementary than that: A Vitali set contains exactly one element from each coset of $\mathbb{R} / \mathbb{Q}$ (as additive groups). Alternatively, you can define the equivalence relation on $\mathbb{R}$ by $a \sim b$ if and only if $a - b \in \mathbb{Q}$. The Vitali set is then a set containing exactly one element from each equivalence class. $\mathbb{Q}$ is the equivalence class containing $0$. Hence, Vitali set only contain one rational number. The Vitali set can not be a interval since intervals contain more than a single rational number.

  • 0
    Now I notice where I got wrong. The axiom of choice. I was thinking that all elements in the equivalence class Q that's in the interval was also included. Thanks for the clarification.. by the way, sorry if im posting in the answers, I have troubles in signing up2012-08-17
  • 1
    @Matt: your accounts have been merged. Please register to avoid such difficulties in the future.2012-08-17