東京工業大学 情報理工学院 数理・計算科学系 2016年8月実施 午前 問3
Author
GPT-5
Description
Let C[0,1] be the vector space of continuous functions on [0,1], and define
∥u∥=0≤x≤1max∣u(x)∣.
(1) Show that ∥⋅∥ is a norm on C[0,1]. Hereafter let X denote C[0,1] equipped with this norm.
(2) Let P be the set of polynomials. Show that P is a subspace of X.
(3) For each natural number n, let
un(x)=1+2x+(2x)2+⋯+(2x)n−1.
Show that un converges in X as n→∞.
(4) Show that un does not converge in P as n→∞.
题目描述
设 C[0,1] 为区间 [0,1] 上全体连续函数组成的向量空间,并定义
∥u∥=0≤x≤1max∣u(x)∣.
-
证明 ∥⋅∥ 是 C[0,1] 上的范数。此后记配备该范数的空间为 X。
-
设 P 为全体多项式组成的集合,证明 P 是 X 的线性子空间。
-
对每个自然数 n,令
un(x)=1+2x+(2x)2+⋯+(2x)n−1.
证明当 n→∞ 时,un 在 X 中收敛。
-
证明当 n→∞ 时,un 在子空间 P 中不收敛。
- 范数空间的基本性质:验证最大值范数的正定性、齐次性与三角不等式,并判断多项式集合的线性封闭性。
- 一致收敛与子空间完备性:利用几何级数在最大值范数下的一致收敛确定极限,并据极限不属于 P 说明该序列在 P 中不收敛。
Kai
(1)
連続性と区間 [0,1] のコンパクト性により最大値は存在する。任意の u,v∈C[0,1] とスカラー α について
∥u∥≥0,∥u∥=0⟺u=0,
∥αu∥=∣α∣∥u∥,∥u+v∥≤∥u∥+∥v∥
が成り立つ。最後の不等式は各 x での三角不等式を最大化すれば得られる。よって ∥⋅∥ はノルムである。
(2)
零多項式は P に属し、多項式 p,q とスカラー α,β に対して αp+βq も多項式である。また多項式は [0,1] 上連続なので P⊂X である。したがって P は X の線形部分空間である。
(3)
等比級数より
un(x)=1−x/21−(x/2)n
である。u(x)=1/(1−x/2) とおくと
∥un−u∥=0≤x≤1max1−x/2(x/2)n=1−1/2(1/2)n=21−n⟶0.
よって un は X において u に収束する。
(4)
P が X から受け継ぐ同じノルムで un がある p∈P に収束すると仮定する。X における極限の一意性により
p(x)=1−x/21
でなければならない。しかし多項式 p がこの恒等式を満たすなら (1−x/2)p(x)=1 となる。非零多項式の次数を比較すると左辺は degp+1、右辺は 0 であり矛盾する。ゆえに un は P では収束しない。