Муз. Team – Неважно
В пространстве H1 есть множество одно.
Ограничено оно, в нём выбрать мы хотим
Последовательность икс энной назовём,
Предел её найдём, но он всегда ли есть?
Припев:
Но это неважно, что всего лишь слабо икс энное сходится.
Ведь есть оператор вложения компактный, и он переводит
Сходимость слабую в сходимость сильную в новом пространстве
Сходимость, где надо, мы доказали, а спеть может каждый.
В пространстве множество мы выбрали сперва,
Компактное в L2 окажется оно.
Последовательность в нём всегда имеет часть,
И сходится она, а значит, всё путём.
Припев.
Но это неважно, ведь это так просто,
Пространство компактно в другое вложено.
В H1 если множество ограничено,
То будет компактно в L2.