Countability of Functions from {0,1}: Finding a 1-1 Correspondence

Click For Summary

Homework Help Overview

The discussion revolves around the countability of the set of all functions from the set {0,1} to the natural numbers. Participants are exploring how to establish a 1-1 correspondence with a known cardinality.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants are attempting to determine whether the set of functions is countable or uncountable and are discussing the nature of functions from {0,1} to the natural numbers. Questions about how to create a bijection and the implications of distinct choices are raised.

Discussion Status

The discussion is ongoing, with participants sharing their thoughts on the nature of functions and the concept of countability. Some guidance has been offered regarding the representation of functions as ordered pairs, but there is no explicit consensus on the countability of the set.

Contextual Notes

There is some confusion regarding the definitions and implications of distinct choices in the context of countability. Participants are also navigating the relationship between different sets and their cardinalities.

kathrynag
Messages
595
Reaction score
0

Homework Statement


Is the set of all functions from {0,1} countable or uncountable? Provide a 1-1 correspondence with a set of know cardinality.



Homework Equations





The Attempt at a Solution


I say it is countable, but my problem is I don't really know how to provide a 1-1 correspondence.
 
Physics news on Phys.org


The set of all functions from {0,1} to where?
 


oops sorry to the natural numbers. My book has another question asking the same thing but from the natural numbers to that set. I'm just trying to get the whole idea of this down.
 


A function from the set {0,1} to the natural numbers is a set of ordered pairs {(0,m),(1,n)} where m and n are natural numbers. Do you see how to biject this with something?
 


Not really.
f:(0, a), (1, b)
 


If f is the function corresponding to {(0,m),(1,n)} maybe we could label it fm,n. Then each function f:{0,1}--> N is fm,n for some choices of m and n, and all fm,n are distinct
 


So is that basically for the set going to the natural numbers. If I want the natural numbers to {0,1}, I have {(m,n)} to {0,1} and each choice is not distinct. Uncountable.
 


Just because the choice is not distinct doesn't mean that it's uncountable
 


It's not onto, so uncountable?
 

Similar threads

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