Mazur定理及其凸集的最佳逼近元存在性定理的对偶定理

设■与■分别表示线性赋范空间（X,‖·‖）的对偶空间（X,‖·‖）的强拓朴与弱拓朴.本文利用凸集的隔离定理证明了Mazur定理及凸集的最佳逼近元存在性定理的对偶定理。同时证明了:对X中的凸集G,当X是可分Banach空间时。