模糊紧场的拓扑度-陈文亚.doc.docVIP

模糊紧场的拓扑度 语数教研室 陈文亚 摘要：拓扑度理论式研究非线性问题的有力工具，利用它可以得到许多不动点定理。本文的目的是要把拓扑度理论推广到模糊数学领域，针对一类模糊映射建立模糊拓扑度。 首先，本文提出模糊紧场和模糊紧映射的概念，讨论一个模糊映射成为模糊紧映射的条件，并举出模糊紧映射的实例。其次，给定单值函数，用水平集方法把模糊紧场转化为集值紧场，用集值紧场的拓扑度来定义模糊拓扑度，证明模糊拓扑度与单值函数的取法无关，还讨论模糊拓扑度的正规性、可加性等性质。 最后，本文给出模糊紧映射的不动点指数定义，并讨论它的性质，利用模糊拓扑度的定义，证明了模糊不动点定理，并且举例计算了一个模糊紧映射的拓扑度。 关键词：模糊集，模糊紧场，拓扑度 1．1模糊集合 定义1．1设是线性赋范空间，是的映射，则称为上的模糊集，上的模糊集全体记为. 定义1．2设是线性赋范空间，由到的映射称为模糊映射。如果是模糊映射，则是模糊集，简记为，表示的隶属度。 定义1．3设是线性赋范空间，模糊映射称为凸的，如果对任意的，模糊集是凸的，即对任意的及，有 . 设，集称为的截集。模糊映射称为闭的，如果作为上的二元函数是上半连续的。 1．2模糊紧场和模糊紧映射的相关定义 1．2．1模糊紧场和紧映射的定义 定义1．4设是线性赋范空间，模糊映射称为模糊紧的，如果存在单值函数，使得是集值紧的，称为关于单值函数的对应映射，在不混淆的情况下，简记为 定义1．5设是线性赋范空间，模糊映射称为模糊紧场，如果存在单值函数，使得是集值紧场，称为关于单值函数的对应映射，在不混淆的情况下，简记为 1．3模糊紧映射 1．3．1模糊紧映射的充要条件 设是线性赋范空间， 为模糊映射。下面我们来讨论当满足什么条件时，能推导出是模糊紧映射。 命题1．1设是线性赋范空间，模糊映射是闭的，若存在下半连续的单值函数，使得是非空的，则是闭图象，其中是关于函数的对应映射。 证明 设其中是关于函数的对应映射，并且当，有于是对任意的整数，有又因为作为的二元函数是上半连续的，且是下半连续的，所以有 此即表明因此是闭图象。 命题1．2设是线性赋范空间，模糊映射是凸的，若存在单值函数，使得是非空的，则是凸的。 证明 任取，则有。因为是凸的，所以有 从而有，此即表明是凸的。 定义1．5设是线性赋范空间，，用来表示在中的闭包。假如，而且是的紧子集，那么记作。如果是定义在上的函数，我们把定义为的支集。我们说在中具有紧支集，即。 命题1．3设是线性赋范空间，作为的二元函数，具有紧支集时，若存在单值函数，使得是非空的，则是相对紧的，其中是关于函数的对应映射。 证明 设是二元函数的紧支集，即是中的紧集，且，其中是在上的投影（即），是中的相对紧集。这是因为，任取，则存在，使得，即，故，从而，由的任意性，知，所以是相对紧的。 由以上讨论，我们知道，当是闭的、凸的，且作为二元函数具有紧支集，若对任意给定的单值下半连续函数,使得非空，故的对应映射是上半连续的，从而是模糊紧映射。 1．3．2模糊紧映射的例子 设是定义在上的二元函数， 则是连续的，当把限制在上，还是连续函数。 令 则在上连续，并且 事实上，任取，当时，在区域上的最大值为， 即 此即表明连续，显然。 接下来，我们利用上述函数来构造模糊紧映射，取，则，其中 其中。具有以下性质： 1 是上的连续函数； 2 是凸的； 3 具有紧支集； 4 是非空的。 事实上，性质1，性质3显然，我们只需证明性质2和性质4。要证明模糊映射是凸的，只需证明任意的，有 （1） 当时，则，（1）式显然成立。当，有，且的值介于两者之间，从而（1）式成立。当两者中一个大于，一个小于时，中必有一个为零，所以（1）式成立。综上所述，是凸的。 接下来，我们证明性质4，任取，作为二元函数在处取得最大值1，所以，此即表明非空。 由上述讨论知，映射是模糊紧的。 1．4 模糊紧场的拓扑度 1．4．1模糊紧场的拓扑度定义 讨论完模糊紧映射的充要条件，接下来我们定义线性赋范空间中模糊紧场的拓扑度，讨论模糊拓扑度的性质。 定义1．6设线性赋范空间，是中的非空开集，模糊紧场属于，则存在单值函数，使得是中的集值紧场。由T.W.Ma在中给出的集值紧场的拓扑度定义知，的拓扑度存在，记为。我们把模糊紧场的拓扑度，记作，定义为 定理1．1定义1．6中的拓扑度的值与的对应映射的选择无关。 证明 设是两个单值函数，使得 都是中的集值紧场，则集值紧场在中是同伦的。事实上，令 显然是集值紧场，且。设不然，则存在，使得，其中。因为都属于，于是有,即。又因为是凸集，故 矛盾，结论成立。所以由集值紧场的同伦不变性得，此即表明模糊紧场的拓扑度与对应映射的选择无关，定义合理。 1．4．2模糊紧场的拓