# Cardinality of a set of positive Lebesgue measure

I have pretty no knowledge in set theory, so likely the question has a trivial answer. All countable subsets of $[0,1]$ have Lebesgue measure of zero, thus all sets of positive Lebesgue measure are uncountable. Does it yet mean that all these sets have same cardinality as $[0,1]$? Clearly, the answer is yes under the continuum hypothesis, but I wonder whether CH is crucial here and what would be the answer without CH.

I guess there is no difference whether we consider only Borel sets, or all Lebesgue measurable ones.

But there's an easier solution. Recall the theorem of Steinhaus saying that if $A$ is a measurable subset, then $A-A=\{a-b\mid a,b\in A\}$ contains an open interval around $0$.
With the help of some basic cardinal arithmetic it's easy to show that $A$ has the cardinality of the continuum.
• Without Steinhaus's theorem, the result can be deduced for all measurable sets from the first paragraph, essentially by definition, as the inner Lebesgue measure of a set $A$ is (defined as) the supremum of the measures of its compact subsets. Dec 6, 2014 at 16:25
{"ft_lang_label":"__label__en","ft_lang_prob":0.9488402,"math_prob":0.98257416,"size":522,"snap":"2023-40-2023-50","text_gpt3_token_len":122,"char_repetition_ratio":0.12355212,"word_repetition_ratio":0.0,"special_character_ratio":0.2164751,"punctuation_ratio":0.115384616,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9936445,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-12-11T23:24:05Z\",\"WARC-Record-ID\":\"<urn:uuid:ab15b9f2-a9d4-472d-a943-81f5ad8d7c69>\",\"Content-Length\":\"145770\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:7b0c0266-423a-42dc-a5c7-317d6043b2e3>\",\"WARC-Concurrent-To\":\"<urn:uuid:23fb5aa0-3340-4001-91f2-00c67219f120>\",\"WARC-IP-Address\":\"104.18.43.226\",\"WARC-Target-URI\":\"https://math.stackexchange.com/questions/1054348/cardinality-of-a-set-of-positive-lebesgue-measure\",\"WARC-Payload-Digest\":\"sha1:572TQM6KHQSC7SEKPWUWWH27FBL7K5WC\",\"WARC-Block-Digest\":\"sha1:DDJSALBRV2BZLOEQG7E5I7TMQ36KBOYK\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-50/CC-MAIN-2023-50_segments_1700679518883.99_warc_CC-MAIN-20231211210408-20231212000408-00898.warc.gz\"}"}