Class: 'Теорема Хана-Банаха'

comment "Теоре́мой Ха́на — Ба́наха называют несколько связанных между собой классических результатов функционального анализа: теорему о продолжении линейного функционала с сохранением мажоранты, теорему о разделении выпуклых множеств и теорему о непрерывном продолжении линейного функционала. http://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%A5%D0%B0%D0%BD%D0%B0_%E2%80%94_%D0%91%D0%B0%D0%BD%D0%B0%D1%85%D0%B0" (ru)
label "Теорема Хана-Банаха" (ru)

http://cll.niimm.ksu.ru/ontologies/mathematics#E1807