Класове на Бер

Класовете на Бер (по името на френския математик Рене-Луи Бер) представляват класификация на прекъснатите функции на една реална променлива, базирана на броя на граничните преходи, които трябва да се извършат, като за нулев се приема класът на непрекъснатите функции. Формално, класовете на Бер ${\mathcal {B}}_{0},{\mathcal {B}}_{1},...,{\mathcal {B}}_{n},...$ се дефинират както следва:

${\mathcal {B}}_{0}$ (нулев клас на Бер) е класът на непрекъснатите функции,
${\mathcal {B}}_{\kappa }$ ( $\kappa \,$ -ти клас на Бер) за произволно крайно или изброимо ординално число^[1] $\kappa >0\,$ е класът на всички функции, които не принадлежат към $\bigcup _{\kappa '<\kappa }{\mathcal {B}}_{\kappa '}$ , но са (поточкова) граница на редица от функции принадлежащи към $\bigcup _{\kappa '<\kappa }{\mathcal {B}}_{\kappa '}$ .

Функциите, принадлежащи на класовете на Бер се наричат функции на Бер.^[2]

Бер въвежда тази класификация в докторската си работа от 1898 г., в отговор на поставения от Дини през 1878 г. въпрос, дали всяка функция на една реална променлива може да бъде представена „аналитично“ чрез граничен преход от познати функции, и вдъхновен от идеята на Вайерщрас за представянето на непрекъснатите функции като граничен преход от полиноми (виж теорема на Стоун-Вайерщрас). През 1905 г. Лебег доказва, че класовете на Бер не са празни, а също така, че съществуват функции, които лежат извън класификацията на Бер (тоест не са функции на Бер). Той успява освен това да покаже, че за всяка измерима функция $f\,$ съществува функция на Бер, която се различава от $f\,$ върху множество с мярка не по-голяма от нула, и че функциите на Бер са измеримите по Борел функции.^[3]

Бележки[редактиране | редактиране на кода]

↑ По принцип понятието клас на Бер би могло да бъде разпростряно и върху неизброимите ординали, в това обаче няма голям смисъл, тъй като тези класове са оказват празни (за док. виж. в Уикикниги).
↑ Натансон И. П., Теория функции вещественной переменной, Глав. редакция физ.-мат. литературы изд-ва „Наука“, 1974 (в диг. форм., ИВМ СО РАН)
↑ Хаусдорф Ф., Теория множеств, Объединенное научно-техническое издательство НКТП СССР, Москва, 1937, §38., §39.

Външни препратки[редактиране | редактиране на кода]

Baire Function, Wolfram Mathworld
Israel Kleiner, Evolution of the Function Concept: A Brief Survey, The College Mathematics Journal, 20, September 1989 unito.it (pdf) Архив на оригинала от 2007-02-21 в Wayback Machine.
Koepke, P., Kanovei V., Diskriptive Menegenlehre in Hausdorffs Grundzügen der Mengenlehre, 2001, uni-bonn.de (pdf)
Gloede, K., Reimann J., Skriptum zur Vorlesung Deskriptive Mengenlehre, Heidelberg, 2005, tuwien.ac.at (pdf)^{[неработеща препратка]}

[infty-1] По принцип понятието клас на Бер би могло да бъде разпростряно и върху неизброимите ординали, в това обаче няма голям смисъл, тъй като тези класове са оказват празни (за док. виж. в Уикикниги).

[Nat-2] Натансон И. П., Теория функции вещественной переменной, Глав. редакция физ.-мат. литературы изд-ва „Наука“, 1974 (в диг. форм., ИВМ СО РАН)

[Haus-3] Хаусдорф Ф., Теория множеств, Объединенное научно-техническое издательство НКТП СССР, Москва, 1937, §38., §39.

[1]

[2]

[3]