22.2

Теорема Какутани о неподвижной точке

[6/0%]
LaTeX
Задача 22.13

Покажите, что сопряжённое к представлению также является представлением.

?
Задача 22.14

Покажите, что вероятностный функционал имеет норму 1.

?
Задача 22.15

Пусть EE — рефлексивное банахово пространство, а K∗K^{*} — выпуклое подмножество E∗E^{*}, замкнутое относительно метрики, порождённой нормой. Покажите, что K∗K^{*} слабо-* замкнуто. С другой стороны, покажите, что если EE не рефлексивно, то образ замкнутого единичного шара из EE при естественном вложении EE в (E∗)∗=E∗∗\left(E^{*}\right)^{*} = E^{* *} является подмножеством E∗∗E^{* *}, которое выпукло, замкнуто и ограничено относительно метрики, порождённой нормой, но не является слабо-* замкнутым.

?
Задача 22.16

Пусть G\mathcal{G} — компактная группа, EE — рефлексивное банахово пространство, а π:G→GL(E)\pi : \mathcal{G} \rightarrow \mathrm{GL}(E) — представление. Предположим, что для каждого x∈Ex \in E отображение g↦π(g)xg \mapsto \pi (g) x непрерывно. Предположим также, что существует непустое сильно замкнутое, ограниченное, выпуклое подмножество KK пространства EE, инвариантное относительно π\pi. Покажите, что KK содержит точку, неподвижную относительно π\pi.

?
Задача 22.17

Пусть G\mathcal{G} — топологическая группа, EE — банахово пространство, а π:G→GL(E)\pi : \mathcal{G} \rightarrow \mathrm{GL}(E) — представление. Для x∈Ex \in E покажите, что отображение g↦π(g)xg \mapsto \pi (g) x непрерывно тогда и только тогда, когда оно непрерывно в точке ee.

?
Задача 22.18

Предположим, что G\mathcal{G} — топологическая группа, XX — топологическое пространство, а φ:G×X→X\varphi : \mathcal{G} \times X \rightarrow X — отображение. Для g∈Gg \in \mathcal{G} определим отображение π(g)\pi (g) : X→XX \rightarrow X формулой π(g)x=φ(g,x)\pi (g) x = \varphi (g, x) для всех x∈Xx \in X. Какими свойствами должно обладать φ\varphi, чтобы π\pi было представлением группы G\mathcal{G} на C(X)C(X)? Какими дополнительными свойствами должно обладать φ\varphi, чтобы для каждого x∈Xx \in X отображение g↦π(g)xg \mapsto \pi (g) x было непрерывным?

?