VII.9

Групповая алгебра локально компактной абелевой группы

[11/0%]
LaTeX
Задача VII.9.1

Докажите, что если L1(G)L^1(G) имеет единицу, то GG дискретна.

?
Задача VII.9.2

Если fL(G)f \in L^\infty (G), покажите, что xfxx \mapsto f_x — непрерывная функция из GG в (L(G),wk)(L^\infty (G), \text{wk}^*), где fx(y)=f(x1y)f_x(y) = f(x^{-1}y).

?
Задача VII.9.3

Существует ли мера μ\mu на R\mathbb {R}, отличная от меры Лебега, такая, что для ff из L1(μ)L^1(\mu ) отображение xfxx \mapsto f_x непрерывно? Существует ли мера, для которой это отображение разрывно?

?
Задача VII.9.4

Если fC0(G)f \in C_0(G), покажите, что xfxx \mapsto f_x — непрерывное отображение из GC0(G)G \to C_0(G).

?
Задача VII.9.5

Если fL(G)f \in L^\infty (G) и ff равномерно непрерывна на GG, покажите, что xfxx \mapsto f_x — непрерывная функция из GL(G)G \to L^\infty (G). Верно ли обратное?

?
Задача VII.9.6

Если KK — компактное подмножество GG, γ0Γ\gamma_0 \in \Gamma и ε>0\varepsilon > 0, положим U(K,γ0,ε)={γΓ:γ(x)γ0(x)<ε для всех x из K}U(K, \gamma_0, \varepsilon ) = \left\{ \gamma \in \Gamma : \left|\gamma (x) - \gamma_0(x)\right| < \varepsilon \text{ для всех } x \text{ из } K\right\}. Покажите, что совокупность всех таких множеств образует базу топологии Γ\Gamma. (Это означает, что топология на Γ\Gamma является компактно-открытой топологией.)

?
Задача VII.9.7

Покажите, что существует разрывный гомоморфизм γ:RT\gamma : \mathbb {R} \to \mathbb {T}. Если γ:RT\gamma : \mathbb {R} \to \mathbb {T} — гомоморфизм, являющийся борелевской функцией, покажите, что γ\gamma непрерывен.

?
Задача VII.9.8

Если GG — компактная абелева группа, покажите, что линейная оболочка Γ\Gamma плотна в C(G)C(G).

?
Задача VII.9.9

Если GG — компактная абелева группа, покажите, что Γ\Gamma образует ортонормированный базис в L2(G)L^2(G).

?
Задача VII.9.10

Если GG — компактная абелева группа, покажите, что GG метризуема тогда и только тогда, когда Γ\Gamma счётна.

?
Задача VII.9.11

Пусть {Gα}\{ G_\alpha \} — семейство компактных абелевых групп и G=αGαG = \prod_\alpha G_\alpha. Если Γα=G^α\Gamma_\alpha = \hat{G}_\alpha, покажите, что группа характеров GG есть {{γα}αΓα:γα=e для всех α, кроме, быть может, конечного числа}\left\{ \{ \gamma_\alpha \} \in \prod_\alpha \Gamma_\alpha : \gamma_\alpha = e \text{ для всех } \alpha , \text{ кроме, быть может, конечного числа}\right\}.

?