Без потери общности
- «Без потери общности» — часто используемое выражение в математике для обозначения произвольного выбора последующего.
- Термин сужает посылку до конкретного случая, но не влияет на достоверность доказательства в целом.
- Использование «без потери общности» возможно благодаря наличию симметрии.
- Если симметрия или эквивалентность не могут быть установлены, использование выражения «без потери общности» неверно.
- Пример теоремы, использующей принцип «отсека», показывает, что использование выражения «без потери общности» допустимо.
Полный текст статьи: