Subsets of non countably infinite sets

  • Thread starter pyrole
  • Start date
  • #1
3
0
I was reading an introductory chapter on probability related to sample spaces. It had a mention that for uncountably infinite sets, ie. in sets in which 1 to 1 mapping of its elements with positive integers is not possible, the number of subsets is not 2^n.
I certainly find this very unintuitive, for eg. the set of all real numbers is an uncountably infinite set, I suppose.

Could someone throw some light on the topic with some examples. What happens when we look at probabilities of events in these sets?

Thanks
 

Answers and Replies

  • #2
22,089
3,297
Hi pyrole! :smile:

What exactly does the book say. The number of subsets of every set A is

[tex]|2^A|=2^{|A|}[/tex]

In particular, if A is finite, then the number of subsets is finite. And if A is infinite, then the number of subsets are uncountable.

This probably doesn't answer your question, but I don't quite understand what you're asking. :frown:
 
  • #3
795
7
I was reading an introductory chapter on probability related to sample spaces. It had a mention that for uncountably infinite sets, ie. in sets in which 1 to 1 mapping of its elements with positive integers is not possible, the number of subsets is not 2^n.
I certainly find this very unintuitive, for eg. the set of all real numbers is an uncountably infinite set, I suppose.

Could someone throw some light on the topic with some examples. What happens when we look at probabilities of events in these sets?

Thanks

Can you copy the entire passage from the text? It sounds like you might be confusing this with the Continuum Hypothesis (CH).

First, the cardinality of the collection of subsets of any set [itex]S[/itex] is always [itex]2^{|S|}[/itex], where the absolute value bars [itex]|S|[/itex] denote the cardinality of [itex]S[/itex]. So I don't believe that what you wrote is correct.

For example the cardinality of the set of natural numbers [itex]\mathbb{N}[/itex] is [itex]\aleph_0[/itex]; and the cardinality of the real numbers is [itex]2^{\aleph_0}[/itex]. It's easy to exhibit a bijection between the reals and the subsets of [itex]\mathbb{N}[/itex].

CH says that there is no other transfinite cardinal strictly between [itex]\aleph_0[/itex] and [itex]2^{\aleph_0}[/itex]. CH is independent of the the usual axioms of set theory, known as ZFC. So there may or may not be some cardinal strictly larger than [itex]\aleph_0[/itex] and strictly smaller than [itex]2^{\aleph_0}[/itex]. [Or the question may have no meaning, depending on one's philosophy.]

It seems likely (to me) that this is what your book was talking about; but in any event, if you post the relevant quote from the text we can have a better idea of what they are getting at.
 

Related Threads on Subsets of non countably infinite sets

  • Last Post
Replies
5
Views
3K
Replies
25
Views
12K
  • Last Post
Replies
4
Views
2K
Replies
2
Views
2K
  • Last Post
Replies
22
Views
907
Replies
4
Views
5K
Replies
3
Views
2K
Replies
13
Views
4K
  • Last Post
Replies
1
Views
6K
Top