Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства.
Теорема Хелли — классический результат комбинаторной геометрии и выпуклого анализа. Теорема даёт условие на семейство выпуклых множеств, гарантирующее то, что это семейство имеет непустое пересечение.
Теорема Брунна — Минковского — классическая теорема выпуклой геометрии:
Выпуклой оболочкой множества называется наименьшее выпуклое множество, содержащее . «Наименьшее множество» здесь означает наименьший элемент по отношению к вложению множеств, то есть такое выпуклое множество, содержащее данную фигуру, что оно содержится в любом другом выпуклом множестве, содержащем данную фигуру.
Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.
Теорема Брауэра о неподвижной точке — важная теорема о неподвижной точке, применимая к непрерывным отображениям в конечномерных пространствах, являющаяся основной для некоторых более общих теорем.
Тензор Риччи, названный в честь итальянского математика Грегорио Риччи-Курбастро, задаёт один из способов измерения кривизны многообразия, то есть степени отличия геометрии многообразия от геометрии плоского евклидова пространства. Тензор Риччи, точно так же как метрический тензор, является симметричной билинейной формой на касательном пространстве риманова многообразия. Грубо говоря, тензор Риччи измеряет деформацию объёма, то есть степень отличия n-мерных областей n-мерного многообразия от аналогичных областей евклидова пространства (см. геометрический смысл тензора Риччи). Обычно обозначается или .
Многообра́зие — локально евклидово пространство.
Теорема Киршбрауна о продолжении — теорема о существовании продолжения липшицевой функции определённой на подмножестве евклидова пространства на всё пространство.
Теорема Каратеодори о выпуклой оболочке утверждает, что для любой точки выпуклой оболочки подмножества евклидового пространства найдётся содержащий её невырожденный симплекс с вершинами в этом подмножестве.
Четвёртая проблема Гильберта в списке проблем Гильберта касается базовой системы аксиом геометрии. Проблема состоит в том, чтобы
«Определить все с точностью до изоморфизма реализации систем аксиом классических геометрий, если в них опустить аксиомы конгруэнтности, содержащие понятия угла, и пополнить эти системы аксиомой неравенства треугольника».
Лемма Шепли — Фолкмана связывает две операции выпуклой геометрии — сложение по Минковскому и выпуклую оболочку. Лемма имеет приложения в ряде дисциплин, в том числе в математической экономике, оптимизации и теории вероятностей. Лемма и связанные с ней результаты позволяют дать утвердительный ответ на вопрос «Близка ли к состоянию выпуклости сумма нескольких множеств?».
Комбинаторная или дискретная геометрия — раздел геометрии, в котором изучаются комбинаторные свойства геометрических объектов и связанные с ними конструкции. В комбинаторной геометрии рассматривают конечные и бесконечные дискретные множества или структуры базовых однотипных геометрических объектов и ставят вопросы, связанные со свойствами различных геометрических конструкций из этих объектов или на этих структурах. Проблемы комбинаторной геометрии простираются от конкретных «предметно»-комбинаторных вопросов — замощения, упаковка кругов на плоскости, формула Пика — до вопросов общих и глубоких, таких как гипотеза Борсука, проблема Нелсона — Эрдёша — Хадвигера.
Пространство Фреше — полное локально выпуклое пространство, топология которого может быть задана метрикой. Названо в честь Мориса Фреше.
Теорема Адамара — Картана — утверждение о том, что универсальное накрытие риманова многообразия с неположительной кривизной диффеоморфно евклидову пространству.
Пространства Адамара — нелинейное обобщение гильбертовых пространств, частный случай пространства Александрова с кривизной ограниченной сверху.
Семейство Хелли порядка k — это семейство множеств со свойством, что любое минимальное подсемейство с пустым пересечением имеет k или меньше множеств. Эквивалентно, любое конечное подсемейство со свойством, что любое пересечение k множеств не пусто, имеет непустое общее пересечение.
Генрих Фридрих Франц Титце — австрийский математик, известный теоремой о продолжении Титце функций топологических пространств действительных чисел. Он также разработал преобразования Титце для заданий и был первым, кто поставил задачу изоморфизма групп. Граф Титце также назван в его честь; он описывает границы разбиения ленты Мебиуса на шесть взаимно смежных областей, найденных Титце в рамках обобщения теоремы о четырёх красках на неориентированные поверхности.
Теорема Адамара о вложении — одно из классических утверждений дифференциальной геометрии поверхностей.