편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
55번째 줄: | 55번째 줄: | ||
== Tuple == | == Tuple == | ||
{{ | {{참조|Tuple}} | ||
<math>\boldsymbol n</math>'''-tuple'''은 <math> n</math>개의 대상을 순서를 고려하여 나열한 것을 말한다. 이는 유한수열과도 같으며, 순서쌍을 이용하여 귀납적으로 정의된다: | <math>\boldsymbol n</math>'''-tuple'''은 <math> n</math>개의 대상을 순서를 고려하여 나열한 것을 말한다. 이는 유한수열과도 같으며, 순서쌍을 이용하여 귀납적으로 정의된다: | ||
64번째 줄: | 64번째 줄: | ||
== 카테시언 곱 == | == 카테시언 곱 == | ||
{{ | {{참조|카테시언 곱}} | ||
정렬된 집합족 <math>\mathcal A =\{A_i\}_{i\in I}</math>와 그 파라미터 <math>I=\{i_j:j=1,\cdots , n\}</math>에 대하여 <math>\prod\mathcal A=\prod _{i\in I}A_i = A_{i_1} \times \cdots \times A_{i_n}:=\{(a_i)_{i\in I}:a_i \in A_i\}=\{(a_{i_1},\cdots, a_{i_n}):a_{i_j}\in A_{i_j}\}</math>을 <math>\mathcal A </math>의 '''카테시언 곱'''(Cartesian<ref>Cartesian은 프랑스의 René Descartes를 뜻한다.</ref> product)이라 한다. | 정렬된 집합족 <math>\mathcal A =\{A_i\}_{i\in I}</math>와 그 파라미터 <math>I=\{i_j:j=1,\cdots , n\}</math>에 대하여 <math>\prod\mathcal A=\prod _{i\in I}A_i = A_{i_1} \times \cdots \times A_{i_n}:=\{(a_i)_{i\in I}:a_i \in A_i\}=\{(a_{i_1},\cdots, a_{i_n}):a_{i_j}\in A_{i_j}\}</math>을 <math>\mathcal A </math>의 '''카테시언 곱'''(Cartesian<ref>Cartesian은 프랑스의 René Descartes를 뜻한다.</ref> product)이라 한다. |