Контрпример
Контрпримером является любое исключение из обобщения . В логике контрпример опровергает обобщение и делает это строго в области математики и философии . [1] Например, тот факт, что «студент Джон Смит не ленив», является контрпримером к обобщению «студенты ленивы», а также одновременно контрпримером и опровержением универсального количественного определения «все студенты ленивы». [2]
По математике
[ редактировать ]В математике контрпримеры часто используются для доказательства границ возможных теорем. Используя контрпримеры, чтобы показать, что определенные гипотезы ложны, исследователи-математики могут избежать тупиков и научиться модифицировать гипотезы для получения доказуемых теорем. Иногда говорят, что развитие математики заключается прежде всего в поиске (и доказательстве) теорем и контрпримеров. [3]
Пример прямоугольника
[ редактировать ]Предположим, что математик изучает геометрию и формы и хочет доказать о них определенные теоремы. Она предполагает , что «все прямоугольники являются квадратами », и ей интересно узнать, истинно или ложно это утверждение.
В этом случае она может либо попытаться доказать истинность утверждения, используя дедуктивные рассуждения , либо попытаться найти контрпример утверждения, если она подозревает, что оно ложно. В последнем случае контрпримером будет прямоугольник, который не является квадратом, например, прямоугольник с двумя сторонами длиной 5 и двумя сторонами длиной 7. Однако, несмотря на то, что были найдены прямоугольники, которые не были квадратами, все прямоугольники, которые она нашла, находка имела четыре стороны. Затем она выдвигает новую гипотезу: «Все прямоугольники имеют четыре стороны». Это логически слабее, чем ее первоначальная гипотеза, поскольку каждый квадрат имеет четыре стороны, но не каждая четырехсторонняя фигура является квадратом.
Приведенный выше пример объяснил — в упрощенной форме — как математик может ослабить свою гипотезу перед лицом контрпримеров, но контрпримеры также могут быть использованы для демонстрации необходимости определенных предположений и гипотез . Например, предположим, что через некоторое время приведенный выше математик остановился на новой гипотезе: «Все фигуры, которые являются прямоугольниками и имеют четыре стороны одинаковой длины, являются квадратами». Эта гипотеза состоит из двух частей: форма должна быть «прямоугольником» и иметь «четыре стороны одинаковой длины». Тогда математик хотел бы знать, сможет ли он устранить любое из предположений и при этом сохранить истинность своей гипотезы. Это означает, что ей необходимо проверить истинность следующих двух утверждений:
- «Все фигуры, являющиеся прямоугольниками, являются квадратами».
- «Все фигуры, у которых четыре стороны одинаковой длины, являются квадратами».
Контрпример к (1) уже был приведен выше, а контрпример к (2) — неквадратный ромб . Таким образом, математик теперь знает, что каждое предположение само по себе недостаточно.
Другие математические примеры
[ редактировать ]Контрпримером к утверждению «все простые числа — нечетные числа » является число 2, поскольку оно является простым числом, но не нечетным. [1] Ни одно из чисел 7 или 10 не является контрпримером, поскольку ни одного из них недостаточно, чтобы противоречить утверждению. В этом примере 2 фактически является единственным возможным контрпримером к утверждению, хотя одного этого достаточно, чтобы противоречить утверждению. Аналогичным образом утверждение «Все натуральные числа либо простые , либо составные » имеет число 1 в качестве контрпримера, поскольку 1 не является ни простым, ни составным.
Гипотеза Эйлера о сумме степеней была опровергнута контрпримером. Он утверждал, что по крайней мере n n й степени необходимо было суммировать с другим n й власть. Эта гипотеза была опровергнута в 1966 г. [4] с контрпримером, включающим n = 5; другие n теперь известны = 5 контрпримеров, а также некоторые n = 4 контрпримера. [5]
Контрпример Витсенхаузена показывает, что не всегда верно (для задач управления ), что квадратичная функция потерь и линейное уравнение эволюции переменной состояния предполагают линейные законы оптимального управления.
Все изометрии евклидовой плоскости являются отображениями, которые сохраняют площадь , но обратное неверно, как показывают контрпримеры отображения сдвига и отображения сжатия .
Другие примеры включают опровержение гипотезы Зейферта , гипотезы Полиа , гипотезы четырнадцатой проблемы Гильберта , гипотезы Тейта и гипотезы Ганеа .
В философии
[ редактировать ]В философии контрпримеры обычно используются, чтобы доказать, что определенная философская позиция ошибочна, показывая, что она неприменима в определенных случаях. Альтернативно, первый философ может изменить свое утверждение так, чтобы контрпример больше не применялся; это аналогично тому, как математик изменяет гипотезу из-за контрпримера.
Например, в Платона » Горгии « Калликл , пытаясь определить, что значит сказать, что некоторые люди «лучше», чем другие, утверждает, что те, кто сильнее, лучше.
Но Сократ отвечает, что из-за своей численности класс простого сброда сильнее класса имущих дворян, хотя массы на первый взгляд имеют худший характер. Таким образом, Сократ предложил контрпример утверждению Калликла, заглянув в область, которую Калликл, возможно, не ожидал, — группы людей, а не отдельных людей.
Калликл мог бы оспорить контрпример Сократа, утверждая, возможно, что простой чернь действительно лучше знати или что даже в своей большой численности они все же не сильнее. Но если Калликл принимает контрпример, то он должен либо отказаться от своего утверждения, либо изменить его так, чтобы контрпример больше не применялся. Например, он мог бы изменить свое утверждение, чтобы оно относилось только к отдельным лицам, потребовав от него думать о простых людях как о совокупности индивидов, а не как о толпе.
Так получилось, что он изменил свое утверждение, сказав «мудрее» вместо «сильнее», утверждая, что никакое численное превосходство не может сделать людей мудрее.
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Jump up to: а б «Математические слова: контрпример» . www.mathwords.com . Проверено 28 ноября 2019 г.
- ^ Вайсштейн, Эрик В. «Контрпример» . mathworld.wolfram.com . Проверено 28 ноября 2019 г.
- ^ «Что такое контрпример?» . www.cut-the-knot.org . Проверено 28 ноября 2019 г.
- ^ Ландер, Паркин (1966). «Контрпример к гипотезе Эйлера о суммах одинаковых степеней» (PDF) . Бюллетень Американского математического общества . 72 (6). Американское математическое общество: 1079. doi : 10.1090/s0002-9904-1966-11654-3 . ISSN 0273-0979 . Проверено 2 августа 2018 г.
- ^ Элкис, Ноам (октябрь 1988 г.). «На А4+В4+С4=D4» (PDF) . Математика вычислений . 51 (184): 825–835.
Дальнейшее чтение
[ редактировать ]- Имре Лакатос , Доказательства и опровержения (1976) Издательство Кембриджского университета ISBN 0521290384
- Джеймс Франклин и Альберт Дауд (2011) Доказательство по математике: введение , Кью, Сидней ISBN 978-0-646-54509-7 , гл. 6.
- Линн Артур Стин и Дж. Артур Сибах-младший (1978) Контрпримеры в топологии , Спрингер, Нью-Йорк ISBN 0-486-68735-X .
- Джозеф П. Романо и Эндрю Ф. Сигел (1986) Контрпримеры в области вероятности и статистики Chapman & Hall, Нью-Йорк, Лондон ISBN 0-412-98901-8 .
- Гэри Л. Уайз и Эрик Б. Холл (1993) Контрпримеры в теории вероятностей и реальном анализе . Издательство Оксфордского университета, Нью-Йорк ISBN 0-19-507068-2 .
- Бернард Р. Гелбаум, Джон М.Х. Олмстед (2003) Контрпримеры в анализе . Исправленное переиздание второго (1965 г.) издания, Dover Publications, Минеола, Нью-Йорк. ISBN 0-486-42875-3 .
- Джордан М. Стоянов (1997) Контрпримеры в теории вероятности, второе издание, Wiley, Чичестер ISBN 0-471-96538-3 .
- Майкл Копобьянко и Джон Муллуццо (1978) Примеры и контрпримеры в теории графов , Elsevier, Северная Голландия. ISBN 0-444-00255-3 .
Внешние ссылки
[ редактировать ]
Цитаты, связанные с контрпримером, в Wikiquote
