摘要： 证明：必要性.若存在$X$上的连续线性泛函$f$满足条件，则\begin{align*}\left| {\sum\limits_{\upsilon = 1}^k {{t_\upsilon }{\alpha _\upsilon }} } \right| &= \left| {\sum\limits_{... 阅读全文

摘要： 证明：考虑由$Z$与$x_0$张成的子空间$Z_1$，由于${x_0} \ne Z$，则$Z_1$中任一元素$x$可唯一地表示为\[x = x' + t{x_0},x' \in Z\]令\[g\left( x \right) = td = td\left( {{x_0},Z} \right)\]则$... 阅读全文