# A set of point sets, of cardinality greater than that of the continuum.

What would be the examples of a Set of point sets in $\mathbb R^2$ having the cardinality greater than that of real numbers?

Any stipulations over these point sets themselves may please be specified.

EDIT: My mistake which i correct in bold face as an edit. Motivation here is purely for informative purposes.

This is also related to a previous question of mine asking for the cardinality of all planar curves.

-
There isn't any. All subsets of $\mathbb{R}^2$ have cardinality at most $\#\mathbb{R}^2=\#\mathbb{R}$. – Alex Youcis Nov 11 '13 at 6:50
None, obviously. You could ask for natural point classes of subsets of $\mathbb R^2$ with larger size, and then there would be some examples. – Andrés Caicedo Nov 11 '13 at 6:51
Why did you delete your previous question, by the way? There was something potentially interesting there. – Andrés Caicedo Nov 11 '13 at 6:51
@AndresCaicedo I am looking for a more fitting word than 'curve', I am rephrasing it. – ARi Nov 11 '13 at 6:53
@AlexYoucis of course a I edit the question to rectify my mistake. – ARi Nov 11 '13 at 6:57

A natural example is the collection of Lebesgue measurable sets. The reason is that there are sets of measure $0$ and size continuum, and any subset of a measure $0$ set is also of measure $0$. This example has size $2^{|\mathbb R|}$. Note that, on the other hand, there are only $|\mathbb R|$ many Borel sets, we really needed that the measure space is complete to obtain a larger collection.
For a different example: There are sets of reals of size $\aleph_1$, the first uncountable cardinal. For example, fix a ("natural") way of coding binary relations on $\mathbb N$, using reals (for example, a real $r$ can code a sequence $a_0,a_1,\dots$ of natural numbers, using the continued fraction of $r$, and we can identify each natural with a pair of naturals, so this gives us a binary relation; there are many other natural ways, of course). Now pick a representative from each equivalence class where two reals are equivalent iff either neither codes a well-ordering, or else both code a well-ordering with the same order type. The collection of all subsets of this set has size $2^{\aleph_1}$. Of course, if the continuum hypothesis holds, this example has the same size as the previous one, but it is consistent that the size is different: It is strictly larger than $|\mathbb R|$, and it may be strictly smaller than $2^{|\mathbb R|}$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8945520520210266, "perplexity": 134.18885090092945}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-18/segments/1461860111612.51/warc/CC-MAIN-20160428161511-00011-ip-10-239-7-51.ec2.internal.warc.gz"}