เชธเช‚เช–เซเชฏเชพเชธเช‚เชนเชคเชฟ (Number System) : เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพเช“เชฅเซ€ เชถเชฐเซ‚ เช•เชฐเซ€ เช•เซเชฐเชฎเชถ: เชชเซ‚เชฐเซเชฃเชพเช‚เช•เซ‹, เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพเช“, เชตเชพเชธเซเชคเชตเชฟเช• เชธเช‚เช–เซเชฏเชพเช“ เชคเชฅเชพ เช›เซ‡เชฒเซเชฒเซ‡ เชธเช‚เช•เชฐ เชธเช‚เช–เซเชฏเชพเช“ เชธเซเชงเซ€ เชตเชฟเช•เชธเชคเซ‹ เชธเช‚เช–เซเชฏเชพเช—เชฃ.

เช—เชฃเชฟเชคเชœเซเชž เช•เซเชฐเซ‰เชจเซ‡เช•เชฐเซ‡ เช•เชนเซเชฏเซเช‚ เช›เซ‡ เช•เซ‡ เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพเช“ 1, 2, 3, 4, ……… เชˆเชถเซเชตเชฐเชฆเชคเซเชค เช›เซ‡, เชฌเชพเช•เซ€ เชฌเชงเซ€ เชธเช‚เช–เซเชฏเชพเช“ เชฎเชพเชจเชตเซ€เชจเซเช‚ เชธเชฐเซเชœเชจ เช›เซ‡. เชฎเชพเชจเชตเซ€ เช—เชฃเชคเชฐเซ€ เช•เชฐเชคเซ‹ เชฅเชพเชฏ เชเชŸเชฒเซ‡ เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพเช“เชจเซ‡ เช“เชณเช–เชคเซ‹ เชฅเชพเชฏ. เชคเซ‡เชฎเชจเชพ เชธเชฐเชตเชพเชณเชพ, เช—เซเชฃเชพเช•เชพเชฐ เชตเช—เซ‡เชฐเซ‡ เช•เซเชฐเชฟเชฏเชพเช“เชฅเซ€ เชชเชฐเชฟเชšเชฟเชค เชฅเชพเชฏ; เชชเชฐเช‚เชคเซ เชœเซ‡เชฎ เชœเซ‡เชฎ เชคเซ‡เชจเชพ เชตเซเชฏเชตเชนเชพเชฐเซ‹ เชตเชงเชคเชพ เชœเชพเชฏ เชคเซ‡เชฎ เช•เซ‡เชตเชณ เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพเช“เชจเซเช‚ เชœเซเชžเชพเชจ เช…เชชเซ‚เชฐเชคเซเช‚ เช›เซ‡ เชเชฎ เชคเซ‡เชจเซ‡ เชฒเชพเช—เซ‡. 3 เชตเชธเซเชคเซเช“ 5 เชตเซเชฏเช•เซเชคเชฟเช“ เชตเชšเซเชšเซ‡ เชธเชฐเช–เซ‡ เชญเชพเช—เซ‡ เชตเชนเซ‡เช‚เชšเชตเชพเชจเซ€ เชนเซ‹เชฏ เชคเซ‹ เชฆเชฐเซ‡เช•เชจเซ‡ เชญเชพเช—เซ‡ เช•เซ‡เชŸเชฒเซ€ เชตเชธเซเชคเซ เช†เชตเซ‡ เชคเซ‡เชจเซ‹ เช‰เชคเซเชคเชฐ เช•เซ‹เชˆ เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพ เชคเชฐเซ€เช•เซ‡ เชจ เชฎเชณเซ‡. เช เชœ เชชเซเชฐเชฎเชพเชฃเซ‡ 8เชฎเชพเช‚เชฅเซ€ 10 เชฌเชพเชฆ เช•เชฐเซ€เช เชคเซ‹เชชเชฃ เชœเชตเชพเชฌเชฎเชพเช‚ เช•เซ‹เชˆ เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพ เชจ เชฎเชณเซ‡. เช†เชฎ เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพเช“ เช…เชชเซ‚เชฐเชคเซ€ เช›เซ‡ เชเชฎ เชฎเชพเชจเชตเซ€เชจเซ‡ เชธเชฎเชœเชพเชฏ เช…เชจเซ‡ เชคเซ‡เชจเซ‡ เช…เชชเซ‚เชฐเซเชฃเชพเช‚เช•เซ‹ เช•เซ‡ เช‹เชฃ เชชเซ‚เชฐเซเชฃเชพเช‚เช•เซ‹เชจเซ€ เชœเชฐเซ‚เชฐ เชฒเชพเช—เซ‡. เช† เชฌเชงเซ€ เชœเชฐเซ‚เชฐเชคเซ‹ เชชเซ‚เชฐเซ€ เช•เชฐเชตเชพ เชฎเชพเชจเชตเซ€ เชจเชตเซ€ เชจเชตเซ€ เชธเช‚เช–เซเชฏเชพเช“ เชฌเชจเชพเชตเชคเซ‹ เช—เชฏเซ‹ เช…เชจเซ‡ เชเชฎ เชธเช‚เช–เซเชฏเชพเชธเช‚เชนเชคเชฟ เชตเชฟเช•เชธเชคเซ€ เช—เชˆ. เชเชคเชฟเชนเชพเชธเชฟเช• เชฐเซ€เชคเซ‡ เชคเซ‹ เช† เชฌเชงเซ‹ เชตเชฟเช•เชพเชธ เชœเซเชฏเชพเชฐเซ‡ เชœเซ‡ เชœเชฐเซ‚เชฐ เชชเชกเซ‡ เชคเซ‡ เชธเช‚เชคเซ‹เชทเชตเชพ เชฎเชพเชŸเซ‡ เชคเชพเชคเซเช•เชพเชฒเชฟเช• เชชเช—เชฒเชพเช‚ เชฒเชˆ เชฅเชคเซ‹ เชนเชคเซ‹ เชชเชฃ เช“เช—เชฃเซ€เชธเชฎเซ€ เชธเชฆเซ€เชฎเชพเช‚ เช‡เชŸเชพเชฒเชฟเชฏเชจ เช—เชฃเชฟเชคเซ€ เชชเซ€เชเชจเซ‹เช เช† เชตเชฟเช•เชพเชธเชจเซ‡ เชถเชพเชธเซเชคเซเชฐเซ€เชฏ เชชเชพเชฏเชพ เชชเชฐ เชฎเซ‚เช•เซ€ เชธเช‚เช–เซเชฏเชพเชธเช‚เชนเชคเชฟเชจเซ€ เชตเซˆเชœเซเชžเชพเชจเชฟเช• เช‡เชฎเชพเชฐเชค เชŠเชญเซ€ เช•เชฐเซ€. เชชเซ€เชเชจเซ‹เช เชœเซ‹เชฏเซเช‚ เช•เซ‡ เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพเช—เชฃ Nเชฎเชพเช‚ เชคเซ‡เชจเซ€ เชฒเช˜เซเชคเชฎ เชธเช‚เช–เซเชฏเชพ 1เชจเซเช‚ เชตเชฟเชถเซ‡เชท เชฎเชนเชคเซเชคเซเชต เช›เซ‡. เชตเชณเซ€ เชฆเชฐเซ‡เช• เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพเชจเซ‡ เชเช• เช…เชจเซเช—เชพเชฎเซ€ (successor) เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพ เช›เซ‡. 1เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€ 2, 2เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€ 3 เชตเช—เซ‡เชฐเซ‡ เช›เซ‡. เชตเชณเซ€ เช† เชฐเซ€เชคเซ‡ เช•เชฐเชคเชพเช‚ เชตเชนเซ‡เชฒเชพเช‚ เช•เซ‡ เชฎเซ‹เชกเชพเช‚ เชฆเชฐเซ‡เช• เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพ เชธเซเชงเซ€ เชชเชนเซ‹เช‚เชšเซ€ เชถเช•เชพเชฏ เช›เซ‡; เชฆเชพ.เชค., 25 เชเช• เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพ เช›เซ‡ เชคเซ‹ 1เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€ 2, 2เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€ 3, 3เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€ 4 เชเชฎ เช•เชฐเชคเชพเช‚ เช•เชฐเชคเชพเช‚ เช›เซ‡เชตเชŸเซ‡ 25 เชธเซเชงเซ€ เชชเชนเซ‹เช‚เชšเซ€ เชœ เชถเช•เชพเชฏ เชคเซ‡เชตเซ€ เชคเซ‡เชฃเซ‡ เชชเซ‚เชฐเซเชตเชงเชพเชฐเชฃเชพ เชธเซเชตเซ€เช•เชพเชฐเซ€. (เช† เชœ เช—เชฃเชฟเชคเซ€เชฏ เช…เชจเซเชฎเชพเชจเชจเซ‹ เชธเชฟเชฆเซเชงเชพเช‚เชค เช›เซ‡.)

เช† เชชเช›เซ€ เชชเซ€เชเชจเซ‹เช Nเชฎเชพเช‚ เชธเชฐเชตเชพเชณเชพเชจเซ€ เชตเซเชฏเชพเช–เซเชฏเชพ เช†เชชเซ€. เช•เซ‹เชˆ เชชเชฃ เชชเซเชฐเชพเช•เซƒเชคเชฟเช• เชธเช‚เช–เซเชฏเชพ n เชฎเชพเชŸเซ‡ n + 1 เชเชŸเชฒเซ‡ nเชจเซ€ เช…เชจเซเช—เชพเชฎเซ€, n + 2 เชเชŸเชฒเซ‡ n + (1เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€) เชเชŸเชฒเซ‡ เชตเซเชฏเชพเช–เซเชฏเชพ เชชเซเชฐเชฎเชพเชฃเซ‡ n + 2 เชเชŸเชฒเซ‡ (n + 1)เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€. เช เชœ เชชเซเชฐเชฎเชพเชฃเซ‡ n + 3 เชเชŸเชฒเซ‡ n + 2เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€ เช…เชจเซ‡ เชเชฎ เช†เช—เชณ. เช† เชฐเซ€เชคเซ‡ เชฌเชงเชพ เชœ n, m โˆˆ N เชฎเชพเชŸเซ‡ n + mเชจเซ€ เชตเซเชฏเชพเช–เซเชฏเชพ เช…เชชเชพเชˆ เชœเชพเชฏ. เชธเชฐเชตเชพเชณเชพเชจเซ€ เช† เช•เซเชฐเชฟเชฏเชพ เช•เซเชฐเชฎ เชคเซ‡เชฎ เชœ เชœเซ‚เชฅเชจเชพ เชจเชฟเชฏเชฎเชจเซ‡ เช…เชจเซเชธเชฐเซ‡ เช›เซ‡ เชคเซ‡ เชฆเชฐเซเชถเชพเชตเซ€ เชถเช•เชพเชฏ.

เชนเชตเซ‡ เชชเซ€เชเชจเซ‹ Nเชฎเชพเช‚ เช—เซเชฃเชพเช•เชพเชฐเชจเซ€ เชตเซเชฏเชพเช–เซเชฏเชพ เช† เชฐเซ€เชคเซ‡ เช†เชชเซ‡ เช›เซ‡. เช•เซ‹เชˆ เชชเชฃ n โˆˆ N เชฎเชพเชŸเซ‡ n.1 = n, n.2 = n + n, n.3 = 2n + n เชตเช—เซ‡เชฐเซ‡. เช† เช—เซเชฃเชพเช•เชพเชฐ เชชเชฃ เช•เซเชฐเชฎ เชคเชฅเชพ เชœเซ‚เชฅเชจเชพ เชจเชฟเชฏเชฎเชจเซ‡ เช…เชจเซเชธเชฐเซ‡ เช›เซ‡ เชคเชฅเชพ เช—เซเชฃเชพเช•เชพเชฐเชจเซเช‚ เชตเชฟเชญเชพเชœเชจ เชธเชฐเชตเชพเชณเชพ เชชเชฐ เชฅเชพเชฏ เช›เซ‡.

Nเชฎเชพเช‚ เช•เซเชฐเชฎเชธเช‚เชฌเช‚เชง เชชเชฃ เช›เซ‡. n, m โˆˆ N เชฎเชพเชŸเซ‡ เชœเซ‹ k โˆˆ N เชเชตเซ‹ เชฎเชณเซ‡ เช•เซ‡ n + k = m เชคเซ‹ n < m เชเชตเซ€ เชตเซเชฏเชพเช–เซเชฏเชพ เช›เซ‡. Nเชจเชพ เชชเซเชฐเชคเซเชฏเซ‡เช• เช…เชฐเชฟเช•เซเชค เช‰เชชเช—เชฃเชฎเชพเช‚ เชเช• เชฒเช˜เซเชคเชฎ เชธเชญเซเชฏ เชนเซ‹เชฏ เช›เซ‡ เชคเซ‡ Nเชจเซ‹ เชฒเชพเช•เซเชทเชฃเชฟเช• เช—เซเชฃเชงเชฐเซเชฎ เช›เซ‡. เชเชจเซ‡ Nเชฎเชพเช‚เชจเซ‹ เชธเซเช•เซเชฐเชฎเชคเชพเชจเซ‹ เชธเชฟเชฆเซเชงเชพเช‚เชค (well-ordering principle) เช•เชนเซ‡ เช›เซ‡.

Nเชฎเชพเช‚ เช•เซ‡เชŸเชฒเซ€เช• เชคเซเชฐเซเชŸเชฟเช“ เชชเชฃ เช›เซ‡. เชœเซ‹ n, m โˆˆ N เชคเซ‹ n + k = m เชฅเชพเชฏ เชคเซ‡เชตเซ‹ k โˆˆ N เชฎเชณเซ‡ เชœ เชเชตเซ€ เช•เซ‹เชˆ เช–เชพเชคเชฐเซ€ เชจเชฅเซ€ (เชฌเซ€เชœเชพ เชถเชฌเซเชฆเซ‹เชฎเชพเช‚ mย  n Nเชฎเชพเช‚ เชœ เชนเซ‹เชฏ เชคเซ‡เชฎ เชจ เช•เชนเซ€ เชถเช•เชพเชฏ), เช† เชœ เชชเซเชฐเชฎเชพเชฃเซ‡ nu = m เชฅเชพเชฏ เชคเซ‡เชตเซ‹ n โˆˆ Nเชฎเชพเช‚ เชฎเชณเซ‡ เชคเซ‡ เชชเชฃ เชœเชฐเซ‚เชฐเซ€ เชจเชฅเซ€.

เช†เชตเซ€ เชคเซเชฐเซเชŸเชฟเช“ เชฆเซ‚เชฐ เช•เชฐเชตเชพ เชฎเชพเชŸเซ‡ Nเชฎเชพเช‚เชฅเซ€ เช†เชชเชฃเซ‡ เชชเซ‚เชฐเซเชฃเชพเช‚เช• เช—เชฃ Zเชฎเชพเช‚ (เช•เซ‡ เชคเซ‡เชฅเซ€ เชชเชฃ เช†เช—เชณ) เชœเชตเซเช‚ เชชเชกเซ‡ เช›เซ‡.

Nเชฎเชพเช‚เชฅเซ€ Zเชฎเชพเช‚ เชœเชตเชพ เชฎเชพเชŸเซ‡ Nเชจเซ€ เช•เซเชฐเชฎเชฏเซเช•เซเชค เชœเซ‹เชกเซ‹เชจเชพ เช—เชฃเชจเซ‡ S เช•เชนเซ€เช. เชœเซ‹ (a, b) โˆˆ S, (c, d) โˆˆ S เชฎเชพเชŸเซ‡ a + d = b + c เชนเซ‹เชฏ เชคเซ‹ (a, b) เช…เชจเซ‡ (c, d) เช…เชฎเซเช• เชธเช‚เชฌเช‚เชง Rเชฅเซ€ เชธเช‚เช•เชณเชพเชฏเชพ เช›เซ‡ เชคเซ‡เชฎ เช•เชนเซ€เช เช…เชจเซ‡ (a, b) R (c, d) เชฒเช–เซ€เช. เชฆเชพ.เชค., (5, 7) R (1, 3) เช•เชพเชฐเชฃ เช•เซ‡ 5 + 3 = 7 + 1. เช† เชธเช‚เชฌเช‚เชง เชธเชพเชฎเซเชฏเชธเช‚เชฌเช‚เชง เช›เซ‡ เชคเซ‡เชฅเซ€ เชคเซ‡ Sเชจเซเช‚ เชตเชฟเชญเชพเชœเชจ เชธเชพเชฎเซเชฏเช—เชฃเซ‹เชฎเชพเช‚ เช•เชฐเซ‡ เช›เซ‡. เช† เชธเชพเชฎเซเชฏเช—เชฃเซ‹เชจเชพ เช—เชฃเชจเซ‡ Z เช•เชนเซ€เช, เช…เชจเซ‡ เชฆเชฐเซ‡เช• เชธเชพเชฎเซเชฏเช—เชฃเชจเซ‡ เชชเซ‚เชฐเซเชฃเชพเช‚เช• เช•เชนเซ‡เชตเชพเชฏ. เชœเซ‡ เชธเชพเชฎเซเชฏเช—เชฃเชฎเชพเช‚ (a, b) เช›เซ‡ เชคเซ‡เชจเซ‡ [a, b] เชฒเช–เซ€เช, เชคเซ‹ [5, 7] = [1, 3], [1, 1] = [11, 11].

เช†เชฎ Z = {[a, b]ย  a, b โˆˆ N}

Zเชฎเชพเช‚ เชธเชฐเชตเชพเชณเชพ เชคเชฅเชพ เช—เซเชฃเชพเช•เชพเชฐเชจเซ€ เชตเซเชฏเชพเช–เซเชฏเชพ เช†เชตเซ€ เช›เซ‡ :

[a, b] + [c, d] = [a + c, b + d]

[a, b] [c, d] = [ac + bd, ad + bc]

(เช† เชตเซเชฏเชพเช–เซเชฏเชพเช“ เชธเซเชตเซเชฏเชพเช–เซเชฏเชพเชฏเชฟเชค เช›เซ‡ เชคเซ‡เชฎ เชฌเชคเชพเชตเซ€ เชถเช•เชพเชฏ.)

เชธเชฐเชตเชพเชณเชพ เชคเชฅเชพ เช—เซเชฃเชพเช•เชพเชฐเชจเซ€ เช† เช•เซเชฐเชฟเชฏเชพเช“ เช•เซเชฐเชฎ, เชœเซ‚เชฅ เชคเชฅเชพ เชตเชฟเชญเชพเชœเชจเชจเชพ เชจเชฟเชฏเชฎเซ‹เชจเซ‡ เช…เชจเซเชธเชฐเซ‡ เช›เซ‡. เชตเชณเซ€

ย ย ย ย ย ย ย  [a, b] + [x, x] = [a, b]

เชคเชฅเชพย ย ย  [a, b] ยท [x + 1, x] = [a, b]

เชชเชฃ เช–เชฐเซเช‚ เช›เซ‡. เช† เช•เชพเชฐเชฃเซ‡ [x, x]เชจเซ‡ เชถเซ‚เชจเซเชฏ เช•เชนเซ‡เชตเชพเชฏ เช…เชจเซ‡ เชคเซ‡เชจเซ‡ 0 เชฒเช–เชพเชฏ เชคเชฅเชพ [x + 1, x]เชจเซ‡ เชเช• เช•เชนเซ‡เชตเชพเชฏ เชคเชฅเชพ 1 เชฒเช–เชพเชฏ. เช† เช‰เชชเชฐเชพเช‚เชค เชœเซเช“ เช•เซ‡

ย ย ย ย ย ย ย  [a, 0] + [b, 0] = [a + b, 0]

เชคเชฅเชพย ย ย  [a, 0] [b, 0] = [ab, 0]

เช†เชฎเชจเซ‡ เช…เชจเซเช•เซเชฐเชฎเซ‡ (a) + (b) = a + b

ย ย ย ย ย ย ย  เชคเชฅเชพย ย ย  (a) (b) = ab

เชธเชพเชฅเซ‡ เชธเชฐเช–เชพเชตเชคเชพเช‚ เชฆเซ‡เช–เชพเชฏ เช›เซ‡ เช•เซ‡ เชธเชฐเชตเชพเชณเชพ เชคเชฅเชพ เช—เซเชฃเชพเช•เชพเชฐเชฎเชพเช‚ [a, 0] aเชจเซ€ เชœเซ‡เชฎ เชตเชฐเซเชคเซ‡ เช›เซ‡. เช† เช•เชพเชฐเชฃเซ‡ [a, 0]เชจเซ‡ เชฌเชฆเชฒเซ‡ a เชœ เชฒเช–เชตเชพเชจเซ‹ เชฐเชฟเชตเชพเชœ เช›เซ‡.

เชถเชพเชธเซเชคเซเชฐเซ€เชฏ เชฐเซ€เชคเซ‡ เชœเซ‹ Zเชจเซ‹ เช‰เชชเช—เชฃ Nยด = {[a, 0]ย  a โˆˆ N} เชฒเซ‡เชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เชคเซ‹ f : Nยด เชกเซเชก N เชœเซเชฏเชพเช‚ f ([a, 0]) = a เชคเซ‡ Nยดเชฅเซ€ Nเชจเซ€ เชเช•เชฐเซ‚เชชเชคเชพ เช›เซ‡. เช†เชฎ N เชคเซ‡ Zเชจเชพ เชเช• เช‰เชชเช—เชฃ Nยด เชธเชพเชฅเซ‡ เชเช•เชฐเซ‚เชช เช›เซ‡. N เชคเชฅเชพ Nยดเชจเซ‡ เชธเชฐเช–เชพ เช—เชฃเชตเชพเชจเซเช‚ เชฐเช–เชพเชฏ (เชเชŸเชฒเซ‡ เช•เซ‡ [a, 0] เชฎเชพเชŸเซ‡ a เชœ เชฒเช–เชพเชฏ) เชคเซ‹ N เชชเซ‹เชคเซ‡ เชœ Zเชจเซ‹ เช‰เชชเช—เชฃ เช›เซ‡ เชคเซ‡เชฎ เช—เชฃเซ€ เชถเช•เชพเชฏ.

เชนเชตเซ‡ เชœเซเช“ เช•เซ‡ เช•เซ‹เชˆ เชชเชฃ [a, b] โˆˆ Z เชฎเชพเชŸเซ‡

ย ย ย ย ย ย ย  ย [a, b] + [b, 0] = [a + b, b] = [a, 0]

เชคเซ‡เชฅเซ€ [a, b] = [a, 0]ย  [b, 0] = aย  b

เช†เชฎ เชนเชตเซ‡เชฅเซ€ [a, b]เชจเซ‡ เชธเซเชฅเชพเชจเซ‡ aย  b เชฒเช–เซ€ เชถเช•เชพเชฏ. เชชเซ‚เชฐเซเชฃเชพเช‚เช•เซ‹ [a, 0] เช…เชจเซ‡ [0, a] เชฎเชพเชŸเซ‡ [a, 0] + [0, a] = [a, a] = 0 เชคเซ‡เชฅเซ€ [0, a] เชคเซ‡ [a, 0]เชจเซ‹ เชตเชฟเชฐเซ‹เชงเซ€ เช›เซ‡. [a, 0] เชฎเชพเชŸเซ‡ a เชฒเช–เซ€เช เช›เซ€เช, เชคเซ‡เชฅเซ€ [0, a] เชฎเชพเชŸเซ‡ย  a เชฒเช–เชพเชฏ. เช†เชฎ เชชเซ‚เชฐเซเชฃเชพเช‚เช•เซ‹เชจเซ‹ เช—เชฃ Z = {aย  a โˆˆ N} U {aย  a โˆˆ N} U {0}.

เชนเชตเซ‡ Zเชฎเชพเช‚ Nเชจเชพ เชนเชฟเชธเชพเชฌเซ‡ เชœเซ‡ เชตเชงเชพเชฐเชพเชจเซ€ เชธเช—เชตเชก เช›เซ‡ เชคเซ‡ เช เช›เซ‡ เช•เซ‡ เชฌเซ‡ เชชเซ‚เชฐเซเชฃเชพเช‚เช•เซ‹เชจเซ€ เชฌเชพเชฆเชฌเชพเช•เซ€ เชชเชฃ Zเชฎเชพเช‚ เชœ เชนเซ‹เชฏ เช›เซ‡. เชฌเซ€เชœเซ€ เชคเชฐเชซ Nเชฎเชพเช‚ เชœเซ‡ เชธเซเช•เซเชฐเชฎเชคเชพเชจเซ‹ เชธเชฟเชฆเซเชงเชพเช‚เชค เช›เซ‡ เชคเซ‡ Zเชฎเชพเช‚ เชจเชฅเซ€. เชฌเชงเชพ เชœ เช‹เชฃ เชชเซ‚เชฐเซเชฃเชพเช‚เช•เซ‹เชจเชพ เช—เชฃเชฎเชพเช‚ เช•เซ‹เชˆ เชฒเช˜เซเชคเชฎ เชธเชญเซเชฏ เชจเชฅเซ€. Zเชฎเชพเช‚ (Nเชจเซ€ เชœเซ‡เชฎ เชœ) เชเช• เช—เซเชฃเชงเชฐเซเชฎ เช เช›เซ‡ เช•เซ‡ เช•เซ‹เชˆ เชชเชฃ n โˆˆ Z เชฎเชพเชŸเซ‡ nเชจเซ‡ เช…เชจเซเช—เชพเชฎเซ€ n + 1 Zเชฎเชพเช‚ เช›เซ‡ เชคเซ‡เชฎเชœ n เชคเชฅเชพ n + 1เชจเซ€ เชตเชšเซเชšเซ‡ Zเชจเซ‹ เช•เซ‹เชˆ เชธเชญเซเชฏ เชจเชฅเซ€.

Zเชจเซ€ เชเช• เช–เชพเชฎเซ€ เช เช›เซ‡ เช•เซ‡ เชเช• เชชเซ‚เชฐเซเชฃเชพเช‚เช•เชจเซ‡ เชฌเซ€เชœเชพ เชชเซ‚เชฐเซเชฃเชพเช‚เช• เชตเชกเซ‡ เชญเชพเช—เชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เชคเซ‹ เชœเชตเชพเชฌเชฎเชพเช‚ เชนเชฎเซ‡เชถเชพเช‚ เชชเซ‚เชฐเซเชฃเชพเช‚เช• เชœ เชฎเชณเซ‡ เชคเซ‡เชตเซเช‚ เชฌเชจเชคเซเช‚ เชจเชฅเซ€. เช† เช–เชพเชฎเซ€ เชฆเซ‚เชฐ เช•เชฐเชตเชพ Zเชฎเชพเช‚เชฅเซ€ เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพเช—เชฃ Qเชฎเชพเช‚ เชœเชตเซเช‚ เชชเชกเซ‡ เช›เซ‡. Zเชฅเซ€ Q เชธเซเชงเซ€เชจเซ€ เชธเชซเชฐ Nเชฅเซ€ Zเชจเซ€ เชธเชซเชฐ เชœเซ‡เชตเซ€ เชœ เช›เซ‡.

Nเชจเซ€ เช•เซเชฐเชฎเชฏเซเช•เซเชค เชœเซ‹เชกเซ‹เชจเซ‹ เช—เชฃ S = {(a, b)ย  a, b โˆˆ Z, b เชฆ 0} เชฒเชˆ เชคเซ‡เชฎเชพเช‚ เชเช• เชธเช‚เชฌเช‚เชง R เชเชตเซ‹ เชฆเชพเช–เชฒ เช•เชฐเชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เช•เซ‡ (a, b) R (c, d) เชœเซ‹ ad = bc. เช†เชฎ เชฆเชพ.เชค., (3, 2) R (9, 6) เช•เชพเชฐเชฃ เช•เซ‡ 3 เชคเซ 6 = 2 เชคเซ 9. เช† เชธเช‚เชฌเช‚เชง R เชธเชพเชฎเซเชฏเชธเช‚เชฌเช‚เชง เช›เซ‡ เช…เชจเซ‡ เชคเซ‡ Sเชจเซ‡ เชธเชพเชฎเซเชฏเช—เชฃเซ‹เชฎเชพเช‚ เชตเชฟเชญเชพเชœเชฟเชค เช•เชฐเซ‡ เช›เซ‡. เช† เชธเชพเชฎเซเชฏเช—เชฃเซ‹เชจเชพ เช—เชฃเชจเซ‡ Q เช•เชนเซ‡ เช›เซ‡. Q = {[a, b]ย  a, b โˆˆ Z, b เชฆ 0} Qเชจเชพ เชฆเชฐเซ‡เช• เชธเชญเซเชฏเชจเซ‡ เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพ เช•เชนเซ‡ เช›เซ‡. Qเชฎเชพเช‚ เชธเชฐเชตเชพเชณเชพ เช…เชจเซ‡ เช—เซเชฃเชพเช•เชพเชฐเชจเซ€ เชตเซเชฏเชพเช–เซเชฏเชพ เช†เชตเซ€ เช›เซ‡ :

[a, b] + [c, d] = [ad + bc, bd],

[a, b] ยท [c, d] = [ac, bd]

เช† เช•เซเชฐเชฟเชฏเชพเช“ เช•เซเชฐเชฎ, เชœเซ‚เชฅ เชคเชฅเชพ เชตเชฟเชญเชพเชœเชจเชจเชพ เชจเชฟเชฏเชฎเซ‹เชจเซ‡ เช…เชจเซเชธเชฐเซ‡ เช›เซ‡. เชนเชตเซ‡ เชœเซเช“ เช•เซ‡

ย ย ย ย ย ย ย  [a, b] + [0, d] = [ad, bd] = [a, b]

เชคเชฅเชพย ย ย  [a, b] + [c, c] = [ac, bc] = [a, b]

เช†เชฎเซ‡ [0, d] เชถเซ‚เชจเซเชฏ เช›เซ‡ เชคเชฅเชพ [c, c] เชเช• เช›เซ‡. เชฎเชพเชŸเซ‡ [0, d] เชฎเชพเชŸเซ‡ 0 เชคเชฅเชพ [c, c] เชฎเชพเชŸเซ‡ 1 เชฒเช–เชพเชฏ เช›เซ‡.

เช เชชเชฃ เชจเซ‹เช‚เชงเซ€เช เช•เซ‡ เชœเซ‹ a เชฆ 0, b เชฆ 0 เชคเซ‹ [a, b] ยท [b, a] = [ab, ab] = 1.

เช†เชฎ Qเชฎเชพเช‚ เชถเซ‚เชจเซเชฏเซ‡เชคเชฐ เชธเช‚เช–เซเชฏเชพเช“เชจเชพ เชตเซเชฏเชธเซเชค เชชเชฃ เช›เซ‡ เช…เชจเซ‡ เชตเซเชฏเชธเซเชค เชนเซ‹เชตเชพเชฅเซ€ เชญเชพเช—เชพเช•เชพเชฐเชจเซ€ เช•เซเชฐเชฟเชฏเชพ Qเชฎเชพเช‚ เชถเช•เซเชฏ เช›เซ‡.

เช เชชเชฃ เชœเซเช“ เช•เซ‡ [a, 1] + [b, 1] = [a + b, 1]

ย ย ย ย ย ย ย  เชคเชฅเชพย ย ย  [a, 1] ยท [b, 1] = [ab, 1].

เช†เชฎ เชธเชฐเชตเชพเชณเชพ เชคเชฅเชพ เช—เซเชฃเชพเช•เชพเชฐ เชฎเชพเชŸเซ‡ [a, 1] เชœเซ‡เชตเซ€ เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพเช“ เชชเซ‚เชฐเซเชฃเชพเช‚เช• aเชจเซ€ เชœเซ‡เชฎ เชœ เชตเชฐเซเชคเซ‡ เช›เซ‡. เชคเซ‡เชฅเซ€ [a, 1] = a เชฒเช–เชพเชฏ เช›เซ‡. เช เชชเชฃ เชœเซเช“ เช•เซ‡ [1, b] เชคเซ‡ [b, 1] = bเชจเซ‹ เชตเซเชฏเชธเซเชค เช›เซ‡ เชคเซ‡เชฅเซ€ [1, b] =ย  เชฒเช–เซ€ เชถเช•เชพเชฏ. เชตเชณเซ€ [a, b] = [a, 1] [1, b] = a เชคเซย  = . เช†เชฎ [a, b]เชจเซ‡ เชฌเชฆเชฒเซ‡ย  เชฒเช–เชพเชฏ เช›เซ‡.

เชคเซ‡เชฅเซ€ Q =ย ย  a, b โˆˆ Z, b เชฆ 0.

เชซเชฐเซ€เชฅเซ€ เชถเชพเชธเซเชคเซเชฐเซ€เชฏ เชฐเซ€เชคเซ‡ Q = {[a, b]ย  a, b โˆˆ Z, b เชฆ 0}เชจเซ‹ เช‰เชชเช—เชฃ Zยด = {[a, 1]ย  a โˆˆ Z} เชฒเซ‡เชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เชคเซ‹ f : Zยด เชกเซเชก Z เชœเซเชฏเชพเช‚ f ([a, 1]) = a เชคเซ‡ Zยดเชฅเซ€ Zเชจเซ€ เชเช•เชฐเซ‚เชชเชคเชพ เช›เซ‡. เชฎเชพเชŸเซ‡ Qเชฎเชพเช‚ Z เชธเชพเชฅเซ‡ เชเช•เชฐเซ‚เชช เชเชตเซ‹ เชเช• เช‰เชชเช—เชฃ Zยด เช›เซ‡. เช† เชฌเซ‡เชจเซ‡ เชธเชฐเช–เชพ เชงเชพเชฐเซ€ เชฒเซ‡เชตเชพเชฏ, (เชเชŸเชฒเซ‡ เช•เซ‡ [a, 1]เชจเซ‡ เชฌเชฆเชฒเซ‡ a เชœ เชฒเช–เชตเชพเชจเซเช‚ เชฐเช–เชพเชฏ) เชคเซ‹ Z เชชเซ‹เชคเซ‡ เชœ Qเชจเซ‹ เช‰เชชเช—เชฃ เช›เซ‡ เชคเซ‡เชฎ เชœเซ‹เชˆ เชถเช•เชพเชฏ.

N เชคเชฅเชพ Zเชฎเชพเช‚ เชœเซ‡ เช•เซเชฐเชฎเชธเช‚เชฌเช‚เชง เช›เซ‡ เชคเซ‡เชจเซ‡ Qเชฎเชพเช‚ เชชเชฃ เชตเชฟเชธเซเชคเชพเชฐเซ€ เชถเช•เชพเชฏ เช›เซ‡; เชชเชฃ Qเชฎเชพเช‚ โ€˜เช…เชจเซเช—เชพเชฎเซ€โ€™เชจเซ€ เชตเชพเชค เชฐเชนเซ‡เชคเซ€ เชจเชฅเซ€; เชฆเชพ.เชค., 1เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€ เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพ เช•เชˆ เช เชชเซเชฐเชถเซเชจเชจเซ‹ เช•เซ‹เชˆ เช‰เชคเซเชคเชฐ เชจเชฅเซ€ เช•เชพเชฐเชฃ เช•เซ‡ 1 เชชเช›เซ€เชจเซ€ เช•เซ‹เชˆ เชชเชฃ เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพ r เชฎเชพเชŸเซ‡ 1 (r + 1) เช…เชจเซ‡ r เช…เชจเซ‡ 1 เชตเชšเซเชšเซ‡เชจเซ€ เชเช• เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพ เช›เซ‡ เชคเซ‡เชฅเซ€ r เชคเซ‡ 1เชจเซ€ เช…เชจเซเช—เชพเชฎเซ€ เชจเชฅเซ€. เช–เชฐเซ‡เช–เชฐ เชคเซ‹ เช•เซ‹เชˆ เชชเชฃ เชฌเซ‡ เชญเชฟเชจเซเชจ เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพเช“เชจเซ€ เชตเชšเซเชšเซ‡ เช…เชจเช‚เชค เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพเช“ เช†เชตเซ‡เชฒเซ€ เช›เซ‡.

Q เชเช• เช•เซเชทเซ‡เชคเซเชฐ เช›เซ‡; เชธเชฐเชตเชพเชณเชพ, เชฌเชพเชฆเชฌเชพเช•เซ€, เช—เซเชฃเชพเช•เชพเชฐ เช…เชจเซ‡ เชญเชพเช—เชพเช•เชพเชฐ Qเชฎเชพเช‚ เช›เซ‚เชŸเชฅเซ€ เชฅเชˆ เชถเช•เซ‡ เช›เซ‡.

 

เช†เชฎ เช›เชคเชพเช‚ Qเชฎเชพเช‚ เชชเชฃ เช–เชพเชฎเซ€เช“ เช›เซ‡. เชคเซ‡เชฎเชพเช‚เชจเซ€ เชเช• เช–เชพเชฎเซ€ เช•เชฒเชจเชถเชพเชธเซเชคเซเชฐเชจเชพ เช…เชญเซเชฏเชพเชธ เชฎเชพเชŸเซ‡ เช†เชกเช–เซ€เชฒเซ€เชฐเซ‚เชช เชฌเชจเซ‡ เช›เซ‡. เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพเช“เชจเซ€ เช•เซ‡เชŸเชฒเซ€เช• เชถเซเชฐเซ‡เชฃเซ€เช“ เช•เซ‡ เชœเซ‡เชฎเชจเซ‡ เชธเซเชตเชพเชญเชพเชตเชฟเช• เชฐเซ€เชคเซ‡ เชฒเช•เซเชทเซเชฏ เชนเซ‹เชตเซเช‚ เชœเซ‹เชˆเช เชคเซ‡เชฎเชจเซ‡ Qเชฎเชพเช‚ เชฒเช•เซเชทเซเชฏ เชจเชฅเซ€ เชนเซ‹เชคเซเช‚; เชฆเชพ.เชค., เชถเซเชฐเซ‡เชฃเซ€ เชฒเชˆเช. เชœเซ‹ เชฒเช–เชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เชคเซ‹ เชถเซเชฐเซ‡เชฃเซ€ {an} เชคเซ‡ , …….. เช›เซ‡, เชœเซ‡ เชธเช‚เชฎเซ‡เชฏ เชธเช‚เช–เซเชฏเชพเช“เชจเซ€ เชถเซเชฐเซ‡เชฃเซ€ เช›เซ‡. เช† เชถเซเชฐเซ‡เชฃเซ€ เชคเซ‡ เช–เชฐเซ‡เช–เชฐ เชคเซ‹ 2, 2.25, 2.352, 2.441, 2.488, 2.52, …….. เช›เซ‡. เช† เชถเซเชฐเซ‡เชฃเซ€ เชฎเชพเชŸเซ‡ เช•เซเชฐเชฎเชฟเช• เชชเชฆเซ‹เชจเซ‹ เชคเชซเชพเชตเชคย  an + 1ย  anย  เชตเชงเซ เชจเซ‡ เชตเชงเซ เชจเชพเชจเซ‹ เชฅเชคเซ‹ เชœเชพเชฏ เช›เซ‡. เช–เชฐเซ‡เช–เชฐ เชคเซ‹ เชœเซ‡เชฎ n เชกเซเชก เชเซ เชคเซ‡เชฎย  an + 1ย  anย  เชกเซเชก 0 เชฅเชพเชฏ เช›เซ‡. เช†เชตเซ€ เชถเซเชฐเซ‡เชฃเซ€ {an}เชจเซ‡ เชฎเซ‚เชณเชญเซ‚เชค (fundamental) เชถเซเชฐเซ‡เชฃเซ€ เช•เชนเซ‡ เช›เซ‡. เช•เชฒเชจเชถเชพเชธเซเชคเซเชฐเชจเชพ เช…เชญเซเชฏเชพเชธ เชฎเชพเชŸเซ‡ เช เช†เชตเชถเซเชฏเช• เช›เซ‡ เช•เซ‡ เชฆเชฐเซ‡เช• เชฎเซ‚เชณเชญเซ‚เชค เชถเซเชฐเซ‡เชฃเซ€เชจเซ‡ เชฒเช•เซเชทเซเชฏ เชนเซ‹เชฏ. เชชเชฃ Q เชฎเชพเชŸเซ‡ เช†เชตเซเช‚ เชฌเชจเชคเซเช‚ เชจเชฅเซ€. เช† เช•เชฎเซ€ เชฆเซ‚เชฐ เช•เชฐเชตเชพ เชฎเชพเชŸเซ‡ Qเชจเซ‡ เชตเชฟเชธเซเชคเชพเชฐเซ€ เชตเชพเชธเซเชคเชตเชฟเช• เชธเช‚เช–เซเชฏเชพเช—เชฃ R เชชเซเชฐเชฏเซ‹เชœเชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เช›เซ‡. เช† เชชเซ‚เชฐเซเชตเซ‡ เชœเซ‹เชฏเซเช‚ เชคเซ‡เชฎ Nเชฎเชพเช‚เชฅเซ€ Z เช•เซ‡ Zเชฎเชพเช‚เชฅเซ€ Q เชฎเซ‡เชณเชตเชตเชพ เชฎเชพเชŸเซ‡ เช•เซเชฐเชฎเชฏเซเช•เซเชค เชœเซ‹เชก เชฒเซ‡เชตเชพเชฅเซ€ เชตเชพเชค เชฌเชจเซ€ เชœเชพเชฏ เช›เซ‡. Qเชฎเชพเช‚เชฅเซ€ R เชฎเซ‡เชณเชตเชตเชพ เชฎเชพเชŸเซ‡ เช•เซเชฐเชฎเชฏเซเช•เซเชค เชœเซ‹เชกเซ‹ เชฒเซ‡เชตเชพเชฅเซ€ เชตเชพเชค เชฌเชจเชคเซ€ เชจเชฅเซ€. Qเชจเซ€ เชฌเชงเซ€ เชฎเซ‚เชณเชญเซ‚เชค เชถเซเชฐเซ‡เชฃเซ€เช“เชจเซ‹ เช—เชฃ เชฒเชˆ เชคเซ‡เชฎเชพเช‚ เชธเชพเชฎเซเชฏเชธเช‚เชฌเช‚เชง เชฆเชพเช–เชฒ เช•เชฐเซ€ เชคเซ‡ เชฐเซ€เชคเซ‡ เชธเชพเชฎเซเชฏเช—เชฃเซ‹เชจเชพ เช—เชฃเชจเซ‡ R เชคเชฐเซ€เช•เซ‡ เช“เชณเช–เชพเชตเชตเซ‹ เชชเชกเซ‡ เช›เซ‡. (เช† เชชเช—เชฒเชพเช‚เชจเซ€ เชตเชฟเช—เชคเซ‹ เช†เชชเชตเชพเชจเซเช‚ เช…เชนเซ€เช‚ เชŸเชพเชณเซเชฏเซเช‚ เช›เซ‡.) Qเชฎเชพเช‚เชฅเซ€ R เชฎเซ‡เชณเชตเชตเชพ เชฎเชพเชŸเซ‡เชจเซ‹ เชเช• เชฌเซ€เชœเซ‹ เช…เชญเชฟเช—เชฎ เชกเซ‡เชกเซ€เช•เชฟเชจเซเชก เช•เชพเชช(cut)เชจเซ‹ เช›เซ‡. เชฌเช‚เชจเซ‡ เช…เชญเชฟเช—เชฎเชฅเซ€ เชเช• เชœ เช—เชฃ R เชฎเชณเซ‡ เช›เซ‡, R เชชเชฃ เช•เซเชทเซ‡เชคเซเชฐ เช›เซ‡, Q เซˆเช‚ R เชคเชฅเชพ Rเชฎเชพเช‚ เช•เซเชฐเชฎเชธเช‚เชฌเช‚เชง เชชเชฃ เช›เซ‡. Rเชจเซ€ เชฎเซ‚เชณเชญเซ‚เชค เชถเซเชฐเซ‡เชฃเซ€ เชฒเซ‡เชคเชพเช‚ เชคเซ‡เชจเซ‡ Rเชฎเชพเช‚ เชฒเช•เซเชทเซเชฏ เชฎเชณเซ‡ เชœ เช›เซ‡. (เช†เชจเซ‡ R เชชเซ‚เชฐเซเชฃ เช…เชตเช•เชพเชถ, complete space เช›เซ‡ เชคเซ‡เชฎ เช•เชนเซ‡ เช›เซ‡.)

N, Z เช…เชจเซ‡ Q เช—เชฃเชจเซ€เชฏ (countable) เช—เชฃเซ‹ เช›เซ‡, เชเชŸเชฒเซ‡ เช•เซ‡ เชคเซ‡ เชชเซเชฐเชคเซเชฏเซ‡เช•เชจเซ€ เช—เชฃ N เชธเชพเชฅเซ‡ เชเช•-เชเช• เช…เชจเซ‡ เชตเซเชฏเชพเชชเซเชค เชธเช‚เช—เชคเชคเชพ เช›เซ‡ เชชเชฃ เชตเชพเชธเซเชคเชตเชฟเช• เชธเช‚เช–เซเชฏเชพเช—เชฃ เช—เชฃเชจเซ€เชฏ เชจเชฅเซ€. R เช…เชจเซ‡ N เชตเชšเซเชšเซ‡ เช•เซ‹เชˆ เชเช•-เชเช• เช…เชจเซ‡ เชตเซเชฏเชพเชชเซเชค เชธเช‚เช—เชคเชคเชพ เชจเชฅเซ€. [เชœเซ‹ Qเชจเซ€ เช•เซเชฐเชฎเชฏเซเช•เซเชค เชœเซ‹เชกเซ‹ เชฒเซ‡เชตเชพเชฅเซ€ R เชฎเชณเชคเซ‹ เชนเซ‹เชค เชคเซ‹ R เชชเชฃ เช—เชฃเชจเซ€เชฏ เชนเซ‹เชค เชคเซ‡เชฅเซ€ Qเชฎเชพเช‚เชฅเซ€ R เชฎเซ‡เชณเชตเชตเชพเชจเซ‹ เช•เซเชฐเชฎเชฏเซเช•เซเชค เชœเซ‹เชกเซ‹เชจเซ‹ เช…เชญเชฟเช—เชฎ เชธเชซเชณ เชฅเชพเชฏ เชœ เชจเชนเชฟ.]

เชฎเชพเชจเชพเชตเช•เชพเชถ (metric space) เชคเชฐเซ€เช•เซ‡ R เชชเซ‚เชฐเซเชฃ เช›เซ‡, เชชเชฃ เช•เซเชทเซ‡เชคเซเชฐ เชคเชฐเซ€เช•เซ‡ เชคเซ‡ เชฌเช‚เชงเช•เซเชทเซ‡เชคเซเชฐ (algebraically closed) เชจเชฅเซ€. เชเชŸเชฒเซ‡ เช•เซ‡ เชตเชพเชธเซเชคเชตเชฟเช• เชธเชนเช—เซเชฃเช•เซ‹เชตเชพเชณเชพเช‚ เชฌเชงเชพเช‚ เชœ เชฌเชนเซเชชเชฆเซ€ เชธเชฎเซ€เช•เชฐเชฃเซ‹เชจเชพเช‚ เชฌเซ€เชœ Rเชฎเชพเช‚ เชจเชฅเซ€ เชนเซ‹เชคเชพเช‚ เช Rเชจเซ€ เช–เชพเชฎเซ€ เช›เซ‡. เชฆเชพ.เชค., x2 + 1 = 0เชจเชพเช‚ เชฌเซ€เชœ เชตเชพเชธเซเชคเชตเชฟเช• เชจเชฅเซ€.

เชตเชพเชธเซเชคเชตเชฟเช• เชธเช‚เช–เซเชฏเชพเช—เชฃเชฎเชพเช‚เชฅเซ€ เชœเซ‡ เชฌเซˆเชœเชฟเช• เชฐเซ€เชคเซ‡ เชฌเช‚เชงเช•เซเชทเซ‡เชคเซเชฐ เชนเซ‹เชฏ เชคเซ‡เชตเซ‹ เช—เชฃ เชฎเซ‡เชณเชตเชตเชพ เชฎเชพเชŸเซ‡ เชซเชฐเซ€ เช•เซเชฐเชฎเชฏเซเช•เซเชค เชœเซ‹เชกเซ‹เชจเซ‹ เช—เชฃ เช•เชพเชฎ เชฒเชพเช—เซ‡ เช›เซ‡. Rเชจเซ€ เช•เซเชฐเชฎเชฏเซเช•เซเชค เชœเซ‹เชกเซ‹เชจเชพ เช—เชฃเชจเซ‡ เชธเช‚เช•เชฐ เชธเช‚เช–เซเชฏเชพเช—เชฃ C เช•เชนเซ‡เชตเชพเชฏ เช›เซ‡. เช†เชฎ

C = {(a, b)ย  a โˆˆ R, b โˆˆ R}

Cเชจเซ‹ เชฆเชฐเซ‡เช• เชธเชญเซเชฏ เชธเช‚เช•เชฐเชธเช‚เช–เซเชฏเชพ เช•เชนเซ‡เชตเชพเชฏ เช›เซ‡. Cเชฎเชพเช‚ เชธเชฐเชตเชพเชณเชพ เชคเชฅเชพ เช—เซเชฃเชพเช•เชพเชฐเชจเซ€ เชตเซเชฏเชพเช–เซเชฏเชพ เช†เชตเซ€ เชฒเซ‡เชตเชพเชฏ เช›เซ‡ :

(a, b) + (c, d) = (a + c, b + d)

(a, b) (c, d) = (ac โ€“ bd, ad + bc).

เช† เชตเซเชฏเชพเช–เซเชฏเชพเช“ เชนเซ‡เช เชณ C เชเช• เช•เซเชทเซ‡เชคเซเชฐ เชฌเชจเซ‡ เช›เซ‡. เชคเซ‡เชจเซ‹ เชถเซ‚เชจเซเชฏ (0, 0) เช›เซ‡ เช…เชจเซ‡ เชเช•เชฎ เช˜เชŸเช• (1, 0) เช›เซ‡. (a, b) เชถเซ‚เชจเซเชฏเซ‡เชคเชฐ เชนเซ‹เชฏ เชคเซ‹ (a, b)เชจเซ‹ เชตเซเชฏเชธเซเชค เช˜เชŸเช• เช›เซ‡.

เชนเชตเซ‡ Cเชจเซ‹ เช‰เชชเช—เชฃ Rยด = {a, 0)ย  a โˆˆ R} เชฒเซ‡เชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เชคเซ‹ Rยด เช เชตเชพเชธเซเชคเชตเชฟเช• เชธเช‚เช–เซเชฏเชพเช—เชฃ เชธเชพเชฅเซ‡ เชเช•เชฐเซ‚เชช เช›เซ‡ เช…เชจเซ‡ เชเช•เชฐเซ‚เชชเชคเชพ

ฮฆ : Rยด โ†’ R เชคเซ‡

ฮฆ (a, 0) = a

เช›เซ‡. เช† เช•เชพเชฐเชฃเซ‡ R เชชเซ‹เชคเซ‡ Cเชจเซ‹ เช‰เชชเช—เชฃ เช›เซ‡ เชคเซ‡เชฎ เชฎเชพเชจเซ€ เชฒเซ‡เชตเชพเชฏ เช›เซ‡ เช…เชจเซ‡ (a, 0) = a เชฒเช–เชพเชฏ เช›เซ‡. เชนเชตเซ‡ เช เชšเช•เชพเชธเชตเซเช‚ เชธเชฐเชณ เช›เซ‡ เช•เซ‡ (0, 1)

(b, 0) = (0, b). เชคเซ‡เชฅเซ€

(a, b)ย  = (a, 0) + (0, b)

ย ย ย ย ย ย ย  = (a, 0) + (0, 1) (b, 0).

เชนเชตเซ‡ เชœเซ‹ (0, 1) เชฎเชพเชŸเซ‡ เชธเช‚เช•เซ‡เชค i เชตเชพเชชเชฐเชตเชพเชฎเชพเช‚ เช†เชตเซ‡ เชคเซ‹ (a, 0) = a เชคเชฅเชพ (b, 0) = b เชฒเช–เชคเชพ เชนเซ‹เชตเชพเชฅเซ€ (a, b) = (a, 0) + (0, 1)

(b, 0) = a + ib เชฅเชพเชฏ. เช†เชฎ เชธเช‚เช•เชฐเชธเช‚เช–เซเชฏเชพ (a, b)เชจเซ‡ เชฌเชฆเชฒเซ‡ a + ib เชชเชฃ เชฒเช–เซ€ เชถเช•เชพเชฏ. เชตเชณเซ€

i2 = (0, 1) (0, 1) = (1, 0) = 1

เช†เชฎ

C = {a + i, bย  a, b โˆˆ R, i2 = 1}.

เชนเชตเซ‡ เชเชตเซเช‚ เชœเชฃเชพเชฏ เช›เซ‡ เช•เซ‡ C เชฌเซˆเชœเชฟเช• เชฐเซ€เชคเซ‡ เชฌเช‚เชงเช•เซเชทเซ‡เชคเซเชฐ เช›เซ‡, เชเชŸเชฒเซ‡ เช•เซ‡ เชธเช‚เช•เชฐ เชธเชนเช—เซเชฃเช•เซ‹เชตเชพเชณเซ€ เช•เซ‹เชˆ เชชเชฃ เช…เชšเชณเซ‡เชคเชฐ เชฌเชนเซเชชเชฆเซ€ f(x) เชนเซ‹เชฏ เชคเซ‹ เชธเชฎเซ€เช•เชฐเชฃ f(x) = 0เชจเชพ เชคเชฎเชพเชฎ เชฌเซ€เชœ เชธเช‚เช•เชฐเชธเช–เซเชฏเชพเช“ เชœ เชนเซ‹เชฏ. เช†เชจเซ‡ เชฌเซ€เชœเช—เชฃเชฟเชคเชจเซเช‚ เชฎเซ‚เชณเชญเซ‚เชค เชชเซเชฐเชฎเซ‡เชฏ เช•เชนเซ‡ เช›เซ‡.

เชฌเซ€เชœเซ€ เชคเชฐเชซ R เชธเซเชงเซ€ เชœเซ‡ เชชเซเชฐเช•เชพเชฐเชจเซ‹ เช•เซเชฐเชฎเชธเช‚เชฌเช‚เชง เชนเชคเซ‹ เชคเซ‡ Cเชฎเชพเช‚ เชจเชฅเซ€ เชฐเชนเซ‡เชคเซ‹. เช•เซเชฐเชฎเชฟเชคเช•เซเชทเซ‡เชคเซเชฐเชจเชพ เช•เซเชฐเชฎเชฎเชพเช‚ เช•เซ‡เชŸเชฒเชพเช• เช…เชจเชฟเชตเชพเชฐเซเชฏ เช—เซเชฃเชงเชฐเซเชฎเซ‹ เชนเซ‹เชตเชพ เชœเชฐเซ‚เชฐเซ€ เช›เซ‡; เชœเซ‡เชฎเชพเช‚ เช† เชฎเซเช–เซเชฏ เช›เซ‡ : (1) เชฆเชฐเซ‡เช• a เชฆ 0 เชฎเชพเชŸเซ‡ a > 0 เช…เชจเซ‡

a > 0เชฎเชพเช‚เชฅเซ€ เชเช• เช…เชจเซ‡ เชฎเชพเชคเซเชฐ เชเช• เชœ เชธเชพเชšเซเช‚ เชนเซ‹เชตเซเช‚ เชœเซ‹เชˆเช. (2) เชฆเชฐเซ‡เช• a เชฆ 0 เชฎเชพเชŸเซ‡ a2 > 0.

เชนเชตเซ‡ Cเชฎเชพเช‚ i เชฆ 0 เชคเชฅเชพ i2 = 1, เชตเชณเซ€ 1 เชฆ 0 เชคเชฅเชพ 12 = 1. เช‰เชชเชฐเชจเชพ (2) เช…เชจเซเชธเชพเชฐ 1 > 0 เช…เชจเซ‡ 1 > 0 เชฌเช‚เชจเซ‡ เชธเชพเชšเชพเช‚ เชนเซ‹เชตเชพเช‚ เชœเซ‹เชˆเช เชชเชฃ เชคเซ‡ (1)เชฅเซ€ เชตเชฟเชฐเซเชฆเซเชง เช›เซ‡. เช†เชฎ Cเชฎเชพเช‚ เช•เซเชฐเชฎเชธเช‚เชฌเช‚เชง เชจเชฅเซ€.

เช†เชฎ Nเชฅเซ€ เชถเชฐเซ‚ เช•เชฐเซ€ Z, Q, R เช…เชจเซ‡ C เชธเซเชงเซ€ เชธเช‚เช–เซเชฏเชพเชธเช‚เชนเชคเชฟเชจเซ‹ เชตเชฟเช•เชพเชธ เชฅเชพเชฏ เช›เซ‡. เชฆเชฐ เชคเชฌเช•เซเช•เซ‡ เชฎเซ‚เชณ เช—เชฃเชจเซ€ เช•เซ‹เชˆเช• เช–เชพเชฎเซ€เชจเซ‡ เชฆเซ‚เชฐ เช•เชฐเชตเชพเชจเชพ เช‰เชฆเซเชฆเซ‡เชถเชฅเซ€ เชจเชตเชพ เชฎเซ‹เชŸเชพ เช—เชฃเชจเซ€ เชฐเชšเชจเชพ เช•เชฐเชพเชฏ เช›เซ‡. เชฆเชฐ เชตเช–เชคเซ‡ เช เช–เชพเชฎเซ€ เชคเซ‹ เชฆเซ‚เชฐ เชฅเชพเชฏ เช›เซ‡ เชชเชฃ เชฎเซ‚เชณ เช—เชฃเชจเซ‹ เช…เชจเซเชฏ เช•เซ‹เชˆเช• เช—เซเชฃเชงเชฐเซเชฎ เชจเชตเชพ เช—เชฃเชฎเชพเช‚ เชธเชšเชตเชพเชคเซ‹ เชจเชฅเซ€; เชชเชฃ เช›เซ‡เชตเชŸเซ‡ C เชฎเชณเชคเชพเช‚ เช†เชชเชฃเชจเซ‡ เชเชตเซ€ เชธเช‚เช–เซเชฏเชพเชธเช‚เชนเชคเชฟ เชฎเชณเซ‡ เช›เซ‡, เชœเซ‡ เช•เซเชทเซ‡เชคเซเชฐ เชนเซ‹เชฏ, เชฎเชพเชจเชพเชตเช•เชพเชถ เชคเชฐเซ€เช•เซ‡ เชชเซ‚เชฐเซเชฃ เชนเซ‹เชฏ เช…เชจเซ‡ เชฌเซˆเชœเชฟเช• เชฐเซ€เชคเซ‡ เชชเชฃ เชฌเช‚เชง เชนเซ‹เชฏ. เชเชŸเชฒเซ‡ C เช†เช—เชณ เช†เชชเชฃเซ€ เชคเชฒเชพเชถ เชชเซ‚เชฐเซ€ เชฅเชพเชฏ เช›เซ‡.

เช…เชฐเซเชฃ เชฎ. เชตเซˆเชฆเซเชฏ

เชถเชฟเชตเชชเซเชฐเชธเชพเชฆ เชฎ. เชœเชพเชจเซ€