Направо към съдържанието

Безкрайност

от Уикипедия, свободната енциклопедия
Математическият символ за безкрайност

Безкрайността е категория в човешкото мислене, използвана в области като математиката, физиката, философията и теологията и означава неограничено количество или величина, която може да бъде по-голяма от всяко избрано естествено или реално число[1]. Отбелязва се със символа .

В математиката безкрайността често се третира като число, например при измерване или изброяване на различни обекти („безкраен брой събираеми“), но тя не носи всички характеристики на числата. В числените системи, включващи безкрайно малки стойности безкрайността е тяхната реципрочна стойност – число, по-голямо от всички реални числа.

От времето на древните гърци философската природа на безкрайността е обект на много дискусии сред философите. През XVII век, с въвеждането на символа за безкрайност, математиците започват да работят с безкрайни редици и това, което някои математици считат за безкрайно малки величини. Остава неясно дали безкрайността може да се разглежда като число или величина и ако да, как може да се направи това. В края на XIX век и началото на XX век много идеи, свързани с безкрайността и безкрайните множества са формализирани от Георг Кантор. В развитата от него теория се разглеждат безкрайни множества с различен размер (наричан мощност).[2] Така например множеството на целите числа е безкрайно изброимо множество, а множеството на реалните числа е безкрайно неизброимо множество. При тази употреба безкрайността е математическо понятие и безкрайните математически обекти могат да бъдат изучавани, манипулирани и използвани точно както всеки друг математически обект.

Математическата концепция за безкрайността усъвършенства и разширява старата философска концепция, по-специално чрез въвеждане на безкрайно много различни размери на безкрайни множества. Сред аксиомите на теорията на множествата е аксиомата за безкрайността, която гарантира съществуването на безкрайни множества. Математическата концепция за безкрайността и манипулирането с безкрайни множества се използват навсякъде в математиката, дори в области като комбинаториката.

Символично означение

[редактиране | редактиране на кода]
Джон Уолис (1616 – 1703)

Символът за безкрайност , наричан понякога лемниската, е въведен от Джон Уолис през 1655 година в неговия труд „De sectionibus conicis“.[3][4]

Едно от предположенията за избора на този символ е, че той произлиза от римската цифра за 1000, която от своя страна произлиза от етруската CIƆ и която понякога е използвана за означаване на произволен голям брой. Друга възможност е лемниската да е вариант на последната буква в гръцката азбука ω (омега)[5] Предимство на този символ при ранната печатна техника е лесното му възпроизвеждане чрез завъртане на символа „8“ на една страна.

Символът за безкрайност може да се представи в HTML с кода ∞, а в LaTeX – с \infty. В Уникод той има номер U+221E (∞) или 8734 в десетично изписване.

В математическия анализ

[редактиране | редактиране на кода]
Готфрид Лайбниц (1646 – 1716)

Готфрид Лайбниц, един от създателите на математическия анализ, разсъждава задълбочено върху безкрайните числа и тяхното използване в математиката. За него безкрайно малките и безкрайните количества са идеални обекти с различна природа от наблюдаемите количества, но споделящи същите свойства.[6][7]

В реалния анализ символът , наричан „безкрайност“, описва неопределена граница. означава, че x нараства без ограничение, а  – че намалява без ограничение. Ако f(t) ≥ 0 за всяко t, тогава

  • означава, че f(t) не огражда крайна площ от a до b
  • означава, че общата площ под f(t) е безкрайна
  • означава, че общата площ под f(t) е крайна и равна на n

Безкрайността се използва и за описването на безкрайни редове:

  • означава, че безкрайният ред е сходящ към дадена реална стойност a
  • означава, че редът е разходящ, като междинните суми нарастват без ограничение

Безкрайността се използва не само за дефиниране на граници, но и като стойност в разширената числова права. В такава система точките и се добавят към топологичното пространство на реалните числа, подлагайки го на двуточкова компактификация. Добавянето на алгебрични свойства към това пространство дава разширената числова права. Възможно е също и да се разглеждат като идентични, което води до едноточкова компактификация на реалните числа – реална проекционна права.

В комплексния анализ символът също обозначава неопределена граница. означава, че модулът на x нараства без ограничения. Добавянето на точка, означена с към топологичното пространство на комплексната равнина извършва едноточкова компактификация, резултатът от която е разширена комплексна равнина, наричана риманова сфера.

Първоначалната формулировка на математическия анализ от Исак Нютон и Готфрид Лайбниц използва безкрайно малки величини. През XX век е демонстрирано, че този подход може да бъде поставен на строга основа с помощта на различни логически системи, една от които е нестандартния анализ. При него безкрайно малките величини имат реципрочни стойности, които са безкрайни числа. В този контекст безкрайностите са част от хиперреално поле, като те не са еквивалентни на Канторовите трансфинитни числа. Така, ако в нестандартния анализ H е безкрайно число, числата H + H = 2H или H + 1 са отделни безкрайни числа.

В теорията на множествата

[редактиране | редактиране на кода]

Различна форма на безкрайност са ординалните и кардиналните безкрайности в теорията на множествата. Георг Кантор разработва система от трансфинитни числа, в която първото трансфинитно кардинално число е , мощността на множеството на естествените числа. Този подход, при който количествената оценка на безкрайността се базира на броя на елементите в множествата, е доразработена от Готлоб Фреге, Рихард Дедекинд и други.

Дедекинд приема взаимноеднозначното съответствие за основа на оценката на размера на множествата, отхвърляйки класическия възглед, че цялото не може да има размера на част от себе си. По този начин безкрайното множество може да бъде дефинирано като множество, което има същия размер, като поне едно свое строго подмножество.

Кантор разглежда два вида безкрайни числа – ординални и кардинални. Например естествените числа са безкрайно много, но са изброима безкрайност, докато числата върху реалната права са неизброима безкрайност.

Във физиката даден физически обект може да се приеме за безкраен, ако приближението е достатъчно точно и това пресмятанията се улесняват. Например дълъг проводник, по който тече ток, може да бъде разглеждан като безкрайна права.

  1. The Definitive Glossary of Higher Mathematical Jargon — Infinite // 2019-08-01. Посетен на 2019-11-15.
  2. Gowers, Timothy et al. The Princeton companion to mathematics. Princeton University Press, 2008. ISBN 0-691-11880-9. p. 616. (на английски)
  3. Scott, Joseph Frederick. The mathematical work of John Wallis, D.D., F.R.S., (1616 – 1703). 2. AMS Bookstore, 1981. ISBN 0-828-40314-7. p. 24. (на английски)
  4. Martin-Löf, Per et al. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12 – 16, 1988: proceedings. Springer, 1990. ISBN 3-540-52335-9. p. 147. (на английски)
  5. Weaver, Douglas et al. The symbol for infinity // The History of Mathematical Symbols. roma.unisa.edu.au, 2010. Архивиран от оригинала на 2006-08-21. Посетен на 13 декември 2010. (на английски)
  6. Bell, John L. Continuity and Infinitesimals // Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, CSLI, Stanford University, 2009. Посетен на 13 декември 2010. (на английски)
  7. Jesseph, Douglas Michael. Leibniz on the Foundations of the Calculus: The Question of the Reality of Infinitesimal Magnitudes // Perspectives on Science 6 (1&2). 1998. OCLC 42413222. p. 6 – 40. Архивиран от оригинала на 2010-02-15. Посетен на 16 февруари 2010. (на английски)