Сходимость НП.
Пусть Х-НП. Посл-ть н-ся сход-ся к
, если
т.е.
Утверждение. Если , то 1) Предел единственен 2) Всякая подпосл-ть посл-ти
сх-ся к
3) норма
(из обратного нер-ва треуг-ка).
Утв.1. Из сх-ти в пр-ве вытекает покоордин-я сх-ть. Обратное неверно. Д-во: Пусть
это значит
,
. Обратное неверно. Возьмем
. Покоординатно стрем-ся к 0. Пусть р=1
,
Утв.2. Сх-ть в пр-ве m эквив-на покоордин-й сх-ти равномерной, относит-но номера координаты. Д-во:
(!)
(*)
равном-но по k. Из (*) => (!) ЧТД.
Утв.3. Сх-ть в пр-ве эквив-на равном. сх-ти. Д-во:
т.е.
(1)
(2)
(3). Обратное: Из (3) => (2) и значит (1). ЧТД.
4.Ф.п. Полные пр-ва. Неполные.
Х-НП. ПОсл-ть н-ся фундам-й (фп), если
Всякая ф.п. ограничена. Всякая сх-ся посл-ть явл-ся ф.п.
НП н-ся полным, если в нем любая ф.п. посл-ть сх-ся. Полное НП н-ся банаховым.
Правило. Д-во полноты состоит из 3х этапов: 1) берется произв-я ф.п. и строится элемент x0 – подозрит-й на предельный. 2) Провер-ся, что
3) Показывается, что
Теорема. Пр-во полно. Д-во: 1.
- произв. ф.п.
, т.е. выполнен Кр. Коши равном. сх-ти посл-ти
, т.е.
. 2.
- непрер. ф-я, как равномер. предел посл-ти непрер. ф-ций
. 3. Т.к. сх-ть в
эквив-на равном-й сх-ти, то
ЧТД.
Теорема. Пр-во полно. Д-во:
. Пусть
- произв. ф.п. в
.
(1)
. Для кажд. координаты выполняется Кр.Коши
. Построим
. Покажем, что
(2) при
(3). Имеем
, т.е.
. Из (3) => в силу произвольности М
, т.е.
. ЧТД.
Теорема. Пр-во
полно. Д-во:
Пусть
- произв. ф.п. в
.
(1)
. Для кажд. координаты выполняется Кр.Коши
. Построим
. Покажем, что
(2) при
(3). Имеем,
т.е.
. Из (3) => в силу произвольности М
, т.е.
. ЧТД,
Теорема. Пр-во m полно. Д-во: Пусть
- произв. ф.п.
- подпосл-ть
,
- ф.п.
(4)
по Кр. Коши сход. числ. посл. для кажд. координаты
. Рассм.
,
Перейдем в (4) к пределу
.
(5)
, а из (5) =>
. ЧТД,
:
. Оно неполно.
Теорема.
не полно. Д-во: [a,b]->[-1,1] и рассм. посл-ть
Покажем, что
- ф.п. в
. Заметим, что
для некот.
. Пусть m<n =>
- послед. фундам. сх-ся к ф-ции
. Имеем
сх-ся в интегральном смысле. Покажем, что
несходится ни к какой ф-ции в
. ПП Сущ-т непрерыв.
, что
, тогда имеем
. Т.к. n отсутствует =>
,
-разрывн.
-непрер.
.
,
- противоречие того, что
явл-ся непрер-й
не сх-ся в
. ЧТД.
Теорема. Пр-во
неполно. Д-во: [a,b]->[-1,1] и рассм. посл-ть
Покажем, что
- ф.п. в
., т.е.
Пусть m<n =>
- послед. фундам. сх-ся к ф-ции
. Имеем
сх-ся в интегральном смысле.,
. Покажем, что
несходится ни к какой ф-ции в
. ПП Сущ-т непрерыв.
, что
, тогда имеем
.
Т.к. n отсутствует =>
,
-разрывн.
-непрер.
.
,
- противоречие того, что
явл-ся непрер-й
не сх-ся в
. ЧТД,
5. Мера открыт. мн-ва. Измер-е мн-ва, ф-ции. Интеграл Лебега. Пр-ва Лебега.
Пр-во с нормой
не полно.
Пр-вом Лебега н-ся пополнение пр-ва
, т.е.
. Т.к. к непрер. ф-циям добавл-ся эл-ты новой природы, кот. н-ся суммируемые (интегрир. по Лебегу) с р-й степенью ф-ции.
Мера Лебега на вещественной прямой. Пусть - открыто.
конеч. или счетное число попарно-непересекающихся интервалов.
Мерой открыт. мн-ва назыв. сумма длин интер-в, составляющ. это мн-во. Т.е. сх-ся и т.к. посл-ть частич. суммы возраст. и
(Мера-длина). Если
. Е-произ. мн-во =>
- открыт:
Внешней мерой н-ся . Внутренней мерой н-ся (1)
. В (1) заменим Е на СЕ, получ.
(2) Мн-во Е н-ся измеримым, если внут. и внеш. меры совпадают:
Утв. Если мн-во Е измеримо, то измер. и его доп-е. Д-во: Пусть => (1)
, Из (2)
=>
. СЕ-измер. ЧТД.
Утв. Замкнутое мн-во измер-о по Лебегу (как доп-е к закрыт. мн-ву, оно измер-о)
Св-ва мер Лебега: 1. 2.
3.
4.
конечн. или счетного числа измер. мн-в измеримо 5.
Замечание. Из (2) => если
, то Е измер.
Конечное или счетное мн-во на прямой имеет меру 0.
Утв. Мн-во Кантора имеет меру 0.
Мн-во Кантора строится след образом: отр-к [0,1] делится на 3 равные части. 1) Средний замкнутый интервал длиной 1/3 выбрасывается. 2) С кажд. из оставшихся 2х отрезков поступают аналогично, т.е. делится на 3 части и середина убирается. 2 интервала длиной
. 3) аналогично, 22 интервала длин
. Все, что осталось после
процесса н-ся мн-вом Кантора. Посчитаем суммы длин выброшенных интервалов:
СЕ - дополнение . СЕ- открытое => измеримо => мера его = сумме => Е измеримо,
Можно показ., что мн-во Кантора имеет мощность континиума, т.е. мужду точками Катнторового мн-ва и точками отрезка [0,1] можно установить взаимно-однозначное соответствие.
Измеримые ф-ции. G – открытое => . Мерой (длиной) открытого мн-ва назыв.
. Ф-ция
н-ся измеримой, если измеримо мн-во
, где
назыв. мн-во точек =
Лемма. Ф-ция Х измерима т.и.т.т.,к. измеримо одно из 3х мн-в Д-во: Пусть измеримо
. Покажем, что
(*) => измер, как перес-е измер. Пусть
Обратно: пусть
.
Обратно: Пусть измеримо
, покажем, что измеримо
.
(1) измер. как объед. измер. мн-в. Остальное аналогично. ЧТД.
Св-ва измер-х мн-в: Пусть Е-измеримо 1. Если x(t) измер., то kx(t), x(t)+l измеримо.
Кажд. из мн-в измеримо.
- измер. 2. Сумма 2х измер-х мн-в измер. 3. Произвед-е 2х измер-х мн-в измер. 4. Если
измер., то
5. Если x(t), y(t) измер. и
, то
измер.
Теорема. Непрер-ая на замкнут. огранич. мн-ве ф-ция измер-а на нем. Д-во: Пусть x(t) непрер. не Е-замкнут. огран. мн-ве. Покажем, что мн-во измеримо. Покажем, что
замкнутое (т.е. содерж. все свои пред-е т-и). Пусть
- произв. пред-я т. мн-ва
. Т.е.
. Это значит, что
. Перходим к пределу
, получим
мн-во замкнуто => измер. ЧТД.
Измеримы м.б. и разрыв. ф-ции.
Интеграл Лебега. Пусть Е-измер. огран. мн-во на (a,b). x(t) измер. огр. ф-ция. Т.е. . Разобьем отрезок [m,M] на n частей
. Обознач. через
. Кажд. ei измеримо (как пересеч. 2х измер.). Составим верх. и нижн. суммы Лебега:
. Если сущ-т предел s и S при
, не завис-й от способа разбиения
отрезка [m,M], то этот предел н-ся интегралом Лебега (2)
Теорема. Всякая огран. измер. ф-ция интегрир-ма по Лебегу (суммируема). Справ-вы все обычные св-ва интеграла.
Дополнит-е св-ва: 1. Если x(t) интегр. по Риману, то она инт-ма и по Лебегу и интегралы совпадают:
2. Если
и мн-во не пересек.
и измеримы наи кажд.
, то x(t) суммируема на Е, то
3. Если
. Говорят, что какое-то св-во выполнено почти всюду (п.в.), если оно выполнено всюду, кроме м.б. точек мн-ва меры Лебега. Ф-ия х н-ся эквивалентной ф-ции у
, если
4. Если
и y(t) интегр. по Лебегу, то и x(t) инт. по Лебегу и
Критерий интегрируемости по Риману. Огранич-я ф-ция интегр-ма по Риману т.и.т.т.,к. мн-во точек её разрывов имеет меру 0 (без док-ва)
Пр-во Лебега.
Пр-во Лебега наз. пр-во элементы кот. служат классы эквив-х мужду собой суммируемых ф-ций
. Эквив-е мужду собой ф-ции не различ-ся. Если
, то x(t)=y(t),
.
, т.е. ф-ция
, если сущ-т послед. непрер. ф-ций {xn(t)} фундам. в среднем, т.е.
, и такая, что
. Добавляемые ф-ции явл-ся измер. и суммир-ми. Эквив-е ф-ции не различ-ся. Фактически элем-ми пр-ва
явл-ся классы эквив-х ф-ций. Каждый класс однозначно опред-ся любым своим представителем.
Пр-во Лебега
,
, если сущ-т ф.п. непрер. ф-ций {xn(t)} в среднем квадратном,т.е.
и такая,что
Элементами пр-ва
явл-ся классы эквив-х ф-ций, суммир-х с квадратом, т.е.
.
6. Огран-е, открыт-е, замкн. мн-ва. Эквив. нормы.
Открытое и замкнутое мн-во.
Пусть Х-НП. Открытым шаром н-ся мн-во . Замкнутым шаром н-ся мн-во
. Сферой н-ся мн-во
. Окрестностью в т.
н-ся любой открытый шар с центром в т.
. Мн-во
н-ся огранич-м, если сущ-т шар конеч. радиуса, целиком сод-й мн-во М:
. Мн-во М н-ся открытым,если любая т. входит в него вместе с некоторой окрестностью, т.е.
Утв. Объединение любого числа и пересеч-е конеч. чила открыт. мн-в есть мн-во открытое.
Т. н-ся пред-й т-й мн-ва М, если
. Мн-во М н-ся замкнутым, если оно содержит все свои пред-е точки. М’ – мн-во всех пред. точек мн-ва М. Замыкание мн-ва М
.
Утв. Объедин-е конечн. числа и пересеч-е любого числа замкн-х мн-в явл-ся замкнут-м мн-вом.
(пустое мн-во, само пр-во) открытые и замкныт-е по опред-ю.
Утв. Сфера S(a,r) – явл-ся замкн. мн-вом. Д-во: Пусть x0 – произв. пред-я т. мн-ва S(a,r). ,
,
,
,
,
,
,
. ЧТД,
Эквивалентные нормы. Пусть Х-ЛП и в нем задана , Эти нормы эквив-ны, если
.
Теорема. Если посл-ть сх-ся по одной из эквив-х норм, то она сх-ся и по др., причем к тому же эл-ту.
Теорема. Если банахово пр-во по одной из эквив. норм, то оно банахово и по др.
Теорема. В конечномерном пр-ве все нормы эквивалентны.