设x是区间[0,1]上所有复值函数全体按通常方式定义线性运算所构成的线性空间.在X上定义 Pt(x)=|x(t)| (t∈[0
设x是区间[0,1]上所有复值函数全体按通常方式定义线性运算所构成的线性空间.在X上定义
Pt(x)=|x(t)| (t∈[0,1],x∈X),证明{Pt}是X上的半范数族且满足x≠θ有pt(x)>0,并且由{pt}定义的X上的局部凸拓扑是不可赋范的.
设x是区间[0,1]上所有复值函数全体按通常方式定义线性运算所构成的线性空间.在X上定义
Pt(x)=|x(t)| (t∈[0,1],x∈X),证明{Pt}是X上的半范数族且满足x≠θ有pt(x)>0,并且由{pt}定义的X上的局部凸拓扑是不可赋范的.
若T是非空集合,X是由T上所有有界复值函数x且赋有上确界范数‖·‖∞组成的复赋范线性空间。设t∈T,
证明:
(1)设B是一个集,A是B上的实函数全体,当a,b∈A,而且对每个t∈T有a(t)≤b(t),那么A按此顺序也成为半序集。
(2)设A是所有实数对(x,y)全体,规定两对
(x1,y1),(x2,y2)
用改进的EuIer方法求下列初值问题在区间[0,1]上的数值解:
设X是在(t:|t|≤1)上连续的复函数x(t)的全体,在其中定义
d(x,y)=|x(t)-y(t)|证明(X,d)是度量空间.
对所有s∈,t∈,定义us(t)=eist,设X是这些函数us的全体有限线性组合所组成的复线性空间.若f∈X,g∈X,证明<f,g>=存在.说明这个内积使X成为一个内积空间,其完备化空间H是一个不司分的Hilbert空间,并证明{us:s∈}是H的一个极大规范正交集.
设k(s,t)为单位正方形[0,1]×[0,1]上的平方可积函数。若x∈L2[0,1],令
,0≤s≤1
求证:A定义了L2[0,1]上的有界线性算子且
(a)若任取(s,t)有,则A为自伴的。
(b)A为正规的若
(17)
对所有(s,t)成立。
设u(x,t)是初边值问题
的解.求所有使得对任意初始函数φ∈C([0,1]),φ(0)=φ(1)=0成立
设X是完备距离空间,是X上连续复值函数的集合。证明或者(i)存在
X的稠密子集D使得
或者(ii)存在X中非空开球U使得
设X是有单位元e的复Banach代数.证明:σ(x)作为X上的集值函数是上半连续的:对点a∈X及中0的任意邻域V,存在B(a,δ)使x∈B(a,δ)有σ(x)σ(a)+V.
称数
为函数f(x)及g(x)于闭区间[a,b]上的绝对偏差.确定函数f(x)=x2及g(x)=x3于闭区间[0,1]上的绝对偏差.