« first day (1875 days earlier)      last day (2591 days later) » 

4:26 PM
in Calculus and analysis, 29 mins ago, by Little Rookie
So there are instances where i can find an explicit expression for the function mapping natural numbers to a set which we would like to show that it is countable.
in Calculus and analysis, 28 mins ago, by Little Rookie
And there are also instances where i cannot find an explicit expression for the function, then i would suggest a method/algorithm to map the natural numbers to my set
in Calculus and analysis, 27 mins ago, by Little Rookie
sometimes, i show it for first 10 natural numbers, then i would write repeating the process for the other natural numbers
in Calculus and analysis, 27 mins ago, by Little Rookie
Now, the big issue i have is to show that the mapping/function is indeed bijective.
in Calculus and analysis, 27 mins ago, by Little Rookie
In cases, where i do not have the explicit formula for the function, how do i show that it is a bijection?
in Calculus and analysis, 26 mins ago, by Little Rookie
For example, the well known case for Rational numbers, the mapping has no explicit form, instead a counting algorithm is proposed.
 
@little Rookie
you are trying to prove it in general?
like no examples
or I meant for a specific problem.
 
4:44 PM
@LittleRookie The case about the algorithm for natural numbers.
The algorithm gives you a function $\mathbb N\to\mathbb Q$.
You are asking whether this function is surjective.
To show this, just notice that if you have a rational $\frac pq$, they are at most finitely many numbers which might have been used in the algorithm before this number.
BTW you do not always have to show that there is a bijection. If you know Cantor-Bernstein theorem then you know that injectiontive functions in both directions are enough.
In the particular case of rationals you could show that $$|\mathbb N| \le |\mathbb Q| \le |\mathbb Z\times\mathbb Z| = |\mathbb N|.$$
If you have both $|\mathbb Q| \le |\mathbb N|$ and $|mathbb N|\le|\mathbb Q|$, then the two sets have the same cardinality, according to Cantor-Bernstein theorem.
Typo: $|\mathbb Q| \le |\mathbb N|$ and $|\mathbb N| \le |\mathbb Q|$.
 

« first day (1875 days earlier)      last day (2591 days later) »