TheoremBase

Coordinate Bounds Control the Euclidean Norm

Statement

Let nn be a natural number, let [n][n] be the initial segment of N\mathbb{N} determined by nn, and let x=(x1,…,xn)x=(x_1,\dots,x_n) be a point of Euclidean space Rn\mathbb{R}^n. Write ∥ ⋅ ∥\lVert\,\cdot\,\rVert for the Euclidean norm, ∣⋅∣|\cdot| for the absolute value on the real numbers, whose order ≤\le is that of an ordered field, and ι\iota for the canonical map of R\mathbb{R}.

Let tt be a real number with 0≤t0\le t and suppose that ∣xi∣≤t|x_i|\le t for every i∈[n]i\in[n]. Then

∥x∥≤ι(n) t.\lVert x\rVert\le\iota(n)\,t .

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…