Countability of Sets of Functions and Generalization to Infinite Sets

  • Thread starter Thread starter simmonj7
  • Start date Start date
  • Tags Tags
    Cardinality
Click For Summary
SUMMARY

The discussion centers on determining the countability of the set Bn of all functions f: {1, 2, ..., n} → ℕ, where ℕ represents the natural numbers. Participants reference key principles such as the countable union of countable sets and the finite product of countable sets, which are foundational in set theory. A theorem regarding cardinality is mentioned, suggesting that the set of functions can be analyzed through bijections with known countable sets. The conversation emphasizes the need for a deeper understanding of these concepts to derive conclusions about the countability of function sets.

PREREQUISITES
  • Understanding of set theory, specifically countability concepts.
  • Familiarity with functions and mappings in mathematics.
  • Knowledge of cardinality and bijections.
  • Basic grasp of natural numbers and their properties.
NEXT STEPS
  • Study the concept of bijections in set theory.
  • Learn about cardinality and its implications for infinite sets.
  • Research the properties of countable and uncountable sets.
  • Explore the relationship between finite products and countable sets.
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced set theory and the properties of functions, particularly in the context of countability and cardinality.

simmonj7
Messages
65
Reaction score
0

Homework Statement



Determine whether or not the set is countable or not. Justify your answer.

The set Bn of all functions f:{1,2,...,n}\rightarrowN,

where N is the natural numbers.

Homework Equations




1.)A countable union of countable sets is countable

2.)A finite product of countable sets is countable



The Attempt at a Solution



In the solution, a theorem is used that is not in my book.


It goes something like this Cardinality(A)=c and f:A\rightarrowB, then the set of functions is Ba.

I was wondering if anyone could help me figure out what information I was supposed to derive this from?

Thank you.
 
Physics news on Phys.org
Maybe you can find a bijection between the set of all functions

\{1,2\}\rightarrow \mathbb{N}

and \mathbb{N}\times \mathbb{N}. Generalize.
 

Similar threads

Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
6
Views
5K
  • · Replies 7 ·
Replies
7
Views
3K