话说泛函——Hilbert空间.docVIP

话说泛函——Hilbert空间== f=0; ii）ρ（f，g）=ρ（g，f） iii）ρ（f，g）+ρ（g，h）≥ρ（f，h）。 一个距离空间称为是紧的，如果每一个有界序列必有收敛子列。 Hilbert space上的序列f_n强收敛于g，如果‖f_n-g‖收敛于零； Hilbert space上的序列f_n称为是一个柯西序列，如果‖f_n-f_m‖收敛于零当m，n---∞； Hilbert space上的序列f_n弱收敛于g，如果对于任何一个线性连续泛函I，|I（f_n）-I（g）|收敛于零。 Hilbert space上的泛函I（f）称为线性，如果它满足：对任意f，g∈H，a，b∈R，I（a*f+b*g）=a*I（f）+b*I（g）； Hilbert space上的泛函I（f）称为有界，如果‖I‖有界； Hilbert space上的泛函I（f）称为连续，如果对于任意柯西序列f_n，I（f_n）是R 上的柯西序列。 泛函I（f）的范数定义为 sup|I（f）|/‖f‖，for all f∈H。它的一个等价定义是sup|I（f）|，for all f∈H such that‖f‖=1，也就是单位球面上的极大值。从定义立刻可以看到，|I（f）|≤‖I（f）‖*‖f‖。 二、定理 1、完备的线性赋范空间上线性泛函的有界性与连续性等价。——可以推广到算子，并且Hilbert