Наредена двойка: Разлика между версии
Изтрито е съдържание Добавено е съдържание
мРедакция без резюме |
мРедакция без резюме |
||
Ред 5:
Наредена двойка с първи елемент <math>a</math> и втори елемент <math>b</math> се бележи с <math>(a,b)</math>
или <span style="white-space:nowrap;"><math>\langle</math><math>a,b</math><math>\rangle</math></span>.
Във формализираните на основата на [[Теория на множествата|теорията на множествата]] математически теории
(''вж.'' [[Никола Бурбаки]]) всеки математически обект е множество.
Това позволява ''наредена двойка'' да се дефинира чрез <span style="white-space:nowrap;"><math>(a,b):=\{\{a\},\{a,b\}\}</math></span> (предложение на [[Кажимеж Куратовки]], 1921 г.) или <span style="white-space:nowrap;"><math>(a,b):=</math><math>\{\{\{a\},</math><math>\!^\emptyset</math><math>\},\{\{b\}\}\}</math></span>
(предложение на [[Норберт Винер]], 1914 г.).
Формално записана дефинцията на Куратовски гласи: Едно множество <math>A</math> e наредна двойка тогава и само тогава, когато
<span style="white-space:nowrap;"><math>\!^\exist</math> <math>a</math> <math>\!^\exist</math> <math>b</math> <math>(A=\{\{a\},\{a,b\}\})</math></span>.
▲Формално записана дефинцията на Куратовски гласи: Едно множество <math>A</math> e наредна двойка тогава и само тогава, когато <span style="white-space:nowrap;"><math>\!^\exist</math> <math>a</math> <math>\!^\exist</math> <math>b</math> <math>(A=\{\{a\},\{a,b\}\})</math></span>.
==Литература==
| |||