Кіріспе

Математикада, бұлыңғыр өлшемдер теориясы қосымша қасиеті монотондық қасиетімен алмастырылған, жалпыланған өлшемдерді қарастырады. Бұлыңғыр өлшемдер теориясының орталық ұғымы – бұлыңғыр өлшем (немесе сыйымдылық, қараңыз), оны 1953 жылы Шоке енгізді және 1974 жылы Сугено бұлыңғыр интегралдар контекстінде тәуелсіз түрде анықтады. Ықтималдық/сенім өлшемдері, мүмкіндік/қажеттілік өлшемдері және ықтималдық өлшемдері сияқты, классикалық өлшемдердің ішкі жиыны болып табылатын әр түрлі бұлыңғыр өлшемдер кластары бар.

Анықтамалар

Кеңістік болсын, – кеңістіктің ішкі жиындар классы болсын, және A функциясы, мұндағы

бұлыңғыр өлшем деп аталады. Бұлыңғыр өлшем нормаланған немесе реттік деп аталады, егер .

Қауіпсіз өлшемдер үшін оңайлату болжамы

Бұлдыр өлшемдер жиындардың немесе монотонды класс жартылай шеңберінде анықталады, олар X жиынының қуат жиынтығындай ұсақ болуы мүмкін, тіпті дискрет жағдайларда айнымалылардың саны 2|X| дейін жетеді. Осы себепті, көп критерийлі шешімдерді талдау және басқа да салаларда, бұлдыр өлшемді анықтау мен қолдану есептеу тұрғысынан аз шығынды болуы үшін оны жеңілдетуге қатысты болжамдар енгізілді. Мысалы, бұлдыр өлшем қосымша болса, онда ол осылай болады және бұлдыр өлшемнің мәндері X жиынындағы мәндерден есептелуі мүмкін. Сол сияқты, симметриялық бұлдыр өлшем |X| мәнімен толық анықталады. Қолдануға болатын екі маңызды бұлдыр өлшем – Сугено бұлдыр өлшемі немесе k-қосымша өлшемдер, оларды тиісінше Сугено және Грабиш енгізді.

Сугено λ-өлшеуіш

Сугено өлшемі – итеративті түрде анықталатын бұлыңғыр өлшемдердің ерекше жағдайы. Оның анықтамасы төмендегідей:

k-қосылмалы шағылғыш өлшем

k қосымша бұлқыңдақ өлшем кіші топтар арасындағы өзара әрекеттесуді өлшемге дейін шектейді. Бұл бұлқыңдақ өлшемді анықтау үшін қажетті айнымалылардың санын күрт азайтады, ал k 1-ден (осы жағдайда бұлқыңдақ өлшем қосымша болады) X-ке дейін кез келген сан болуы мүмкін, бұл модельдеу мүмкіндігі мен қарапайымдылық арасындағы шарттылыққа мүмкіндік береді.

Анықтама

X жиынтығындағы g дискретті бұлыңғыр өлшем k-қосымша деп аталады, егер оның Мебиус бейнелеуі кез келген үшін және k элементі бар F жиынтығы табылатын болса, теңдік орындалса.