Классификация Петрова

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

    Эта классификация активней всего используется при изучении точных решений уравнений Эйнштейна, хотя вообще говоря представляет собой абстрактный математический результат, не зависящий от какой-либо физической интерпретации. Классификация была впервые предложена в 1954 году А. З. Петровым и в 1957 независимо Феликсом Пирани.

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

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

В этой статье рассматривается математический базис общей теории относительности.

Подробнее: Математическая формулировка общей теории относительности
Ве́ктор (от лат. vector, «несущий») — в простейшем случае математический объект, характеризующийся величиной и направлением. Например, в геометрии и в естественных науках вектор есть направленный отрезок прямой в евклидовом пространстве (или на плоскости).
В математике термин матрица Картана имеет три значения. Все они названы по имени французского математика Эли Картана. Фактически, матрицы Картана в контексте алгебр Ли впервые исследовал Вильгельм Киллинг, в то время как форма Киллинга принадлежит Картану.
Произведением Мояля — самый известный пример звёздочного произведения в фазовом пространстве.
В математике монодро́ми́ей называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.

Подробнее: Монодромия
Гамильто́нова меха́ника является одной из формулировок классической механики. Предложена в 1833 году Уильямом Гамильтоном. Она возникла из лагранжевой механики, другой формулировки классической механики, введённой Лагранжем в 1788 году. Гамильтонова механика может быть сформулирована без привлечения лагранжевой механики с использованием симплектических многообразий и пуассоновых многообразий.
Лине́йная а́лгебра — раздел алгебры, изучающий объекты линейной природы: векторные (или линейные) пространства, линейные отображения, системы линейных уравнений, среди основных инструментов, используемых в линейной алгебре — определители, матрицы, сопряжение. Теория инвариантов и тензорное исчисление обычно (в целом или частично) также считаются составными частями линейной алгебры. Такие объекты как квадратичные и билинейные формы, тензоры и операции как тензорное произведение непосредственно вытекают...
Математи́ческий ана́лиз (классический математический анализ) — совокупность разделов математики, соответствующих историческому разделу под наименованием «анализ бесконечно малых», объединяет дифференциальное и интегральное исчисления.
Дифференциальное уравнение в частных производных (частные случаи также известны как уравнения математической физики, УМФ) — дифференциальное уравнение, содержащее неизвестные функции нескольких переменных и их частные производные.
Линейные динамические системы — это динамические системы, эволюция которых во времени описывается линейным дифференциальным уравнением (для систем с дискретным временем - линейным разностным уравнением). В то время как динамические системы в целом не имеют замкнутой формы решения, линейные динамические системы могут быть решены точно, и у них есть большой набор математических свойств. Линейные системы также могут быть использованы для понимания поведения общих динамических систем, путём расчета точек...

Подробнее: Линейная динамическая система
Ковариа́нтность и контравариа́нтность — используемые в математике (линейной алгебре, дифференциальной геометрии, тензорном анализе) и в физике понятия, характеризующие то, как тензоры (скаляры, векторы, операторы, билинейные формы и т. д.) изменяются при преобразованиях базисов в соответствующих пространствах или многообразиях. Контравариантными называют «обычные» компоненты, которые при смене базиса пространства изменяются с помощью преобразования, обратного преобразованию базиса. Ковариантными...
Размерность Вапника — Червоненкиса или VC-размерность — это характеристика семейства алгоритмов для решения задачи классификации с двумя классами, характеризующая сложность или ёмкость этого семейства. Это одно из ключевых понятий в теории Вапника-Червоненкиса о статистическом машинном обучении, названное в честь Владимира Вапника и Алексея Червоненкиса.
Центра́льное многообра́зие особой точки автономного обыкновенного дифференциального уравнения — инвариантное многообразие в фазовом пространстве, проходящее через особую точку и касающееся инвариантного центрального подпространства линеаризации дифференциального уравнения. Важный объект изучения теории дифференциальных уравнений и динамических систем. В некотором смысле, вся нетривиальная динамика системы в окрестности особой точки сосредоточена на центральном многообразии.
Векторное поле — это отображение, которое каждой точке рассматриваемого пространства ставит в соответствие вектор с началом в этой точке.
Тензорное поле — это отображение, которое каждой точке рассматриваемого пространства ставит в соответствие тензор.
Произведение двух или более объектов — это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов — это в некотором смысле самый общий объект, имеющий морфизмы во все объекты семейства.
Вариацио́нное исчисле́ние — раздел анализа, в котором изучаются вариации функционалов. Наиболее типичная задача — найти функцию, на которой заданный функционал достигает экстремального значения.
В физике топологическое квантовое число (также называемое топологическим зарядом) — это любая величина в физической теории, которая принимает лишь дискретное множество значений, вследствие топологических соображений. Обычно топологические квантовые числа являются топологическими инвариантами, связанными с решениями типа топологических солитонов некоторой системы дифференциальных уравнений, моделирующих физическую систему, так как солитоны сами по себе своей стабильностью обязаны топологическим соображениям...
Ве́кторная величина́ — физическая величина, являющаяся вектором (тензором ранга 1). Противопоставляется с одной стороны скалярным (тензорам ранга 0), с другой — тензорным величинам (строго говоря — тензорам ранга 2 и более). Также может противопоставляться тем или иным объектам совершенно другой математической природы.
Зеркальная симметрия была изначально обнаружена физиками. Математики заинтересовались этим явлением около 1990 года, когда Филип Канделас, Ксения де ла Осса, Пол Грин и Линда Паркс показали, что зеркальную симметрию можно использовать в качестве инструмента в исчислительной геометрии, разделе математики, занимающемся подсчётом количества ответов на те или иные геометрические вопросы. Канделас и соавторы показали, что зеркальная симметрия может быть использована для подсчёта числа рациональных кривых...
Дифференциальное исчисление над коммутативными алгебрами — раздел коммутативной алгебры, возникший в семидесятых годах прошлого века.
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления (кроме деления на нуль), причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Хотя названия операций поля взяты из арифметики, следует иметь в виду, что элементы поля не обязательно являются числами, и определения операций могут быть далеки от арифметических.
Многообразие Шимуры (иногда многообразие Симуры) — аналог модулярной кривой в более высоких размерностях, который возникает как фактор эрмитова симметрического пространства по конгруэнтной подгруппе редуктивной алгебраической группе, определённой над Q. Термин «многообразие Шимуры» относится к высоким размерностям, в случае одномерных многообразий говорят о кривых Шимуры. Модулярные поверхности Гильберта и модулярные многообразия Зигеля находятся среди лучших известных классов многообразий Шимуры...
Ква́нтовая тео́рия по́ля (КТП) — раздел физики, изучающий поведение квантовых систем с бесконечно большим числом степеней свободы — квантовых (или квантованных) полей; является теоретической основой описания микрочастиц, их взаимодействий и превращений. Именно на квантовой теории поля базируется вся физика высоких энергий, физика элементарных частиц и физика конденсированного состояния. Квантовая теория поля в виде Стандартной модели (с добавкой масс нейтрино) сейчас является единственной экспериментально...
А́лгебра (от араб. الْجَبْر‎, «аль-джабр» — восполнение) — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под алгеброй понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Бра и кет (англ. bra-ket < bracket скобка) — алгебраический формализм (система обозначений), предназначенный для описания квантовых состояний. Называется также обозначениями Дирака. В матричной механике данная система обозначений является общепринятой.
Сфера Блоха — способ представления чистых состояний кубита в виде точек на сфере.
Индекс особой точки векторного поля — математическое понятие, относящееся к дифференциальной топологии, дифференциальной геометрии, теории динамических систем и теории дифференциальных уравнений. Является топологической характеристикой изолированной особой точки векторного поля и определяется как степень гауссова отображения в данной точке.
Во многих областях математики полезную конструкцию часто можно рассматривать как «наиболее эффективное решение» определенной проблемы. Определение универсального свойства использует язык теории категорий, чтобы сделать это определение точным и изучать его теоретическими методами.

Подробнее: Универсальное свойство
Суммирующая функция делителей в теории чисел — функция, являющаяся суммой функции делителей.
Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.
Обобщённая фу́нкция или распределе́ние — математическое понятие, обобщающее классическое понятие функции.
Формулировка через интеграл по траекториям квантовой механики — это описание квантовой теории, которое обобщает принцип действия классической механики. Оно замещает классическое определение одиночной, уникальной траектории системы полной суммой (функциональным интегралом) по бесконечному множеству всевозможных траекторий для расчёта квантовой амплитуды. Методологически формулировка через интеграл по траекториям близка к принципу Гюйгенса — Френеля из классической теории волн.
Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием...
Ко́мпле́ксный ана́лиз, тео́рия фу́нкций ко́мпле́ксного переме́нного (или ко́мпле́ксной переме́нной; сокращенно — ТФКП) — раздел математического анализа, в котором рассматриваются и изучаются функции комплексного аргумента.
Векторная авторегрессия (VAR, Vector AutoRegression) — модель динамики нескольких временных рядов, в которой текущие значения этих рядов зависят от прошлых значений этих же временных рядов. Модель предложена Кристофером Симсом как альтернатива системам одновременных уравнений, которые предполагают существенные теоретические ограничения. VAR-модели свободны от ограничений структурных моделей. Тем не менее, проблема VAR-моделей заключается в резком росте количества параметров с увеличением количества...
Формализм Арновитта — Дезера — Мизнера, АДМ-формализм (англ. ADM formalism) — разработанная в 1959 году Ричардом Арновиттом, Стенли Дезером и Чарльзом Мизнером гамильтонова формулировка общей теории относительности. Она играет важную роль в квантовой гравитации и численной относительности.
Дифференциальное исчисление — раздел математического анализа, в котором изучаются понятия производной и дифференциала и способы их применения к исследованию функций. Формирование дифференциального исчисления связано с именами Исаака Ньютона и Готфрида Лейбница. Именно они чётко сформировали основные положения и указали на взаимообратный характер дифференцирования и интегрирования. Создание дифференциального исчисления (вместе с интегральным) открыло новую эпоху в развитии математики. С этим связаны...
В математике инвариант Казимира, или оператор Казимира, — примечательный элемент центра универсальной обёртывающей алгебры алгебры Ли. Назван по имени голландского физика Хендрика Казимира. Примером является квадрат оператора момента импульса, который является инвариантом Казимира трёхмерной группы вращений. Операторы Казимира группы Пуанкаре имеют глубокий физический смысл, так как с их помощью определяются понятия массы и спина элементарных частиц.
Бордизм, также бордантность — термин топологии, употребляющийся самостоятельно или в составе стандартных...
Фу́нкция Гри́на — функция, используемая для решения неоднородных дифференциальных уравнений с граничными условиями (неоднородной краевой задачи). Названа в честь английского математика Джорджа Грина, который первым развил соответствующую теорию в 1830-е годы.
Поток Риччи — система дифференциальных уравнений в частных производных, описывающая деформацию римановой метрики на многообразии.
Теория случайных матриц — раздел математики на стыке математической физики и теории вероятности, изучающий свойства ансамблей матриц, элементы которых распределены случайным образом. Как правило, задаётся закон распределения элементов. При этом изучается статистика собственных значений случайных матриц, а иногда также статистика их собственных векторов.
Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие, если оно неособо), а потому имеет размерность четыре как гладкое многообразие.
Пучок — структура, используемая для установления отношений между локальными и глобальными данными.
Особенность, или сингулярность в математике — это точка, в которой математический объект (обычно функция) не определён или имеет нерегулярное поведение (например, точка, в которой функция имеет разрыв или недифференцируема).
В прикладной статистике метод наименьших полных квадратов (МНПК, TLS — англ. Total Least Squares) — это вид регрессии с ошибками в переменных, техника моделирования данных с помощью метода наименьших квадратов, в которой принимаются во внимание ошибки как в зависимых, так и в независимых переменных. Метод является обобщением регрессии Деминга и ортогональной регрессии и может быть применён как к линейным, так и нелинейным моделям.
Волновое уравнение в физике — линейное гиперболическое дифференциальное уравнение в частных производных, задающее малые поперечные колебания тонкой мембраны или струны, а также другие колебательные процессы в сплошных средах (акустика, преимущественно линейная: звук в газах, жидкостях и твёрдых телах) и электромагнетизме (электродинамике). Находит применение и в других областях теоретической физики, например при описании гравитационных волн. Является одним из основных уравнений математической физики...
Квантовое состояние — любое возможное состояние, в котором может находиться квантовая система. Чистое квантовое состояние может быть описано...
Метризуемое пространство — топологическое пространство, гомеоморфное некоторому метрическому пространству. Иначе говоря, пространство, топология которого порождается некоторой метрикой.
а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я