COLLATZ-HASSE-SYRACUSE-ULAM-KAKUTANI (CHSUK) THEOREM: CONVERGENCE OF THE COLLATZ SEQUENCE TO THE TRIVIAL CYCLE

Abstract

This paper presents the Collatz-Hasse-Syracuse-Ulam-Kakutani (CHSUK) theorem, which asserts the convergence of the Collatz Sequence to the trivial cycle, thus proving the Collatz Conjecture, which has been a long-standing unsolved problem.  The proof is based on the isomorphism established between H^s that is the relevant component of a carefully designed structured system framework H and the set of positive integers.  The structured system framework H itself has been designed & constructed by a two-stage bijective mapping (with a meticulous reorganization and condensation) from the Collatz-domain that is the set of natural numbers :- the first stage being, from the Collatz-domain to BELnet, that is the network of binary exponential ladders defined on the set of positive odd numbers; and the second stage being, from BELnet to the structured system framework H.  The isomorphism between H^s and the set of natural numbers in turn leads to a reductio-ad-absurdum argument that is used to demonstrate domain exhaustion; logically excluding the existence of any extraneous objects, such as disjoint loops H^¥ or divergent chains H^& in H.  In proving the convergence, we have used only the most fundamental Dedekind-Peano axioms and modulus arithmetic properties of the Collatz system and have not used any algorithmic or computational or dynamic characteristics of the Collatz system.