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.
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 .
Articles by others on the same topic
There are currently no matching articles.