Упорядоченная пара
Упорядоченная пара — запись, указывающая на два объекта и , и фиксирующая порядок, в котором они указаны[1]. Системы оснований математики, например теория множеств, позволяют дать формальное определение . На основе понятия упорядоченной пары можно построить обобщающее его понятие упорядоченного набора — кортежа.
Определение[править | править код]
Если заданы два элемента и Невозможно разобрать выражение (SVG (MathML можно включить с помощью плагина для браузера): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «http://localhost:6011/ru.wikipedia.org/v1/»:): {\displaystyle b} , то множество называется упорядоченной парой и обозначается . При этом элемент называется первым элементом, а элемент — вторым элементом пары[2].
В формальной математике первый элемент упорядоченной пары называется также первой координатой или первой проекцией и обозначается . Аналогично второй элемент пары называется второй координатой или второй проекцией и обозначается [3].
Литература[править | править код]
- ↑ Wolf, Robert S. (1998), Proof, Logic, and Conjecture / The Mathematician's Toolbox, W. H. Freeman and Co., p. 164, ISBN 978-0-7167-3050-7
- ↑ Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970. — С. 67. — 416 с.
- ↑ Бурбаки, Н. Теория множеств / Пер. с франц. — М.: Мир, 1965. — С. 82. — 457 с.
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |