Теорема

Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от , проверенной 5 ноября 2021 года; проверки требуют .

Поскольку теоремы лежат в основе математики, они также играют центральную роль в её эстетике. Теоремы часто описываются как «тривиальные», «сложные», «глубокие» или даже «красивые». Эти субъективные суждения варьируются не только от человека к человеку, но и со временем: например, когда доказательство упрощено или лучше понято, теорема, которая когда-то была трудной, может стать тривиальной. С другой стороны, глубокая теорема может быть сформулирована просто, но её доказательство может включать в себя удивительные и тонкие связи между различными областями математики. Особенно известным примером такой теоремы является Великая теорема Ферма.

Для доказательства теорема должна быть выражена в виде точного формального утверждения. Тем не менее, для удобства читателя теоремы обычно выражаются не в полностью символической форме, а на естественном языке. Читатель же самостоятельно преобразует неформальное утверждение в формальное.

Слово «теория» также существует в математике для обозначения совокупности математических аксиом, определений и теорем, как, например, теория групп. Есть также «теоремы» в науке, особенно в физике, и в технике, но они часто имеют утверждения и доказательства, в которых физические предположения и интуиция играют важную роль; физические аксиомы, на которых основаны такие «теоремы», сами по себе фальсифицируемы.

Существует ряд различных терминов для математических утверждений; эти термины указывают на роль, которую заявления играют в конкретной теме. Несоответствие между различными терминами иногда довольно произвольно, и со временем некоторые термины стали использоваться чаще других.

Существуют и другие, реже используемые термины, которые обычно присоединяются к доказанным утверждениям, поэтому некоторые теоремы упоминаются под историческими или общепринятыми названиями. Например:

Теорема и имя человека, который доказал её, и год открытия, доказательства или публикации.

Обычно теореме предшествуют определения, описывающие точное значение терминов, используемых в теореме. Также изложение теоремы предваряет ряд предложений или лемм, которые затем используются в доказательстве. Однако леммы иногда включаются в доказательство теоремы либо с вложенными доказательствами, либо с их доказательствами, представленными после доказательства теоремы.

Следствия из теоремы представлены либо между теоремой и доказательством, либо непосредственно после доказательства. Иногда следствия имеют свои собственные доказательства, которые объясняют, почему они следуют из теоремы.