One-dimensional extension of a rational-linear map

ID: one-dimensional-extension-of-a-rational-linear-map

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 .

New to topics? Read the docs here!