nhiˆen l`a mˆo.t th`anh tu.. nhiˆen, rˆ`i d¯i.nh ngh˜ıa quan hˆe.. nhiˆen l`a sˆo´ liˆe`n sau cu’a khˆongqu´a mˆo.t sˆo´ tu.. d¯i.nh ngh˜ıa ta c´o ngay quan hˆe... d¯i.nh ngh˜ıa cu’a qua
Trang 1CHU . O . NG IV:
S ˆ O ´ TU NHIˆEN V`A SˆO´ NGUYˆEN
4.1 S ˆ O ´ TU NHI EN. ˆ
Sˆo´ tu. nhiˆen l`a mˆo.t th`anh tu u to´. an ho.c lˆau d¯`o.i nhˆa´t cu’a lo`ai ngu.`o.i Ng`aynay, sˆo´ tu. nhiˆen d¯u.o. c su’ du.ng o.’ mo.i no.i, mo.i l´uc cu’a d¯`o.i sˆo´ng x˜a hˆo.i: trong.giao di.ch, mua b´an, thu t´ın, d¯iˆe.n thoa.i, Kh´o c´o thˆe’ h`ınh dung mˆo.t x˜a hˆo.ikhˆong c´o sˆo´ tu. nhiˆen! Ta d`ung c´ac sˆo´ 0, 1, 2, 3, 4, t´ınh to´an (cˆo.ng, tr`u., nhˆan,chia) trˆen c´ac sˆo´ d¯´o mˆo.t c´ach ”tu nhiˆ. en” trong mo.i hoa.t d¯ˆo.ng cu’a m`ınh, song ´ıtkhi ta tu. ho’i con ngu.`o.i d¯˜a biˆe´t d¯ˆe´n sˆo´ tu nhiˆen t`u bao gi`o v`a b˘a`ng c´ach n`ao?Khˆong ai c´o thˆe’ n´oi d¯u.o. c d¯´ıch x´ac lo`ai ngu.`o.i biˆe´t d¯ˆe´n c´ac con sˆo´ t`u khi n`ao.Ngu.`o.i ta t`ım d¯u.o. c mˆo.t v˘an ba’n cˆo’ kh˘a´c trˆen d¯´a c´ach d¯ˆay khoa’ng 6000 n˘am,trˆen d¯´o c´o c´ac con sˆo´ biˆe’u thi b˘a`ng c´ac dˆa´u chˆa´m v`a ga.ch M˜ai d¯ˆe´n thˆe´ ky’ XI,con sˆo´ khˆong (0) m´o.i ra d¯`o.i v`a t`u d¯´o con ngu.`o.i b˘a´t d¯ˆa` u ngh˜ı ra hˆe thˆa.p phˆan
d¯ˆe’ biˆe’u diˆe˜n c´ac con sˆo´
Sˆo´ tu. nhiˆen ra d¯`o.i l`a do nhu cˆ` u nhˆa a.n biˆe´t vˆe` sˆo´ lu.o. ng cu’a su vˆ. a.t Nhu cˆa` u
d¯´o xuˆa´t hiˆe.n ngay ca’ trong mˆo.t x˜a hˆo.i d¯o.n so nhˆa´t Ch˘a’ng ha.n, ngu.`o.i ta cˆa`nbiˆe´t sˆo´ lu.o. ng cu’a d¯`an th´u d¯ˆe’ tˆo’ ch´u.c mˆo.t cuˆo.c d¯i s˘an, cˆa` n biˆe´t sˆo´ lu.o. ng cu’a
bˆen d¯i.ch d¯ˆe’ tˆo’ ch´u.c cuˆo.c chiˆe´n d¯ˆa´u, v`a khi x˜a hˆo.i c`ang ph´at triˆe’n th`ı nhu
cˆ` u d¯´a o ng`ay c`ang t˘ang
Sau d¯ˆay, ta t`ım c´ach xˆay du. ng tˆa.p ho p c´. ac sˆo´ tu. nhiˆen D- ˆa` u tiˆen ta chˆa´pnhˆa.n c´o mˆo.t tˆa.p ho p N m`. a c´ac phˆ` n tu.a ’ cu’a n´o thoa’ m˜an mˆo.t sˆo´ t´ınh chˆa´t m`a
ta go.i l`a hˆe tiˆen d¯ˆe` Peano Sau d¯´o, ta d¯i.nh ngh˜ıa c´ac ph´ep cˆo.ng, ph´ep nhˆan c´ac
sˆo´ tu. nhiˆen, rˆ`i d¯i.nh ngh˜ıa quan hˆe th´u tu trˆen N v`a d¯u.a ra c´ac t´ınh chˆa´t c`ungo
mˆo´i quan hˆe gi˜u.a ch´ung Trˆen co so.’ c´o d¯u.o c tˆa.p ho p N c´ac sˆo´ tu nhiˆen, vˆe` sau
ta s˜e xˆay du. ng tˆa.p ho p Z c´. ac sˆo´ nguyˆen, tˆa.p ho p Q c´. ac sˆo´ h˜u.u tı’.
4.1.1 Tˆ a p ho p c´ . ac sˆ o ´ tu nhiˆ en v` a hˆ e tiˆen d¯ˆe ` Peano:
4.1.1.1 Mo ’ d ¯ˆ ` u: Ta biˆe´t r˘ a a`ng mˆo.t kh´ai niˆe.m m´o.i bao gi`o c˜ung d¯u.o c d¯i.nhngh˜ıa thˆong qua nh˜u.ng kh´ai niˆe.m tru.´o.c d¯´o C˜ung vˆa.y, mˆo.t mˆe.nh d¯ˆe` d¯u.o c ch´u.ngminh nh`o nh˜u.ng mˆe.nh d¯ˆe` d¯˜a biˆe´t tru.´o.c d¯´o V`ı vˆa.y, d¯ˆe’ xˆay du ng mˆ. o.t l´y thuyˆe´tto´an ho.c m`a khˆong bi ro.i v`ao v`ong luˆa’n quˆa’n, ngu.`o.i ta thu.`o.ng xuˆa´t ph´at t`u
mˆo.t sˆo´ kh´ai niˆe.m d¯ˆa` u tiˆen khˆong d¯i.nh ngh˜ıa, go.i l`a c´ac kh´ai niˆe.m nguyˆen thuy’v`a mˆo.t sˆo´ mˆe.nh d¯ˆe` d¯ˆ` u tiˆen d¯u.o c th`u.a nhˆa.n, khˆong ch´u.ng minh go.i l`a c´ac tiˆena
d¯ˆ` Phu.o.ng ph´e ap xˆay du. ng nhu vˆa.y go.i l`a phu.o.ng ph´ap tiˆen d¯ˆe` L˜e tu nhiˆen,
sˆo´ c´ac kh´ai niˆe.m nguyˆen thuy’ v`a sˆo´ c´ac tiˆen d¯ˆe` ngh˜ıa l`a sˆo´ nh˜u.ng d¯iˆ` u cˆe ` n th`a u.anhˆa.n, nˆen ´ıt nhˆa´t m`a vˆa˜n d¯u’ suy ra tˆa´t ca’ c´ac kˆe´t qua’ kh´ac D- ˆo`ng th`o.i nh˜u.ng
mˆe.nh d¯ˆe` th`u.a nhˆa.n thu.`o.ng l`a nh˜u.ng mˆe.nh d¯ˆe` d¯o.n gia’n, “hiˆe’n nhiˆen” Mˆo.ttrong nh˜u.ng ngu.`o.i d¯ˆ` u tiˆen xˆa ay du. ng mˆo.t l´y thuyˆe´t to´an ho.c theo phu.o.ng ph´aptiˆen d¯ˆ` l`e a nh`a to´an ho.c Euclide (khoa’ng 300 n˘am tru.´o.c cˆong nguyˆen) Cuˆo´n
Trang 2s´ach “Nh˜u.ng nguyˆen l´y” cu’a ˆong, trong ho.n 20 thˆe´ ky’ qua vˆa˜n l`a mˆo.t mˆa˜u mu c
vˆ` viˆe.c xˆay du ng mˆo.t l´y thuyˆe´t to´an ho.c (h`ınh ho.c) b˘a`ng phu.o.ng ph´ap tiˆen d¯ˆee `
Ta d¯˜a quen thuˆo.c v´o.i tˆa.p ho p N c´ac sˆo´ tu nhiˆen, N = {0, 1, 2, 3, 4, } Tˆa.p
ho. p N c´o phˆ` n tu.a ’ “d¯ˆ` u tiˆen” l`a a 0 v`a ´anh xa “liˆe` n sau”:
σ : N −→ N : 0 7→ 1 7→ 2 7→ 3 7→ 4 7→ · · ·
nhu vˆa.y, ta thˆa´y tˆa.p ho p N d. ¯u.o. c sinh bo’ i 0 v`. a ´anh xa σ Sau d¯ˆay l`a c´ach
mˆo ta’ tˆa.p ho p N mˆ. o.t c´ach to´an ho.c t`u mˆo.t hˆe tiˆen d¯ˆe` d¯u.o c nˆeu ra bo.’i Peano(1858-1932) v`ao n˘am 1899
4.1.1.2 Hˆ e tiˆen d¯ˆe ` Peano: Tˆa.p ho p N m`. a c´ac phˆ` n tu.a ’ cu’a n´o d¯u.o. c go.i l`ac´ac sˆo´ tu. nhiˆen, l`a mˆo.t tˆa.p ho p thoa’ m˜. an:
P1 0 ∈ N.
P2 C´o mˆo.t ´anh xa σ : N −→ N go.i l`a ´anh xa liˆe` n sau v`a σ(n) go.i l`a sˆo´ liˆe` n
sau cu’a n ∈ N.
P3 0 khˆong l`a sˆo´ liˆ` n sau cu’a mˆe o.t sˆo´ tu nhiˆ. en n`ao, ngh˜ıa l`a 0 / ∈ σ(N).
P4 σ l`a mˆo.t d¯o.n ´anh, ngh˜ıa l`a mˆo˜i sˆo´ tu nhiˆen l`a sˆo´ liˆe`n sau cu’a khˆongqu´a mˆo.t sˆo´ tu nhiˆ. en.
P5 Mo.i tˆa.p con U cu’a N c´o c´ac t´ınh chˆa´t:
a) 0 ∈ U,
b) v´o.i mo.i n ∈ N, n ∈ U ⇒ σ(n) ∈ U ,
d¯ˆ` u tr`e ung v´o.i tˆa.p ho p N..
4.1.1.3 Ch´ u ´ y: 1) Tiˆen d¯ˆ` P1 cho thˆe a´y N 6= ∅ v`ı c´ o 0 ∈ N.
2) Theo tiˆen d¯ˆ` P2, tˆe `n ta.i sˆo´ liˆeo ` n sau cu’a 0 v`a sˆo´ d¯´o l`a duy nhˆa´t, k´yhiˆe.u 1 = σ(0) La.i theo tiˆen d¯ˆe` P2, tˆ`n ta.i duy nhˆa´t sˆo´ liˆeo ` n sau cu’a 1, k´y hiˆe.u
2 = σ(1) Tiˆe´p tu.c nhu vˆa.y, ta d¯u.o c mˆo.t h`ınh a’nh cu’a tˆa.p ho p c´ac sˆo´ tu nhiˆenl`a N = {0, 1, 2, 3, 4, }.
3) Tiˆen d¯ˆ` P5 c`e on go.i l`a nguyˆen l´y cu’a ph´ep ch´u.ng minh quy na.p Thˆa.y
vˆa.y, ta x´et mˆo.t h`am mˆe.nh d¯ˆe` P (n) v` a go.i U = {n ∈ N | P (n)} Nˆe´u P (0) d¯´ung
ta c´o 0 ∈ U Cho P (n) d¯´ung ngh˜ıa l`a n ∈ U , nˆe´u ta ch´u.ng minh d¯u.o. c P (σ(n))
d¯´ung, ngh˜ıa l`a σ(n) ∈ U th`ı U nghiˆe.m d¯´ung ca’ hai t´ınh chˆa´t cu’a tiˆen d¯ˆe` P5
Vˆa.y U = N, ngh˜ıa l`a P (n) d¯´ung v´o i mo.i n ∈ N.
Trang 34.1.2.2 T´ ınh chˆ a ´t:
1) Ph´ep cˆo.ng v`a ph´ep nhˆan d¯u.o c x´ac d¯i.nh trˆen N
2) σ(n) = n + 1, v´ o.i mo.i n ∈ N v`a 1 = σ(0).
3) N v´o.i ph´ep cˆo.ng c´o phˆa` n tu.’ khˆong v`a v´o.i ph´ep nhˆan c´o phˆ` n tu.a ’ d¯o.n vi.,ngh˜ıa l`a v´o.i mo.i n ∈ N, ta c´o
1) V´o.i m ∈ N, go.i U = {n ∈ N | m + n ∈ N d¯u o c x´ac d¯i.nh} v`a U0 = {n ∈
N | mn ∈ N d¯u.o. c x´ac d¯i.nh} R˜o r`ang 0 ∈ U v`a 0 ∈ U0 Gia’ su.’ n ∈ U , ngh˜ıa
l`a m + n d¯u.o. c x´ac d¯i.nh Khi d¯´o m + σ(n) = σ(m + n) ∈ N d¯u.o c x´ac d¯i.nh hay
σ(n) ∈ U Vˆ a.y U = N Gia’ su ’ n ∈ U. 0, ngh˜ıa l`a mn d¯u.o. c x´ac d¯i.nh Khi d¯´o
mn + m d¯u.o. c x´ac d¯i.nh hay mσ(n) d¯u o c x´ac d¯i.nh t´u.c l`a σ(n) ∈ U0
Vˆa.y U0 = N
2) n + 1 = n + σ(0) = σ(n + 0) = σ(n), v´ o.i mo.i n ∈ N.
3) Go.i U = {n ∈ N | n + 0 = 0 + n = n} Ta c´o 0 + 0 = 0 hay 0 ∈ U Gia’
su.’ n ∈ U hay n + 0 = 0 + n = n Khi d¯´ o 0 + σ(n) = σ(0 + n) = σ(n) = σ(n) + 0 hay σ(n) ∈ U Vˆ a.y U = N.
Go.i U0 = {n ∈ N | nσ(0) = σ(0)n = n} Ta c´ o 0σ(0) = 0.0 + 0 = 0 = σ(0)0 hay 0 ∈ U0 Gia’ su.’ n ∈ U0 hay nσ(0) = σ(0)n = n. Khi d¯´o σ(n)σ(0) =
σ(n)0 + σ(n) = 0 + σ(n) = σ(n) = σ(n + 0) = n + σ(0) = σ(0)n + σ(0) = σ(0)σ(n)
hay σ(n) ∈ U0 Vˆa.y U0 = N
Trang 44) V´o.i m, n ∈ N, go.i U = {p ∈ N | (m + n) + p = m + (n + p)} Ta c´o (m + n) + 0 = m + n = m + (n + 0) hay 0 ∈ U Gia’ su ’ p ∈ U hay (m + n) + p =
m + (n + p) Khi d¯´o (m + n) + σ(p) = σ((m + n) + p) = σ(m + (n + p)) =
m + σ(n + p) = m + (n + σ(p)) hay σ(p) ∈ U Vˆ a.y U = N.
T´ınh kˆe´t ho. p cu’a ph´ep nhˆan d¯u.o. c ch´u.ng minh trong 6)
5) Go.i U = {n ∈ N | n + 1 = 1 + n} Ta c´o 0 + 1 = 1 + 0 = 1 hay 0 ∈ U Gia’
su.’ n ∈ U hay n + 1 = 1 + n Khi d¯´ o σ(n) + 1 = σ(σ(n)) = σ(n + 1) = σ(1 + n) =
1 + σ(n) hay σ(n) ∈ U Vˆ a.y U = N.
Go.i U0 = {n ∈ N | 0n = 0} Ta c´ o 0.0 = 0 hay 0 ∈ U0 Gia’ su.’ n ∈ U0 hay
0n = 0 Khi d¯´o 0σ(n) = 0n + 0 = 0 + 0 = 0 hay σ(n) ∈ U0 Vˆa.y U0 = N
V´o.i m ∈ N, go.i U00 = {n | m + n = n + m} Ta c´ o m + 0 = 0 + m = m hay
0 ∈ U00 Gia’ su.’ n ∈ U00 hay m + n = n + m Khi d¯´o m + σ(n) = m + (n + 1) = (m + n) + 1 = (n + m) + 1 = n + (m + 1) = n + (1 + m) = (n + 1) + m = σ(n) + m hay σ(n) ∈ U00 Vˆa.y U00 = N
V´o.i m ∈ N, go.i U000 = {n ∈ N | (m + 1)n = mn + n} Ta c´ o (m + 1)0 =
0 = m0 + 0 hay 0 ∈ U000 Gia’ su.’ n ∈ U000 hay (m + 1)n = mn + n Khi d¯´o
(m + 1)σ(n) = (m + 1)n + (m + 1) = (mn + n) + (m + 1) = (mn + m) + (n + 1) =
mσ(n) + σ(n) hay σ(n) ∈ U000 Vˆa.y U000 = N
V´o.i m ∈ N, go.i U0000 = {n ∈ N | mn = nm} Ta c´ o m0 = 0 = 0m hay
0 ∈ U0000 Gia’ su.’ n ∈ U0000 hay mn = nm Khi d¯´o mσ(n) = mn + m = nm + m = (n + 1)m = σ(n)m hay σ(n) ∈ U0000 Vˆa.y U0000 = N
6) V´o.i n, p ∈ N, go.i U = {m ∈ N | m(n + p) = mn + mp} Ta c´o 0(n + p) =
0 = 0n + 0p hay 0 ∈ U Gia’ su ’ m ∈ U hay m(n + p) = mn + mp Khi d¯´o
7) Gia’ su.’ n 6= 0 Khi d¯´o tˆ`n ta.i k ∈ N sao cho σ(k) = n Khi d¯´o 0 =o
m + n = m + σ(k) = σ(m + k) D- iˆe` u n`ay tr´ai v´o.i tiˆen d¯ˆ` 3 Vˆe a.y n = 0 T`u d¯´o
suy ra m = 0.
8) Gia’ su.’ n 6= 0 Khi d¯´o tˆ`n ta.i k ∈ N sao cho σ(k) = n v`a 0 = mn =o
mσ(k) = mk + m, nˆ en m = 0.
9) V´o.i m, n ∈ N, go.i U = {p ∈ N | m + p = n + p ⇒ m = n} Ta c´o
m + 0 = n + 0 ⇒ m = n hay 0 ∈ U Gia’ su ’ p ∈ U hay m + p = n + p ⇒ m = n.
Khi d¯´o m + σ(p) = n + σ(p) ⇒ σ(m + p) = σ(n + p) ⇒ m + p = n + p (do σ l`a
d¯o.n ´anh) ⇒ m = n hay σ(p) ∈ U Vˆ a.y U = N.
10) V´o.i m, n ∈ N, tˆ `n ta.i x ∈ N sao cho m = n + x ho˘a.c n = m + x Khio
d¯´o mp = np + xp ho˘ a.c np = mp + xp T`u mp = np suy ra xp = 0 v`a do p 6= 0,
ta c´o x = 0 Vˆ a.y m = n.
Trang 54.1.3 Quan hˆ e th´ u tu trˆ en N:
4.1.3.1 D- i.nh ngh˜ıa: Cho m v`a n l`a hai sˆo´ tu nhiˆen Ta n´oi
+ m nho’ ho.n n ho˘ a.c n l´o n ho.n m, k´y hiˆe.u m < n ho˘a.c n > m nˆe´u tˆo`n ta.i
x ∈ N, x 6= 0 sao cho n = m + x.
+ m nho’ ho.n hay b˘a`ng n ho˘a.c n l´o.n ho.n hay b˘a`ng m, k´y hiˆe.u m ≤ n ho˘a.c
n ≥ m nˆe´u ho˘a.c m = n ho˘a.c m < n Nhu vˆa.y,
m ≤ n ⇔ ∃x ∈ N, n = m + x.
4.1.3.2 Mˆ e.nh d¯ˆe` : Quan hˆe ≤ l`a mˆo.t quan hˆe th´u tu trˆen N.
Ch´ u.ng minh: T`u d¯i.nh ngh˜ıa ta c´o ngay quan hˆe ≤ c´o t´ınh chˆa´t pha’n xa Bˆay
gi`o nˆe´u m ≤ n v` a n ≤ m th`ı tˆ `n ta.i x, y ∈ N sao cho n = m + x v`a m = n + y.oKhi d¯´o m = m + x + y D`ung luˆa.t gia’n u.´o.c, ta c´o x + y = 0 T`u d¯´o suy ra
x = y = 0, t´u.c l`a m = n Do d¯´o quan hˆe ≤ c´o t´ınh chˆa´t pha’n d¯ˆo´i x´u.ng Quan
hˆe ≤ c`on c´o t´ınh b˘a´c cˆa` u Thˆa.t vˆa.y, nˆe´u m ≤ n v`a n ≤ p th`ı tˆo `n ta.i x, y ∈ N sao cho n = m + x v` a p = n + y Khi d¯´o p = m + (x + y) v´ o.i x + y ∈ N, t´u.c l`a
m ≤ p V`ı vˆ a.y quan hˆe ≤ l`a mˆo.t quan hˆe th´u tu
4.1.3.3 Mˆ e.nh d¯ˆe ` (Luˆ a t tam phˆ an): V´o.i mo.i m, n ∈ N, c´o mˆo.t v`a chı’ mˆo.t
trong ba tru.`o.ng ho. p sau xa’y ra:
m < n, m = n, m > n.
Ch´ u.ng minh: Tru.´o.c hˆe´t, dˆ˜ d`ang c´o d¯u.o c nhiˆee ` u nhˆa´t mˆo.t trong ba tru.`o.ng
ho. p trˆen xa’y ra Bˆay gi`o ta ch´u.ng minh b˘a`ng quy na.p theo n l`a v´o.i mˆo˜i m ∈ N
c´o ´ıt nhˆa´t mˆo.t trong ba tru.`o.ng ho p trˆen xa’y ra V´o.i n = 0, ta c´o m > 0 ho˘a.c
m = 0 v´ o.i mo.i m ∈ N Gia’ su’ v´. o.i n ∈ N ta c´o ´ıt nhˆa´t mˆo.t trong ba tru.`o.ng
ho. p m < n, m = n, m > n xa’y ra v´ o.i mo.i m ∈ N Nˆe´u m < n hay m = n th`ı
m < σ(n) Nˆ e´u m > n th`ı m = σ(n) ho˘ a.c m > σ(n).
4.1.3.4 Mˆ e.nh d¯ˆe ` : V´o.i mo.i m, n, k ∈ N, ta c´o:
1) m < n ⇒ m + k < n + k.
2) m < n v` a k 6= 0 ⇒ mk < nk.
Ch´ u.ng minh: Nˆe´u m < n th`ı tˆ `n ta.i x ∈ N, x 6= 0, n = m + x Khi d¯´oo
n + k = (m + k) + x hay m + k < n + k v´ o.i mo.i k ∈ N Nˆe´u k 6= 0 th`ı
Trang 6Do m ∈ A1 nˆen m ≤ x, ∀x ∈ A M˘ a.t kh´ac, m ∈ A v`ı nˆe´u ngu.o c la.i ta c´o
m < x, ∀x ∈ A, khi d¯´o m + 1 ≤ x, ∀x ∈ A hay m + 1 ∈ A1 Mˆau thuˆa’n v´o.i gia’thiˆe´t vˆ` m Vˆe a.y m l`a sˆo´ nho’ nhˆa´t cu’a A.
4.1.3.6 Ch´ u ´ y: Nguyˆen l´y quy na.p c´o thˆe’ ph´at biˆe’u la.i nhu sau Cho n0 l`a
mˆo.t sˆo´ tu nhiˆ. en v`a P (n) l`a mˆo.t h`am mˆe.nh d¯ˆe` v´o.i n ∈ N Khi d¯´o nˆe´u P (n) c´ot´ınh chˆa´t P (n0) d¯´ung v`a nˆe´u P (k) d¯´ung v´o.i k ≥ n0 k´eo theo P (k + 1) d¯´ung th`ı
P (n) d¯´ung v´o.i mo.i n ≥ n0 Thˆa.t vˆa.y, chı’ cˆa` n ´ap du.ng tiˆen d¯ˆe` vˆe` quy na.p v`ao
tˆa.p ho p.
U = {n ∈ N | 0 ≤ n < n0} ∪ {n ∈ N | n ≥ n0, P (n)}.
4.1.4 Ph´ ep tr` u.:
4.1.4.1 Mˆ e.nh d¯ˆe ` : V´o.i mo.i sˆo´ tu nhiˆ. en m, n, nˆ e´u m ≤ n th`ı tˆ`n ta.i duy nhˆa´to
sˆo´ tu. nhiˆen x sao cho m + x = n.
Ch´ u.ng minh: Kˆe´t qua’ c´o ngay t`u d¯i.nh ngh˜ıa cu’a quan hˆe ≤ v`a luˆa.t gia’n u.´o.ccu’a ph´ep cˆo.ng
4.1.4.2 D- i.nh ngh˜ıa: Sˆo´ tu nhiˆen x thoa’ m˜an d¯˘a’ng th´u.c m + x = n d¯u.o c go.i
l`a hiˆe.u cu’a n v`a m v`a k´y hiˆe.u l`a x = n − m (d¯o.c l`a n tr`u m).
Quy t˘a´c t`ım hiˆe.u n − m go.i l`a ph´ep tr`u
Mˆe.nh d¯ˆe` trˆen cho thˆa´y ph´ep tr`u n − m thu. c hiˆe.n d¯u.o c khi v`a chı’ khi m ≤ n.
4.1.4.3 T´ ınh chˆ a ´t: V´o.i mo.i sˆo´ tu nhiˆ. en m, n, p m` a p ≤ n, ta c´o:
m(n − p) = mn − mp, (n − p)m = nm − pm.
Ch´ u.ng minh: Theo d¯i.nh ngh˜ıa cu’a ph´ep tr`u ta c´o p + (n − p) = n Do d¯´o
m[p + (n − p)] = mn Theo t´ınh chˆa´t phˆan phˆo´i cu’a ph´ep nhˆan d¯ˆo´i v´o.i ph´ep
cˆo.ng, ta d¯u.o c mp + m(n − p) = mn Do d¯´o m(n − p) l`a hiˆe.u cu’a mn v`a mp, t´u.c
Trang 7d¯o d¯a.c v`a phˆan chia Trong mˆo.t di ca’o Ai Cˆa.p, c´o t`u 1550 n˘am tru.´o.c Cˆongnguyˆen, d¯˜a thˆa´y c´o nh˜u.ng kha’o c´u.u tı’ mı’ vˆ` phˆe an sˆo´.
Sˆo´ ˆam d¯u.o. c d¯ˆ` cˆe a.p trong c´ac cˆong tr`ınh cu’a c´ac nh`a To´an ho.c ˆA´n D- ˆo v`ao
d¯ˆ` u th`a o.i k`y Trung cˆo’ v`a chı’ d¯ˆe´n thˆe´ ky’ th´u 16 sau Cˆong nguyˆen ngu.`o.i ta m´o.i
hˆe´t nghi ng`o vˆ` gi´e a tri thu c su. cu’a n´. o D- iˆe` u d¯´o ch´u.ng to’ sˆo´ ˆam ra d¯`o.i khˆongpha’i do yˆeu cˆ` u b´a u.c b´ach cu’a cuˆo.c sˆo´ng, m˘a.c d`u r˘a`ng nh˜u.ng ´y ngh˜ıa thu c tiˆe˜ncu’a sˆo´ ˆam l`a d¯iˆ` u khˆe ong phu’ nhˆa.n d¯u.o c Khi minh hoa cho sˆo´ ˆam ta thu.`o.ng
nˆeu c´ac v´ı du vˆe` nh˜u.ng d¯a.i lu.o ng c´o hai chiˆe`u, nhu.: nhiˆe.t d¯ˆo trˆen 00 v`a du.´o.i
00, d¯ˆo cao v`a d¯ˆo sˆau, chuyˆe’n d¯ˆo.ng vˆe` hai chiˆe` u ngu.o. c nhau, Tuy nhiˆen, trong
tˆa´t ca’ c´ac tru.`o.ng ho. p d¯´o, ta d¯ˆ` u c´e o thˆe’ diˆe˜n d¯a.t d¯u.o c ch´ınh x´ac m`a khˆong cˆa`nd`ung d¯ˆe´n sˆo´ ˆam Ch˘a’ng ha.n, ngu.`o.i ta vˆa˜n d`ung song song hai thuˆa.t ng˜u.: nhiˆe.t
d¯ˆo −100 v`a 100 du.´o.i 00, hay d¯ˆo sˆau −1490m v`a 1490m du.´o.i mu c nu.´o.c biˆe’n, Li.ch su’ d¯˜. a ghi nhˆa.n r˘a`ng sˆo´ ˆam d¯u.o c d¯ˆe` cˆa.p d¯ˆe´n tru.´o.c hˆe´t trong c´ac cˆongtr`ınh to´an ho.c thuˆa` n tu´y, nhu trong vˆa´n d¯ˆ` gia’i phu.o.ng tr`ınh hay trong c´e ac biˆe’uth´u.c d¯a.i sˆo´ V`ı vˆa.y, ta h˜ay t`ım hiˆe’u nguyˆen nhˆan to´an ho.c cu’a su ra d. ¯`o.i c´ac sˆo´ˆ
am
Ta biˆe´t r˘a`ng trong tˆa.p ho p c´ac sˆo´ tu nhiˆen, ph´ep tr`u khˆong pha’i luˆon luˆonthu. c hiˆe.n d¯u.o c, hiˆe.u n−m chı’ tˆo`n ta.i khi n ≥ m M˘a.t kh´ac, hiˆe.u n−m ch´ınh l`a
nghiˆe.m cu’a phu.o.ng tr`ınh m + x = n Vˆa.y viˆe.c thu c hiˆe.n d¯u.o c ph´ep tr`u c´o thˆe’
ph´at biˆe’u du.´o.i mˆo.t h`ınh th´u.c tu.o.ng d¯u.o.ng kh´ac l`a su c´o nghiˆe.m cu’a phu.o.ngtr`ınh n´oi trˆen, v`a ta c´o kˆe´t luˆa.n sau: trong tˆa.p ho p N c´. ac sˆo´ tu. nhiˆen, phu.o.ng
tr`ınh m + x = n c´o nghiˆe.m khi v`a chı’ khi n ≥ m v`a khi d¯´o nghiˆe.m cu’a n´o l`a
x = n − m.
T`u d¯´o, xuˆa´t hiˆe.n mˆo.t yˆeu cˆa` u l`a mo.’ rˆo.ng tˆa.p ho p N c´. ac sˆo´ tu. nhiˆen d¯ˆe’
d¯u.o. c mˆo.t tˆa.p ho p sˆ. o´ m`a trong d¯´o ph´ep tr`u luˆon luˆon thu. c hiˆe.n d¯u.o c, t´u.c l`a
phu.o.ng tr`ınh m + x = n luˆon luˆon c´o nghiˆe.m
Nhu vˆa.y, viˆe.c xˆay du ng tˆ. a.p ho p sˆ. o´ nguyˆen d¯u.o. c d¯˘a.t ra nhu mˆo.t yˆeu cˆa`u
nˆo.i ta.i cu’a to´an ho.c
4.2.1 Xˆ ay du ng tˆ a p ho p c´ . ac sˆ o ´ nguyˆ en t` u tˆ a p ho p c´ . ac sˆ o ´ tu nhiˆ en: 4.2.1.1 Mo ’ d ¯ˆ ` u: Sau d¯ˆ a ay ta s˜e xˆay du. ng tˆa.p ho p Z c´. ac sˆo´ nguyˆen c`ung v´o.iph´ep cˆo.ng v`a ph´ep nhˆan trˆen n´o t`u tˆa.p ho p N c´ac sˆo´ tu nhiˆen v´o.i hai ph´ep to´an
d¯˜a c´o trˆen N V´o.i c´ach cˆa´u ta.o n`ay, c´ac t´ınh chˆa´t quen thuˆo.c cu’a ph´ep cˆo.ng v`aph´ep nhˆan trˆen Z d¯u.o. c suy t`u c´ac t´ınh chˆa´t d¯˜a c´o trˆen N
Yˆeu cˆ` u mo.a ’ rˆo.ng N d¯ˆe’ d¯u.o c tˆa.p ho p sˆo´, trong d¯´o ph´ep tr`u luˆon thu c hiˆe.n
d¯u.o. c, c˜ung c´o ngh˜ıa l`a ph´ep cˆo.ng c´o ph´ep to´an ngu.o c, hay mo.i sˆo´ d¯ˆe`u c´o sˆo´ d¯ˆo´i
D- ´o ch´ınh l`a b`ai to´an d¯ˆo´i x´u.ng ho´a trong d¯a.i sˆo´
Nhu ta d¯˜a biˆe´t
Z = { , −3, −2, −1, 0, 1, 2, 3, }
Trang 8v`a v´o.i hai sˆo´ tu. nhiˆen m, n, tˆ `n ta.i duy nhˆa´t x ∈ Z sao cho m + x = n, ta k´yohiˆe.u x = n − m Bˆay gi`o x´et ´anh xa D : N × N −→ Z cho bo.’i D(n, m) = n − m.
Khi d¯´o
D(n1, m1) = D(n2, m2) ⇔ n1+ m2 = n2+ m1.
V´o.i ch´u ´y n`ay, ta t`ım c´ach xˆay du. ng tˆa.p ho p Z..
4.2.1.2 D- i.nh ngh˜ıa: Trˆen tˆa.p ho p N × N, x´et quan hˆe hai ngˆoi R:
∀(n1, m1), (n2, m2) ∈ N × N, (n1, m1) R (n2, m2) ⇔ n1+ m2 = n2+ m1.
Khi d¯´o quan hˆe R l`a mˆo.t quan hˆe tu o.ng d¯u.o.ng trˆen N × N.
Tˆa.p ho p thu. .o.ng cu’a N×N theo quan hˆe tu.o.ng d¯u.o.ng R nhu trˆen, (N×N)/R,
d¯u.o. c k´y hiˆe.u l`a Z v`a mˆo˜i phˆa` n tu.’ cu’a Z (ch´ınh l`a mˆo˜i l´o.p tu.o.ng d¯u.o.ng theoquan hˆe R) go.i l`a mˆo.t sˆo´ nguyˆen.
X´et ´anh xa D : N × N −→ Z x´ac d¯i.nh bo ’ i D(n, m) = (n, m) D. - ˆay l`a mˆo.tto`an ´anh v`a thu.`o.ng go.i l`a ph´ep chiˆe´u tu nhiˆ. en.
1) Ph´ep cˆo.ng v`a ph´ep nhˆan d¯u.o c x´ac d¯i.nh trˆen Z
2) Ph´ep cˆo.ng v`a ph´ep nhˆan c´o t´ınh giao ho´an, ngh˜ıa l`a v´o.i mo.i x, y ∈ Z, ta
Trang 97) Ph´ep cˆo.ng c´o t´ınh gia’n u.´o.c, ngh˜ıa l`a v´o.i mo.i x, y, z ∈ Z, ta c´o
D- i`eu n`ay mˆau thuˆa’n v´o.i z = D(r, s) 6= 00 Tu.o.ng tu. n + q < m + p c˜ung dˆa˜n
d¯ˆe´n mˆau thuˆa’n Vˆa.y n + q = m + p hay x = y.
Trang 104.2.2.3 Hˆ e qua’: Tˆa.p ho p Z c´. ac sˆo´ nguyˆen c`ung v´o.i ph´ep cˆo.ng v`a nhˆan trong(4.2.2.1) ta.o th`anh mˆo.t v`anh giao ho´an c´o d¯o.n vi v`a khˆong c´o u.´o.c cu’a 0.
4.2.2.4 Quan hˆ e gi˜ u.a N v` a Z: X´et ´anh xa
f : N −→ Z : n 7→ f (n) = D(n, 0).
Khi d¯´o ´anh xa f c´o c´ac t´ınh chˆa´t sau:
1) f l`a mˆo.t d¯o.n ´anh
Thˆa.t vˆa.y, v´o.i n1, n2 ∈ N, f (n1) = f (n2), ta c´o D(n1, 0) = D(n2, 0) hay
T`u c´ac t´ınh chˆa´t trˆen cu’a ´anh xa f , ta c´o thˆe’ d¯ˆo`ng nhˆa´t mˆo˜i sˆo´ tu. nhiˆen n
v´o.i sˆo´ nguyˆen D(n, 0):
n = D(n, 0)
v`a do d¯´o N l`a mˆo.t tˆa.p con thu c su. cu’a Z T`. u d¯´o ta c´o:
00 = D(0, 0) = 0, 10 = D(1, 0) = 1.
4.2.3 Ph´ ep tr` u trˆ en Z:
4.2.3.1 Mˆ e.nh d¯ˆe` : Phu.o.ng tr`ınh a + x = b v´ o.i a, b ∈ Z luˆon c´o nghiˆe.m trong
Z v`a nghiˆe.m d¯´o l`a duy nhˆa´t
Ch´ u.ng minh: D- ˘a.t x = −a + b v´o.i −a l`a sˆo´ d¯ˆo´i cu’a a, ta c´o
a + x = a + (−a + b) = (a + (−a)) + b = 0 + b = b.
Vˆa.y −a + b l`a mˆo.t nghiˆe.m cu’a phu.o.ng tr`ınh
Ngo`ai ra, nˆe´u x0 ∈ Z l`a nghiˆe.m cu’a phu.o.ng tr`ınh trˆen, ta c´o a + x0 = b.
Khi d¯´o −a + (a + x0) = −a + b hay x0 = −a + b.
Vˆa.y nghiˆe.m cu’a phu.o.ng tr`ınh l`a duy nhˆa´t
4.2.3.2 D- i.nh ngh˜ıa: Nghiˆe.m cu’a phu.o.ng tr`ınh a + x = b go.i l`a hiˆe.u cu’a b v`a
a, k´y hiˆe.u b − a (d¯o.c l`a b tr`u a).
Theo mˆe.nh d¯ˆe` trˆen, ta c´o hiˆe.u b − a luˆon tˆo `n ta.i v`a ch´ınh l`a tˆo’ng cu’a b v´o.i
sˆo´ d¯ˆo´i cu’a a : b − a = b + (−a).
Vˆa.y b tr`u a l`a tˆo’ng cu’a b v´o.i sˆo´ d¯ˆo´i cu’a a v`a ph´ep tr`u trˆen Z luˆon luˆon thu c
hiˆe.n d¯u.o c