取值于von Neumann代数的测度

引入了取值于ｖｏｎ Ｎｅｕｍａｎｎ代数的测度，即算子测度；并研究了算子测度的σ－弱可列可加性及延拓。将Ｋｌｕｖａｎｅｋ延拓定理推广到σ－弱可列可加测度，并证明了域上的正规正算子测度在该域所张成的σ－域上有惟一的σ－弱可列可加延拓。     

命题的可延,可传与基本成立

引入了命题的可延性，可传性，基本成立等概念，阐述了它们的性质及相互关系，弄清了函数列的基本一致收敛，几乎处处收敛，依测度收敛的关系，使测度论的一些重要定量有了清晰的表达，并证明了可测函数为基本连续函数，连续函数为基本一致连续函数，有限函数为基本有界函数。     

Banach*代数中半序的某些性质

研究了 Banach^*代数与 C^*代数中半序的某些性质,证明了在 C^*代数中, 包含正元的乘锥是唯一的,并给出了Banach^*代数成为 C^*代数的一些充分条件.     

算子值测度与函数的积分

引入了算子测度和算子值函数的σ－积分；证明了よ（B（X，ゆ）；）中的任一算子可以表示成X上的σ－弱有界算子测度；并给出了σ－弱积分存在的条件及σ－弱算子拓扑下的控制收敛定理，最后讨论了算子值函数的Bochner积分。     

命题的可延、可传与基本成立

引入了命题的可延性、可传性、基本成立等概念,阐述了它们的性质及相互关系,弄清了函数列的基本一致收敛、几乎处处收敛、依测度收敛的关系,使测度论的一些重要定理有了清晰的表达,并证明了可测函数为基本连续函数,连续函数为基本一致连续函数,有限函数为基本有界函数．