00:01
So in the first part, we need to prove n x n to be countably infinite.
00:07
For that, let us define a function f such that from n x n to n.
00:16
So the function will be f of m, n is equal to 2 raised to power m times 2n plus 1.
00:29
Now to prove it is countably infinite, we need to prove this function to be one -one and onto.
00:34
So clearly, this function is onto as for each n belongs to natural number, there exists r such that n is equal to 2 raised to power r 2s plus 1, then n is equal to f of r comma s.
01:23
The function is onto.
01:26
Now for one -one, let f of m1, n1 is equal to f of m2, n2.
01:37
So it is 2 raised to power m1 2n1 plus 1 is equal to 2m2 times 2n2 plus 1.
01:50
It is equal to 2 raised to power m1 minus m2 2n1 plus 1 is equal to 2n2 plus 1.
02:02
This implies that m1 minus m2 is equal to 0.
02:10
So you are left with 2n1 plus 1 is equal to 2n2 plus 1.
02:17
This will give you n1 is equal to n2.
02:20
So m1 n1 is equal to m2 n2...