开滤子Domain的分配性.pdf

20()6年10月 四川大学学报(自然科学版) 2006 第4子卷第5期 JournalofsichuanUnivers ity(NaturalscienceEdition) No.5 冉①ticleID:0490一6756(2006)05一0992一04 ANoteonDistributivityof0PenFilterDomains 月毛叭NG凡ng-万ngl，2，LLANGJ￡一hual，KOuHuil (1.SchoolofMatherna tics，SichuanUniversity，Chengdu610064，China; 2.DePartrnentof Science，ChongqingThreeGorgesUniversity 404000，China) Abstract:Filiters and叩enfiltersare usefulutilitiestoexp1orestrctUresofdomains.InthispaPer， l t . thatforacontinuou sdisthbutivesem ilatticeL，0凡It(L)isadistributivelattice砚fj， L isstablycon tinuou s.八卫danex田朴pleisgiventoshowthatinthe罗neralcasethedistributivity of L cannotimplythatofo凡It(L). Keywo川5distributlvesenulattice;叩enfilterdomains;stablycon tinuou s :0189.1 众又切.entcode:A (2000MS(二54H05，54C35，06A06，06兄5) 1 1ntn记此tion Indotna intheory，filtersandoPenfilters are useflutilitiesinthestudyoforderandto卯1嗯icalstruc- tures，soitisnaturaltoexp1orehowkindsofpr0pertyare reflectedbetween ag℃unddotnal nanditscorr e- 5卯nding(open)filterdomain.Thereisaninterestingproblem卿edin1〔〕whichiswhethertheopenfilters 户粥et(。凡It(L)，二)onacont inuousdistributivesemilatticeLisdistributive.Inthisnotewepresen tan铭- ativeanswertothisproblem，andprove thatstablecontinuitypropertyofadistributivesemilatticeisinavery great degreeequivalentwith distributivityofOFilt(L). Inthefollowi眼，a，粥etLissaidtobeasernilatticeiffor Vx，夕任L，theinfimum xA夕exists.Lis sa记tobeadcpoifany directedsubsetofLhas “upr曰刀um.FbrVx任L，let妙x引y任L:y《川.IfL adcpoandfor Vx任L，妙xisdirectedandV妙x=x，thenLiscalledacontinuou sdomain.Filt(乙)and OFilt(L)denotethesetofallthefiltersandthatofalltheScott一叩enfiltersonLrespectively.a(L)isthe 。ttto伪10gyon五，andQ(L)isthePosetofa