空间空间中的gram矩阵.docxVIP

空间空间中的gram矩阵 设置1，设置x8，并将其设置为xn。xn是体积空间中的n个向量，矩阵：。 ((xi,xj))n×n=((x1,x1)?(x1,xn)???(xn,x1)?(xn,xn)) 称为由x1,x2, …,xn生成的Gram矩阵.通常用G(x1,x2,?,xn)来记上述Gram矩阵.其行列式称为Gram行列式, 通常用Γ(x1,x2,?,xn)表示. 引理1设x1,x2, …,xn是内积空间中的n个向量, 则G(x1,x2,?,xn)为半正定矩阵, 当且仅当x1,x2, …,xn线性无关时G(x1,x2,?,xn)为正定的. 引理2 设x,y,z是实内积空间中的三个非零向量, 则: 1∥z∥4Γ(x,z)Γ(y,z)-|(x,y)-1∥z∥2(x,z)(y,z)|2=1∥z∥2Γ(x,y,z). 注:由引理1和引理2可得出:|(x,y)-1∥z∥2(x,z)(y,z)|2≤1∥z∥4Γ(x,z)Γ(y,z), 式 (1) 当且仅当x1,x2, …,xn线性相关时等号成立. 引理3设f是区间[0, 1]上的正实值函数,f是严格对数凸函数且在区间 (0, 1) 上严格单调递减,x,y,z,ω∈[0, 1],ω≤xyz, 则有:f(ω)≥[f(xp)]1p[f(yq)]1q[f(zr)]1r, 其中1p+1q+1r=1. 引理4 (Ostrowski不等式)设a=(a1,a2,?,an),b=(b1,b2,?,bn)是两个线性无关的n维向量, 若x=(x1,x2,?,xn)满足(x,a)=0,(x,b)=1, 则有∥x∥2≥∥a∥2∥a∥2∥b∥2-(a,b)2, 等号成立当且仅当x=∥a∥2b-(a,b)a∥a∥2∥b∥2-(a,b)2. 定理1 设x,y是实内积空间中的向量, 若x=(ξ1,ξ2,?,ξn),y=(η1,η2,?,ηn), 则有: (max1≤i≤n|ξiηi|-|ξiηi|)2≤(max1≤i≤n|ξi|2-|ξi|2)(max1≤i≤n|ηi|2-|ηi|2),其中1≤i≤n. 证明定义实内积空间的内积为(x,y)=max1≤i≤n|ξiηi|, 设zi=(0,?,0,1,0,?,0), 其中第i个分量为1, 其余分量为0, 则在此内积空间中(x,zi)=|ξi|,(y,zi)=|ηi|,∥zi∥=1, 由式 (1) : |(x,y)-1∥z∥2(x,z)(y,z)|2≤1∥z∥4Γ(x,z)Γ(y,z)?(1) 代入可得:(max1≤i≤n|ξiηi|-|ξiηi|)2≤(max1≤i≤n|ξi|2-|ξi|2)(max1≤i≤n|ηi|2-|ηi|2), 其中1≤i≤n. 注:类似的可进一步得到在无穷维实内积空间中:(max1≤i|ξiηi|-|ξiηi|)2≤(max1≤i|ξi|2-|ξi|2)(max1≤i|ηi|2-|ηi|2), 其中i≥1. 定理2 设f,g是区间(a,b)上的Lebesgue可积函数, 满足: m≤f(x)≤Μ,n≤g(x)≤Ν,?x∈(a,b), 其中m+M≠0,n+N≠0, 则有: |∫baf(x)dx∫bag2(x)dx-∫baf(x)g(x)dx∫bag(x)dx|≤(b-a)24(Ν-n)C(Μ,Ν,Μ′,Ν′,m,n) 证明在L2(a,b)上定义内积(f,g)=1b-a∫baf(x)g(x)dx.由此内积定义可得: (f,1)=1b-a∫baf(x)dx,(g,1)=1b-a∫bag(x)dx,∥g∥2=1b-a∫bag2(x)dx. 由式 (1) 得:|(f,1)-1∥g∥2(f,g)(g,1)|≤dist(f,Span{g})dist(1,Span{g}), 整理得∶|∥g∥2(f,1)-(f,g)(g,1)|≤∥f∥dist(g,Span{f})dist(g,Span{1})≤∥g∥dist(f,Span{g})dist(g,Span{1}). 代入得: |∫baf(x)dx∫bag2(x)dx-∫baf(x)g(x)dx∫bag(x)dx|≤(b-a)2∥f∥dist(g,Span{f})dist(g,Span{1})≤(b-a)2∥g∥dist(f,Span{g})dist(g,Span{1}) 由题设m≤f(x)≤Μ,n≤g(x)≤Ν,?x∈(a,b)得: (f(x)-Μ+m2)2≤(Μ-m4)2,(g(x)-Ν+n2)2≤(Ν-n4)2? 因此 dist(f,Span{1})≤[1b-a∫ba(f(x)-Μ+m2)2dx]12≤Μ-m2dist(g,Span{1})≤[1b-a∫ba(g(x)-Ν+n2)2dx]12≤Ν-n2. 进而可得:dist(g,Span{f})=infs∈R∥f-sg∥≤∥f-Μ+m2∥+infs∈R∥Μ+