튜플: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
잔글편집 요약 없음 |
||
18번째 줄:
# 정해진 순서가 있다. 튜플의 원소들의 순서를 바꾸면 다른 튜플이 될 수 있다.
#: <math>(1,2,3)\ne(3,2,1)</math>, 하지만 <math>\{1,2,3\}=\{3,2,1\}</math>
# 튜플의 원소의 개수는 유한하다. 하지만 [[집합]], 그리고 [[중복집합]]은 원소 개수가 무한할
== 정의 ==
다음은 튜플에게
=== 함수 ===
<math>n</math>-튜플을
:<math>(a_1,a_2,\
여기서
:<math>X=\{1,2,\ldots,
:<math>Y=\{a_1,a_2,\ldots,a_n\}</math>
:<math>F=\{(1,a_1),(2,a_2),\ldots,(n,a_n)\}</math>, 즉 <math>\forall k\in\{1,2,\ldots,n\}:f(k)=a_k</math>
37번째 줄:
[[집합론]]에서는 튜플을 내포된 (nested) [[순서쌍]]으로 정의한다. 이 방법에서도 그 전에 순서쌍의 정의를 마쳐야 한다.
# 0-튜플, 즉 비어있는 튜플은 [[공집합]] <math>\emptyset</math>로 정의한다.
# (''n''-1)-튜플이 정의되었을 때, ''n''-튜플은
#: <math>(a_1,a_2,a_3,\ldots,a_n)=(a_1,(a_2,a_3,\ldots,a_n))</math>
| |||