Let be a rational vector subspace of the real numbers and let . Every element of has a unique expression . For any prescribed real number , the rule extends a rational-linear map on and remains rational-linear. The uniqueness follows because a nonzero rational multiple of cannot lie in .
Rational-linear map 2026-10-31
A rational-linear map is a linear map when its domain and codomain are regarded as vector spaces over the rational numbers. An additive map on a rational vector subspace of the real numbers is automatically rational-linear: integer homogeneity follows by repeated addition, and division by a positive integer gives rational homogeneity of an additive function.
Real-linear map 2026-10-31
A real-linear map is a linear map over the real numbers. For a map from the real line to itself, real linearity means multiplication by a fixed real number, its value at one. Rational-linear maps need not be real-linear without an additional regularity condition.