Let be a natural number with , let be the initial segment determined by , and let be the real numbers with the order of its ordered field structure and the absolute value . Let be a real matrix, with entries .
On Euclidean space , a real vector space by Euclidean Space is a Real Vector Space, write for the dot product, for the Euclidean norm, and for the matrix-vector product. All sums below are the finite sums of the field .
Then the set
is a nonempty subset of admitting as an upper bound, and therefore has a least upper bound in .
Loading…
No relations recorded yet.