[일반] 김김계 부록에

[익명(39.7)]

데데킨트 컷이랑 완비순서체 유일성 나옴?

[겨울_(silhouet72)]

자연수 구성은 생략하고 정수, 유리수, 실수 구성하고 이게 실제로 완비순서체임을 보이는 내용인데, 실수를 구성할 때 데데킨트 컷 말고 코시 수열로 완비화시키는 방법을 씀. 유일성 부분은 애초에 1장에 정리로 있고

[33(210.183)]

유일성 증명하는게 연습문제임