Явление Грубера

Явление Грубера — математическая теорема, согласно которой большинство выпуклых поверхностей дифференцируемо, но не дважды дифференцируемо.

Установлено австрийским математиком Петером Грубером в 1977 году.

Источник: Википедия

Связанные понятия

Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие, если оно неособо), а потому имеет размерность четыре как гладкое многообразие.

Геометрический род — это базовый бирациональный инвариант pg алгебраических многообразий и комплексных многообразий.

Фуксова модель — это представление гиперболической римановой поверхности R как факторповерхности верхней полуплоскости H по фуксовой группе. Любая гиперболическая риманова поверхность позволяет такое представление. Концепция названа именем Лазаря Фукса.

Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.

Теорема о четырёх вершинах утверждает, что функция кривизны простой замкнутой гладкой плоской кривой имеет по меньшей мере четыре локальных экстремума (в частности, по меньшей мере два локальных максимума и по меньшей мере два локальных минимума). Название теоремы отражает соглашение называть экстремальные точки функции кривизны вершинами.

Алгебраическая геометрия — раздел математики, который объединяет алгебру и геометрию. Главным предметом изучения классической алгебраической геометрии, а также в широком смысле и современной алгебраической геометрии, являются множества решений систем алгебраических уравнений. Современная алгебраическая геометрия во многом основана на методах общей алгебры (особенно коммутативной) для решения задач, возникающих в геометрии.

Точка округления (круговая точка, омбилическая точка или омбилика) ― точка на гладкой регулярной поверхности в евклидовом пространстве, в которой нормальные кривизны по всем направлениям равны.

Алгебраи́ческая тополо́гия (устаревшее название: комбинаторная топология) — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов (групп, колец и т. д.), а также поведение этих объектов под действием различных топологических операций.

Тополо́гия Зари́сского, или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.

Теорема Пуанкаре о векторном поле (также известна как теорема Пуанкаре — Хопфа и теорема об индексе) — классическая теорема дифференциальной топологии и теории динамических систем;

В математике монодро́ми́ей называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.

Подробнее: Монодромия

Абелево многообразие — это проективное алгебраическое многообразие, являющееся алгебраической группой (это значит, что закон композиции задаётся регулярной функцией).

Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.

Дифференциальное исчисление над коммутативными алгебрами — раздел коммутативной алгебры, возникший в семидесятых годах прошлого века.

Гомологическая зеркальная симметрия — математическая гипотеза, высказанная Максимом Концевичем. Она возникла как попытка выявить математическую природу явления, впервые замеченного физиками в теории струн.

Произведение топологических пространств — это топологическое пространство, полученное, как множество, декартовым произведением исходных топологических пространств, и снабжённое естественной топологией, называемой топологией произведения или тихоновской топологией. Слово «естественная» здесь употребляется в смысле теории категорий и означает, что эта топология удовлетворяет некоторому универсальному свойству.

Теорема Риба о сфере: Пусть на замкнутом ориентируемом связном многообразии M n существует слоение с особенностями, все особые точки которого изолированы и являются центрами. Тогда M n гомеоморфно сфере Sn, и слоение имеет ровно две особые точки.

Интеграл — одно из важнейших понятий математического анализа, которое возникает при решении задач о нахождении площади под кривой, пройденного пути при неравномерном движении, массы неоднородного тела, и тому подобных, а также в задаче о восстановлении функции по её производной (неопределённый интеграл). Упрощённо интеграл можно представить как аналог суммы для бесконечного числа бесконечно малых слагаемых. В зависимости от пространства, на котором задана подынтегральная функция, интеграл может быть...

Выпуклый конус в линейной алгебре — подмножество векторного пространства над упорядоченным полем, которое замкнуто относительно линейных комбинаций с положительными коэффициентами.

Комбинаторика многогранников — это область математики, принадлежащая комбинаторике и комбинаторной геометрии и изучающая вопросы подсчёта и описания граней выпуклых многогранников.

Гауссова кривизна — мера искривления поверхности в окрестности какой-либо её точки. Гауссова кривизна является объектом внутренней геометрии поверхностей, в частности, не изменяется при изометрических изгибаниях.

Теория амёб — раздел комплексного анализа, изучающий геометрию алгебраических множеств. Находит широкое применение в алгебраической и тропической геометрии.

Выпуклая геометрия — ветвь геометрии, изучающая выпуклые множества, в основном, в евклидовом пространстве. Выпуклые множества возникают естественным образом во многих областях, в том числе в вычислительной геометрии, выпуклом анализе, комбинаторной геометрии, функциональном анализе, геометрии чисел, интегральной геометрии, линейном программировании, теории вероятностей.

Основна́я теоре́ма а́лгебры — утверждение о том, что поле комплексных чисел алгебраически замкнуто, то есть всякий отличный от константы многочлен (от одной переменной) с комплексными коэффициентами имеет, по крайней мере, один корень на поле комплексных чисел. Утверждение справедливо и для многочленов с вещественными коэффициентами, так как всякое вещественное число является комплексным с нулевой мнимой частью.

Ко́мпле́ксный ана́лиз, тео́рия фу́нкций ко́мпле́ксного переме́нного (или ко́мпле́ксной переме́нной; сокращенно — ТФКП) — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.

Пове́рхность в геометрии и топологии — двумерное топологическое многообразие. Наиболее известными примерами поверхностей являются границы геометрических тел в обычном трёхмерном евклидовом пространстве. С другой стороны, существуют поверхности (например, бутылка Клейна), которые нельзя вложить в трёхмерное евклидово пространство без привлечения сингулярности или самопересечения.

Задача Шепарда — вопрос выпуклой геометрии о сравнении объёмов двух симметричных выпуклых тел при условии, что в любом направлении площадь проекции первого не превосходит площади проекции второго.

Комплексный логарифм — аналитическая функция, получаемая распространением вещественного логарифма на всю комплексную плоскость (кроме нуля). Существует несколько эквивалентных способов такого распространения. Данная функция имеет широкое применение в комплексном анализе. В отличие от вещественного случая, функция комплексного логарифма многозначна.

Теорема Титце о выпуклом множестве даёт условие достаточное для выпуклости множества евклидова пространства.

Касательное пространство Зарисского — конструкция в алгебраической геометрии, позволяющая построить касательное пространство в точке алгебраического многообразия. Эта конструкция использует не методы дифференциальной геометрии, а только методы общей, и, в более конкретных ситуациях, линейной алгебры.

Алгебраическая комбинаторика — это область математики, использующая методы общей алгебры, в особенности теории групп и теории представлений, в различных комбинаторных контекстах и, наоборот, применяющая комбинаторные техники к задачам в алгебре.

Многообразие Шимуры (иногда многообразие Симуры) — аналог модулярной кривой в более высоких размерностях, который возникает как фактор эрмитова симметрического пространства по конгруэнтной подгруппе редуктивной алгебраической группе, определённой над Q. Термин «многообразие Шимуры» относится к высоким размерностям, в случае одномерных многообразий говорят о кривых Шимуры. Модулярные поверхности Гильберта и модулярные многообразия Зигеля находятся среди лучших известных классов многообразий Шимуры...

Функция Гильберта, ряд Гильберта и многочлен Гильберта градуированной коммутативной алгебры, конечно порождённой над полем — это три тесно связанных понятия, которые позволяют измерить рост размерности однородных компонент алгебры.

Субри́маново многообра́зие — математическое понятие, обобщающее риманово многообразие. Суть обобщения состоит в том, что скалярное произведение задается не на касательных пространствах целиком, а только на некоторых их подпространствах (как правило, фиксированной размерности).

Как и для криволинейных интегралов, существуют два рода поверхностных интегралов.

Подробнее: Поверхностные интегралы

Жёсткость Мостова утверждает, что геометрия гиперболического многообразия конечного объёма в размерностях, начиная с трёх, полностью определяется его фундаментальной группой.

Конечная геометрия — это любая геометрическая система, имеющая конечное количество точек. Например, евклидова геометрия не является конечной, так как евклидова прямая содержит неограниченное число точек, а точнее говоря, содержит ровно столько точек, сколько существует вещественных чисел. Конечная геометрия может иметь любое конечное число измерений.

Теорема Стоуна о представлении булевых алгебр утверждает, что каждая булева алгебра изоморфна некоторому полю множеств.

Квадратичная форма — функция на векторном пространстве, задаваемая однородным многочленом второй степени от координат вектора.

Теорема Мура о факторпространстве — классическое утверждение двумерной топологии, даёт достаточное условие на то, что факторпространство сферы гомеоморфно двумерной сфере.

Род многообразия — гомоморфизм кольца кобордизмов замкнутых многообразий в некоторое кольцо, обычно кольцо рациональных чисел.

Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.

Теорема Сарда — одна из теорем математического анализа, имеющих важные приложения в теории катастроф и теории динамических систем.Названа в честь американского математика Артура Сарда.

Пучок — структура, используемая для установления отношений между локальными и глобальными данными.

Выпуклая функция (выпуклая вниз функция) — функция, для которой любой отрезок между двумя любыми точками графика функции в векторном пространстве лежит не ниже соответствующей дуги графика. Эквивалентно, выпуклой является функция, надграфик которой является выпуклым множеством.

Отношение инцидентности — это бинарное отношение между двумя различными типами объектов. Это включает понятия, которые можно выразить такими фразами как «точка лежит на прямой» или «прямая принадлежит плоскости». Наиболее существенное отношение инцидентности — между точкой P и прямой l, которое записывается как P I l. Если P I l, пара (P, l) называется флагом. В разговорном языке существует много выражений, описывающих отношение инцидентности (например, прямая проходит через точку, точка лежит на...

Подробнее: Инцидентность (геометрия)

Бикватернионы — комплексификация (расширение) обычных (вещественных) кватернионов.

Теория чисел, или высшая арифметика, — раздел математики, первоначально изучавший свойства целых чисел. В современной теории чисел рассматриваются и другие типы чисел — например, алгебраические и трансцендентные, а также функции различного происхождения, которые связаны с арифметикой целых чисел и их обобщений.

Вложение Сегре используется в проективной геометрии для того, чтобы рассматривать прямое произведение двух проективных пространств как проективное многообразие. Названо в честь итальянского математика Беньямино Сегре.

В геометрии теорема Декарта утверждает, что для любых трёх взаимно касающихся окружностей радиусы окружностей удовлетворяют некоторому квадратному уравнению. Решив это уравнение, можно построить четвёртую окружность, касающуюся остальных трёх заданных окружностей. Теорема названа в честь Рене Декарта, который сформулировал её в 1643 году.

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я