[일반] 집합론 질문 (finite sequence)

[기괴공학도(mecheng98)]

x ㅌ X와 y ㅌ Y에 대하여

(x, y) := {{x}, {x, y}}로 두면

(x, y) ㅌ P(P(X U Y))이잖아요.

(x_1, ..., x_(n + 1)) := ((x_1, ..., x_n), x_(n + 1)) for n > 1로 두면

(x_1, ..., x_(n + 1))은 어떤 집합의 원소인가요?

x_i ㅌ X_i일 때요.

너무 헷갈림 ㅇㅅㅇ

- dc official App

[기괴공학도(mecheng98)]

분리공리꼴에 맞춰 카티지언 곱을 정의하려고요. - dc App

[뽈펜(ieieiei)]

그냥 (x_0, ..., x_{n-1}) 을 n (={0, ..., n-1}) 에서 \cup_{i=0}^{n-1} X_i 로 가는 함수로 보면 안 됨? cartesian product를 보통 그렇게 정의하는데 굳이 형 방식대로 하려는 이유가 있는 건가

[기괴공학도(mecheng98)]

책에 그렇게 나와있어요 ㅇㅅㅇ - dc App

[기괴공학도(mecheng98)]

걍 저도 함수로 보려고요 - dc App

[기괴공학도(mecheng98)]

짱 편하네 ㅋㅋㅋㅋ - dc App