Кіріспе

Нақты мәнді функциялардың жіктелуі

Математикада, нақты немесе кеңейтілген нақты мәнді функцияның оң бөлігі мына формуламен анықталады:

Интуитивті түрде, графигін алып, x осьінің астындағы бөлігін кесіп тастап, сол жерде мәнін нөлге теңеу арқылы графигі алынады. Сол сияқты, f функциясының теріс бөлігі былай анықталады:

Ескеріңіз, және теріс емес функциялар болып табылады. Терминологияның ерекшелігі – «теріс бөлік» теріс те емес, бөлік те емес (кешен санның жолғасы жолғас та емес, бөлік те емес сияқты). f функциясын және арқылы келесідей көрсетуге болады:

Сонымен қатар, мына екі теңдеуді пайдаланып, оң және теріс бөліктерді былай көрсетуге болады:

Тағы бір жазу тәсілі, Iverson жақшасын қолдана отырып:

Кез келген мәндері сызықты реттелген топта болатын функцияның оң және теріс бөліктерін анықтауға болады. Бірлік рампа функциясы – сәйкестік функциясының оң бөлігі.

Өлшемдік-теориялық қасиеттері

Өлшеуге болатын кеңістік (X, Σ) берілген жағдайда, кеңейтілген нақты мәнді f функциясы өлшеуге болады, егер және тек қана оның оң және теріс бөліктері өлшеуге болатын болса. Сондықтан, егер f функциясы өлшенетін болса, оның абсолюттік шамасы да өлшенетін болады, себебі ол екі өлшенетін функцияның қосындысы. Алайда, керісіншесі міндетті түрде орындалмайды: мысалы, егер f функциясын V Vitali жиыны ретінде алсақ, f функциясы өлшенбейтіні анық, бірақ оның абсолюттік шамасы тұрақты функция болып табылады. Функцияның оң және теріс бөліктері нақты мәнді функция үшін Лебег интегралын анықтау үшін қолданылады. Осы функцияны ыдыратуға ұқсас, белгілі бір шамадағы өлшемді де оң және теріс бөліктерге жіктеуге болады – Хан ыдырау теоремасын қараңыз.