Теорема Фробениуса (значения)

Перейти к навигации Перейти к поиску

Теорема Фробе́ниуса — несколько математических фактов, названных в честь Фердинанда Георга Фробениуса:

В алгебре

Теорема Фробениуса (в алгебре): конечномерное на $\mathbb {R}$ тело — это $\mathbb {R}$ , $\mathbb {C}$ или $\mathbb {H}$ .
Обобщённая теорема Фробениуса, чаще Теорема Гурвица о нормированных алгебрах с делением — обобщение предыдущей.
Теорема Фробениуса (в теории представлений), чаще двойственность Фробениуса^[англ.]: функтор индуцирования двойственнен функтору ограничения.
Теорема Фробениуса^[англ.] (в теории групп): если $n$ делит порядок группы, то число решений $x^{n}=1$ в этой группе делится на $n$ .
Теорема Фробениуса об определителе^[англ.] (в линейной алгебре) — формула определителя матрицы с элементами из группы в терминах классов сопряжённости.

В геометрии

Теорема Фробениуса (в дифференциальной геометрии): распределение интегрируемо тогда и только тогда, когда множество векторов, касательных к нему, замкнуто относительно скобки Ли.
Теорема Фробениуса^[англ.] (в дифференциальной топологии): условие нахождения максимального множества независимых решений недоопределённой системы однородных ДУЧП первого порядка.

См. также

Теорема Фробениуса — Золотарёва^[фр.] (в теории чисел) — обобщение леммы Золотарёва.
Теорема Фробениуса — Перрона (в линейной алгебре) о собственных значениях матриц с вещественными, строго положительными элементами.

Примечания

Похожие исследовательские статьи

Группой Ли над полем $\text{[math]}$ называется группа $\text{[math]}$ , снабжённая структурой дифференцируемого (гладкого) многообразия над $\text{[math]}$ , причём отображения $\text{[math]}$ и $\text{[math]}$ , определённые так:

\text{[math]}

\text{[math]}

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

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

Кватернио́ны — система гиперкомплексных чисел, образующая векторное пространство размерностью четыре над полем вещественных чисел. Обычно обозначаются символом $\text{[math]}$ . Предложены Уильямом Гамильтоном в 1843 году.

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

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

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

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

<span class="mw-page-title-main">Фробениус, Фердинанд Георг</span> немецкий математик

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

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

Свобо́дный мо́дуль — модуль F над кольцом R, если он либо является нулевым, либо обладает базисом, то есть непустой системой S элементов e₁,…e_i…, которая является линейно независимой и порождает F. Само кольцо R, рассматриваемое как левый модуль над собой, очевидно обладает базисом, состоящим из одного единичного элемента кольца, а каждый модуль с конечным базисом из n элементов изоморфен прямой сумме Rⁿ колец R, рассматриваемых как модули.

Теоре́ма Фробе́ниуса — одна из теорем общей алгебры. Теорема утверждает, что при некоторых естественных предположениях всякое тело, расширяющее поле вещественных чисел $\text{[math]}$ :

либо изоморфно исходному полю $\text{[math]}$ ;
либо изоморфно полю комплексных чисел $\text{[math]}$ ;
либо изоморфно телу кватернионов $\text{[math]}$ .

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

Алгебраическое числовое поле, поле алгебраических чисел — это конечное расширение поля рациональных чисел $\text{[math]}$ . Таким образом, числовое поле — это поле, содержащее $\text{[math]}$ и являющееся конечномерным векторным пространством над ним. При этом некоторые авторы называют числовым полем любое подполе комплексных чисел — например, М. М. Постников в «Теории Галуа».

Группа Лоренца является группой Ли симметрий пространства-времени в специальной теории относительности. Эта группа может быть реализована как набор матриц, линейных преобразований или унитарных операторов на некотором гильбертовом пространстве. Группа имеет различные представления. В любой релятивистски инвариантной физической теории эти представления как-то должны быть отражены. Сама физика должна быть сделана на их основе. Более того, специальная теория относительности вместе с квантовой механикой являются двумя физическими теориями, которые тщательно проверены и объединение этих двух теорий сводится к изучению бесконечномерных унитарных представлений группы Лоренца. Это имеет как историческую важность в основном течении в теоретической физике, так и связи с более спекулятивными теориями настоящего времени.

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

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

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

Линейная алгебраическая группа — это подгруппа группы обратимых $\text{[math]}$ матриц, которые определены полиномиальными уравнениями. Примером является ортогональная группа, определённая отношением $\text{[math]}$ , где $\text{[math]}$ является транспонированной матрицей M.

Список объектов, названных в честь французского математика XIX века Огюстена Луи Коши.

Горизонт Коши
Задача Коши — задача нахождения решения дифференциального уравнения, удовлетворяющего начальным условиям.
Интеграл Коши — Лагранжа — интеграл уравнений движения идеальной жидкости в случае потенциальных течений.
Интегральная теорема Коши — интеграл от аналитической функции по замкнутой кривой в односвязной области равен нулю.
Интегральная формула Коши — соотношение для голоморфных функций комплексного переменного, связывающее значение функции в точке с её значениями на контуре, окружающем точку.
Интегральный признак Коши — Маклорена — признак сходимости убывающего положительного числового ряда.
Коши — небольшой ударный кратер на видимой стороне Луны.
Критерий Коши равномерной сходимости несобственных интегралов.
Критерий сходимости Коши — критерий сходимости числовых рядов.
Лемма Коши — Фробениуса — классический результат комбинаторной теории групп, даёт выражение на число орбит в действии группы.
Матрица Коши
Матрица Коши — матрица, с помощью которых выражаются решения систем неоднородных дифференциальных уравнений.
Неравенство Коши — Буняковского — обобщение неравенства треугольника, связывает норму и скалярное произведение векторов в евклидовом или гильбертовом пространстве.
Неравенство Коши — соотношение среднего арифметического, среднего геометрического, среднего гармонического и среднего квадратического.
Принцип Коши — Кантора — лемма о вложенных отрезках, доказывающая полноту множества вещественных чисел.
Радикальный признак Коши — признак сходимости числового ряда.
Распределение Коши — класс вероятностных распределений.
Телескопический признак Коши — признак сходимости положительных числовых рядов.
Тензор деформации Коши-Грина — тензор, который характеризует сжатие (растяжение) и изменение формы в каждой точке тела при деформации.
Тензор напряжений Коши — тензор, описывающий механические напряжения в произвольной точке нагруженного тела при малых деформациях.
Теоре́ма Больцано — Коши — если непрерывная функция, определённая на вещественном промежутке, принимает два значения, то она принимает и любое значение между ними.
Теорема Коши о вычетах — даёт способ вычисления интеграла мероморфной функции по замкнутому контуру.
Теорема Коши — Адамара о степенном ряде — оценка радиуса сходимости некоторых степенных рядов.
Теорема Коши — Дэвенпорта в аддитивной комбинаторике: размер множества сумм двух множеств в группе вычетов $\text{[math]}$ никогда не оказывается существенно меньше, чем сумма их размеров.
Теорема Коши — Ковалевской — теорема о существовании и единственности локального решения задачи Коши для дифференциального уравнения в частных производных.
Теорема Коши о многогранниках — грани многогранника вместе с правилом склейки полностью определяют выпуклый многогранник.
Теорема Коши о среднем значении — обобщение формулы конечных приращений.
Теорема Коши — Пеано — теорема о существовании решения обыкновенного дифференциальное уравнения.
Теорема Коши — Пуанкаре — обобщение на случай многомерного комплексного пространства интегральной теоремы Коши.
Теорема Коши — если порядок конечной группы $\text{[math]}$ делится на простое число $\text{[math]}$ , то $\text{[math]}$ содержит элементы порядка $\text{[math]}$ .
Уравнение Коши - Эйлера — вид линейного дифференциального уравнения, допускающего простой алгоритм решения.
Условия Коши — Римана — соотношения, связывающие вещественную и мнимую части всякой дифференцируемой функции комплексного переменного.
Формула Бине — Коши — теорема об определителе произведения двух матриц, которое является квадратной матрицей
Фундаментальная последовательность Коши — последовательность точек метрического пространства такая, что для любого ненулевого заданного расстояния существует элемент последовательности, начиная с которого все элементы последовательности находятся друг от друга на расстоянии менее, чем заданное.
- Условие Коши — критерий сходимости фундаментальной последовательности Коши.
Функциональное уравнение Коши
Число Коши — критерий подобия в механике сплошных сред.

Эта страница основана на статье Википедии.
Текст доступен на условиях лицензии CC BY-SA 4.0; могут применяться дополнительные условия.
Изображения, видео и звуки доступны по их собственным лицензиям.