튜플

틀:위키데이터 속성 추적 튜플(틀:Lang)은 셀 수 있는 수량의 순서 있는 열거이다. 틀:Mvar 개의 요소를 가진 튜플을 틀:Mvar-튜플(틀:Lang) 또는 틀:Mvar중쌍, 틀:Mvar짝이라고 한다. 비어 있는 열은 유일한 0-튜플이다. 임의의 틀:Mvar-튜플은 순서쌍의 개념을 이용하여 재귀적으로 정의된다. 튜플은 다른 수학 개념들(예를 들어 벡터)을 나타내는 데에 자주 사용된다.

튜플은 보통 원소들을 괄호 '( )'안에 쉼표 ','로 구분되게 나열하여 표시한다. 5-튜플의 예를 들면 틀:수학와 같다. 때로는 대괄호 '[ ]'나 화살괄호 '< >'와 같은 다른 부호를 사용하기도 한다. 중괄호 '{ }'는 집합을 표시할 때 쓰이기 때문에 튜플 표시에는 사용하지 않는다.

컴퓨터 과학에서 튜플은 어떤 요소의 집합, 혹은 테이블에서의 행을 가리킨다(레코드와 동일한 의미). 단, 일반적인 집합과는 달리 중복이 허용될 수 있다.

튜플의 개념은 언어학^[1]과 철학^[2]에서도 사용된다.

길이에 따른 튜플의 이름

튜플의 길이, $n$	이름	다른 이름
0	empty tuple	null tuple / empty sequence / unit / 0튜플
1	monuple	single / singleton / monad / 1튜플
2	couple	double / ordered pair / two-ple / twin / dual / duad / dyad / twosome / 2튜플
3	triple	treble / triplet / triad / ordered triple / threesome
4	quadruple	quad / tetrad / quartet / quadruplet
5	quintuple	pentuple / quint / pentad
6	sextuple	hextuple / hexad
7	septuple	heptuple / heptad
8	octuple	octa / octet / octad / octuplet
9	nonuple	nonad / ennead
10	decuple	decad / decade (antiquated)
11	undecuple	hendecuple / hendecad
12	duodecuple	dozen / duodecad
13	tredecuple	baker's dozen
14	quattuordecuple	double septuple
15	quindecuple	triple quintuple
16	sexdecuple	quadruple quadruple
17	septendecuple
18	octodecuple
19	novemdecuple
20	vigintuple
21	unvigintuple
22	duovigintuple
23	trevigintuple
24	quattuorvigintuple
25	quinvigintuple
26	sexvigintuple
27	septenvigintuple
28	octovigintuple
29	novemvigintuple
30	trigintuple
31	untrigintuple
32	duotrigintuple
40	quadragintuple
41	unquadragintuple
50	quinquagintuple
60	sexagintuple
70	septuagintuple
80	octogintuple
90	nongentuple
100	centuple
1,000	milluple	chiliad

성질

튜플의 기본 성질은 두 튜플이 같을 필요충분조건으로 나타내어진다. 일반적으로 두 틀:Mvar-튜플

(a_{1}, a_{2}, \dots, a_{n})

(b_{1}, b_{2}, \dots, b_{n})

이 같다는 건 같은 위치의 성분이 각각 같다는 것, 즉 다음과 동치이다.

a_{1} = b_{1}, a_{2} = b_{2}, \dots, a_{n} = b_{n}

때문에 튜플은 집합과 구분되는 여러 성질을 갖는다.

중복된 원소가 있을 수 있다. 튜플의 원소를 중복해서 쓰면 다른 튜플이 된다. 예: 틀:수학, 하지만 집합 틀:수학
정해진 순서가 있다. 튜플의 원소의 순서를 바꾸면 다른 튜플이 될 수 있다. 예: 틀:수학, 하지만 집합 틀:수학
튜플의 원소의 개수는 유한하다. 하지만 집합, 중복집합은 원소 개수가 무한할 수도 있다.

정의법

튜플에게 위의 성질을 부여할 수 있는 정의법으로 다음이 있다.

함수

틀:Mvar-튜플을 튜플의 성분들의 첨수들의 집합을 정의역, 튜플의 성분들이 이루는 집합을 공역으로 하는 함수로 정의할 수 있다. 즉 형식적으로

(a_{1}, a_{2}, \dots, a_{n}) \equiv (X, Y, F)

여기서

X = {1, 2, \dots, n}

Y = {a_{1}, a_{2}, \dots, a_{n}}

F = {(1, a_{1}), (2, a_{2}), \dots, (n, a_{n})}

덜 형식적인 표현은 다음과 같다.

(a_{1}, a_{2}, \dots, a_{n}) : = (F (1), F (2), \dots, F (n))

내포된 순서쌍

집합론에서 쓰이는 한 가지 방법은 튜플을 내포된(nested) 순서쌍으로서 정의하는 것이다. 순서쌍은 미리 정의하여야 한다.

0-튜플, 즉 비어있는 튜플은 공집합 틀:수학로 정의한다.
양의 정수 틀:Mvar에 대해, 틀:Mvar-튜플은 틀:Mvar-튜플의 첫 성분을 첫 성분으로 하고, 나머지 성분들로 이루어진 틀:수학-튜플을 둘째 성분으로 하는 순서쌍이다.
$(a_{1}, a_{2}, a_{3}, \dots, a_{n}) = (a_{1}, (a_{2}, a_{3}, \dots, a_{n}))$

이 정의를 조금 큰 틀:Mvar에 대해 펼쳐보면 다음과 같다.

(a_{1}, a_{2}, a_{3}, \dots, a_{n}) = (a_{1}, (a_{2}, (a_{3}, (\dots, (a_{n - 2}, (a_{n - 1}, (a_{n}, \emptyset))) \dots))))

예를 들면

(1, 2, 3, 4) = (1, (2, 3, 4)) = (1, (2, (3, 4))) = (1, (2, (3, (4, \emptyset))))

위 정의에서 방향만 바뀐 경우인 다음의 정의법도 있다.

0-튜플은 공집합이다.
틀:수학에 대해, 틀:Mvar-튜플은 다음과 같은 순서쌍이다.
$(a_{1}, a_{2}, \dots, a_{n - 1}, a_{n}) = ((a_{1}, a_{2}, \dots, a_{n - 1}), a_{n})$

내포된 집합

두번째 정의법에서 순서쌍의 쿠라토프스키 정의를 쓰면 튜플을 집합만으로 정의내릴 수 있다.

0-튜플은 공집합 틀:수학이다.
틀:Mvar를 틀:Mvar-튜플 틀:수학이라 하자. 끝에 틀:Mvar를 추가한 튜플 틀:수학는 다음과 같은 집합이다.
$x \to b \equiv {{x}, {x, b}}$

예를 들면

\begin{matrix} () & = & \emptyset \\ (1) & = & () \to 1 & = & {{()}, {(), 1}} \\ = & {{\emptyset}, {\emptyset, 1}} \\ (1, 2) & = & (1) \to 2 & = & {{(1)}, {(1), 2}} \\ = & {{{{\emptyset}, {\emptyset, 1}}}, \\ {{{\emptyset}, {\emptyset, 1}}, 2}} \\ (1, 2, 3) & = & (1, 2) \to 3 & = & {{(1, 2)}, {(1, 2), 3}} \\ = & {{{{{{\emptyset}, {\emptyset, 1}}}, \\ {{{\emptyset}, {\emptyset, 1}}, 2}}}, \\ {{{{{\emptyset}, {\emptyset, 1}}}, \\ {{{\emptyset}, {\emptyset, 1}}, 2}}, 3}} \end{matrix}

틀:Mvar 원소 집합의 틀:Mvar-튜플

이산수학, 특히 조합론과 (유한) 확률론에서, 틀:Mvar-튜플은 세기 문제 등 다양한 곳에서 등장하며, 덜 엄밀하게 길이 틀:Mvar의 순서있는 목록으로서 처리된다.^[3] 틀:Mvar 개의 원소를 가진 집합에서 원소를 취한 틀:Mvar-튜플을 중복순열이라고 부른다. 이러한 튜플의 수는 틀:수학이다(곱 규칙에 의해).^[4] 다른 관점에서, 집합 틀:Mvar의 크기가 틀:Mvar이라면, 곱집합 틀:수학의 크기는 틀:수학이다.

형 이론

틀:빈 문단

같이 보기

각주

틀:각주

참고 문헌

틀:인용

틀:전거 통제

[1] 틀:웹 인용

[2] 틀:웹 인용

[3] 틀:괄호 없는 하버드 인용

[4] 틀:Harvnb

[1]

[2]

[3]

[4]

튜플

목차

길이에 따른 튜플의 이름

성질

정의법

함수

내포된 순서쌍

내포된 집합

틀:Mvar 원소 집합의 틀:Mvar-튜플

형 이론

같이 보기

각주

참고 문헌

둘러보기 메뉴

튜플

길이에 따른 튜플의 이름

성질

정의법

함수

내포된 순서쌍

내포된 집합

틀:Mvar 원소 집합의 틀:Mvar-튜플

형 이론

같이 보기

각주

참고 문헌

둘러보기 메뉴

검색