투영(세트 이론)

집합론에서 투영은 함수나 연산의 두 가지 밀접하게 관련된 유형 중 하나이며, 즉 다음과 같다.

Aset-theoretic 작업을jth 프로젝션 지도에 의하여 대표되고 쓰여진 p r 아 jj{\displaystyle \mathrm{proj}_{j}}, 차지하는 요소)→)(x1,…,)j,…,)k){\displaystyle{\vec{)}}=(x_{1},\ \ldots{j},\ \ldots ,\ x_{k}x_ ,\)}의 데카르트 곱(X1×⋯×Xj×⋯×. $(X_{1}\times \cdots \times X_{j}\times \cdots \times X_{k})$ $(X_{1}\times \cdots \times X_{j}\times \cdots \times X_{k})$ ) $(X_{1}\time \cdots \time X_{j}\time X_{k}$ 값 $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ ( $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ → $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ ) $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ = $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ j = x $\mathrm {proj} _{j}({\vec {x}})=x_{j}$ ${\$ ^[1]
지정된 동등성 관계 E에 따른 동등성 등급으로 요소 x를 보내는 함수,^[2] 또는 동등하게 집합에서 다른 집합으로 추론하는 함수.^[3]요소에서 동등성 등급까지의 함수는 추론이며, 모든 추론은 동일한 이미지를 가질 때 두 요소가 등가되는 동등성 관계에 해당한다.Mapping의 결과는 E가 이해되면 [x]로, E를 명시적으로 할 필요가 있을 때는 [x]_E로 작성한다.

참고 항목

^ Halmos, P. R. (1960), Naive Set Theory, Undergraduate Texts in Mathematics, Springer, p. 32, ISBN 9780387900926.
^ Brown, Arlen; Pearcy, Carl M. (1995), An Introduction to Analysis, Graduate Texts in Mathematics, vol. 154, Springer, p. 8, ISBN 9780387943695.
^ Jech, Thomas (2003), Set Theory: The Third Millennium Edition, Springer Monographs in Mathematics, Springer, p. 34, ISBN 9783540440857.

이 세트 이론 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.