TODO CS의 tuple과 math의 tuple 분리하는 게 좋을 듯. 근데 기준이 명확치 않고 pagename이 마땅치 않음
벡터,vector와의 차이는?

행렬과 벡터는 type이 대개 다 일정한 것 같음 (보통 실수?). 튜플은 전혀 그렇지 않음. (확실)

벡터공간,vector_space과의 관계는?
배열,array과의 차이는?

tuple은 type이 달라도 상관없고 array는 다 같은 것 같은데..

리스트,list와의 차이는 대충 알겠는데.. (list는 size/length가 variable + append/insert/remove/..가 자유로운, .... tuple은 (대체로) 그 반대, ...) (여기까지 PL type얘기임)
수열,sequence과?

집합,set과의 차이는 명확 - 튜플은 순서,order가 중요. 집합은 elements/members의 순서 does not matter.

QQQ 그럼 순서집합,ordered_set과 tuple의 관계는 어떻게 되는건지?

ordered.set tuple

wpen 정의에 따르면 "finite ordered list(sequence) of elements". 즉 순서,order 있는 유한한(유한성,finiteness) 원소,elements들의 리스트/열.

정의에 다음도 참조. 집합,set을 사용한 집합론,set_theory적, 재귀,recursion적 정의. https://chocobear.tistory.com/13

보통
ordered_tuple이지만 { Compare: ordered_set https://proofwiki.org/wiki/Definition:Ordered_Tuple ...

ordered.tuple }
unordered_tuple도 있는데 어쩐담? ... 순서,order

unordered_pair { opp. ordered_pair { https://ncatlab.org/nlab/show/ordered pair } https://ncatlab.org/nlab/show/unordered pair } etc.
https://proofwiki.org/wiki/Definition:Unordered_Tuple

unordered tuple

REL. pair =,pair .
{
페어
쌍
짝

Sub:
ordered_pair

(2-tuple)

수학백과: 순서쌍

두 집합에서 원소를 하나씩 뽑아 얻은 순서쌍들 모두로 이루어진 집합을 곱집합,product_set이라고 한다.

https://ko.wikipedia.org/wiki/순서쌍
https://simple.wikipedia.org/wiki/Ordered_pair
https://en.wikipedia.org/wiki/Ordered_pair

순서쌍

unordered_pair

https://en.wikipedia.org/wiki/Unordered_pair

axiom of pairing
via "In axiomatic_set_theory, the existence of unordered_pair s is required by an axiom, the axiom of pairing."[1]
https://en.wikipedia.org/wiki/Axiom_of_pairing
}

(밑에 언급된 차원 관련 - 좌표, 위치 이런거 정의 말고 수학적인 대상,object? 구조,structure? concept? 정확히 뭐? - 아무튼 이런 것을)
형식적으로 정의,definition할 때(formal_definition) 뭐뭐의 tuple로 정의하는 경우가 많은데, 이에 대해 TBW.

ex.
그래프,graph는 G = (V, E)? 각각 vertex의 집합과 edge의 집합. - chk
문맥자유문법,context-free_grammar,CFG은 (V, T, S, P)로 정의
튜링_기계,Turing_machine는 quadruple T = (Q, Σ, s, δ)로 정의.[2]
DFA(deterministic_finite_automaton)는 (Q, Σ, δ, q₀, F)로 정의.[3]
확률공간,probability_space은 triple (표본공간, 표본공간의 사건들의 집합, 확률함수)로 정의.
Peano_system은 (ℕ, 0, S) (각각 자연수,natural_number 집합, 최소원소least_element, successor_function)과 다섯 가지 성질로 정의.[4]

공간,space n-space(ℝⁿ)의 점,point은 n-tuple of 수,numbers

$(x_1,x_2,\cdots,x_n)$

이다. (n은 양의 정수)

그럼 n은 차원,dimension인가? Arity? Length or size? CHK

숫자들 $x_1,\cdots,x_n$ 은 점의 좌표,coordinate이다.

(Linear Algebra, Lang)

R	real number
R²	ordered pair
R³	ordered triple
Rⁿ	ordered n-tuple

(Zill 7.6 Vector Spaces)

(항,term? 원소,element? 정확히 뭐지? - wpen은 원소라 함. - "finite ordered list(sequence) of elements")의 개수에 따라,
0 null tuple or empty tuple
1 single (singleton)
2 double/couple - 이건 순서쌍,ordered_pair { writing; curr see

순서쌍

Ordered_pair }, Cartesian_product(곱집합,product_set) 와 나중에 비교하여 서술 tbw
3 triple (triplet)
4 quadruple
5 quintuple
6 sextuple
7 septuple
8 octuple ...(5부터 8까지 이 단어들로부터 tuple이라는 단어가 유래)
9 nonuple
10 decuple

이상 n과 (n-tuple의 별칭)임. 예를 들어 n=4일 때 4-tuple = quadruple.

위의 예 (n차원의 좌표 같이 명백한 건 제외하고)

0
이건 뭐가 있지? 궁금하네?

rel. emptiness, 널,null, none, nothing ... 관계가? tbw.
tbd: 공집합,empty_set은 dedicated page가 있는데 혹시 empty_tuple도 그럴 가치가 있을지?

empty.tuple

null.tuple