# Is this set countably infinite? If so, how do I exhibit a one to one correspondence between these tw

Is this set countably infinite? If so, how do I exhibit a one to one correspondence between these two sets?
I am supposed to determine whether or not the set $A×{Z}^{+}$ where $A=\left\{2,3\right\}$ is countably infinite. If so, I should exhibit a one to one correspondence between the set of positive integers and the set in question.
Although I'm pretty sure that the set is countably infinite, I am struggling to find a one to one correspondence from the positive integers to the set since it seems to me that there are twice as many elements in the set $A×{Z}^{+}$ than the set of positive integers since its cardinality is double due to the Cartesian product?
You can still ask an expert for help

## Want to know more about Discrete math?

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

Charlee Gentry
Step 1
The bijection is rather obvious. E.g. for every positive integer n you can define: $F\left(2k-1\right)=\left(2,k\right)$ when $n=2k-1$ (n is odd)
$F\left(2k\right)=\left(3,k\right)$ when $n=2k$ (n is even)
Just prove that F is a bijection (which is quite easy).
This bijection is basically a formal writing of this table:
$1\to \left(2,1\right)$
$2\to \left(3,1\right)$
$3\to \left(2,2\right)$
$4\to \left(3,2\right)$
$5\to \left(2,3\right)$
$6\to \left(3,3\right)$
Step 2
"It seems to me that there are twice as many elements in the set $A×{Z}^{+}$ than the set of positive integers since its cardinality is double due to the Cartesian product"
Well, the same intuition is probably there for the sets of positive integers and even positive integers. But there is a bijection between the two sets, hence their cardinalities are equal (one cardinality is not "twice" the other cardinality).
So whenever your intuition says that the number of elements of one set C is 2 or 3 or 10 or m times the number of elements of another set B, you should know that the two sets B and C are in fact of the same cardinality. It's somewhat counterintuitive at first sight but that's how it is.