A Pythagorean inequality
HTML articles powered by AMS MathViewer
- by Russell M. Reid PDF
- Proc. Amer. Math. Soc. 123 (1995), 831-839 Request permission
Abstract:
Let $\{ {v_1},{v_2},{v_3}, \ldots \}$ be a sequence of elements of a Hilbert space, and suppose that (one or both of) the inequalities ${d^2}\sum {a_i^2 \leq {{\left \| {\sum {{a_i}{v_i}} } \right \|}^2} \leq {D^2}} \sum {a_i^2}$ hold for every finite sequence of scalars $\{ {a_i}\}$. If an element ${v_0}$ is adjoined to $\{ {v_i}\}$, then the resulting set satisfies (one or both of) $d_0^2\sum {a_i^2 \leq {{\left \| {\sum {{a_i}{v_i}} } \right \|}^2} \leq D_0^2} \sum {a_i^2}$, where, denoting the norm of ${v_0}$ by r and its distance from the closed linear span of the ${v_i}$ by $\delta$, \[ d_0^2 = {d^2} + \frac {1}{2}\left ( {{r^2} - {d^2} - \sqrt {{{({r^2} + {d^2})}^2} - 4{d^2}{\delta ^2}} } \right )\] and \[ D_0^2 = {D^2} + \frac {1}{2}\left ( {{r^2} - {D^2} + \sqrt {{{({r^2} + {D^2})}^2} - 4{D^2}{\delta ^2}} } \right ).\] Both bounds are best possible. If ${v_0}$ is in the span of the original set, the expressions above simplify to ${d_0} = 0$ and $D_0^2 = {D^2} + {r^2}$. If the original set is a single unit vector ${v_1}$, so $d = D = 1$, and if ${v_0} \bot {v_1}$ is a unit vector so $\delta = 1$, then the above is $({a^2} + {b^2}) \leq {\left \| {a{v_0} + b{v_1}} \right \|^2} \leq ({a^2} + {b^2})$, the Pythagorean Theorem. Several consequences are deduced. If ${v_i}$ are unit vectors, $\sum {a_i^2 = 1}$, and ${\delta _i}$ is the distance from ${v_i}$ to the span of its predecessors (so that the volume of the parallelotope spanned by the ${v_i}$ is ${V_n} = {\delta _1}{\delta _2} \cdots {\delta _n}$), the above result is used to show that $\left \| {\sum \nolimits _{i = 0}^n {{a_i}{v_i}} } \right \| \geq {V_n}/{2^{n/2}}$.References
- R. P. Boas Jr., A general moment problem, Amer. J. Math. 63 (1941), 361–370. MR 3848, DOI 10.2307/2371530
- Philip J. Davis, Interpolation and approximation, Blaisdell Publishing Co. [Ginn and Co.], New York-Toronto-London, 1963. MR 0157156
- Norman Levinson, Gap and Density Theorems, American Mathematical Society Colloquium Publications, Vol. 26, American Mathematical Society, New York, 1940. MR 0003208, DOI 10.1090/coll/026
- Laurent Schwartz, Approximation d’un fonction quelconque par des sommes d’exponentielles imaginaires, Ann. Fac. Sci. Univ. Toulouse (4) 6 (1943), 111–176 (French). MR 15553, DOI 10.5802/afst.424
- Robert M. Young, Interpolation for entire functions of exponential type and a related trigonometric moment problem, Proc. Amer. Math. Soc. 56 (1976), 239–242. MR 409832, DOI 10.1090/S0002-9939-1976-0409832-3
- Robert M. Young, An introduction to nonharmonic Fourier series, Pure and Applied Mathematics, vol. 93, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1980. MR 591684
Additional Information
- © Copyright 1995 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 123 (1995), 831-839
- MSC: Primary 42C30; Secondary 15A99
- DOI: https://doi.org/10.1090/S0002-9939-1995-1231041-0
- MathSciNet review: 1231041