Definition: In the 2-adic integers (ℤ₂), the set of all starting points whose trajectories eventually lead to a specific attractor (like the 1-cycle or the -5/-7 cycle).
Chapter 1: The Giant Water Park (Elementary School Understanding)
Imagine a giant water park with different pools. When you get on a slide, you always end up in one of the big pools at the bottom.
The "1-Pool" is a lazy river that just goes around in a small circle.
The "-1 Pool" is a fun whirlpool that also goes around in a circle.
The "-5 Pool" is another whirlpool that's a little bigger.
A Basin of Attraction is all the starting points of all the waterslides that are guaranteed to end up in the same pool.
The "Basin of the 1-Pool" is all the slides that lead to the lazy river. It turns out that all the normal whole numbers (like 3, 5, 7, ...) are starting points in this basin.
But there are other, strange "negative" numbers that, when you put them on a slide, end up in the "-1 Pool" or the "-5 Pool."
The Basin of Attraction is like the "watershed" for a pool—all the land that drains into that one specific spot.
Chapter 2: The Final Destination (Middle School Understanding)
In the Collatz game, we usually only look at positive whole numbers, and they all seem to go to the 4 → 2 → 1 loop. This loop is called an attractor because it "attracts" all the other numbers to it.
But what if we could play the game with all integers, including negative ones? It turns out there are other attractors!
-1 → -2 → -1 (This is a 2-step loop).
-5 → -14 → -7 → -20 → -10 → -5 (This is a 5-step loop).
There are a few others, like one starting at -17.
A Basin of Attraction for a specific attractor is the complete set of all starting numbers whose Collatz journey eventually falls into that attractor's loop and stays there forever.
The Basin of Attraction for the 1-cycle includes all positive integers (this is the Collatz Conjecture).
The Basin of Attraction for the -1 cycle includes -1, -2, -3, -4, and many others.
The Basin of Attraction for the -5 cycle includes -5, -7, -10, and so on.
Every single integer belongs to exactly one Basin of Attraction. The basins are like giant, invisible "empires" on the number line, and each number is a citizen of the empire whose attractor it is destined to serve. The 2-adic integers are a special, bigger number system where we can see these empires perfectly.
Chapter 3: Attractors in a Dynamical System (High School Understanding)
The Collatz map, C(n), is a dynamical system. A key feature of any dynamical system is its attractors. An attractor is a subset of the state space towards which the system evolves over time.
For the Collatz map extended to all integers (ℤ), there are several known periodic cycles, which are the attractors:
{1, 2} (often called the 1-cycle)
{-1, -2} (the -1-cycle)
{-5, -7, -10, -14, -20} (the -5-cycle)
And a few others. It is conjectured that there are only a finite number of such cycles.
The Basin of Attraction for an attractor A is the set of all initial points n₀ such that the trajectory starting at n₀ eventually enters A.
Basin(A) = { n₀ ∈ ℤ | ∃k : Cᵏ(n₀) ∈ A }
The Collatz Conjecture for ℤ⁺ is the statement that Basin({1, 2}) contains all positive integers.
The 2-adic Integers (ℤ₂):
This is a more complete number system where the Collatz map is better behaved. A 2-adic integer is an infinite binary sequence extending to the left (...b₃b₂b₁b₀). In this system, division by 2 is always possible, so the 3n+1 map can be simplified to a continuous function f(x) = (3x+1)/2. The Basins of Attraction are perfectly defined and partition the entire space of 2-adic integers into distinct regions, like a colored fractal. Each point on the fractal belongs to the basin of a different attractor.
Chapter 4: A Partition of the 2-adic Integers (College Level)
In the ring of 2-adic integers (ℤ₂), the Collatz map can be extended to a continuous function. The analysis of the dynamical system (ℤ₂, f) where f(x) is a Collatz-like function reveals a rich structure of attractors and their basins.
The function T(x) = (3x+1)/2 for odd x and x/2 for even x is a continuous, measure-preserving, and ergodic map on ℤ₂. The study of this map reveals that the space ℤ₂ is partitioned into a finite number of disjoint Basins of Attraction.
ℤ₂ = Basin(1) ∪ Basin(-1) ∪ Basin(-5/7) ∪ ...
The Structure of the Basins:
These basins are not simple sets; they are open and closed sets (clopen) in the 2-adic topology. They have a complex, fractal structure. The boundary between any two basins is itself a fractal set of measure zero.
Example: The Basin for the 1-cycle
The set of positive integers ℤ⁺ is conjectured to be a subset of Basin(1). The structure of this basin in ℤ₂ is related to the residues modulo powers of 2. For example, all 2-adic integers of the form 4k+1 (ending in ...01) are known to fall into a specific sub-basin.
The Role in the Main Treatise:
While the main treatise focuses on positive integers, the concept of Basins of Attraction from the 2-adic world provides the theoretical justification for why the system should converge at all. The fact that the map on ℤ₂ is well-behaved and partitions the entire space into a finite number of attracting basins strongly suggests that the map on the embedded subset ℤ⁺ should not diverge to infinity.
The Annihilator Basins defined for positive integers are the "shadows" or the intersections of these true, 2-adic Basins of Attraction with the positive number line. The Law of Annihilator Resonance explains the mechanism of convergence within the Basin of 1.
Chapter 5: Worksheet - Mapping the Fates
Part 1: The Water Park (Elementary Level)
If a number's journey ends up in the "-5 Pool," what is the name for the set of all the starting slides that lead to that same pool?
All the normal positive whole numbers are on slides that lead to which pool?
Part 2: The Final Destination (Middle School Level)
The journey for -3 is: -3 → -8 → -4 → -2 → -1 → -2.... Which Basin of Attraction does -3 belong to?
What is an "attractor" in a dynamical system like the Collatz map?
What is the Collatz Conjecture, stated in the language of Basins of Attraction?
Part 3: The 2-adic Integers (High School Level)
List the three most well-known attractor cycles for the Collatz map on all integers ℤ.
Why is a system like the 2-adic integers ℤ₂ more "complete" for studying the Collatz map than the regular integers? (Hint: what operation is always possible?)
The Annihilator Basins for ℤ⁺ (Basin of 5, Basin of 21, etc.) are all part of which larger Basin of Attraction in ℤ₂?
Part 4: Topology and Dynamics (College Level)
The Basins of Attraction in ℤ₂ are described as "clopen" sets. What does this mean?
What is the ultrametric inequality (strong triangle inequality), and how does it lead to the non-intuitive fractal geometry of the 2-adic integers?
Explain the relationship between the Annihilator Basins (defined on ℤ⁺) and the Basins of Attraction (defined on ℤ₂). Which one is the "true" object, and which one is the "shadow"?