G可积函数的Lebesgue可测性

Botsko在连续和可导的知识基础上推广了Riemann积分,得到了一种新的积分,称为G积分．G积分既不同于Riemann积分也不同于Lebesgue积分．本文通过对G积分的研究,得到了G可积函数一定Lebesgue可测,从而有界G可积函数一定Lebesgue可积;同时我们还证明了这两个积分值相等．     

Lebesgue积分列的等度绝对连续性

给出了Lebesgue积分列的等度绝对连续的一个充分必要条件.     

Lebesgue积分的产生和意义

论述Lebesgue积分产生的背景和思想形成过程,重点介绍直观、想象、类比、猜测等思维形式在Lebesgue积分产生过程中所发挥的作用．     

Lebesgue积分的另一种定义

用可数分法代替有限分法,可去掉函数有界和定义域测度有限的限制,一次性地作出函数Lebesgue可积的定义并得出可积的充要条件.     

可测函数的新定义及其优越性

直接将函数下方图形为可测集合的函数定义为可测函数,使可测函数概念更加直观化。并证明新定义与传统定义的完全等价性,最后通过一些相关定理的证明展示新定义的优越性．     

多元Riemann可积函数的特征与完备化

给出了多元Riemann可积函数的基本特征,证明了多元Riemann可积函数空间的完备化是Lebesgue积分空间.     

空间（Lμ^p）^m的弱Banach-Saks性质

证明了由m个Lμp空间产生的Banach向量空间（Lμp）m的弱Banach-Saks性质,其中m是自然数, 1 p 〈＋∞.当m= 1时,这就是著名的Banach-Saks-Szlenk定理.运用该性质,还给出了定义在向量空间Rm的一个凸集上的非负连续凸函数与取值在空间（Lpμ）m的一个弱紧子集中的向量值函数的复合函数的积分不等式.当这些向量值函数属于由m个Lμ∞空间产生的积空间（Lμ∞）m的一个弱＊紧子集时,类似的积分不等式还是成立的.     

关于广义区间值函数列的极限的几种可测性的探讨

本文在[5,6]的基础上,定义并讨论了广义区间值函数列的上下确界,上下极限和极限的几种可测性;所给各例,也是对本文主要结论的补足。     

模糊数值函数积分原函数的可导性问题

基于模糊分析学微分理论的推广和模糊微分方程求解的需要，对模糊数值函数积分原函数的可导性问题进行讨论，完备模糊数值函数微积分的理论体系。     

两集合并集可测和原集合自身可测的关系

两个Lebesgue可测集(以下简称可测集)的并集是可测集.但是在已知两个集合的并集是可测集的条件下,并不能反推出原集合自身均为可测集.进一步研究两个集合的并集的可测性与原集合自身的可测性之间的联系,得到两个集合自身均可测的一种等价刻画.     

集值映射的可测性与连续性

引进《集D关于集β对于关系《是正常的》这个概念,由两个单值映射组成,再通过取凸包和闭包,构造了可测集值映射、上下半连续集值映射和连续集值映射.     

Theorem of Kuratowski-Suslin for measurable mappings. II

The purpose of this paper is to describe these -measurable mappings on a separable complete metric space with the Borel measure , which transform every -measurable set onto a -measurable one. The obtained results are a generalization of the classical outcomes of Suslin and Kuratowski and the results from our previous paper.

     

Measurability of automorphisms of topological groups

Relations between the measurability and continuity of algebraic automorphisms of topological groups depending on the types of groups are examined. Various cases are considered and theorems on the continuity of measurable automorphisms are proved; for instance, such theorems are proved for separable locally compact groups and automorphisms measurable with respect to nonnegative Haar measures. On the other hand, examples of nonmetrizable nonseparable compact groups with Haar measures and of non-locally-compact separable metrizable groups with measures μ quasi-invariant with respect to dense subgroups admittings μ-measurable discontinous automorphisms are given. Translated fromMatenmaticheskie Zametki, Vol. 68, No. 1, pp. 105–112, July, 2000. An erratum to this article can be found online at .     

No Borel Connections for the Unsplitting Relations

We prove that there is no Borel connection for non‐trivial pairs of unsplitting relations. This was conjectured in [3].     

Effective Borel measurability and reducibility of functions

The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single‐valued as well as for multi‐valued functions by a direct effectivization of the classical definition. On Baire space the finite levels of the resulting hierarchy of functions can be characterized using a notion of reducibility for functions and corresponding complete functions. We use this classification and an effective version of a Selection Theorem of Bhattacharya‐Srivastava in order to prove a generalization of the Representation Theorem of Kreitz‐Weihrauch for Borel measurable functions on computable metric spaces: such functions are Borel measurable on a certain finite level, if and only if they admit a realizer on Baire space of the same quality. This Representation Theorem enables us to introduce a realizer reducibility for functions on metric spaces and we can extend the completeness result to this reducibility. Besides being very useful by itself, this reducibility leads to a new and effective proof of the Banach‐Hausdorff‐Lebesgue Theorem which connects Borel measurable functions with the Baire functions. Hence, for certain metric spaces the class of Borel computable functions on a certain level is exactly the class of functions which can be expressed as a limit of a pointwise convergent and computable sequence of functions of the next lower level. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

改进的代数体函数的正规增长定理

主要讨论了涉及Borel例外小函数(亚纯函数)的代数体函数的正规增长性,通过建立的特征函数间的相互关系及亚纯函数的正规增长定理,得到了关于Borel例外小函数的代数体函数的正规增长定理,进一步改进了有关文献的结论.     

代数体函数与其系数函数的Borel方向间的关系

研究了代数体函数w(z)的Borel方向和确定该代数体函数的复方程A_k(z)w~k+_(Ak-1)(z)w~_(k-1)+…+A_0(z)=0的系数函数A_k(z),A_(k-1)(z),…,A_0(z)的Borel方向之间的关系.