Hahn-BanachBanach-SteinhausMazurtEFBanachA:D（A）??EFD（A）??=ED（A??）??（FF）=FD（A??）??（FF）=FA??AFF（FF）F*D（A??）??（FF）D（A??）*（FF）1FEF??E.fE0（fx）=0??xF2??:ER（EE）xE??（f）=（fx）??fE??F（FF）D（A??）01*??02xF20FredholHilbertVolterraHadardLebesgueFrechetRieszHahnBanach（）