What is the Size of ∪A_n Where n Goes to Infinity?

  • Context: Graduate 
  • Thread starter Thread starter TriTertButoxy
  • Start date Start date
  • Tags Tags
    Set
Click For Summary
SUMMARY

The discussion focuses on determining the size of the union of sets A_n as n approaches infinity, where A_0 is a point, A_1 is the reals, A_2 is the reals squared, and so forth. The conclusion is that the union U of all A_n sets has the same cardinality as the reals, denoted as R. A bijection is established through a function F that maps elements from U to [0,∞), confirming that U plus an additional point retains the same cardinality as U itself. This aligns with established mathematical principles regarding infinite sets and cardinality.

PREREQUISITES
  • Understanding of cardinality in set theory
  • Familiarity with bijections and injections
  • Knowledge of real numbers and their properties
  • Basic concepts of infinite sets
NEXT STEPS
  • Study the properties of cardinality in set theory
  • Learn about bijections and injections in mathematical functions
  • Explore the implications of infinite sets in topology
  • Investigate the relationship between different dimensions of real numbers
USEFUL FOR

Mathematicians, physicists, and students interested in set theory, particularly those exploring concepts of infinity and cardinality.

TriTertButoxy
Messages
190
Reaction score
0
I am not a mathematician, I am a physicist. Out of curiosity, how big is the following set?

Let me first define:
A_0 = a point
A_1 = the reals
A_2 = the reals^2 (the plane)
A_3 = the reals^3
.
.
.

The set I want to know the size of is the sum (union) of all the A_n sets, where n goes to infinity. Also, can i assign a cardinality?
 
Physics news on Phys.org
Let f_n be an injection from R^n to [n-1,n), n>0, then we can define a function F on U = \bigcup_{n=1} R^n to [0,\infty) by F(x) = f_n(x) whenever x is an element of R^n. This is a bijection, so U + your point (R^0) has the same cardinality as R.

I have explained the fact that R^n has the same cardinality as R (and hence [n-1,n) ) in an earlier post of mine if you are not familiar with this fact:

https://www.physicsforums.com/showpost.php?p=3021974&postcount=11

As I have used above, U + a point, or more formally U \cup \{x\} where x is not in U has the same cardinality as U whenever U is an infinite set. We can prove that as such: take a countable sequence a_n, n>0, of distinct elements from U, and define f : U \to U \cup \{x\} by f(a_n) = a_{n-1} for n>1, f(a_1) = x, and f(y) = y whenever y is not in the sequence. This is a bijection.
 
Last edited:

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 20 ·
Replies
20
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
Replies
4
Views
2K
Replies
8
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K