舒天軍, 莫智文
(四川師范大學(xué) 數(shù)學(xué)與軟件科學(xué)學(xué)院, 四川 成都 610066)
結(jié)構(gòu)元線性生成的模糊值函數(shù)極限的新定義與性質(zhì)
舒天軍, 莫智文*
(四川師范大學(xué) 數(shù)學(xué)與軟件科學(xué)學(xué)院, 四川 成都 610066)
用一種模糊距離給出結(jié)構(gòu)元線性生成的模糊值函數(shù)極限的一種新定義,然后應(yīng)用這種極限定義證明結(jié)構(gòu)元線性生成的模糊值函數(shù)極限的加法與數(shù)乘運(yùn)算、局部有界性、唯一性、局部保號(hào)性、保不等式性和迫斂性的6個(gè)性質(zhì)定理,最后給出一個(gè)判斷結(jié)構(gòu)元線性生成的模糊值函數(shù)極限存在的柯西準(zhǔn)則定理.
模糊距離; 結(jié)構(gòu)元; 模糊值函數(shù); 極限
自從L. A. Zadeh于1965年提出模糊集合理論以來(lái),經(jīng)過(guò)50多年的發(fā)展,模糊系統(tǒng)理論及其應(yīng)用成果顯著,且不斷完善,其中關(guān)于模糊值函數(shù)極限的定義,一些學(xué)者做了研究[1-15],其理論依據(jù)是擴(kuò)張?jiān)?對(duì)于模糊值函數(shù)的一個(gè)分支,結(jié)構(gòu)元線性生成的模糊值函數(shù)的概念由郭嗣琮[16]提出.文獻(xiàn)[10]根據(jù)結(jié)構(gòu)元線性生成的模糊值函數(shù)的表達(dá)式,給出了結(jié)構(gòu)元線性生成的模糊值函數(shù)極限的一種定義.本文將利用文獻(xiàn)[11]給出的模糊距離,結(jié)合模糊集的分解定理得出一種新的方法定義結(jié)構(gòu)元線性生成的模糊值函數(shù)的極限,然后對(duì)結(jié)構(gòu)元線性生成的模糊值函數(shù)極限的相關(guān)性質(zhì)進(jìn)行研究,并給出一個(gè)結(jié)構(gòu)元線性生成的模糊值函數(shù)極限存在的充要條件.
定義1.1[9]E是實(shí)數(shù)域R上的模糊集,隸屬函數(shù)記為E(x),x∈R.如果E(x)滿足下述性質(zhì):
1)E(0)=1,E(1+0)=E(-1-0)=0;
2) 在區(qū)間[-1,0)和(0,1]上,E(x)分別是單調(diào)增右連續(xù)函數(shù)和單調(diào)降左連續(xù)函數(shù);
3) 在區(qū)間(-∞,-1)或(1,+∞)上,E(x)=0,則稱模糊集E為R上的模糊結(jié)構(gòu)元.
顯然,模糊結(jié)構(gòu)元E是R上的正則凸模糊集,是有界閉模糊集.
h(x)+ω(x)E,?x∈D,ω(x)gt;0}.
由定義2.1容易證明.
由定義2.2和定理2.1不難推出定理2.2.
當(dāng)0lt;|x-x0|lt;δ2時(shí)有
令δ=min{δ′,δ1,δ2},則當(dāng)0lt;|x-x0|lt;δ時(shí)有
即證
2) 類似于證明1).
令δ=min{δ′,δ1},則當(dāng)0lt;|x-x0|lt;δ時(shí)有
所以
則
且
可以推出
且
則有
且
所以
當(dāng)0lt;|x-x0|lt;δ2時(shí)有
令δ=min{δ1,δ2},則當(dāng)0lt;|x-x0|lt;δ時(shí)有
則
且
有
且
所以
即證.
則有
且
從而
當(dāng)0lt;|x-x0|lt;δ2時(shí)有
則有
且
從而
令δ=min{δ′,δ1,δ2},則當(dāng)0lt;|x-x0|lt;δ時(shí)有
由ε的任意性可推出A≤B,即證
).
定理2.8(迫斂性) 若
且在x0的某空心鄰域U0(x0)內(nèi)有
則
證明因?yàn)?/p>
ε.
證明必要性 設(shè)
[1] ZHANG G. Fuzzy continuous function and it’s properties[J]. Fuzzy Sets and Systems,1991,43(2):159-171.
[2] BURGIN M. Theory of fuzzy limits[J]. Fuzzy Sets and Systems,2000,115(3):433-443.
[3] BURGIN M. Neoclassical analysis:fuzzy continuity and convergence[J]. Fuzzy Sets and Systems,1995,75(3):291-299.
[4] 劉宇. 區(qū)間值函數(shù)與模糊值函數(shù)的極限[J]. 東北師大學(xué)報(bào)(自然科學(xué)版),1994,26(3):19-23.
[5] 畢淑娟,吳從炘. 模糊數(shù)的運(yùn)算性質(zhì)及模糊數(shù)的距離與極限[J]. 模糊系統(tǒng)與數(shù)學(xué),2000,14(3):40-44.
[6] 張廣全. Fuzzy數(shù)的Fuzzy距離與Fuzzy極限[J]. 模糊系統(tǒng)與數(shù)學(xué),1992,6(2):21-28.
[7] 郭嗣琮. 模糊值函數(shù)極限與連續(xù)的模糊結(jié)構(gòu)元表示[J]. 海南師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2008,21(4):351-356.
[8] 郭興梅,張慧. 模糊值函數(shù)的極限與性質(zhì)[J]. 滁州學(xué)院學(xué)報(bào),2013,15(5):21-23.
[9] 郭嗣琮. 模糊值函數(shù)分析學(xué)的結(jié)構(gòu)元方法(I)[J]. 遼寧工程技術(shù)大學(xué)學(xué)報(bào),2002,21(5):670-674.
[10] 李安國(guó),金紅偉,張志宏,等. 模糊極限的一種新定義[J]. 遼寧工程技術(shù)大學(xué)學(xué)報(bào),2004,23(6):845-847.
[11] 郭嗣琮. 基于結(jié)構(gòu)元理論的模糊數(shù)學(xué)分析原理[M]. 沈陽(yáng):東北大學(xué)出版社,2004:97-113.
[12] 殷鳳,王鵬飛. 模糊值函數(shù)極限(連續(xù))及導(dǎo)數(shù)的新定義[J]. 中北大學(xué)學(xué)報(bào)(自然科學(xué)版),2011,32(6):662-666.
[13] 劉浪. 論模糊數(shù)的模糊距離[J]. 湘潭師范學(xué)院學(xué)報(bào)(自然科學(xué)版),2006,28(1):5-7.
[14] 劉慧林,馮汝鵬. 新的模糊數(shù)的模糊距離[J]. 模糊系統(tǒng)與數(shù)學(xué),2005,19(2):106-109.
[15] 張锍仁. Fuzzy數(shù)的Fuzzy度量空間[J]. 北京師范大學(xué)學(xué)報(bào)(自然科學(xué)版),1999,35(2):162-166.
[16] 郭嗣琮. 模糊值函數(shù)分析學(xué)的結(jié)構(gòu)元方法(II)[J]. 遼寧工程技術(shù)大學(xué)學(xué)報(bào),2002,21(6):808-810.
[17] GOETSCHEL R, VOXMAN W. Elementary fuzzy calculus[J]. Fuzzy Sets and Systems,2005,19(1):82-86.
[18] PURI M L, RALESCU D A. Differentials on fuzzy functions[J]. J Math Anal Appl,1983,91(2):552-558.
[19] KALEVA O. Fuzzy differential equation[J]. Fuzzy Sets and Systems,1987,24(3):301-317.
[20] 楊喬,贠慧萍. 基于新模糊數(shù)的模糊距離的多屬性決策方法[J]. 華北水利水電學(xué)院學(xué)報(bào),2006,27(3):107-109.
[21] 王茹. 基于新的模糊距離在多屬性決策上的應(yīng)用[J]. 湖北汽車(chē)工業(yè)學(xué)院學(xué)報(bào),2007,21(3):58-60.
[22] 楊綸標(biāo),高英儀,凌衛(wèi)新. 模糊數(shù)學(xué)原理及應(yīng)用[M]. 廣州:華南理工大學(xué)出版社,2001:117-125.
[23] 華東師范大學(xué)數(shù)學(xué)系. 數(shù)學(xué)分析上冊(cè)[M]. 3版. 北京:高等教育出版社,1981:23-55.
2010MSC:94D05; 03B52; 03E72; 28E10
(編輯 李德華)
New Definition and Properties of Fuzzy Valued Function Limit Based on Structural Element
SHU Tianjun, MO Zhiwen
(CollegeofMathematicsandSoftwareScience,SichuanNormalUniversity,Chengdu610066,Sichuan)
Using a kind of fuzzy distance, we give a new definition for the limit of fuzzy valued function which is generated structural element and use it to prove six theorems, which are addition together with multiplication, local boundedness, uniqueness, local protection, local protection and forcing convergence of the limit of fuzzy valued function which is generated structural elements. Finally, a Cauchy criterion theorem for the existence of the limit of fuzzy valued function which is generated structural elements is given.
Fuzzy distance; structural element; Fuzzy valued function; limit
O159
A
1001-8395(2017)06-0747-06
10.3969/j.issn.1001-8395.2017.06.007
2016-08-10
國(guó)家自然科學(xué)基金(11671284)和教育部博士點(diǎn)專項(xiàng)基金(20135134110003)
*通信作者簡(jiǎn)介:莫智文(1962—),男,教授,主要從事人工智能、模糊語(yǔ)言、粗糙集、量子信息處理的研究,E-mail:mozhiwen@263.net