论域为Rn的Fuzzy值可测函数

在[2]、[3]给出的正则F集度量拓扑的基础上，以Borel可测的形式定义了论域为R^n的Fuzzy值可测函数，并证明了该可测函数定义与水平可测定义^[1-4]的等价性．从而为Fuzzy值可测函数的进一步研究提供了一条新的途径。     

模糊可测函数

本文首先定义了模糊σ-域,算子～:■(X)→■(X)和σ:■(X)→■(X),证明了算子～与算子σ是可交的。然后利用集值分析知识讨论了模糊函数的逆函数,模糊函数的可测性以及它的可积性,导出了模糊函数可测、可积的充分必要条件。     

P-可测空间及其可测函数

经典集合理论认为集合就是具有一定属性的对象所构成的整体,当一个普通集合的属性发生改变时,由此生成的新的集合称为P-集合.在测度空间上研究P-集合时所生成的新的空间称为P-测度空间.由于任何测度空间均可转化为概率空间,首先利用随机数的产生研究了随机P-集合的产生.然后借助P-可测空间提出了内P-可测映射、内P-可测函数和外P-可测映射、外P-可测函数及P-可测,给出了其有关性质.     

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

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

学习Lebesgue可测函数须注意的一个问题

对于(-∞,+∞)上的Lebesgue可测函数f(t),利用广义实数集瓗上的运算法则,通过构造反例,指出由"任给t1,t2∈(-∞,+∞),有f(t1+t2)=f(t1)+f(t2)",并不能得出"存在常数C,使得f(t)=Ct".为使该结论成立,只需增加条件"f(t)在某点处取实值".     

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

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

复模糊集值复模糊测度空间上的可测函数及其性质

以改进的实可测函数的概念,借用新定义的模糊实数值可测函数概念,进一步将模糊测度与模糊可测函数概念扩展到更广泛的复模糊集上,给出复模糊集值复模糊可测函数概念,研究复模糊集值复模糊测度空间上的可测函数的性质,讨论了复模糊集值复模糊可测函数在此定义下一些基本性质的遗传性,得到了复模糊集值复模糊可测函数的一些重要性质,这些性质实际上拓广了经典可测函数的相应结论。为进一步讨论复模糊集值复模糊积分的研究奠定基础。     

P-可测函数的构造性质

可测函数的构造性质是定义它关于测度μ的积分的理论基础.为了在P-测度空间上定义P-积分,借鉴可测函数的构造性质,引入了P-示性函数、P-简单函数、P-初等函数以及P-可测函数的概念,在此基础上系统地研究了P-实可测函数、有界P-实可测函数和非负P-可测函数与P-简单函数序列及P-初等函数序列的收敛关系;找出了P-实可测的充分必要条件;证明了实P-可测函数正部和负部都是非负P-实可测函数,最终得出任何P-实可测函数均可以表示为二非负P-可测函数之差,为定义P-积分提供了理论依据.     

Fuzzy值可测函数及其构造

本文的目的是引入Fuzzy值可测函数的一般概念并着重讨论它的构造。为此,首先给出Fuzzy数度量空间的一些主要性质;然后建立Fuzzy数可测空间并提出Fuzzy值可测函数的一般定义;最后讨论Fuzzy值可测函数的九种等价构造。     

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

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

Computability of measurable sets via effective topologies

We investigate in the frame of TTE the computability of functions of the measurable sets from an infinite computable measure space such as the measure and the four kinds of set operations. We first present a series of undecidability and incomputability results about measurable sets. Then we construct several examples of computable topological spaces from the abstract infinite computable measure space, and analyze the computability of the considered functions via respectively each of the standard representations of the computable topological spaces constructed. The authors are supported by grants of NSFC and DFG.     

Some Remarks on Normal Measures and Measurable Cardinals

We prove two theorems which in a certain sense show that the number of normal measures a measurable cardinal κ can carry is independent of a given fixed behavior of the continuum function on any set having measure 1 with respect to every normal measure over κ . First, starting with a model V ⊨ “ZFC + GCH + o(κ) = δ*” for δ* ≤ κ⁺ any finite or infinite cardinal, we force and construct an inner model N ⊆ V [G] so that N ⊨ “ZF + (∀δ < κ) [DC_δ] + ¬AC_κ + κ carries exactly δ* normal measures + 2^δ = δ⁺⁺ on a set having measure 1 with respect to every normal measure over κ”. There is nothing special about 2^δ = δ here, and other stated values for the continuum function will be possible as well. Then, starting with a modelV ⊨ “ZFC + GCH + κis supercompact”, we force and construct models of AC in which, roughly speaking, regardless of the specified behavior of the continuum function below κ on any set having measure 1 with respect to every normal measure over κ, κ can in essence carry any number of normal measures δ* ≥ κ⁺⁺.     

Submajorisation inequalities for convex and concave functions of sums of measurable operators

It is shown that non-negative, increasing, convex (respectively, concave) functions are superadditive (respectively, subadditive) with respect to submajorisation on the positive cone of the space of all τ-measurable operators affiliated with a semifinite von Neumann algebra. This extends recent results for n × n-matrices by Ando-Zhan, Kosem and Bourin-Uchiyama. This work was partially supported by the Australian Research Council.     

Measurable selectors and set-valued Pettis integral in non-separable Banach spaces

Kuratowski and Ryll-Nardzewski's theorem about the existence of measurable selectors for multi-functions is one of the keystones for the study of set-valued integration; one of the drawbacks of this result is that separability is always required for the range space. In this paper we study Pettis integrability for multi-functions and we obtain a Kuratowski and Ryll-Nardzewski's type selection theorem without the requirement of separability for the range space. Being more precise, we show that any Pettis integrable multi-function F:Ω→cwk(X) defined in a complete finite measure space (Ω,Σ,μ) with values in the family cwk(X) of all non-empty convex weakly compact subsets of a general (non-necessarily separable) Banach space X always admits Pettis integrable selectors and that, moreover, for each A∈Σ the Pettis integral coincides with the closure of the set of integrals over A of all Pettis integrable selectors of F. As a consequence we prove that if X is reflexive then every scalarly measurable multi-function F:Ω→cwk(X) admits scalarly measurable selectors; the latter is also proved when (X^∗,w^∗) is angelic and has density character at most ω₁. In each of these two situations the Pettis integrability of a multi-function F:Ω→cwk(X) is equivalent to the uniform integrability of the family . Results about norm-Borel measurable selectors for multi-functions satisfying stronger measurability properties but without the classical requirement of the range Banach space being separable are also obtained.     

Fuzzy σ-algebras and fuzzy measurable functions

In this paper we first give an axiomatic definition of a fuzzy σ-algebra which is a generalisation of the family of fuzzy events considered by L.A. Zadeh [13]. The relationship between classical and fuzzy σ-algebras and between topologies and σ-algebras, in both cases, classical and fuzzy, is established in the notation of commutative diagrams. For fuzzy topologies we refer to the work of R. Lowen [8]. After a comparison between classical measurability of functions and fuzzy measurability defined in this paper we finally introduce the product of fuzzy σ-algebras.     

Characterizations of set order relations and constrained set optimization problems via oriented distance function

Set-valued optimization problems are important and fascinating field of optimization theory and widely applied to image processing, viability theory, optimal control and mathematical economics. There are two types of criteria of solutions for the set-valued optimization problems: the vector criterion and the set criterion. In this paper, we adopt the set criterion to study the optimality conditions of constrained set-valued optimization problems. We first present some characterizations of various set order relations using the classical oriented distance function without involving the nonempty interior assumption on the ordered cones. Then using the characterizations of set order relations, necessary and sufficient conditions are derived for four types of optimal solutions of constrained set optimization problem with respect to the set order relations. Finally, the image space analysis is employed to study the c-optimal solution of constrained set optimization problems, and then optimality conditions and an alternative result for the constrained set optimization problem are established by the classical oriented distance function.     

Indestructibility and measurable cardinals with few and many measures

If κ < λ are such that κ is indestructibly supercompact and λ is measurable, then we show that both A = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries the maximal number of normal measures} and B = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries fewer than the maximal number of normal measures} are unbounded in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry fewer than the maximal number of normal measures. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry the maximal number of normal measures. If we weaken the requirements on indestructibility, then this last result can be improved to obtain a model with an indestructibly supercompact cardinal κ in which every measurable cardinal δ < κ carries the maximal number of normal measures. A. W. Apter’s research was partially supported by PSC-CUNY grants and CUNY Collaborative Incentive grants. In addition, the author wishes to thank the referee, for helpful comments, corrections, and suggestions which have been incorporated into the current version of the paper.     

Quantization dimension function and Gibbs measure associated with Moran set

In this paper we consider the Gibbs measure on the one-sided shift dynamical system and determine the quantization dimension function for the image measure supported on a Moran set. A relationship between the quantization dimension function and the temperature function of the thermodynamic formalism arising in multifractal analysis is also established.     

Measurable n-sensitivity and maximal pattern entropy

We introduce the notion of measurable n-sensitivity for measure preserving systems, and study the relation between measurable n-sensitivity and the maximal pattern entropy. We prove that, if (X, B, µ, T) is ergodic, then (X, B, µ, T) is measurable n-sensitive but not measurable (n+1)-sensitive if and only if h_µ^*(T) = log n, where h_µ^* (T) is the maximal pattern entropy of T.