Большая Советская Энциклопедия (ТЕ)

Теоре'лль (Theorell) Аксель Хуго Теодор (р. 6.7.1903, Линчёпинг), шведский биохимик, президент Национальной АН Швеции (1967—69), член Национальной АН США, Лондонского королевского общества (1959) и др. Почётный доктор Сорбонны (1951). Президент Международного биохимического союза (1967— 1973). Окончил Каролинский медицинский институт в Стокгольме (1930) и работал там же. В 1932—36 — в Упсальском университете, в 1933— 1935 с О. Варбургом — в институте физиологии клетки в Берлине. В 1937—70 директор, профессор и заведующий отделом биохимии Нобелевского медицинского института (Стокгольм). Основные работы по химии ферментов и механизму их действия. Впервые очистил и получил в кристаллическом виде миоглобин , пероксидазу хрена, лактопероксидазу, цитохром с , алкогольдегидрогеназу, «старый жёлтый фермент» Варбурга (дегидрогеназа восстановленного никотинамидадениндинуклеотидфосфата ). В 1934 впервые разделил фермент (дегидрогеназу восстановленного НАДФ) на белок и кофермент (флавинмононуклеотид) и вновь ассоциировал активный фермент из этих компонентов. Изучал механизм действия алкогольдегидрогеназы. Исследовал изоферменты , их образование и действие. Нобелевская премия (1955).

  Я. А. Псрнес.

Теорема

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

  В формулировке Т. различают условие и заключение. Например, 1) если сумма цифр числа делится на 3, то и само число делится на 3, или 2) если в треугольнике один из углов прямой, то оба других — острые; в каждом из этих примеров после слова «если» стоит условие Т., а после слова «то» — заключение. В такой форме можно высказать каждую Т. Например, Т.: «всякий вписанный в окружность угол, опирающийся на диаметр, прямой», можно высказать так: «если вписанный в окружность угол опирается на диаметр, то он прямой».

  Для каждой Т., высказанной в форме «если... то...». можно высказать ей обратную теорему , в которой условие является заключением, а заключение — условием. Прямая и обратная Т. взаимно обратны. Не всякая обратная Т. оказывается верной; так, для примера 1) обратная Т. верна, а для примера 2) — очевидно неверна. Справедливость обеих взаимно обратных Т. означает, что выполнение условия любой из них не только достаточно, но и необходимо для справедливости заключения (см. Необходимые и достаточные условия ).

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

Теорема СРТ

Теоре'ма СРТ (СРТ -теорема), теорема квантовой теории поля , согласно которой уравнения теории инвариантны относительно СРТ -преобразования, то есть не меняют своего вида, если одновременно провести три преобразования: зарядовое сопряжение С (замена частиц античастицами ), пространственную инверсию (зеркальное отражение) Р (замена координат r на — r ) и обращение времениТ (замена времени t на — t ). Т. СРТ была сформулирована и доказана в работах немецкого физика Г. Людерса (1952— 1954) и швейцарского физика В. Паули (1955). Она вытекает из основных принципов квантовой теории поля. Если в природе происходит некоторый процесс, то в силу Т. СРТ с той же вероятностью в ней может происходить и процесс, в котором частицы заменены соответствующими античастицами, проекции их спинов имеют противоположный знак, а начальные и конечные состояния процесса поменялись местами.