跳到主要内容

千葉大学 融合理工学府 数学情報科学専攻 数学・情報数理学コース 2018年8月実施 専門 B7

Author

祭音Myyura (co-authored with GPT 6 Astra)

Description

実内積空間 VVx=(x,x)\|x\|=\sqrt{(x,x)} とする。

(1) Cauchy–Schwarz の不等式 (x,y)xy|(x,y)|\le\|x\|\|y\| を示せ。(2) 線形写像 f:VRf:V\to\mathbb Rx=1f(x)M\|x\|=1\Rightarrow|f(x)|\le M を満たすとする。任意の正規直交系 x1,,xNx_1,\ldots,x_N に対して i=1Nf(xi)2M2\sum_{i=1}^N|f(x_i)|^2\le M^2 を示せ。

题目描述

在实内积空间中:(1) 由内积公理证明 Cauchy–Schwarz 不等式。(2) 若线性泛函在单位球面上有界于 MM,证明任意有限正交归一系上函数值平方和不超过 M2M^2

Kai

(1) y=0y=0 の場合は明らか。y0y\ne0 ならば

0x(x,y)y2y2=x2(x,y)2y2.0\le\left\|x-\frac{(x,y)}{\|y\|^2}y\right\|^2 =\|x\|^2-\frac{(x,y)^2}{\|y\|^2}.

整理して平方根をとればよい。

(2) v=i=1Nf(xi)xiv=\sum_{i=1}^Nf(x_i)x_i, A=i=1Nf(xi)2A=\sum_{i=1}^Nf(x_i)^2 とおく。正規直交性と線形性から v2=A\|v\|^2=A, f(v)=Af(v)=AA=0A=0 ならば明らかであり、A>0A>0 ならば

A=f(vA)M.\sqrt A=\left|f\left(\frac{v}{\sqrt A}\right)\right|\le M.

両辺を二乗して結論を得る。