Теорема об инвариантности области

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

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

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

Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.

Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.

Теорема Квиллена — Суслина (проблема Серра, гипотеза Серра) — утверждение о тривиальности произвольного векторного расслоения над аффинным пространством произвольной размерности. Сформулировано как гипотеза в 1955 году Жан-Пьером Серром, доказательство получено в 1976 году Андреем Суслиным и Даниелем Квилленом.

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

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

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

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

Теорема Картана — Дьёдонне — теорема, названная в честь французских математиков Эли Жозефа Картана и Жана Дьёдонне. Теорема касается структуры автоморфизмов пространства, снабжённого симметричной билинейной формой (например, евклидова пространства).

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

Теорема Чевы — классическая теорема аффинной геометрии и геометрии треугольника.

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

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

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

Теорема о промежуточном значении (или Теоре́ма Больца́но — Коши́) утверждает, что если непрерывная функция, определённая на вещественном промежутке, принимает два значения, то она принимает и любое значение между ними.

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

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

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

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

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

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

Индуци́рованная тополόгия — естественный способ задания топологии на подмножестве топологического пространства.

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

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

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

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

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

Свя́зность Ле́ви-Чиви́ты или связность, ассоциированная с метрикой — одна из основных структур на римановом многообразии.

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

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

Аффи́нная свя́зность — линейная связность на касательном расслоении многообразия. Координатными выражениями аффинной связности являются символы Кристоффеля.

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

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

А́лгебра Ли — объект общей алгебры. Естественно появляется при изучении инфинитезимальных свойств групп Ли.

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

Подробнее: Прямая и обратная предельная теорема

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

Теорема о сфере — классическое утверждение трёхмерной топологии, доказанное Христосом Папакирьякопулосом в 1956 году вместе с леммой Дена и теоремой о петле.

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

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

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

Недезаргова геометрия — проективная геометрия плоскости, в которой теорема Дезарга может не иметь места.

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

Аффи́нное простра́нство — математический объект (пространство), обобщающий некоторые свойства евклидовой геометрии. В отличие от векторного пространства, аффинное пространство оперирует с объектами не одного, а двух типов: «векторами» и «точками».

Разложение Риччи — это разложение тензора кривизны Римана на неприводимые относительно ортогональной группы тензорные части.

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

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

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

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

Вторая аксиома счётности ― понятие общей топологии. Топологическое пространство удовлетворяет второй аксиоме счётности, если оно обладает счётной базой.

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

Подробнее: Дивизор (алгебраическая геометрия)

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

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