Кортеж
Материал из MachineLearning.
(Различия между версиями)
												
			
			 (Новая: '''Кортеж''' — последовательность, упорядоченный список элементов, называемых также «компоненты корте...)  | 
				м   | 
			||
| Строка 1: | Строка 1: | ||
| - | '''Кортеж''' — последовательность  | + | '''Кортеж''' — конечная последовательность элементов, называемых также «компонентами кортежа».   | 
| - | элементов, называемых также   | + | Компоненты могут быть объектами произвольной природы.   | 
| - | быть   | + | Обычно компоненты нумеруются натуральными числами.   | 
| - | + | Кортеж из <tex>n</tex> компонентов называется <tex>n</tex>-кой: парой, тройкой, четверкой {{S|и т. д.}}  | |
| - | компонентов называется <tex>n</tex>-кой: парой, тройкой, четверкой  | + | |
| - | и т. д.  | + | |
Кортеж  | Кортеж  | ||
| - | # может содержать один   | + | # может содержать один элемент более одного раза (и этим он отличаетя от [[упорядоченное множество|упорядоченного множества]]);  | 
| - | # задает порядок объектов (и этим он отличается от [[мультимножество|мультимножества]])  | + | # задает порядок объектов (и этим он отличается от [[мультимножество|мультимножества]]);  | 
| - | # имеет конечное число элементов.  | + | # имеет конечное число элементов (и этим он отличается от произвольного множества).  | 
Два кортежа равны друг другу, если их элементы попарно равны:  | Два кортежа равны друг другу, если их элементы попарно равны:  | ||
| - | <tex>(a_1, a_2, \ldots, a_n) = (b_1, b_2, ldots, b_n) \Leftrightarrow a_1=b_1,a_2=b_2,\ldots,a_n=b_n  | + | <center>  | 
| + | <tex>(a_1, a_2, \ldots, a_n) = (b_1, b_2, \ldots, b_n) \Leftrightarrow a_1=b_1,\;a_2=b_2,\;\ldots,\;a_n=b_n.</tex>  | ||
| + | </center>  | ||
| - | Так как кортеж из <tex>n</tex> элементов индексирован числами <tex>1\ldots n</tex>, он представим в виде функции, определенной на  | + | Так как кортеж из <tex>n</tex> элементов индексирован числами <tex>1\ldots n</tex>, он представим в виде функции, определенной на множестве натуральных чисел:  | 
| - | множестве натуральных чисел:  | + | <tex>(a_1, a_2, \ldots, a_n) \equiv f_a:\; \mathbb{N}\to A,\; i\mapsto a_i.</tex>  | 
| - | <tex>(a_1, a_2, \ldots, a_n) \equiv f_a: \mathbb{N}\  | + | |
Также кортеж может быть описан как множество упорядоченных пар (при <tex>n>2</tex>) вида  | Также кортеж может быть описан как множество упорядоченных пар (при <tex>n>2</tex>) вида  | ||
| - | <tex>(a_1, a_2, \ldots, a_n) = (a_1, (a_2, \ldots, a_n)).</tex>  | + | <tex>(a_1, a_2, \ldots, a_n) = \bigl(a_1, (a_2, \ldots, a_n) \bigr).</tex>  | 
Тогда кортеж из <tex>n</tex> элементов может быть задан индуктивно:  | Тогда кортеж из <tex>n</tex> элементов может быть задан индуктивно:  | ||
# пустой кортеж представлен в виде пустого множества, <tex>\emptyset</tex>,  | # пустой кортеж представлен в виде пустого множества, <tex>\emptyset</tex>,  | ||
| - | # если <tex>x</tex> есть <tex>n</tex>-элементный кортеж , тогда <tex>n+1</tex>-элементный кортеж <tex>\{\{a\},\{a,x\}\}</tex>.  | + | # если <tex>x</tex> есть <tex>n</tex>-элементный кортеж , тогда <tex>n+1</tex>-элементный кортеж <tex>\bigl\{ \{a\},\{a,x\} \bigr\}</tex>.  | 
Например, кортеж <tex>(a,b,b)</tex> представим в виде:  | Например, кортеж <tex>(a,b,b)</tex> представим в виде:  | ||
Версия 10:01, 24 апреля 2008
Кортеж — конечная последовательность элементов, называемых также «компонентами кортежа». 
Компоненты могут быть объектами произвольной природы. 
Обычно компоненты нумеруются натуральными числами. 
Кортеж из  компонентов называется 
-кой: парой, тройкой, четверкой и т. д.
Кортеж
- может содержать один элемент более одного раза (и этим он отличаетя от упорядоченного множества);
 - задает порядок объектов (и этим он отличается от мультимножества);
 - имеет конечное число элементов (и этим он отличается от произвольного множества).
 
Два кортежа равны друг другу, если их элементы попарно равны:
Так как кортеж из  элементов индексирован числами 
, он представим в виде функции, определенной на множестве натуральных чисел:
Также кортеж может быть описан как множество упорядоченных пар (при ) вида
Тогда кортеж из 
 элементов может быть задан индуктивно:
-  пустой кортеж представлен в виде пустого множества, 
,
 -  если 
есть
-элементный кортеж , тогда
-элементный кортеж
.
 
Например, кортеж  представим в виде:

