関数解析の問題

実ヒルベルト空間 $${\ell }^2=\left\{x=(x_n{)}_{n\ge 1}:x_n\in \mathbb{R},\sum _{n=1}^{\infty }{x}_n^2<\infty \right\}$$ を、内積 $⟨x,y⟩={\sum }_{n=1}^{\infty }{x}_n{y}_n$ とそれから定まるノルム $\Vert x\Vert =\sqrt{⟨x,x⟩}$ で考える。部分空間 $M$ を $$M=\left\{x\in {\ell }^2:\sum _{n=1}^{\infty }\frac{x_n}{2^n}=0,x_1=x_2\right\}$$ で定め、$e_1=(1,0,0,\dots )$ とする。$e_1$ と $M$ との距離 $$d=\underset{y\in M}{\inf }\Vert e_1-y\Vert$$ について、$d^2$ の値を求めよ。

実ヒルベルト空間
$${\ell }^2=\left\{x=(x_n{)}_{n\ge 1}:x_n\in \mathbb{R},\sum _{n=1}^{\infty }{x}_n^2<\infty \right\}$$
を、内積 $⟨x,y⟩={\sum }_{n=1}^{\infty }{x}_n{y}_n$ とそれから定まるノルム $\Vert x\Vert =\sqrt{⟨x,x⟩}$ で考える。部分空間 $M$ を
$$M=\left\{x\in {\ell }^2:\sum _{n=1}^{\infty }\frac{x_n}{n}=0,\sum _{n=1}^{\infty }\frac{(-1{)}^n{x}_n}{n}=0\right\}$$
で定め、$y=(y_n{)}_{n\ge 1}$ を $y_n=\frac{1}{2^n}$ とする。このとき
$$d^2=\underset{x\in M}{\inf }\Vert y-x{\Vert }^2$$
の値を求めよ。

$n=1,2,3,\dots$ を添字とする実数列 $x=(x_n{)}_{n\ge 1}$ で ${\sum }_{n=1}^{\infty }|x_n{|}^{3/2}<\infty$ を満たすもの全体のなす実バナッハ空間を ${\ell }^{3/2}$ とし、ノルムを
$$\Vert x{\Vert }_{3/2}={\left(\sum _{n=1}^{\infty }|x_n{|}^{3/2}\right)}^{2/3}$$
で定める。線形汎関数 $\phi :{\ell }^{3/2}\to \mathbb{R}$ を
$$\phi (x)=\sum _{n=1}^{\infty }\frac{x_n}{2^n}$$
で定めるとき、作用素ノルム $\Vert \phi \Vert ={\sup }_{x\ne 0}\frac{|\phi (x)|}{\Vert x{\Vert }_{3/2}}$ を求めよ。

複素バナッハ空間
$${\ell }^1=\left\{x=(x_n{)}_{n\ge 1}:x_n\in \mathbb{C},\sum _{n=1}^{\infty }|x_n|<\infty \right\}$$
を、ノルム $\Vert x{\Vert }_1={\sum }_{n=1}^{\infty }|x_n|$ で考える。正の実数列 $(w_n{)}_{n\ge 1}$ を
$$w_n=\{\begin{array}{ll}4& (n\text{ が奇数})\\ 9& (n\text{ が偶数})\end{array}$$
で定め、作用素 $T:{\ell }^1\to {\ell }^1$ を
$$(Tx{)}_1=0,(Tx{)}_{n+1}=w_n{x}_n(n\ge 1)$$
で定める（重み付き右シフト）。$T$ は有界線形作用素である。作用素ノルム $\Vert T^3\Vert$ と $T$ のスペクトル半径 $r(T)$ を、この順に組 $(\Vert T^3\Vert ,r(T))$ として求めよ。

ルベーグ測度に関する実ヒルベルト空間 $L^2([0,1])$ を、内積 $$⟨f,g⟩={\int }_0^{1}f(x)g(x)dx,\Vert f\Vert =\sqrt{⟨f,f⟩}$$ で考える。部分空間 $$M=\left\{g\in L^2([0,1]):{\int }_0^{1}xg(x)dx=0\right\}$$ をとり、定数関数 $f(x)=1$ とする。$f$ と $M$ との距離 $$d=\underset{g\in M}{\inf }\Vert f-g\Vert$$ を求めよ。