선택 공리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
68번째 줄:
== 사용례 ==
공식적인 형식화가 없었음에도 불구하고 19세기 말까지 선택공리는 암묵적으로 수학자들 사이에서 사용되어 왔다. 예를 들어, 집합
한편, 모든 함수가 선택공리를 필요로 하지는 않는다. 유한 집합 <math>X</math>의 경우, 선택공리는 다른 집합론의 공리들로부터 도출될 수 있다. 각각에 적어도 하나의 물건이 담긴 (유한한) 여러 개의 상자들을 상상 해 보자. 이 때 우리는 각 상자에서 정확히 하나의 물건을 선택할 수 있다. 예를 들자면 이런 식이다. 첫 번째 상자에서 물건 한 개를 선택하고, 두 번째 상자로 옮겨 여기서도 물건 한 개를 선택한다. 그 후 세 번째 상자에서도 물건을 하나 선택하고, 이런 방식을 유한한 횟수로 반복해서, 마지막 상자에서 물건을 하나 선택하는 것으로 이 과정을 마칠 수 있다. 이 때, 각 상자에서 하나 씩의 물건을 선택함으로서 보여지는 상자-물건의 관계를 선택 함수에 해당한다고 할 수 있다. 그러나 이런 방법은 공집합이 아닌 집합의 모든 가산 집합족
== 참고 문헌 ==
|