首页 > 代码库 > [Everyday Mathematics]20150118
[Everyday Mathematics]20150118
设 $X$ 是线性空间, $\phi_1,\cdots,\phi_n,\phi$ 是 $X$ 上的线性泛函, 试证: $$\bex \phi\in \span\sed{\phi_1,\cdots,\phi_n}\ \lra \cap_{k=1}^n \ker \phi_i\subset \ker \phi. \eex$$
证明: $\ra$: $$\beex \bea &\quad \phi\in \span\sed{\phi_1,\cdots,\phi_n}\\ &\ra \phi=\sum c_k\phi_k\\ &\ra \phi(x)=\sum c_k\phi_k(x)=0,\quad \forall\ x\in\cap_{k=1}^n\ker \phi_k. \eea \eeex$$ $\la$: 用反证法. 若 $\phi\not\in \span\sed{\phi_1,\cdots,\phi_n}$, 则由 Hahn-Banach 定理, 存在 $x\in X=X^{**}$, 使得 $$\bex \sef{x_0,\phi}=1,\quad \sef{x_0,\phi_k}=0,\quad k=1,\cdots,n. \eex$$ 于是 $$\bex x_0\in\cap_{k=1}^n \ker \phi_k,\quad x_0\not\in \ker \phi. \eex$$
[Everyday Mathematics]20150118
声明:以上内容来自用户投稿及互联网公开渠道收集整理发布,本网站不拥有所有权,未作人工编辑处理,也不承担相关法律责任,若内容有误或涉及侵权可进行投诉: 投诉/举报 工作人员会在5个工作日内联系你,一经查实,本站将立刻删除涉嫌侵权内容。