검색

…정의3. 여담1. 개요[편집]임의의 집합에서, 심지어 그 집합이 무한집합이더라도, 어떠한 요소를 반드시 선택할 수 있는 선택함수가 반드시 존재한다는 공리.2. 정의[편집]∀S(∅∉S⇒∃f:S→⋃S  ∀A∈S(f(A)∈A))forall Sleft(varnothingnotin SRightarrowexists f:Stobigcup S;forall Ain S(f(A)in A)right)∀S(∅∈/S⇒∃f:S→…

…x⪯y∧y⪯x→x=y) (반대칭성; anti-symmetricity)∀x,y,z∈A(x⪯y∧y⪯z→x⪯z)forall x, y, z in A (x preceq y land y preceq z to x preceq z)∀x,y,z∈A(x⪯y∧y⪯z→x⪯z) (추이성; transitivity)3. 기타[편집]일반적으로 유한집합은 전순서 집합이어야 정렬이 가능하다. 무한집합을 정렬하기 위해선... 선택공리를 살펴보자.

…하지 않다는 이유로 교과서에서 이 방법을 구체적으로 안 알려주는 경우도 있는데, 졸라 많이 쓴다. 익숙해져라. 저렇게 쓰면 보통 위에건 유한집합, 아래건 무한집합이라는 뜻이다.A={x1,x2,x3,…,xn}B={x1,x2,x3,… }begin{aligned}A &= {x_1, x_2, x_3, dots…