跳到主要内容

東京工業大学 情報理工学院 数理・計算科学系 2016年8月実施 午前 問3

Author

GPT-5

Description

Let C[0,1]C[0,1] be the vector space of continuous functions on [0,1][0,1], and define

u=max0x1u(x).\|u\|=\max_{0\leq x\leq1}|u(x)|.

(1) Show that \|\cdot\| is a norm on C[0,1]C[0,1]. Hereafter let XX denote C[0,1]C[0,1] equipped with this norm.

(2) Let PP be the set of polynomials. Show that PP is a subspace of XX.

(3) For each natural number nn, let

un(x)=1+x2+(x2)2++(x2)n1.u_n(x)=1+\frac{x}{2}+\left(\frac{x}{2}\right)^2+\cdots+ \left(\frac{x}{2}\right)^{n-1}.

Show that unu_n converges in XX as nn\to\infty.

(4) Show that unu_n does not converge in PP as nn\to\infty.

题目描述

C[0,1]C[0,1] 为区间 [0,1][0,1] 上全体连续函数组成的向量空间,并定义

u=max0x1u(x).\|u\|=\max_{0\leq x\leq1}|u(x)|.
  1. 证明 \|\cdot\|C[0,1]C[0,1] 上的范数。此后记配备该范数的空间为 XX

  2. PP 为全体多项式组成的集合,证明 PPXX 的线性子空间。

  3. 对每个自然数 nn,令

    un(x)=1+x2+(x2)2++(x2)n1.u_n(x)=1+\frac{x}{2}+\left(\frac{x}{2}\right)^2+\cdots+ \left(\frac{x}{2}\right)^{n-1}.

    证明当 nn\to\infty 时,unu_nXX 中收敛。

  4. 证明当 nn\to\infty 时,unu_n 在子空间 PP 中不收敛。

考点

  • 范数空间的基本性质:验证最大值范数的正定性、齐次性与三角不等式,并判断多项式集合的线性封闭性。
  • 一致收敛与子空间完备性:利用几何级数在最大值范数下的一致收敛确定极限,并据极限不属于 PP 说明该序列在 PP 中不收敛。

Kai

(1)

連続性と区間 [0,1][0,1] のコンパクト性により最大値は存在する。任意の u,vC[0,1]u,v\in C[0,1] とスカラー α\alpha について

u0,u=0u=0,\|u\|\geq0, \qquad \|u\|=0\Longleftrightarrow u=0,
αu=αu,u+vu+v\|\alpha u\|=|\alpha|\|u\|, \qquad \|u+v\|\leq\|u\|+\|v\|

が成り立つ。最後の不等式は各 xx での三角不等式を最大化すれば得られる。よって \|\cdot\| はノルムである。

(2)

零多項式は PP に属し、多項式 p,qp,q とスカラー α,β\alpha,\beta に対して αp+βq\alpha p+\beta q も多項式である。また多項式は [0,1][0,1] 上連続なので PXP\subset X である。したがって PPXX の線形部分空間である。

(3)

等比級数より

un(x)=1(x/2)n1x/2u_n(x)=\frac{1-(x/2)^n}{1-x/2}

である。u(x)=1/(1x/2)u(x)=1/(1-x/2) とおくと

unu=max0x1(x/2)n1x/2=(1/2)n11/2=21n0.\begin{aligned} \|u_n-u\| &=\max_{0\leq x\leq1}\frac{(x/2)^n}{1-x/2}\\ &=\frac{(1/2)^n}{1-1/2}=2^{1-n}\longrightarrow0. \end{aligned}

よって unu_nXX において uu に収束する。

(4)

PPXX から受け継ぐ同じノルムで unu_n がある pPp\in P に収束すると仮定する。XX における極限の一意性により

p(x)=11x/2p(x)=\frac1{1-x/2}

でなければならない。しかし多項式 pp がこの恒等式を満たすなら (1x/2)p(x)=1(1-x/2)p(x)=1 となる。非零多項式の次数を比較すると左辺は degp+1\deg p+1、右辺は 0 であり矛盾する。ゆえに unu_nPP では収束しない。