Полунорма
Полуно́рма, конечная неотрицательная функция на векторном пространстве (над полем действительных или комплексных чисел), подчинённая условиям:
для всех и скаляров . Примером полунормы служит норма; отличие заключается в том, что для полунормы допустимо при . Если на векторном пространстве задана полунорма , а на его подпространстве – линейный функционал , подчинённый условию , то его можно продолжить на всё пространство с сохранением этого условия (теорема Хана – Банаха). В математическом анализе наиболее употребительны отделимые топологические векторные пространства, базис окрестностей нуля в которых можно составить из выпуклых множеств. Такие пространства называются локально выпуклыми. В этих пространствах базис может быть описан неравенствами , где – непрерывные полунормы. В то же время в практике математического анализа встречаются и такие топологические векторные пространства (в том числе и с метризуемой топологией), на которых нет нетривиальных непрерывных пространств. Простейший пример такого рода – пространство , где .