Проста функція

Проста́ функція в математицівимірна функція, задана на деякому вимірному просторі множина значень якої скінченна.

Визначення

Нехай — вимірний простір. Нехай , де — скінченна послідовність вимірних множин. Тоді вимірна функція називається простою, якщо вона може бути записана у виді:

,

де індикатор множини . Тобто дана функція є лінійною комбінацією індикаторів множин.

Замітки

  • Якщо ймовірнісний простір, то проста функція називається простою випадковою величиною.
  • Якщо простір з мірою, проста, причому
,

і , то інтегровна за Лебегом, і

.

Властивості

  • Сума, різниця і добуток двох простих функцій є простою функцією. Справді, якщо — прості функції і і — відповідні їм множини з визначення простих функцій, то на всіх множинах функції є сталими. Оскільки очевидно кількість таких множин є скінченною то й дані функції мають скінченну кількість значень.
Також множення простої функції на скаляр дає просту функцію
Отже множина простих функцій визначених на деякому вимірному просторі утворює комутативну алгебру над полем дійсних (комплексних чисел).
Довільна невід'ємна вимірна функція є поточковою границею монотонної зростаючої послідовності невід'ємних простих функцій .
Справді нехай — невід'ємна вимірна функція визначена на просторі
. Для кожного , область значень функції розбиваємо на інтервалів наступним способом. Нехай для і . Далі можна визначити вимірні множини для . Тоді зростаюча послідовність
збігається до при .
Коли є обмеженою збіжність є рівномірною.
В загальному випадку довільну функцію можна записати у вигляді різниці , де — додатна, а — модуль від'ємної частини функції. Оскільки — невід'ємні вимірні функції то подане вище твердження справджується для них і відповідно для функції (очевидно тільки без монотонності).

Приклад

  • Нехай , де борелівська сигма-алгебра на , а міра Лебега. Тоді функція
проста, оскільки вона вимірна і приймає три різних значення.

Література

  • Рудин У. Основы математического анализа. М., 1976
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.