취미로PS하는사람

Section 0. Preview 앞으로 Analysis에서는 PMA 위주로 김김계의 일부분을 섞어 작성할 것이다. 1장에서는 주로 실수가 무엇인지 배운다. 주요 내용은 완비성(completeness, lubp), 유리수로부터 실수를 구축하는 것(데데킨드 컷), 완비순서체는 실수가 유일한 것 정도이다. 복소수도 간략하게 다룬다. 체의 정의와 성질이나 벡터공간에 관한 것은 다른 분야에서 더 formal하게 다룬다고 생각하여 제외했다. Section 1. Ordered Sets Def 1.1.1 Let $S$ be a set. Order on $S$ is a relation s.t. (1) $x, y \in S \Rightarrow$ only one of $x