Следствие (математика)
Следствие в математике — утверждение, которое легко можно доказать из предыдущего утверждения.
Обзор
В математике, следствием является теорема с небольшим доказательством, которое следует из другой теоремы[1]. Использование термина следствие вместо «утверждение» или «теорема» субъективно.
Утверждение Б является следствием утверждения А, если Б можно легко вывести из А. Следствие, как правило, вторично по отношению к основной теореме; если следствие играет большую роль, то его вряд ли назовут следствием.
См. также
Примечания
- Wolfram, Stephen. A new kind of science. — Champaign, IL: Wolfram Media, 2002. — xiv, 1197 pages с. — ISBN 1579550088, 9781579550080, 071399116X, 9780713991161.
Ссылки
- Eric W. Weisstein. Corollary (англ.). mathworld.wolfram.com. Дата обращения: 26 августа 2019. From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/Corollary.html
- William and Robert Chambers. Chambers's Encyclopaedia: A Dictionary of Universal Knowledge for the People .... — Appleton, 1864. — Т. 3. — С. 260. — 842 с.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.