Особый случай
(Перенаправлено со Специализации (логика) )
В логике , особенно в применении к математике , понятие А является особым случаем или специализацией понятия В каждый экземпляр А является также примером В, не наоборот, или, что то же самое, если В является обобщением А. , если но [1] Предельный случай — это тип частного случая, который достигается путем доведения какого-либо аспекта концепции до крайности по сравнению с тем, что разрешено в общем случае. Если B истинно, можно немедленно сделать вывод, что A также истинно, а если B ложно, то A также можно немедленно вывести как ложное. Вырожденный случай — это частный случай, каким-то образом качественно отличающийся от почти всех разрешенных случаев.
Примеры
[ редактировать ]Примеры особых случаев включают следующее:
- Все квадраты являются прямоугольниками (но не все прямоугольники являются квадратами); следовательно, квадрат является частным случаем прямоугольника.
- Великая теорема Ферма , что о том н + б н = с н не имеет решений в натуральных числах с n > 2 , является частным случаем гипотезы Била о том, что х + б и = с С не имеет примитивных решений в натуральных числах, где x , y и z все больше 2, в частности, случай x = y = z .
- Недоказанная гипотеза Римана является частным случаем обобщенной гипотезы Римана в случае, когда χ ( n ) = 1 для всех n.
- Маленькая теорема Ферма , которая гласит: «Если p — простое число, то для любого целого числа a тогда «является частным случаем теоремы Эйлера , которая утверждает, что «если n и a — взаимно простые положительные целые числа, и — полная функция Эйлера , тогда ", в случае, когда n — простое число.
- Личность Эйлера является частным случаем формулы Эйлера , которая гласит: «Для любого действительного числа x : ", в случае, когда x = .
Ссылки
[ редактировать ]- ^ Браун, Джеймс Роберт. Философия математики: введение в мир доказательств и изображений . Великобритания, Тейлор и Фрэнсис, 2005. 27.