10.2

Измеримость по Лебегу и мера образов отображений

[11/0%]
LaTeX
Задача 10.14

Покажите, что непрерывно дифференцируемое отображение N:Rn→Rn\mathcal{N}: \mathbb {R}^{n} \rightarrow \mathbb {R}^{n} может не быть липшицевым, но его сужение на каждое замкнутое ограниченное множество липшицево.

?
Задача 10.15

Для линейного оператора сравните оценку (6) с фактической мерой.

?
Задача 10.16

Пусть R⊆RnR \subseteq \mathbb {R}^{n} — ограниченный прямоугольник, и ϵ>0\epsilon > 0. Покажите, что существует конечное покрытие RR кубами, сумма объёмов которых меньше vol⁡(R)+ϵ\operatorname {vol}(R)+\epsilon. Выведите отсюда, что внешняя мера Лебега на Rn\mathbb {R}^{n} не изменяется, если покрытия интервалами заменить покрытиями кубами.

?
Задача 10.17

Покажите, что каждое открытое подмножество Rn\mathbb {R}^{n} является множеством типа FσF_{\sigma }.

?
Задача 10.18

Покажите, что открытое ограниченное подмножество плоскости (0,1)×(0,1)(0,1) \times (0,1) не является объединением счётного дизъюнктного семейства открытых шаров в R2\mathbb {R}^{2}. Противоречит ли это теореме Витали о разбиении?

?
Задача 10.19

Покажите, что при n=1n = 1 константу CC в (6) нельзя улучшить.

?
Задача 10.20

Покажите, что неравенство Коши-Шварца является равенством тогда и только тогда, когда xx и yy линейно зависимы. Используйте это, чтобы показать, что ∥L∥\left\| L\right\| является наименьшей липшицевой константой для линейного оператора L:Rn→RnL: \mathbb {R}^{n} \rightarrow \mathbb {R}^{n}.

?
Задача 10.21

Пара точек в Rn\mathbb {R}^{n} называется ортогональной, если их скалярное произведение равно нулю. Множество {v1,…vn}⊆Rn\left\{ v_{1}, \ldots v_{n}\right\} \subseteq \mathbb {R}^{n} называется ортонормированным базисом Rn\mathbb {R}^{n}, если каждая пара точек множества ортогональна, и каждая точка имеет норму 1. Для линейного оператора L:Rn→RnL: \mathbb {R}^{n} \rightarrow \mathbb {R}^{n} докажите равносильность следующих утверждений:

?
(i)

LL ортогонален

(ii)

LL является изометрией, то есть

∥L(x)−L(y)∥=∥x−y∥ для всех x,y∈Rn \left\| L(x)-L(y)\right\| = \left\| x-y\right\| \text{ для всех } x, y \in \mathbb {R}^{n}
(iii)

LL отображает евклидов базис {e1,…,en}\left\{ e_{1}, \ldots , e_{n}\right\} на ортонормированный базис.

(iv)

LL обратим, и его обратный оператор равен его сопряжённому.

Задача 10.22

Покажите, что в R3\mathbb {R}^{3} следствие 22 сводится к формуле смешанного произведения для объёма.

Для {z1,…,zn}⊆Rn\left\{ z_{1}, \ldots , z_{n}\right\} \subseteq \mathbb {R}^{n} пусть P(z1,…,zn)P(z_{1}, \ldots , z_{n}) обозначает параллелепипед, состоящий из точек ∑i=1nxi⋅zi\sum_{i=1}^{n} x_{i} \cdot z_{i} с коэффициентами 0≤xi≤10 \leq x_{i} \leq 1, и пусть det⁡(z1,…,zn)\det (z_{1}, \ldots , z_{n}) — определитель матрицы n×nn \times n, ii-й столбец которой есть ziz_{i}. Следствие 22: Для {z1,…,zn}⊆Rn\left\{ z_{1}, \ldots , z_{n}\right\} \subseteq \mathbb {R}^{n}, μn(P(z1,…,zn))=∣det⁡(z1,…,zn)∣\mu_{n}(P(z_{1}, \ldots , z_{n})) = \left|\det (z_{1}, \ldots , z_{n})\right|.

?
Задача 10.23

Докажите, что для любого открытого покрытия замкнутого ограниченного подмножества Rn\mathbb {R}^{n} существует α>0\alpha > 0 (называемое числом Лебега покрытия), такое что каждый шар с центром в KK и радиусом α\alpha содержится в одном из покрывающих множеств.

?
Задача 10.24

Совокупность обратимых линейных операторов на Rn\mathbb {R}^{n} называется полной линейной группой и обозначается GL(n)G L(n); совокупность ортогональных операторов обозначается O(n)\mathcal{O}(n) и называется ортогональной группой. Покажите, что относительно операции композиции GL(n)G L(n) является группой, имеющей O(n)\mathcal{O}(n) в качестве подгруппы.

?