Continuing my series of posts exploring the decadic numbers… in my previous post, I explained that we will define a new “size function”, or metric, different from the usual “absolute value”, and written . Two numbers will be “close to” each other when the size of their difference is small.
For now we will define on the integers. First, every nonzero integer
can be factored as
, where
is not divisible by
. In other words,
is the largest power of
which evenly divides
. For example,
;
;
. Now, for
not divisible by
, we simply define
.
So, ;
;
. This definition doesn’t cover zero, however, because
for any
. But notice that the distance from any number to itself will be
, so we define
, since the distance from anything to itself ought to be zero.
So, what pairs of integers are close to each other, under this new metric? How about and
? We compute
. At first sight that might seem pretty close. After all, under the usual absolute value metric, that’s the closest two natural numbers can possibly be to each other without being equal. But the decadic metric is always of the form
for some nonnegative
, and it’s easy to see that
is actually the largest possible value for this metric! So
and
are actually rather far apart. Weird, right? (Before reading on, can you come up with a pair of integers that are closer?)
As an aside, note that the “number line” is no longer helpful: it gives us a visual sense of how far apart any two integers are, but only for the usual absolute value metric!
For our current purposes it’s more useful to think of the integers as living in a big “soup”: each integer still exists and means the same thing it usually means, but the physical relationship of the integers to one another is quite different than what we are used to. (Their arithmetic relationships are unchanged: for example, still equals
.)
and
are right next to each other on the number line, but they are on completely opposite sides of the soup! Part of our job will be to figure out more about what that “soup” actually looks like.
So, what about a pair of integers that are closer together than and
? How about
and
? “Those don’t seem very close at all!” You might protest. Aha, but you are still thinking in terms of the old absolute value metric! Let’s compute their decadic distance:
Aha, so they really are a bit closer together. What about and
?
Those are closer still!
Do you see what’s going on? Can you come up with a concise description of when two integers will be close? How close can two integers be?
I guess your last question means two unique integers? It looks like things are closest when their difference is a number ending in the longest string of zeroes. To recall junior high, the closest decadic numbers are the ones whose differences are the least annoying to write in “scientific notation”
I can’t think of a neat trend yet. At first I thought numbers would have to be of the same order of magnitude to be close, but 300000000001 and 1 are pretty close. So are 300009 and -1, or 300000 and -300000.
It seems to me that closeness is defined by two things:
• The “complementarity” of the numbers: whether they differ to a factor of 10
• The largest magnitude of the two numbers: we can get a smaller distance when at least one number is a big factor of ten
I am trying to think of how I’d map this. It sure isn’t a line, since given any number and any distance I can pick a lot of integers that are 1 away. I can also pick an arbitrarily large number of much larger-order numbers that are closer and closer. What I mean is (and sorry, since there’s no preview button I can’t really try out this LateX thing)
For 987:
• Most numbers are 1 away
• -3, 7, -23, and 17 are 1/10 away
• -113, 87, and 187 are 1/100 away
• -1013, -13, and 1987 are 1/1000 away
The most special number here seems to me to be -13. I am getting the biggest bang for my buck in the low-order number -13, order being the power of 10 it is closest to (ignoring sign).
So I propose: if O(x) is the order of x, an N and J are integers, then for every number N there is just one number J where
O(J) ≤ O(N)
and
O(|N-J|_10) > O(N)
and you can find numbers closer and closer to N by choosing high-order powers of ten and adding J.
In a sense, you can think about writing the numbers backwards to get an intuition for the difference with this metric.
For example, 3000001 and 1 can be rewritten as 0.10000003 and 0.1 which are quite close together.
Pingback: Infinite decadic numbers | The Math Less Traveled
Pingback: More fun with infinite decadic numbers | The Math Less Traveled
Pingback: A self-square number | The Math Less Traveled