Контрпример — Википедия. Что такое Контрпример
Wiki.sc

Контрпример

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

Контрпример — пример, опровергающий верность некоторого утверждения.

Построение контрпримера — обычный способ опровержения гипотез. Если имеется утверждение типа «Для любого X из множества M выполняется свойство A», то контрпримером для этого утверждения будет: «Существует объект X0 из множества M, для которого свойство A не выполняется».

Часто найти контрпример вручную очень сложно. В таких случаях можно воспользоваться компьютером. Программа для нахождения контрпримера может просто перебирать элементы множества M и проверять выполнения свойства A. Более сложный, но и более эффективный, подход заключается в построении контрпримера «по частям». При этом при выборе очередной «части» сразу отбрасываются варианты, которые заведомо не ведут к опровержению рассматриваемого утверждения. Это позволяет значительно ускорить работу, зачастую на порядки.

Необходимо помнить, что отсутствие контрпримера не служит доказательством гипотезы. Доказательство такого рода можно строить, только если рассматриваемое множество конечно. В этом случае, достаточно перебрать все его элементы, и, если контрпримера среди них нет, то утверждение будет доказано.

Классические контрпримеры в математике

Литература

  • Гелбаум Б., Олмстед Дж. Контрпримеры в анализе. М.: Мир, 1967.
  • Лакатос И. Доказательства и опровержения: как доказываются теоремы. М.: Наука, 1967.
  • Медведев Ф. А. Очерки истории теории функций действительного переменного. М.: Наука, 1975.
  • Секей Г. Парадоксы в теории вероятностей и математической статистике. М.: Мир, 1980.
  • Стоянов Й. Контрпримеры в теории вероятностей. М.: Факториал, 1999.
  • Щетников А. И., Щетникова А. В. Роль контрпримеров в развитии основных понятий математического анализа. — Новосибирск: АНТ, 1999.
  • Romano J. P., Siegel A. F. Counterexamples in probability and statistics. Chapman & Hall, NY, 1986.
  • Steen L. A., Seebach J. A. (Jr.). Counterexamples in topology. Springer, NY, 1978.
  • Wise G. L., Hall E. B. Counterexamples in probability and real analysis. Oxford UP, 1993.


Что такое Wiki.sc Вики является главным информационным ресурсом в интернете. Она открыта для любого пользователя. Вики это библиотека, которая является общественной и многоязычной.

Основа этой страницы находится в Википедии. Текст доступен по лицензии CC BY-SA 3.0 Unported License.

Wikipedia® — зарегистрированный товарный знак организации Wikimedia Foundation, Inc. WIKI.SC является независимой компанией и не аффилирована с Фондом Викимедиа (Wikimedia Foundation).

E-mail: admin@wiki.sc