下面的命题表明,在适当的范数下,该空间是一个Banach空间。提案A.1。对于多项式pps,t,xq“m | k |”0αkps,tqxkPPmpSq,我们定义了pm: “m| k |”0^maxps,tqP|αkps,tq |`最大值,tqP|Dαkps,tq |`最大值,tqP|Dαkps,tq |˙,则空间pPmpSq,kkmq是完备的。32 M.AGOITIA和T.SCHMIDTProof。设pfnq为APmpSq中的Cauchy序列,表示Fnps,t,xq“m"yk |”0αnkps,tqxk,@n P n。然后,对于所有 存在N P N,对于所有N,PěN,它认为fp'fnma,hencem"y| k |“0^maxps,tqP|αpkps,tq'αnkps,tq'maxps,tqP|Dαpkps,tq'Dαnkps,tq |'maxps,tqP|Dαpkps,tq'Dαnkps,tq |˙a.因此,我们得到所有0d| k | m:}αpk'αnk}C:“maxps,tqP|αpkps,tq'αnkps,tq'maxps,tqP|Dαpkps,tq'Dαnkps,tq |'maxps,tqP|Dαpkps,tq'Dαnkps,tq |a.这表明,对于所有0d| k | m序列,pαnkqnPNis是Cauchy序列inpCpq、 }.}Cq。由于该空间是完整的,因此每0d| k | m存在一个αkP Cpq使得}αnk'αk}Cn尼8尼0。设置f ps,t,xq:“rm | k |”0αkps,tqxkfor ps,t,xq PrE。然后设置f PAPmpSq自αkP Cpq和fn'fm“m"y| k |”0^maxps,tqP|αnkps,tq'αkps,tq'maxps,tqP|Dαnkps,tq'Dαkps,tq |'maxps,tqP|Dαnkps,tq'Dαkps,tq |˙“mk |”0}αnk'αk}Cn~n8~n0。因此,Cauchy序列pfnq收敛于f,因此APmpSq是完整的。下面的引理表明多项式关于范数}的收敛性m、 方程4中定义的,相当于每个点的逐点收敛。引理A.2。让UARdand对于每个U P U,让puP PmpSq。那么,对于uP U,以下是等效的:i)}pu'pu}m尼0表示U尼U.ii)对于每x P S:| pupxq'pupxq'0表示U尼U。备注A.1。在这个命题的证明中,我们用V表示有限维向量空间V的对偶空间。