Наредена двойка: Разлика между версии

Изтрито е съдържание Добавено е съдържание
м Робот Добавяне: simple:Ordered pair
м Cyrlat: 2 repl;
Ред 1:
'''Наредената двойка''' е понятие с фундамантално значение за математиката. То се използва при дефиницията на друго важно математическо понятие: [[функция]]. ''Наредена двойка'' се дефинира по-различен начин, но винаги така, че да са изпълнени следните две условия:
*за всяка наредна двойка могат да се определят точно два (не непременно различни) индивидууми единият, от които се нарича първи, а другия втори елемент на наредената двойка,
*за всеки два индивидyумииндивидууми <math>a</math> и <math>b</math> съществува точно една наредена двойка, така че <math>a</math> да е нейният първи елемент, а <math>b</math> - вторият.
 
Наредена двойка с първи елемент <math>a</math> и втори елемент <math>b</math> се бележи с <math>(a,b)</math>
Ред 9:
Това позволява ''наредена двойка'' да се дефинира чрез <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 наред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>.