Теорема существования

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Теорема существования — утверждение, которое устанавливает, при каких условиях существует решение математической задачи или математический объект, например производная, неопределенный интеграл, определенный интеграл, решение уравнения и т. д. При доказательстве теорем существования используются сведения из теории множеств. Теоремы существования играют очень важную роль в различных приложениях математики, например при математическом моделировании различных явлений и процессов. Математическая модель не адекватна конкретному описываемому явлению, из существования решения реальной задачи не следует существование соответствующей математической задачи. Доказательство теорем существования необходимо перед решением различных математических задач, вроде вычисления интеграла или интегрирования дифференциального уравнения. Теоремы существования позволяют определить, существует ли вычисляемый интеграл и сколько решений имеет дифференциальное уравнение. Если удается доказать теорему существования, единственность решения и корректность самой постановки задачи, то это означает очень важный первый шаг в решении задачи.

Примеры[править | править вики-текст]

Конструктивность теорем существования[править | править вики-текст]

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

В интуиционизме теоремы существования формулируются в более слабой формулировке.

Литература[править | править вики-текст]

  • Л. С. Фрейман Теоремы существования, М., Наука, 1971, 133 c., тир. 22000 экз.
  • Л. Д. Кудрявцев Мысли о современной математике и её изучении, М., Наука, 1977, 108 с., тир. 100000 экз.
  • Александров П. С., Колмогоров А. Н. Введение в теорию функций действительного переменного.
  • Петровский И. Г. Лекции по теории обыкновенных дифференциальных уравнений.
  • Петровский И. Г. Лекции об уравнениях с частными производными.
  • Курант Р., Гильберт Д. Методы математической физики
  • Смирнов В. И. Курс высшей математики.
  • Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления.