#ИзоморфизмИзоморфизмИсследуйте Области знанийУ нас представлены тысячи статейТегИзоморфизмИзоморфизмНайденo 80 статейТерминыТермины Пространство ОрличаПростра́нство О́рлича, банахово пространство измеримых функций; введено В. Орличем. Пусть и – пара дополнительных -функций и – ограниченное замкнутое множество в . Пространством Орлича называется множество измеримых относительно меры Лебега функций на , на которыхТермины Проективная метрикаПроекти́вная ме́трика, метрика в подмножестве проективного пространства такая, что кратчайшая относительно этой метрики является частью или всей проективной прямой. При этом полагают, что не принадлежит ни одной гиперплоскости.Термины Многообразие ЧжоуМногообра́зие Чжо́у, алгебраическое многообразие, точки которого параметризуют все алгебраические подмногообразия размерности и степени проективного пространства . Было введено Б. Л. Ван дер Варденом и В. Чжоу (Wei-Liang Chow. 1937).Термины Правоупорядоченная группаПравоупоря́доченная гру́ппа, группа , на множестве элементов которой задано отношение линейного порядка такое, что для всех из неравенство влечёт за собой . Множество положительных элементов группы является чистой (т. е. ) линейной (т. е. ) полугруппой. Всякая чистая линейная подполугруппа произвольной группы определяет в ней правый порядок, а именно порядок .Термины Почти симплектическая структураПочти́ симплекти́ческая структу́ра, невырожденная дифференциальная -форма на многообразии. Почти симплектическая структура может существовать только на чётномерном многообразии и определяет -структуру , а именно главное расслоение реперов на со структурной группой , состоящее из всех реперов , для которыхТермины Пополнение равномерного пространстваПополне́ние равноме́рного простра́нства , отделимое полное равномерное пространство такое, что существует равномерно непрерывное отображение и для любого равномерно непрерывного отображения пространства в отделимое полное равномерное пространство существует, и притом единственное, равномерно непрерывное отображение , причём . Доказательство существования по существу обобщает построение Г. Кантора множества действительных чисел из чисел рациональных.Термины Рациональное отображениеРациона́льное отображе́ние, обобщение понятия рациональной функции на алгебраическом многообразии. А именно, рациональным отображением неприводимого алгебраического многообразия в алгебраическое многообразие (оба определены над полем ) называется класс эквивалентности пар , где – непустое открытое подмножество в , а – морфизм из в . При этом пары и считаются эквивалентными, если и совпадают на .Термины Экспоненциальная алгебра ЛиЭкспоненциа́льная а́лгебра Ли, конечномерная вещественная алгебра Ли , для любого элемента которой оператор присоединённого представления не имеет чисто мнимых собственных значений. Экспоненциальное отображение в соответствующую алгебре односвязную группу Ли является диффеоморфизмом, а – экспоненциальной группой Ли.Термины Реплика алгебраической системыРе́плика алгебраи́ческой систе́мы в заданном классе алгебраических систем той же сигнатуры, алгебраическая система из , обладающая следующими свойствами: 1) существует сюръективный гомоморфизм системы на ; 2) если и – гомоморфизм системы в , то для некоторого сюръективного гомоморфизма системы на . Реплика системы в классе (если она существует) определяется однозначно с точностью до изоморфизма.Научные законы, утверждения, уравнения Теоремы сравнения в алгебраической геометрииТеоре́мы сравне́ния в алгебраи́ческой геоме́трии, теоремы о связях между гомотопическими инвариантами схем конечного типа над полем в классической и этальной топологиях. Пусть – схема конечного типа над , a – конструктивный периодический пучок абелевых групп на . Тогда индуцирует пучок на в классической топологии и существуют канонические изоморфизмы 12345
