Класифікація Петрова — описує можливі алгебричні симетрії тензора Вейля для кожної події на псевдорімановому многовиді.
Ця класифікація найактивніше використовується при вивченні точних розв'язків рівнянь Ейнштейна, хоча взагалі кажучи являє собою абстрактний математичний результат, не залежний від будь-якої фізичної інтерпретації. Класифікація була вперше запропонована в 1954 році О. З. Петровим і в 1957 незалежно Феліксом Пирані.
Теорема про класифікацію
Тензор рангу 4, що є антисиметричним за першою і другою парою індексів, наприклад тензор Вейля, в кожній точці многовиду можна подати як лінійний оператор : , що діє у векторному просторі бівекторів:
В цьому випадку природно поставити задачу знаходження власних значень і власних векторів (або власних бівекторів) , таких що
У чотиривимірних псевдоріманових многовидах в кожній точці простір бівекторів шестивимірний. Однак, симетрії тензора Вейля обмежують розмірність простору власних бівекторів до чотирьох. Таким чином, тензор Вейля в даній точці може мати максимум чотири лінійно незалежних власних бівектора.
Точно так само як у звичайній теорії власних векторів лінійного оператора, власні бівектори тензора Вейля можуть бути кратними. Кратність власних бівекторів вказує на деяку додаткову алгебричну симетрію тензора Вейля в даній точці; це означає, що тип симетрії тензора Вейля можна визначити, розв'язуючи рівняння 4-го порядку для його власних значень.
Hall, Graham (2004). Symmetries and Curvature Structure in General Relativity (World Scientific Lecture Notes in Physics). Singapore: World Scientific Pub. Co. ISBN981-02-1051-5. See sections 7.3, 7.4 for a comprehensive discussion of the Petrov classification.
Petrov, A.Z. (1969). Einstein Spaces. Oxford: Pergamon. ISBN0080123155., translated by R. F. Kelleher & J. Woodrow.
Stephani, H.; Kramer, D.; MacCallum, M.; Hoenselaers, C.; Herlt, E. (2003). Exact Solutions of Einstein's Field Equations (2nd edn.). Cambridge: Cambridge University Press. ISBN0-521-46136-7. See chapters 4, 26