Why is this wrong?

Question

About the Collatz Conjecture:

Every body looks at it from "leaves to root" - to use the tree analogy.

I have another approach. My approach is to look at it from the root - the number 1 - and see if, by means of the inverse algorithm functions, I can generate all Counting Numbers.

Here I will wait for a first kind response to this: why is it t that the simple fact that lines 2n and (n-1)/3 - the inverse functions of the algorithm - are obviously continuous and all integers (I mean (n, m) points with m,n integers) belong to one or another isn't enough as a proof?

functions: all integers belong to one or another

(note that the generated numbers, by 2n function,: 2,4,6,8,10... plus division generates all naturals: 2,6/2,4,10/2,...)

all integers in those lines are hailstorm numbers. : their big bang like origin - a single point - guarantees that.

So, what I seek is to understand what is to prove!

Answer 1

Yes, a line like $2n$ is contiguous, but that's not what we're doing.

We're applying the mapping $n \rightarrow 2n$. It's important to realize that the input domain is $\mathbb{N}$. We can never get $3$ with this mapping for example, as there is no integer that we can double to get 3.

Neither mapping $n \rightarrow 2n$ or $n \rightarrow \frac{n-1}{3}$ covers every integer by itself. The interesting part of the Collatz conjecture is that we can combine and alternate these two mappings to construct integers. But it's incredibly hard to prove that this combination can reach all integers.

Answer 2

Let's define a Collatz sequence recursively, take $a_0$ to be any positive integer as a starting point and say

$$a_{n+1} = \begin{cases} \dfrac{3a_n+1}{2} & \text{$a_n$ odd}\\ \dfrac{a_n}{2} & \text{$a_n$ even} \end{cases} $$ If $a_n\equiv 0,1 \mod 3$, there is no problem in traversing the Collatz sequence in reverse. Take $a_{n-1} = 2a_n$. The problem is when $a_n\equiv 2 \mod 3$. We don't know whether to take $a_{n-1} = 2a_n$ or whether we should take $a_{n-1}=\dfrac{2a_{n-1}-1}{3}$. Either choice is possible, so how does one tell which choice is needed to reach any particular integer.