(六节)内积空间.docVIP

泛函分析题1_6内积空间p75 1.6.1 (极化恒等式) 设a是复线性空间X上的共轭双线性函数，q是由a诱导的二次型，求证：(x, y(X，有 a(x, y) = (1/4) · ( q(x + y) ( q(x ( y) + i q(x + i y) ( i q(x ( i y))． 证明：(x, y(X， q(x + y) ( q(x ( y) = a(x + y, x + y) ( a(x ( y, x ( y) = (a(x, x) + a(x, y) + a(y, x) + a(y, y)) ( (a(x, x) ( a(x, y) ( a(y, x) + a(y, y)) = 2 (a(x, y) + a(y, x))， 将i y代替上式中的y，有 q(x + i y) ( q(x ( i y) = 2 (a(x, i y) + a(i y, x)) = 2 ((i a(x, y) + i a( y, x))， 将上式两边乘以i，得到 i q(x + i y) ( i q(x ( i y) = 2 ( a(x, y) ( a( y, x))， 将它与第一式相加即可得到极化恒等式． 1.6.2 求证在C[a, b]中不可能引进一种内积( · , · )，使其满足 ( f, f )1/2 = max a ( x ( b | f (x) |　(( f ( C[a, b] )． 证明：若C[a, b]中范数|| · ||是可由某内积( · , · )诱导出的， 则范数|| · ||应满足平行四边形等式． 而事实上，C[a, b]中范数|| · ||是不满足平行四边形等式的， 因此，不能引进内积( · , · )使其适合上述关系． 范数|| · ||是不满足平行四边形等式的具体例子如下： 设f(x) = (x – a)/(b – a)，g(x) = (b – x)/(b – a)， 则|| f || = || g || = || f + g || = || f – g || = 1， 显然不满足平行四边形等式． 1.6.3 在L2[0, T]中，求证函数x ( | ([0, T] e ( ( T ( ( ) x(( ) d( | ( (x(L2[0, T] )在单位球面上达到最大值，并求出此最大值和达到最大值的元素x． 证明：(x(L2[0, T]，若|| x || = 1，由Cauchy-Schwarz不等式，有 | ([0, T] e ( ( T ( ( ) x(( ) d( |2 ( (([0, T] (e ( ( T ( ( ))2 d( ) (([0, T] ( x(( ))2 d( ) = ([0, T] (e ( ( T ( ( ))2 d( = e ( 2T ([0, T] e 2( d( = (1( e ( 2T )/2． 因此，该函数的函数值不超过M = ((1( e ( 2T )/2)1/2． 前面的不等号成为等号的充要条件是存在(((，使得x(( ) = ( e ( ( T ( ( )． 再注意|| x || = 1，就有([0, T] (( e ( ( T ( ( ))2 d( = 1． 解出( = (((1( e ( 2T )/2) ( 1/2． 故当单位球面上的点x(( ) = (((1( e ( 2T )/2) ( 1/2 · e ( ( T ( ( )时， 该函数达到其在单位球面上的最大值((1( e ( 2T )/2)1/2． 1.6.4 设M, N是内积空间中的两个子集，求证：M ( N ( N ( ( M (． 证明：若x(N (，则(y(N，(x, y) = 0． 而M ( N，故(y(M，也有(x, y) = 0． 因此x(M (．所以，N ( ( M (． 1.6.5 设M是Hilbert空间X中的子集，求证：( M ( ) ( = cl( span M )． 证明：(1) (x( M，(y( M (，总有(x, y) = 0．故有x ( M (． 所以，x(( M ( ) (．从而得到M ( ( M ( ) (． 因( M ( ) (是线性子空间，所以，span M ( ( M ( ) (． 又( M ( ) (是闭线性子空间，所以，cl( span M )( ( M ( ) (． (2) (x( ( M ( ) (，因cl( span M )是X的闭子空间， 故存在x关于cl( span M )的正交分解 x = x1 + x2，其中x1(cl( span M )，x2((cl( span M )) (， 从M ( cl( span M )，根据习题1.6.4，我们有(cl( span M )) ( ( M (． 所以x2( M (． 因x( ( M