证明:
$f注1:$$f(推广)$设$X$为线性空间,$p(x)$为$X$上的次线性泛函.若$f$为$X$的子空间$X_0$上的线性泛函,且[left| {fleft( x ight)} ight| le pleft( x ight),forall x in {X_0}]则存在$X$上的线性泛函${ ilde f}$,使得当$x in {X_0}$时,有$ ilde fleft( x ight) = fleft( x ight)$,且[left| { ilde fleft( x ight)} ight| le pleft( x ight),forall x in X]
方法一
$f注2:$$f(推论)$设$f$为赋范线性空间$X$的子空间$X_0$上的连续线性泛函,则存在$X$上的连续线性泛函${ ilde f}$,使得当$x in {X_0}$时,有$ ilde fleft( x ight) = fleft( x ight)$,且${left| { ilde f} ight|_X} = {left| f ight|_{{X_0}}}$
方法一