5.3

Сопряжённые пространства

[26/54%]
Показать
LaTeX
Задача 5.41

Пусть XX — нормированное пространство. Доказать, что пространство X∗X^{*} банахово.

?
Задача 5.42

Доказать, что если сопряжённое пространство X∗X^{*} к нормированному пространству XX сепарабельно, то XX тоже сепарабельно. Привести пример, показывающий, что обратное утверждение неверно.

?
Задача 5.43

Пусть нормированное пространство ZZ есть декартово произведение нормированных пространств XX и YY и ∥z=(x,y)∥Z=∥x∥X+∥y∥Y\left\| z = (x, y)\right\|_{Z} = \left\| x\right\|_{X}+\left\| y\right\|_{Y}. Доказать, что сопряжённое пространство Z∗Z^{*} совпадает с X∗×Y∗X^{*} \times Y^{*}, и найти норму в нём.

?
Задача 5.44

Пусть XX — конечномерное нормированное пространство. Доказать, что X∗X^{*} изоморфно XX (и, стало быть, тоже конечномерно).

?
Задача 5.45

Пусть сопряжённое пространство X∗X^{*} к нормированному пространству XX конечномерно. Доказать, что XX изоморфно X∗X^{*} (и, стало быть, тоже конечномерно).

?
Задача 5.46

Пусть X0X_{0} — неполное нормированное пространство, а XX его пополнение. Доказать, что пространства X∗X^{*} и X0∗X_{0}^{*} изометрически изоморфны.

?
Задача 5.47

Пусть X1X_{1} и X2X_{2} — нормированные пространства, X1⊂X2X_{1} \subset X_{2}, ∥⋅∥X2≺∥⋅∥X1\left\| \cdot \right\|_{X_{2}} \prec \left\| \cdot \right\|_{X_{1}} на пространстве X1X_{1} (см. определение 2.3) и X1X_{1} плотно в X2X_{2} по норме ∥⋅∥X2\left\| \cdot \right\|_{X_{2}}. Доказать, что тогда X2∗⊂X1∗X_{2}^{*} \subset X_{1}^{*} и ∥⋅∥X1∗≺∥⋅∥X2∗\left\| \cdot \right\|_{X_{1}^{*}} \prec \left\| \cdot \right\|_{X_{2}^{*}} на пространстве X2∗X_{2}^{*}.

?
Задача 5.48

Построить пример таких нормированных пространств X1X_{1} и X2X_{2}, что X1⊊X2,∥⋅∥X2≺∥⋅∥X1X_{1} \subsetneq X_{2},\left\| \cdot \right\|_{X_{2}} \prec \left\| \cdot \right\|_{X_{1}}, но X2∗⊋X1∗X_{2}^{*} \supsetneq X_{1}^{*} и ∥⋅∥X1∗≻∥⋅∥X2∗\left\| \cdot \right\|_{X_{1}^{*}} \succ \left\| \cdot \right\|_{X_{2}^{*}}. ↓\downarrow

?
Задача 5.49

Доказать утверждение п. 2 в списке сопряжённых пространств по схеме, описанной в предыдущей задаче.

?
Задача 5.50

Найти элементы пространства l1l_{1}, соответствующие следующим функционалам на пространствах с и c0c_{0}:

?
(а)

fn(x)=xn,n∈Nf_{n}(x) = x_{n}, n \in \mathbb {N};

(б)

f(x)=x1+x2−x3f(x) = x_{1}+x_{2}-x_{3};

(в)

f(x)=x1−lim⁡n→∞xnf(x) = x_{1}-\lim_{n \rightarrow \infty } x_{n}. Найти нормы этих функционалов.

Задача 5.51

Доказать следующие утверждения в списке сопряженных пространств:

?
(а)
  • п. 3 для случая Lp[0,1]L_{p}[0,1];
(б)

п. 4;

(в)
  • п. 5 для случая L1[0,1];L_{1}[0,1] ;
(г)

п. 6;

(д)
  • п. 7;
(е)

п. 8.

Задача 5.52

Найти элементы пространства BV0[−1,1]B V_{0}[-1,1], соответствующие следующим функционалам на пространстве C[−1,1]C[-1,1] :

?
(а)

f(x)=∑k=1nakx(tk)f(x) = \sum_{k = 1}^{n} a_{k} x\left(t_{k}\right), где ak∈C,−1⩽t1<…<tn⩽1a_{k} \in \mathbb {C},-1 \leqslant t_{1} < \ldots < t_{n} \leqslant 1;

(б)

f(x)=∫−11a(t)x(t)dtf(x) = \int_{-1}^{1} a(t) x(t) d t, где a∈C[−1,1]a \in C[-1,1];

(в)

fε(x)=ε−1∫−εεx(t)dt,ε∈(0,1]f_{\varepsilon }(x) = \varepsilon^{-1} \int_{-\varepsilon }^{\varepsilon } x(t) d t, \varepsilon \in (0,1];

(г)

fε(x)=ε−1(x(ε)−x(−ε)),ε∈(0,1]f_{\varepsilon }(x) = \varepsilon^{-1}(x(\varepsilon )-x(-\varepsilon )), \varepsilon \in (0,1];

(д)

fε(x)=ε−2(x(ε)−2x(0)+x(−ε)),ε∈(0,1]f_{\varepsilon }(x) = \varepsilon^{-2}(x(\varepsilon )-2 x(0)+x(-\varepsilon )), \varepsilon \in (0,1];

(е)

f(x)=∫01x(t)dtf(x) = \int_{0}^{1} x(t) d t;

(ж)

f(x)=∫−10x(t)dt−∫01x(t)dtf(x) = \int_{-1}^{0} x(t) d t-\int_{0}^{1} x(t) d t;

(з)

f(x)=∫−11tx(t)dtf(x) = \int_{-1}^{1} t x(t) d t.

Найти нормы этих функционалов.

Задача 5.53

Найти элементы пространства BV0[0,1]B V_{0}[0,1], соответствующие следующим функционалам на пространстве C[0,1]C[0,1] :

?
(а)

f(x)=∫01x(t)dtf(x) = \int_{0}^{1} x(\sqrt{t}) d t;

(б)

f(x)=∫01x(t2)dtf(x) = \int_{0}^{1} x\left(t^{2}\right) d t;

(в)

f(x)=lim⁡n→∞∫01x(tn)dtf(x) = \lim_{n \rightarrow \infty } \int_{0}^{1} x\left(t^{n}\right) d t;

(г)

f(x)=∫01a(t)x(t)dt+∑k=1nakx(tk)f(x) = \int_{0}^{1} a(t) x(t) d t+\sum_{k = 1}^{n} a_{k} x\left(t_{k}\right), где a∈C[0,1],ak∈C,0⩽t1<t2<…<tn−1<tn⩽1a \in C[0,1], a_{k} \in \mathbb {C}, 0 \leqslant t_{1} < t_{2} < \ldots < t_{n-1} < t_{n} \leqslant 1.

Найти нормы этих функционалов.

Задача 5.54

Пусть ff — положительный линейный функционал на вещественном пространстве C[0,1]C[0,1], т.е. f(x)⩾0f(x) \geqslant 0 для любой неотрицательной функции x(t)x(t). Доказать, что ff непрерывен и ∥f∥=f(x0(t)≡1)\left\| f\right\| = f\left(x_{0}(t) \equiv 1\right).

?
Задача 5.55

Найти элементы пространства L∞[−1,1]L_{\infty }[-1,1], соответствующие следующим функционалам на пространстве L1[−1,1]L_{1}[-1,1] :

?
(а)

fε(x)=∫−εεx(t)dt,ε∈(0,1];f_{\varepsilon }(x) = \int_{-\varepsilon }^{\varepsilon } x(t) d t, \varepsilon \in (0,1] ;

(б)

f(x)=∫01R(t)x(t)dtf(x) = \int_{0}^{1} R(t) x(t) d t, где

R(t)={0, если t иррационально; q−1, если t=p/q1, если t=0 R(t) = \begin{cases} 0, & \text{ если } t \text{ иррационально; } \\ q^{-1}, & \text{ если } t = p / q \\ 1, & \text{ если } t = 0\end{cases}

— функция Римана.

Найти нормы этих функционалов.

Задача 5.56

Найти элементы пространства L2[−1,1]L_{2}[-1,1], соответствующие следующим функционалам на пространстве L2[−1,1]L_{2}[-1,1] :

?
(а)

f(x)=∫−11tx(t)dtf(x) = \int_{-1}^{1} t x(t) d t;

(б)

fε(x)=ε−1/2∫−εεx(t)dt,ε∈(0,1]f_{\varepsilon }(x) = \varepsilon^{-1 / 2} \int_{-\varepsilon }^{\varepsilon } x(t) d t, \varepsilon \in (0,1];

(в)

f(x)=lim⁡n→∞∫01x(t)sin⁡(πnt)dtf(x) = \lim_{n \rightarrow \infty } \int_{0}^{1} x(t) \sin (\pi n t) d t.

Найти нормы этих функционалов.

Задача 5.57

Найти элементы пространства l∞l_{\infty }, соответствующие следующим функционалам на l1l_{1} :

?
(а)

fn(x)=xn,n∈Nf_{n}(x) = x_{n}, n \in \mathbb {N};

(б)

f(x)=x1+x2f(x) = x_{1}+x_{2};

(в)

f(x)=∑n=1∞xnf(x) = \sum_{n = 1}^{\infty } x_{n}.

Найти нормы этих функционалов.

Задача 5.58

Найти элементы пространства l2l_{2}, соответствующие следующим функционалам на l2l_{2} :

?
(а)

fn(x)=xn,n∈Nf_{n}(x) = x_{n}, n \in \mathbb {N};

(б)

f(x)=x1+x2f(x) = x_{1}+x_{2};

(в)

f(x)=∑n=1∞xnnf(x) = \sum_{n = 1}^{\infty } \frac{x_{n}}{n}.

Найти нормы этих функционалов.

Задача 5.59

Доказать, что пространство l1l_{1} изометрически вложено в пространство l∞∗l_{\infty }^{*}, но не изоморфно ему.

?
Задача 5.60

Доказать, что следующие функционалы являются линейными и непрерывными на пространстве l∞l_{\infty }, и найти их нормы:

?
(а)

fn(x)=xn,n∈Nf_{n}(x) = x_{n}, n \in \mathbb {N};

(б)

f(x)=∑n=2∞xnnln⁡2nf(x) = \sum_{n = 2}^{\infty } \frac{x_{n}}{n \ln^{2} n};

(в)

f(x)=LIM⁡(x)f(x) = \operatorname {LIM}(x).

Задача 5.61

Доказать, что продолжение по Хану-Банаху любого линейного непрерывного функционала с c0c_{0} на l∞l_{\infty } единственно. [^fn1]

?
Задача 5.62

Доказать, что L1[0,1]L_{1}[0,1] изометрически вложено в пространство (L∞[0,1])(L_{\infty }[0,1])*, но не изоморфно ему.

?
Задача 5.63

Доказать, что следующие функционалы являются линейными и непрерывными в пространстве L∞[−1,1]L_{\infty }[-1,1], и найти их нормы:

?
(а)

f(x)=∫−11tx(t)dtf(x) = \int_{-1}^{1} t x(t) d t;

(б)

fε(x)=ε−1∫−εεx(t)dt,ε∈(0,1]f_{\varepsilon }(x) = \varepsilon^{-1} \int_{-\varepsilon }^{\varepsilon } x(t) d t, \varepsilon \in (0,1].

Задача 5.64

Найти элементы пространства BV0[−1,1]×CB V_{0}[-1,1] \times \mathbb {C}, соответствующие следующим функционалам на пространстве C1[−1,1]C^{1}[-1,1] с нормой ∥x∥C1[−1,1]=∣x(−1)∣+max⁡−1⩽t⩽1∣x′(t)∣\left\| x\right\|_{C^{1}[-1,1]} = \left|x(-1)\right|+\max_{-1 \leqslant t \leqslant 1}\left|x^{\prime }(t)\right| :

?
(а)

f(x)=∑k=1nakx′(tk)+∑l=0mblx(sl)f(x) = \sum_{k = 1}^{n} a_{k} x^{\prime }\left(t_{k}\right)+\sum_{l = 0}^{m} b_{l} x\left(s_{l}\right), где ak∈C,bl∈C,−1⩽t1<……<tn⩽1,−1=s0<s1<…<sm⩽1;a_{k} \in \mathbb {C}, b_{l} \in \mathbb {C},-1 \leqslant t_{1} < \ldots \ldots < t_{n} \leqslant 1,-1 = s_{0} < s_{1} < \ldots < s_{m} \leqslant 1 ;

(б)

fε(x)=(x(ε)−x(−ε))2ε,ε∈(0,1]f_{\varepsilon }(x) = \frac{(x(\varepsilon )-x(-\varepsilon ))}{2 \varepsilon }, \varepsilon \in (0,1];

(в)

fε(x)=x(ε)−2x(0)+x(−ε)ε2,ε∈(0,1]f_{\varepsilon }(x) = \frac{x(\varepsilon )-2 x(0)+x(-\varepsilon )}{\varepsilon^{2}}, \varepsilon \in (0,1];

(г)

f(x)=∫01x(t)dtf(x) = \int_{0}^{1} x(t) d t;

(д)

f(x)=∫−10x(t)dt−∫01x(t)dtf(x) = \int_{-1}^{0} x(t) d t-\int_{0}^{1} x(t) d t;

(е)

f(x)=∫−11tx(t)dtf(x) = \int_{-1}^{1} t x(t) d t;

(ж)

f(x)=∫01x′(t)cos⁡(πt)dt−2x(0)f(x) = \int_{0}^{1} x^{\prime }(t) \cos (\pi t) d t-2 x(0).

Найти нормы этих функционалов.

Задача 5.65

Найти элементы пространства W21[0,1]W_{2}^{1}[0,1], соответствующие следующим функционалам на пространстве W21[0,1]W_{2}^{1}[0,1] :

?
(а)

f(x)=x(0)f(x) = x(0);

(б)

f(x)=x(1)+x(0)f(x) = x(1)+x(0);

(в)

f(x)=∫01x(t)dtf(x) = \int_{0}^{1} x(t) d t;

(г)

f(x)=∫01x′(t)sin⁡tdtf(x) = \int_{0}^{1} x^{\prime }(t) \sin t d t;

(д)

f(x)=∫01(x′(t)sin⁡t+x(t)cos⁡t)dt;f(x) = \int_{0}^{1}\left(x^{\prime }(t) \sin t+x(t) \cos t\right) d t ;

(е)

f(x)=∫01x′(t)dtf(x) = \int_{0}^{1} x^{\prime }(t) d t.

Найти нормы этих функционалов.

Задача 5.66

Решить пункты а, б задачи 5.20 с помощью теоремы 5.4.

?