Consider the following problem: We have the following sets:
A={S where S is a bounded sequence of natural numbers}
B={S where S is an increasing bounded sequence of natural numbers}
I need to prove that set A is not denumerable and set B is denumerable.
For the first one, could I use Diagonal Argument like this:
Let's suppose that A is denumerable. Then we can find a function that puts all bounded sequences into a one-to-one correspondence with the positive integers. Let's construct another sequence, that is different in the first number from the maximum element of sequence1, is different in the second element from the maximum element of sequence2 etc. Then we have a sequence that is different from every other sequence in A but cannot be in one-to-one correspondence with a positive integer. So we have supposed wrong and A is not denumerable.
Is something like this correct?
Also for B, can I prove it by enumerating all the elements of the set like this:
B={maximumValueOfsequence1,maximumValueOfsequence2 ,. etc}
A little help would be really appreciated :o