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!