1.2. Бар болу дәлелдемесі
1.2.1. операторының аксиомалық қасиеттері. Біз монотондылық әдісі негізделген (1.7) теңдеуімен анықталған операторының негізгі қасиеттерін атап кетеміз.
(i) болсын, онда операторы -да көрсетеді. -нан шектеулі жиындарды -дағы шектеулі жиындарға аударады және үзіліссіздіктің келесі қасиеттеріне ие болады:
, (1.9)
функциясы -нан -ге функциясы секілді үзіліссіз.
(1.9) қасиеті тікелей тексеріледі. Бұл қасиет төменде жиі қолданылады, сол себепті ол жөнінде келесі анықтаманы берейік:
Анықтама 1.1. (1.9) қасиетіне ие кез-келген операторы жеті үзіліссіз деп аталады.
(ii) операторы келесі қасиетке ие:
(1.10)
Анықтама 1.2. -нан -дағы кез-келген операторы (1.10) қасиетіне ие болса, онда ол монотонды деп аталады.
(1.10) қасиеті операторының (1.7) қасиетінен шығу арықылы дәлелденеді.
операторының (1.9), (1.10) қасиеттерін бір ортақ қасиетпен байланыстыруға болады.
Поделитесь с Вашими друзьями: |