6.2

Теорема Бэра о категориях с приложением к вещественному анализу

[6/83%]
Показать
LaTeX
Задача 6.2.1

Покажите, что XX нигде не плотно в MM тогда и только тогда, когда его замыкание имеет пустую внутренность, (Xˉ)∘=∅(\bar{X})^{\circ }=\emptyset.

?
Задача 6.2.2

Покажите, что любое конечное подмножество R\mathbb {R} нигде не плотно в R\mathbb {R}. Приведите примеры, показывающие, что счётное множество может быть нигде не плотным в R\mathbb {R}, но что так бывает не всегда.

?
Задача 6.2.3

Пусть f(x)=sin⁡(1x)f(x)=\sin \left(\frac{1}{x}\right) при x≠0x \neq 0 и f(0)=0f(0)=0. Вычислите ωf(0)\omega_{f}(0). Как это согласуется с тем, что вам известно о непрерывности этой функции?

?
Задача 6.2.4

Множества первой категории в некотором смысле «малы», тогда как множества второй категории «велики». Ещё одно обсуждавшееся нами понятие размера множества — «множество меры нуль»: «малые» множества имеют меру нуль, тогда как «большие» — нет. Существует ли связь между этими двумя способами описания размера множества? Ответ: нет. Покажите это, сделав следующее:

?
(a)

Опишите множество, которое является множеством первой категории, но не имеет меру нуль.

(b)

Опишите множество, которое имеет меру нуль, но не является множеством первой категории.

Задача 6.2.5

Докажите, что функция, определённая на (0,1)(0,1) формулой

g(x)={1q если x=pq в несократимом виде 0 если x иррационально,  g(x)= \begin{cases} \frac{1}{q} & \text{ если } x=\frac{p}{q} \text{ в несократимом виде } \\ 0 & \text{ если } x \text{ иррационально, }\end{cases}

непрерывна в каждой иррациональной точке (0,1)(0,1) и разрывна в каждой рациональной точке (0,1)(0,1).

?
Задача 6.2.6

Цель этого упражнения — показать, что «большинство» непрерывных функций нигде не дифференцируемы. Пусть EnE_{n} обозначает множество всех f∈C([0,1])f \in C([0,1]), для которых существует xf∈[0,1]x_{f} \in [0,1], удовлетворяющее

∣f(x)−f(xf)∣≤n∣x−xf∣ \left|f(x)-f\left(x_{f}\right)\right| \leq n\left|x-x_{f}\right|

для каждого x∈[0,1]x \in [0,1].

?
(a)

Покажите, что EnE_{n} нигде не плотно в C([0,1])C([0,1]). Для этого приблизьте f∈C([0,1])f \in C([0,1]) кусочно-линейной функцией gg, каждый кусок которой имеет наклон ±2n\pm 2 n. Тогда, если ∥h−g∥∞\left\| h-g\right\|_{\infty } достаточно мало, функция hh не может принадлежать EnE_{n}.

(b)

Выведите из (a), что нигде не дифференцируемые функции образуют множество второй категории в C(∣0,1∣)C(\left|0,1\right|).