Вхождение

-пространство X", сопряженное к пространству X', сопряженному к отделимому локально выпуклому пространству X, наделенному сильной топологией. Каждый элемент порождает элемент по формуле . Если , то пространство Xназ. Рефлексивным. Если X - бочечное пространство, то линейное отображение является изоморфным вложением пространства Xв пространство , наделенное сильной топологией. Вложение pназ. Каноническим. Для нормированных пространств я есть изометрическое вложение. М. ..

- упорядоченная совокупность точек n-мерного проективного пространства при n>1 и четырех точек при n=1. В случае n>1 никакие n+l точек В. Не принадлежат (n-1)-мерному проективному пространству. Два В. На прямой или на коническом сечении равны, если образующие их четверки точек проек-тивны. Над В. Производятся операции сложения и умножения. При этом удобно пользоваться В. С тремя одинаковыми точками - так наз. Приведенными В. Таким образом операции над В. Сводятся к операциям над точками...

- одна из аксиом теории множеств, гласящая. Для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. Функцией выбора на F). Для конечных семейств FВ. А. Выводима из остальных аксиом теории множеств (напр., в системе ZF). В. А. Была явно сформулирована Э. Цермело (Е. Zermelo, 1904) и встретила отрицательное отношение со стороны многих математиков. Это объяснялось, во-первых, ее чисто экзистенциальным характером, отличающи..

..