Subsets of non countably infinite sets

  • Context: Graduate 
  • Thread starter Thread starter pyrole
  • Start date Start date
  • Tags Tags
    Infinite Sets Subsets
pyrole
Messages
3
Reaction score
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
 
Physics news on Phys.org
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:
 
pyrole said:
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.
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 18 ·
Replies
18
Views
6K
  • · Replies 22 ·
Replies
22
Views
2K
  • · Replies 21 ·
Replies
21
Views
4K
Replies
4
Views
3K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 25 ·
Replies
25
Views
5K
  • · Replies 55 ·
2
Replies
55
Views
11K