IV.4

Некоторые примеры двойственного пространства к локально выпуклому пространству

[7/0%]
LaTeX
Задача IV.4.1

Пусть {Xi:iI}\left\{ \mathscr {X}_i : i \in I\right\} — семейство ЛВП, и наделим X={Xi:iI}\mathscr {X} = \prod \left\{ \mathscr {X}_i : i \in I\right\} топологией произведения. Покажите, что LXL \in \mathscr {X}^* тогда и только тогда, когда существует конечное подмножество FF, содержащееся в II, и существуют xjx_j^* из Xj\mathscr {X}_j^* для jj из FF такие, что L(x)=jFxj(x(j))L(x) = \sum_{j \in F} x_j^*(x(j)) для каждого xx из X\mathscr {X}.

?
Задача IV.4.2

Покажите, что пространство ss всех последовательностей скаляров (с метрикой d(x,y)=n=12nx(n)y(n)/(1+x(n)y(n))d(x,y) = \sum_{n=1}^{\infty } 2^{-n} \left|x(n)-y(n)\right| / (1 + \left|x(n)-y(n)\right|)) линейно гомеоморфно C(N)C(\mathbb {N}), и опишите ss^*.

?
Задача IV.4.3

Вспомним предложение 4.2: LH(D)L \in H(\mathbb {D})^* тогда и только тогда, когда существует r<1r < 1 и единственная функция gg, аналитическая на CBˉ(0;r)\mathbb {C}_\infty \setminus \bar{B}(0;r), с g()=0g(\infty ) = 0, такая, что

L(f)=12πiγfg L(f) = \frac{1}{2\pi i} \int _\gamma fg

для каждой ff из H(D)H(\mathbb {D}), где γ(t)=ρeit\gamma (t) = \rho e^{it}, 0t2π0 \le t \le 2\pi, и r<ρ<1r < \rho < 1.

Покажите, что функция gg, получаемая в этом предложении, единственна.

?
Задача IV.4.4

Покажите, что LH(D)L \in H(\mathbb {D})^* тогда и только тогда, когда существуют скаляры b0,b1,b_0, b_1, \dots из C\mathbb {C} такие, что lim supbn1/n<1\limsup \left|b_n\right|^{1/n} < 1 и L(f)=n=01n!f(n)(0)bnL(f) = \sum_{n=0}^{\infty } \frac{1}{n!} f^{(n)}(0) b_n.

?
Задача IV.4.5

Если GG — кольцевая область, опишите H(G)H(G)^*.

?
Задача IV.4.6

(Бак.) Пусть XX локально компактно, и пусть β\beta — строгая топология на Cb(X)C_b(X): для каждого ϕ\phi из C0(X)C_0(X) определим полунорму pϕ(f)=ϕfp_\phi (f) = \left\| \phi f\right\|_\infty для ff из Cb(X)C_b(X), и пусть β\beta — топология, определённая этими полунормами. Докажите следующие утверждения.

?
(a)

Если μM(X)\mu \in M(X) и εn0\varepsilon_n \downarrow 0, то существуют компактные множества K1,K2,K_1, K_2, \dots такие, что для каждого n1n \ge 1 выполнено KnintKn+1K_n \subseteq \operatorname {int} K_{n+1} и μ(XKn)<εn\left|\mu \right|(X \setminus K_n) < \varepsilon_n.

(b)

Если μM(X)\mu \in M(X), то существует ϕ\phi из C0(X)C_0(X) такое, что ϕ0\phi \ge 0, μ(X{x:ϕ(x)>0})=0\left|\mu \right|(X \setminus \left\{ x : \phi (x) > 0\right\} ) = 0, 1/ϕL1(μ)1/\phi \in L^1(\left|\mu \right|) и 1/ϕdμ1\int 1/\phi \, d\left|\mu \right| \le 1.

(c)

Покажите, что если μM(X)\mu \in M(X) и L(f)=fdμL(f) = \int f \, d\mu для ff из Cb(X)C_b(X), то L(Cb(X),β)L \in (C_b(X), \beta )^*.

(d)

Обратно, если L(Cb(X),β)L \in (C_b(X), \beta )^*, то существует μ\mu из M(X)M(X) такая, что L(f)=fdμL(f) = \int f \, d\mu для ff из Cb(X)C_b(X).

Задача IV.4.7

Пусть XX вполне регулярно, и пусть M\mathscr {M} — линейное многообразие в C(X)C(X). Покажите, что если для каждого компактного подмножества KK пространства XX множество MK{fK:fM}\mathscr {M} | K \equiv \left\{ f | K : f \in \mathscr {M}\right\} плотно в C(K)C(K), то M\mathscr {M} плотно в C(X)C(X).

?