편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
61번째 줄: | 61번째 줄: | ||
: <math>(a_1, a_2, \cdots, a_n) := ((a_1, a_2, \cdots , a_{n-1}),a_n).</math> | : <math>(a_1, a_2, \cdots, a_n) := ((a_1, a_2, \cdots , a_{n-1}),a_n).</math> | ||
이와 일대일 대응인 정의로는 [[함수]]를 이용한 정의<ref>함수(의 그래프)는 순서쌍들의 집합이다.</ref>가 있다: <math>(a_1, \cdots, a_n)=f:i \mapsto a_i = \{(i, a_i):i\in\{1, \cdots, n\}\}</math>. 부연 설명을 붙이자면, 위의 방식으로는 <math>(4, 5, 6) := ((4, 5), 6) = \{\{(4, 5)\}, \{(4, 5), 6\}\}</math>이고, 아래의 방식으로는 <math>(4, 5, 6) := \{(1, 4), (2, 5), (3, 6)\}</math>로 정의되는 것이다. 즉 위의 방식은 순서쌍을 이용한 귀납적인 정의, 아래의 방식은 함수([[수열]])로의 정의이다. | 이와 일대일 대응인 정의로는 [[함수 (수학)|함수]]를 이용한 정의<ref>함수(의 그래프)는 순서쌍들의 집합이다.</ref>가 있다: <math>(a_1, \cdots, a_n)=f:i \mapsto a_i = \{(i, a_i):i\in\{1, \cdots, n\}\}</math>. 부연 설명을 붙이자면, 위의 방식으로는 <math>(4, 5, 6) := ((4, 5), 6) = \{\{(4, 5)\}, \{(4, 5), 6\}\}</math>이고, 아래의 방식으로는 <math>(4, 5, 6) := \{(1, 4), (2, 5), (3, 6)\}</math>로 정의되는 것이다. 즉 위의 방식은 순서쌍을 이용한 귀납적인 정의, 아래의 방식은 함수([[수열]])로의 정의이다. | ||
== 카테시언 곱 == | == 카테시언 곱 == |