共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
李青阳 《贵州师范大学学报(自然科学版)》2001,19(3):69-70
提供共轭空间一性质较代数化的证明 ,该性质常用于算子代数的同调与上同调理论中。有别于以前较复杂的拓扑方法的证明 ,该证明较简洁且显示了该性质代数特征。 相似文献
3.
任建娅 《河北大学学报(自然科学版)》1998,(2)
通过在F-范数的空间上引入一个拟范数,获得了该空间为局部有界的一个充要条件,进一步,把这一结果应用到Orlicz空间,得到Orlicz空间局部有界的一个充分必要条件。 相似文献
4.
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括推理、推理格式、数学证明、数学证明方法. 相似文献
5.
牟来彦 《湖北民族学院学报(自然科学版)》2002,20(3):20-22
在欧氏几何和向量空间中,结合二者的关系,把几何问题转换的代数问题,利用MATLAB的相关知识,编写源代码文件,用计算机证明立体几何的直线垂直于平面的判定理,为机器证明定理提供了一个实例。 相似文献
6.
本文所要证明的是:任一距离空间(X,dx)可以完备化,若(Y,dy)和(Z,dz)都是(X,dx)的完备化,则Y与Z等距。 相似文献
7.
指出了夏道行所编"实变函数与泛函分析"一书第6章第4节共轭算子的性质:(A*)*=A证明过程的错误,并给出了详细的证明. 相似文献
8.
9.
有界变差数列空间的某些性质 总被引:1,自引:0,他引:1
丁红旭 《温州大学学报(自然科学版)》1996,(3):9-12
本文首先给出有界变差数列空间BV(S)的两个等价范数,接着证明BV(S)与U等距同构,进一步指出BV(S)是收敛数列空间C的共轭空间,最后证明BV(S)在自然乘法运算下构成具有单位元的Banach代数。 相似文献
10.
11.
为了比较各种不同类型的论证 ,在条件 (3)下对于一种Fan型不等式给出四种证明 :证 1是归纳证明 ,它首次由樊益武[1] 给出 ;证 3是控制证明 ;证 2是反向归纳法 ;证 4是有别于证 3的控制证明 ,注意证 2、证 3和证 4均是新的 相似文献
12.
13.
14.
15.
易逢荣 《萍乡高等专科学校学报》2001,(4):44-44
柯西 ( Cauchy)不等式是指 :( a1b1+a2 b2 +… +anbn) 2 ≤ ( a12 +a2 2 +… +a2n) ( b12 +b22 +…+b2n) ( ai,bi∈ R,i =1 ,2 ,… ,n) ,当且仅当 a1b1=a2b2=… =anbn时等号成立。这个不等式的证明方法很多。现利用二次型理论来证明柯西 ( Cauchy)不等式。证明 :记 f ( x1,x2 ) =( a1x1+b1x2 ) 2 +( a2 x1+b2 x2 ) 2 +… +( anx1+bnx2 ) 2 =( a12 +a2 2 +… +a2n) x12 +2 ( a1b1+a2 b2 +… +anbn) x1x2 +( b12 +b2 2+… +b2n) x2 2 =X′AX 其中 X =x1x2 A =Σni=1a2i Σni=1aibiΣni=1aibi Σni=1bi2 显然 f … 相似文献
16.
17.
设G是Banach空间E的自反子空间,Lp(I,E)(1≤p<∞)表示定义在区间I=[0,1]上且值域为E的所有p-Bochner可积函数构成的空间. 给出Rm(m≥2)上的一个范数N(·,…,·),其中N在集合R+m上的每一坐标是非减的,证明Lp(I,G)是Lp(I,E)上的N-联合逼近. 相似文献
18.
作为综合运用测度的积分控制收敛定理和线性连续泛函的延拓定理(简称控制收敛定理和延拓定理)的范例,本文首先给出广义F.Riesz定理,再从构造变差函数着手,用分析的方法证明广义F.Riesz定理。 相似文献
19.
20.