5

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

t.b.
  • 78,116
Matt
  • 51

1 Answers1

12

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.

William
  • 19,935
  • 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 up – Matt Aug 17 '12 at 08:02
  • 1
    @Matt: your accounts have been merged. Please register to avoid such difficulties in the future. – Qiaochu Yuan Aug 17 '12 at 16:51