12.1

Линейные функционалы

[34/12%]
Показать
LaTeX
Задача 12.1.1

Если YY — подпространство векторного пространства XX, покажите, что существует подпространство ZZ, такое что Y∩Z={0}Y \cap Z=\left\{ 0\right\} и Y⊕Z=XY \oplus Z=X. (Это означает, что каждый x∈Xx \in X можно единственным образом записать как x=y+zx=y+z, где y∈Yy \in Y и z∈Zz \in Z.

?
Задача 12.1.2

Пусть 0<p<10<p<1. Докажите, что (12.1) задаёт метрику на Lp(0,1)L^{p}\left(0,1\right).

?
Задача 12.1.3

Докажите, что продолжение TT на XX в доказательстве предложения 12.1.10 является линейным функционалом.

Предложение 12.1.10: Пусть YY — линейное подпространство линейного пространства XX. Тогда каждый линейный функционал на YY имеет продолжение до линейного функционала на XX. (В частности, для каждого x∈X∖{0}x \in X \setminus \left\{ 0\right\} существует линейный функционал TT, такой что Tx≠0Tx \neq 0.) В доказательстве: пусть ZZ — подпространство XX, такое что X=Y⊕ZX = Y \oplus Z, пусть TT — линейный функционал на YY, и продолжим TT на XX, определив Tx=TyTx = Ty, где x=y+zx=y+z — разложение с y∈Y,z∈Zy \in Y, z \in Z.

?
Задача 12.1.4

Найдите норму линейного функционала на R2\mathbb {R}^{2}, определённого как T(x,y)=x−7yT(x, y)=x-7 y, если R2\mathbb {R}^{2} снабжено нормой ℓp\ell^{p}, 1≤p≤∞1 \leq p \leq \infty.

?
Задача 12.1.5

Пусть δ\delta — функционал Дирака на C[0,1]C[0,1], определённый как δ(f)=f(0)\delta (f)=f(0).

?
(a)

Докажите, что δ\delta ограничен, если C[0,1]C[0,1] снабжено нормой ∥⋅∥max⁡\left\| \cdot \right\|_{\max }, и найдите его норму.

(b)

Докажите, что δ\delta неограничен, если C[0,1]C[0,1] снабжено нормой ∥⋅∥1\left\| \cdot \right\|_{1}.

Задача 12.1.6

При каких значениях константы α\alpha

Tf=∫01xαf(x)dx T f=\int _{0}^{1} x^{\alpha } f(x) d x

задаёт ограниченный линейный функционал на C[0,1]C[0,1]? Для таких α\alpha определите норму TT.

?
Задача 12.1.7

При каких значениях константы α\alpha

Tf=∫01xαf(x)dx T f=\int _{0}^{1} x^{\alpha } f(x) d x

задаёт ограниченный линейный функционал на Lp(0,1)L^{p}\left(0,1\right)? Для таких α\alpha определите норму TT.

?
Задача 12.1.8

Пусть X=C[0,1]X=C[0,1] с нормой ∥⋅∥max⁡\left\| \cdot \right\|_{\max }, пусть g∈C[0,1]g \in C[0,1], и определим Tf=∫01f(t)g(t)dtT f= \int_{0}^{1} f(t) g(t) d t. Докажите, что TT — ограниченный линейный функционал на C[0,1]C[0,1], и найдите его норму.

?
Задача 12.1.9

Пусть X=C1[0,1]X=C^{1}[0,1] с нормой ∥f∥(1):=∥f∥∞+∥f′∥∞\left\| f\right\|_{(1)}:=\left\| f\right\|_{\infty }+\left\| f^{\prime }\right\|_{\infty }, и определим Tf=∫01tf(t)dtT f=\int_{0}^{1} t f(t) d t. Докажите, что TT — ограниченный линейный функционал на C1[0,1]C^{1}[0,1], и найдите его норму.

?
Задача 12.1.10

Пусть X=C[0,1]X=C[0,1] с нормой ∥⋅∥max⁡\left\| \cdot \right\|_{\max }, пусть n∈Nn \in \mathbb {N}, пусть {αk}k=1n\left\{ \alpha_{k}\right\}_{k=1}^{n} — вещественные числа, пусть {xk}k=1n⊂[0,1]\left\{ x_{k}\right\}_{k=1}^{n} \subset [0,1], и определим

Tf=∑k=1nαkf(xk) T f=\sum _{k=1}^{n} \alpha _{k} f\left(x_{k}\right)

Докажите, что TT — ограниченный линейный функционал на C[0,1]C[0,1], и найдите его норму. Что если последовательность {αk}\left\{ \alpha_{k}\right\} бесконечна?

?
Задача 12.1.11

Если n∈Nn \in \mathbb {N}, пусть

Tnf:=∫0πf(t)sin⁡ntdt, для f∈C[0,π] T_{n} f:=\int _{0}^{\pi } f(t) \sin n t d t, \quad \text{ для } f \in C[0, \pi ]

Докажите, что ∥Tn∥=2\left\| T_{n}\right\| =2 для всех n∈Nn \in \mathbb {N}.

?
Задача 12.1.12

Для непрерывной функции ff на [0,2π][0,2 \pi ] пусть sn,x(f)=sn(f)(x)s_{n, x}(f)=s_{n}(f)(x) — nn-я частичная сумма её ряда Фурье, вычисленная в точке x∈[0,2π]x \in [0,2 \pi ]. Докажите, что sn,xs_{n, x} — ограниченный линейный функционал на C[0,2π]C[0,2 \pi ], и определите его норму.

?
Задача 12.1.13

Пусть X=C[0,1]X=C[0,1] с нормой ∥⋅∥max⁡\left\| \cdot \right\|_{\max }, пусть g∈L1[0,1]g \in L^{1}[0,1], и определим Tf=∫01f(t)g(t)dtT f=\int_{0}^{1} f(t) g(t) d t. Докажите, что TT — ограниченный линейный функционал на C[0,1]C[0,1], и найдите его норму.

?
Задача 12.1.14

Пусть XX — пространство ℓ1\ell^{1} с нормой ℓ∞\ell^{\infty }, и пусть TT — линейный функционал на XX, определённый как Tx=∑kxkT x=\sum_{k} x_{k}. Докажите или опровергните: TT непрерывен на XX.

?
Задача 12.1.15

Для f∈C[0,1]f \in C[0,1] пусть

Tf=∫01/2f−∫1/21f T f=\int _{0}^{1 / 2} f-\int _{1 / 2}^{1} f
?
(a)

Докажите, что ∥T∥=1\left\| T\right\| =1.

(b)

Докажите, что не существует f∈C[0,1]f \in C[0,1], такой что ∥f∥=1\left\| f\right\| =1 и ∣Tf∣=1\left|T f\right|=1.

Задача 12.1.16

Для x:={xn}∈c0x:=\left\{ x_{n}\right\} \in c_{0} пусть

Tx=∑n=1∞2−nxn T x=\sum _{n=1}^{\infty } 2^{-n} x_{n}
?
(a)

Найдите ∥T∥\left\| T\right\|.

(b)

Докажите, что не существует x∈c0x \in c_{0}, такого что ∥x∥=1\left\| x\right\| =1 и Tx=∥T∥T x=\left\| T\right\|.

Задача 12.1.17

Для x:={xn}∈cx:=\left\{ x_{n}\right\} \in c пусть

Tx=∑n=1∞2−nxn−lim⁡xn T x=\sum _{n=1}^{\infty } 2^{-n} x_{n}-\lim x_{n}
?
(a)

Найдите ∥T∥\left\| T\right\|.

(b)

Докажите, что не существует x∈cx \in c, такого что ∥x∥=1\left\| x\right\| =1 и Tx=∥T∥T x=\left\| T\right\|.

Задача 12.1.18

Для x:={xn}∈ℓ1x:=\left\{ x_{n}\right\} \in \ell^{1} пусть

Tx=∑n=1∞(1−1/n)xn T x=\sum _{n=1}^{\infty }(1-1 / n) x_{n}
?
(a)

Найдите ∥T∥\left\| T\right\|.

(b)

Докажите, что не существует x∈ℓ1x \in \ell^{1}, такого что ∥x∥=1\left\| x\right\| =1 и Tx=∥T∥T x=\left\| T\right\|.

Задача 12.1.19

Пусть TT и T′T^{\prime } — два функционала на векторном пространстве XX, такие что ядро TT содержится в ядре T′T^{\prime }. Докажите, что T′=cTT^{\prime }=c T для некоторого вещественного числа cc.

?
Задача 12.1.20

Пусть XX — линейное пространство, пусть n∈Nn \in \mathbb {N}, и пусть T1,…,TnT_{1}, \ldots , T_{n} и TT — линейные функционалы на XX, такие что ∩k=1nker⁡Tk⊂ker⁡T\cap_{k=1}^{n} \operatorname {ker} T_{k} \subset \operatorname {ker} T. Докажите, что TT является линейной комбинацией T1,…,TnT_{1}, \ldots , T_{n}.

?
Задача 12.1.21

Докажите, что линейный функционал на нормированном пространстве ограничен тогда и только тогда, когда он отображает ограниченные множества в ограниченные множества.

?
Задача 12.1.22

Пусть XX — нормированное линейное пространство и x0∈Xx_{0} \in X. Докажите, что линейный функционал на нормированном пространстве непрерывен тогда и только тогда, когда он непрерывен в x0x_{0}.

?
Задача 12.1.23

Пусть XX — нормированное линейное пространство и T:X→RT: X \rightarrow \mathbb {R} — непрерывное аддитивное отображение, т.е. T(x+y)=Tx+TyT(x+y)=T x+T y для всех x,y∈Xx, y \in X. Докажите, что TT однородно, т.е. T(αx)=αTxT(\alpha x)=\alpha T x для всех α∈R\alpha \in \mathbb {R} и всех x∈Xx \in X.

?
Задача 12.1.24

Пусть XX — нормированное линейное пространство, и пусть TT — ограниченный линейный функционал на XX, и пусть SS — множество, плотное в XX. Докажите, что если Tx=0T x=0 для всех x∈Sx \in S, то T=0T=0 на всём XX.

?
Задача 12.1.25

Докажите (12.6).

?
Задача 12.1.26

Пусть XX — нормированное пространство, и пусть TT — ненулевой ограниченный линейный функционал на XX. Докажите, что для всех x∈Xx \in X,

min⁡{∥x−y∥:Ty=0}=∣Tx∣∥T∥ \min \left\{ \left\| x-y\right\| : T y=0\right\} =\frac{\left|T x\right|}{\left\| T\right\| }
?
Задача 12.1.27

Пусть XX — нормированное линейное пространство и TT — ненулевой линейный функционал на XX. Докажите, что существует y∈Xy \in X, такой что каждый вектор x∈Xx \in X можно единственным образом записать в виде x=λy+zx=\lambda y+z, где λ∈R\lambda \in \mathbb {R} и z∈ker⁡Tz \in \operatorname {ker} T.

?
Задача 12.1.28

Пусть YY — подпространство векторного пространства XX, и пусть TT — функционал на XX, такой что T(Y)T(Y) — собственное подмножество R\mathbb {R}. Покажите, что Tx=0T x=0 для всех x∈Yx \in Y.

?
Задача 12.1.29

Пусть XX — нормированное линейное пространство и TT — ненулевой линейный функционал на XX. Докажите, что TT непрерывен тогда и только тогда, когда ker⁡TC\operatorname {ker} T^{C} имеет непустую внутренность.

?
Задача 12.1.30

Пусть XX — нормированное линейное пространство и TT — линейный функционал на XX. Докажите, что TT непрерывен тогда и только тогда, когда существует открытое множество G⊂XG \subset X и вещественное число α\alpha, такие что α∉T(G)\alpha \notin T(G).

?
Задача 12.1.31

Пусть XX — нормированное линейное пространство и TT — линейный функционал на XX. Докажите, что TT непрерывен тогда и только тогда, когда его ядро {x∈X:T(x)=0}\left\{ x \in X: T(x)=0\right\} является замкнутым множеством.

?
Задача 12.1.32

Пусть XX — нормированное линейное пространство, не являющееся конечномерным. Докажите, что на XX существует неограниченный линейный функционал.

?
Задача 12.1.33

Пусть XX — нормированное линейное пространство и TT — линейный функционал на XX. Докажите, что норма TT обратна расстоянию в XX от 0 до множества {x∈X:Tx=1}\left\{ x \in X: T x=1\right\}.

?
Задача 12.1.34

Пусть XX — нормированное линейное пространство, а TT — ограниченный линейный функционал на XX. Предположим, что существует единичный вектор x0∈Xx_{0} \in X такой, что ∥x0−y∥≥1\left\| x_{0}-y\right\| \geq 1 для каждого yy из нуль-пространства TT.

?
(a)

Докажите, что ∥T∥=∥Tx0∥\left\| T\right\| =\left\| T x_{0}\right\|.

(b)

Более того, пусть A={f∈C[0,1]:∫01/2f=∫1/21f}\mathcal{A}=\left\{ f \in C[0,1]: \int_{0}^{1 / 2} f=\int_{1 / 2}^{1} f\right\}. Докажите, что если g∈C[0,1]g \in C[0,1] и ∥f−g∥≥1\left\| f-g\right\| \geq 1 для всех f∈Af \in \mathcal{A}, то ∥g∥≥1\left\| g\right\| \geq 1.