TheoremBase

Vanishing of Uniformly Small Linear, Quadratic and Bilinear Terms in a Real Inner Product Space

A vector, or a bounded symmetric bilinear form, whose associated linear, quadratic or bilinear expression is bounded by an arbitrarily small multiple of the corresponding power of the norm on some ball, vanishes identically. These are the uniqueness statements behind the gradient and the Hessian.

Statement

In the setting of Real Hilbert Spaces: Standing Notation and Background, let EE be a real inner product space, with its inner product ⟨⋅,⋅⟩\langle\cdot,\cdot\rangle, norm ∣⋅∣|\cdot| and zero vector 0E0_{E} as fixed there, and let Sym(E)\mathrm{Sym}(E) be the set of bounded symmetric bilinear forms on EE, with the norm ∥⋅∥\lVert\cdot\rVert and the zero form 0Sym0_{\mathrm{Sym}} fixed there.

Let p∈Ep\in E and let b∈Sym(E)b\in\mathrm{Sym}(E). Then the following hold.

1. (A uniformly small linear term vanishes) Suppose that for every positive ε∈R\varepsilon\in\mathbb{R} there is a positive δ∈R\delta\in\mathbb{R} such that every z∈Ez\in E with ∣z∣<δ|z|<\delta satisfies

∣⟨p,z⟩∣≤ε ∣z∣.|\langle p,z\rangle|\le\varepsilon\,|z| .

Then p=0Ep=0_{E}.

2. (A uniformly small quadratic term vanishes) Suppose that for every positive ε∈R\varepsilon\in\mathbb{R} there is a positive δ∈R\delta\in\mathbb{R} such that every z∈Ez\in E with ∣z∣<δ|z|<\delta satisfies

∣b(z,z)∣≤ε ∣z∣2.|b(z,z)|\le\varepsilon\,|z|^{2} .

Then b=0Symb=0_{\mathrm{Sym}}.

3. (A uniformly small bilinear term vanishes) Suppose that for every positive ε∈R\varepsilon\in\mathbb{R} there is a positive δ∈R\delta\in\mathbb{R} such that all w,y∈Ew,y\in E with ∣w∣<δ|w|<\delta satisfy

∣b(w,y)∣≤ε ∣w∣ ∣y∣.|b(w,y)|\le\varepsilon\,|w|\,|y| .

Then b=0Symb=0_{\mathrm{Sym}}.

4. (A linear and a quadratic term together) Suppose that for every positive ε∈R\varepsilon\in\mathbb{R} there is a positive δ∈R\delta\in\mathbb{R} such that every z∈Ez\in E with ∣z∣<δ|z|<\delta satisfies

∣⟨p,z⟩+12 b(z,z)∣≤ε ∣z∣2.\Bigl|\langle p,z\rangle+\tfrac{1}{2}\,b(z,z)\Bigr|\le\varepsilon\,|z|^{2} .

Then p=0Ep=0_{E} and b=0Symb=0_{\mathrm{Sym}}.

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…