2A

Внешняя мера на R\mathbb{R}

[14/0%]
Показать
LaTeX
Задача 2A.1

Докажите, что если AA и BB — подмножества R\mathbb {R} и B=0\left|B\right| = 0, то AB=A\left|A \cup B\right| = \left|A\right|.

?
Задача 2A.2

Пусть ARA \subseteq \mathbb {R} и tRt \in \mathbb {R}. Обозначим tA={ta:aA}t A = \left\{ t a: a \in A\right\}. Докажите, что tA=tA\left|t A\right| = \left|t\right|\left|A\right|.

?
Примечание.
?

Считайте, что 00 \cdot \infty по определению равно 0.

Задача 2A.3

Докажите, что если A,BRA, B \subseteq \mathbb {R} и A<\left|A\right| < \infty, то B\ABA\left|B \backslash A\right| \geq \left|B\right|-\left|A\right|.

?
Задача 2A.4

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

?
Задача 2A.5

Пусть A\mathcal{A} — набор замкнутых подмножеств R\mathbb {R} такой, что FAF=\bigcap_{F \in \mathcal{A}} F = \varnothing. Докажите, что если A\mathcal{A} содержит хотя бы одно ограниченное множество, то существуют nNn \in \mathbb {N} и F1,,FnAF_{1}, \ldots , F_{n} \in \mathcal{A} такие, что F1Fn=F_{1} \cap \cdots \cap F_{n} = \varnothing.

?
Задача 2A.6

Докажите, что если a,bRa, b \in \mathbb {R} и a<ba < b, то

(a,b)=[a,b)=(a,b]=ba. \left|(a, b)\right| = \left|[a, b)\right| = \left|(a, b]\right| = b-a.
?
Задача 2A.7

Пусть a,b,c,da, b, c, d — вещественные числа такие, что a<ba < b и c<dc < d. Докажите, что

(a,b)(c,d)=(ba)+(dc) тогда и только тогда, когда (a,b)(c,d)= \left|(a, b) \cup (c, d)\right| = (b-a)+(d-c) \text{ тогда и только тогда, когда }(a, b) \cap (c, d) = \varnothing
?
Задача 2A.8

Докажите, что если ARA \subseteq \mathbb {R} и t>0t > 0, то A=A(t,t)+A(R\(t,t))\left|A\right| = \left|A \cap (-t, t)\right|+\left|A \cap (\mathbb {R} \backslash (-t, t))\right|.

?
Задача 2A.9

Докажите, что A=limtA(t,t)\left|A\right| = \lim_{t \rightarrow \infty }\left|A \cap (-t, t)\right| для всех ARA \subseteq \mathbb {R}.

?
Задача 2A.10

Докажите, что [0,1]\Q=1\left|[0,1] \backslash \mathbb {Q}\right| = 1.

?
Задача 2A.11

Докажите, что если I1,I2,I_{1}, I_{2}, \ldots — последовательность попарно непересекающихся интервалов, то

k=1Ik=k=1(Ik) \left|\bigcup _{k = 1}^{\infty } I_{k}\right| = \sum _{k = 1}^{\infty } \ell \left(I_{k}\right)
?
Задача 2A.12

Пусть r1,r2,r_{1}, r_{2}, \ldots — последовательность, содержащая каждое рациональное число. Обозначим

F=R\k=1(rk12k,rk+12k) F = \mathbb {R} \backslash \bigcup _{k = 1}^{\infty }\left(r_{k}-\frac{1}{2^{k}}, r_{k}+\frac{1}{2^{k}}\right)
?
(a)

Покажите, что FF — замкнутое подмножество R\mathbb {R}.

(b)

Докажите, что если II — промежуток, содержащийся в FF, то II содержит не более одного элемента.

(c)

Докажите, что F=\left|F\right| = \infty.

Задача 2A.13

Пусть ε>0\varepsilon > 0. Докажите, что существует подмножество FF отрезка [0,1][0,1] такое, что FF замкнуто, каждый элемент FF является иррациональным числом, и F>1ε\left|F\right| > 1-\varepsilon.

?
Задача 2A.14

Рассмотрим следующий рисунок, выполненный точно в масштабе.

?
(a)

Покажите, что прямоугольный треугольник с вершинами (0,0),(20,0)(0,0),(20,0) и (20,9)(20,9) имеет площадь 90.

(b)

Покажите, что жёлтый (нижний) прямоугольный треугольник имеет площадь 27.5.

(c)

Покажите, что красный прямоугольник имеет площадь 45.

(d)

Покажите, что синий (верхний) прямоугольный треугольник имеет площадь 18.

(e)

Сложите результаты пунктов (b), (c) и (d), показав, что площадь закрашенной области равна 90.5.

(f)

Глядя на рисунок выше, большинство людей ожидает, что результаты пунктов (a) и (e) совпадут. Однако в пункте (a) мы получили площадь 90, а в пункте (e) — площадь 90.5. Объясните, почему эти результаты отличаются.

Примечание.
?

Мы ещё не определили понятие площади, но просто используйте элементарные формулы площадей треугольников и прямоугольников, известные вам с давних пор.

У вас может возникнуть соблазн подумать, что перед нами двумерный пример, аналогичный результату о неаддитивности внешней меры (2.18). Однако настоящие примеры неаддитивности требуют гораздо более сложных множеств, чем в этом примере.