写在前面的话
在网上找了一圈,没找到直接讲这两个的,就自己整理了一下~
内积空间
内积是什么?
内积的概念,对于两个向量来说就是下面的表示,得到的结果是一个数值,这个比较好理解。
内积空间是什么?
如果在一个空间中,所有的向量都满足以下性质则这个空间就是内积空间。性质中提到的二元实函数就是内积的计算。
函数的内积是什么?
自然,前面说的都是向量,那么对于函数来说呢?或者说,我们以什么作为连续函数的内积定义呢?一个很自然的想法便是:定积分。定义 ∫ a b f ( x ) g ( x ) d x \int_{a}^{b} f(x)g(x)dx ∫abf(x)g(x)dx为 f , g f,g f,g在 [ a , b ] \left [ a,b \right ] [a,b]上的内积,它具有正定性、对称性、以及双线性性,不难验证满足内积需要的性质。
然而,上述定义蕴含了一个前提:两个函数在 [ a , b ] \left [ a,b \right ] [a,b]中每个点处的重要性是相同的。即由于定积分在区间中均匀地选取分割结点,导致了我们难以表示出部分点更加重要而其它点处不那么重要的效果。故引入权函数的概念来对区间上每一点的重要性(权重)进行区分。
权函数是什么?
既然如此,权函数什么?
权函数是指在统计中计算平均数等指标时,对各个变量值具有权衡轻重作用的数值。而所谓“变权函数”是与权数变化有关的函数权变。——百度百科
简单理解就和我们加权平均一样,每个数都有对应的权重。在这里权函数的作用就是对区间上每一点的重要性(权重)进行区分。
权函数定义: 若 ρ ( x ) \rho(x) ρ(x) 为有限或无限区间 [ a , b ] [a, b] [a,b] 上的函数,且满足
(1) ρ ( x ) ≥ 0 a ≤ x ≤ b \rho(x) \geq 0 \quad a \leq x \leq b ρ(x)≥0a≤x≤b
(2)对 k = 0 , 1 , 2 … ∫ a b ρ ( x ) x k d x k=0,1,2 \ldots \int_{a}^{b} \rho(x) x^{k} d x k=0,1,2…∫abρ(x)xkdx 都存在
(3)对非负的 f ( x ) ∈ C [ a , b ] f(x) \in C[a, b] f(x)∈C[a,b] ,若 ∫ a b f ( x ) ρ ( x ) d x = 0 \int_{a}^{b} f(x) \rho(x) d x=0 ∫abf(x)ρ(x)dx=0 则 f ( x ) ≡ 0 f(x) \equiv 0 f(x)≡0
则称 ρ ( x ) \rho(x) ρ(x) 为 [ a , b ] [a, b] [a,b] 上的权函数。
ρ ( x ) = 1 \rho(x)=1 ρ(x)=1 意味着所有区间中的点具有同等重要性。
ρ ( x ) = 1 1 − x 2 \rho(x)=\frac{1}{\sqrt{1-x^{2}}} ρ(x)=1−x21 则意味着靠近区间端点处的点更加重要而区间中点处的点最不重要。
函数内积定义: 若 f ( x ) , g ( x ) ∈ C [ a , b ] , ρ ( x ) f(x), g(x) \in C[a, b], \rho(x) f(x),g(x)∈C[a,b],ρ(x) 是 [ a , b ] [a, b] [a,b] 上的 权函数, ( f , g ) = ∫ a b ρ ( x ) f ( x ) g ( x ) d x (f, g)=\int_{a}^{b} \rho(x) f(x) g(x) d x (f,g)=∫abρ(x)f(x)g(x)dx 称为 f ( x ) f(x) f(x) 与 g ( x ) g(x) g(x) 在 [ a , b ] [a, b] [a,b] 上的内积。