gotjrgkr
01-01-์งํฉ์ ์ฑ์ง๋ค Before We Start… ์ฐ์ ์์ฃผ ์ค์ํ ์ฌ์ค ํ๋๋ฅผ ์ง๊ณ ๋์ด๊ฐ๋๋ก ํ์, ๊ทธ๊ฑด ๋ฐ๋ก ์ด ์ธ์์ ๋ชจ๋ ๊ฑด ์ถ์ ์ ํตํด ๋ง๋ค์ด์ง ๊ฒ์ด๋ค. ์ฆ ์ฐ๋ฆฌ๋ ์ด์ ๋ถํฐ ์์ฐ์, ์ ๋ฆฌ์ ,์ ์๋ฅผ ์ ๋ถ ์ฐ๋ฆฌ๊ฐ ์๋ฐํ ์ ์ ๋ฅผ ํตํด์ ๋ง๋ค์ด๋ธ ๋์ ์ผ๋ก ๋ณด์์ผ ํ๋ค๋ ๊ฒ์ด๋ค. Pasted image 20260323032530.png ์ค์์ ์ ์ (“๊ฑด์ถ”) [!์ ์] N = { 1 , 2 , 3 , … } Z = { − 3 , − 2 , − 1 , 0 , 1 , 2 , 3 , … } Q = { n m | n , m ∈ Z , m >≠ 0 } ์ ํตํด์ ์ฐ๋ฆฌ๋ ์์ฐ์,์ ์,์ ๋ฆฌ์๋ฅผ ์ ์ํ๋ค. ์ด์ ๋๋ฉด ์ถฉ๋ถํ๊ฒ ๋ง์ ์ข
๋ฅ์ ์๋ค์ “์ ์” ํ๋ค๊ณ ๋ ํ ์ ์์ง๋ง, ์์ง ์ฐ๋ฆฌ๋ ๋ง์ด ๋ถ์กฑํ๋ค. x 2 = 2 ๋ฅผ ๋ง์กฑํ๋ ํด x ๊ฐ ์กด์ฌํ๋๊ฐ? ๋ผ๋ ์ง๋ฌธ์ ๋ํด ์ฐ๋ฆฌ๋ (๊ท๋ฅ๋ฒ์ ํตํด์) “๊ทธ๋ฐ ์ ๋ฆฌ์๋ ์๋ค” ๋ผ๋ ๋ต๋ณ์ ์ป๋๋ค. ํ์ง๋ง ์ฌ๊ธฐ์ “์ ์์ ๋ง์กฑํ๋ ์๋ก์ด ์” ๋ฅผ “์ ์” ํ ์ ์๊ฒ ๋๋ค . (์ด๊ฒ์ด ์ค์!) 1 ์ฐ์ ์ค์์ formal ํ ์ ์๋ฅผ ์์๋ณด๋๋ก ํ์. ํด์ํ์ ์คํ ๋ค๋ ๊ต์ ์ธ ๋ฃจ๋์ ์ฑ
์ ๋ฐ๋ฅด๋ฉด ์ค์ R ๋ “์ต์์๊ณ ์ฑ์ง(least-upper-bound property)์ ๊ฐ์ง๋ ์์์ฒด(ordered field)” ์ด๋ผ๊ณ ํ๋ค (?) ์๋ฌด๋๋ ์ดํด๋ฅผ ํ๋ ค๋ฉด ์ข๋ ๊ณต๋ถ๊ฐ ํ์ํด ๋ณด์ธ๋ค. ์์ ์งํฉ ์ฐ์ ์์ ์งํฉ(Ordered) ์ ๋ํด ์์๋ณด์. [!์ ์] ์์ ์ด๋ค ์งํฉ S ์ ๋ํ์ฌ < ๋ผ๋ ๊ธฐํธ๋ฅผ ์ด์ฉํ์ฌ ๋ํ๋ผ์ ์๋ ๊ด๊ณ๊ฐ ์๊ณ , ์๋์ ๋ ์กฐ๊ฑด์ ๋ง์กฑํ๋ฉด ์์๊ฐ ์๋ค ๋ผ๊ณ ํ๋ค. ( x , y , z ∈ S ) 1. Law of trichotomy (์ผ๋ถ๋ฒ์น): x < y , x = y , y < x ์ค ์ค์ง ํ๋๋ง ์ฐธ์ด๋ค 2. Transitivity (์ถ์ด์ฑ): x < y , ...