Rational homogeneity of an additive function

ID: rational-homogeneity-of-an-additive-function

For every additive function , every real number , and every rational number , one has . This is the scalar multiplication part of being a linear map over the rational numbers.
First gives , and gives . Repeated addition gives for each positive integer , and the negative case follows from the sign identity. If with and , then
No continuity was used. In particular fixes , , and every other rational value, even for a discontinuous additive function.

New to topics? Read the docs here!