💾 Archived View for gemini.locrian.zone › library › stackexchange › oddreals.gmi captured on 2024-05-12 at 15:16:26. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-12-28)
-=-=-=-=-=-=-
Original post on math.stackexchange by Ravi Gupta
Is the concept of even/odd numbers applicable to decimal numbers? For e.g. — 4.222 is a even number?
I am not saying that this is a way to consider “even” and “odd” numbers, but I think it's quite cool that it looks somehow as a generalization of this notion.
It doesn’t make sense to look at the digits of an irrational number to determine its “parity”, hence let's just stick with rational numbers.
When we were looking at integers, we said that an integer was even when it was divisible by 2 and odd when it is not. Instead of using words, we could give much better information, which is to define a map
ν_2:N→N∪{0}
n=(2^k)m ↦ k
where in the latter, m is odd. The map ν then measures how even the integer n is, in the sense that when there are more powers of 2 that divide n, it is considered “more divisible by two”.
This concept can be generalized to the rational numbers : write x=a/b with a and b≠0 integers. Write a=2k1a′ and b=2k2b′, so that x=2k1−k2(a′/b′) and now both a′ and b′ are odd. Now define ν again in a similar manner:
ν_2:Q→Z x=((2^k_1)a′/(2^k_2)b′) ↦ k1−k2.
When x is an integer, we recover the map we had before, so this can be considered as an extension of this map to the rational numbers.
I don’t know if you have done some abstract algebra, but I am going to work things out a little more so that readers that might be interested find good information here.
If we replace ν_2 by ν_p, where p is a prime number, all that we did works just fine and we get a map from Q to Z which indicates how much can a rational be divisible by p (by allowing “negative divisibility” in some sense, because it also measures how many times p divides the denominator). We are getting close to the concept of a discrete valuation, which is defined as the following: given a field K, a discrete valuation ν is a function from K^×, the group of units, to Z, which satisfies the following properties:
ν(ab) = ν(a)+ν(b)
ν(a+b) ≥ min{ν(a),ν(b)}
and must also be surjective. This function has many interesting algebraic properties. Recalling informations we had before such as “the set of all even integers form a ring”, and just by considering this map and its properties, we can show that
{x∈K×|ν(x)≥0}∪{0}
is a subring of K which contains the identity of K. For some examples of how this is relevant, consider this: if we take the map ν_2 we had before (over Q), proving this fact means that the set of all rational numbers with odd denominator form a subring of Q (and so does the set of all rational numbers with denominators coprime to p). Valuations are extensively studied, and you can probably look it up on Wikipedia or ask for a reference if you are more interested in this.
Hope that helps!
---
Note that this notion of “generalized even-ness” does not show up easily in the digits of the rational number:
x = 4.2222 = 42222/10000 = 2⋅21111/(2454)
is such that ν(x)=−3, which is not what you would expect if the number of 2’s in the decimal expansion was relevant.