Thông tin tài liệu
TRUY CHÖÙNG HÖÕU HAÏN
Ñònh lyù
P = (Pi)i ∈ N, vôùi Pi laø caùc meänh ñeà luaän lyù.
Neáu
P1
ñuùng, vaø
Pn
ñuùng → Pn+1 ñuùng
thì P ñuùng.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TRUY CHÖÙNG HÖÕU HAÏN
Chöùng minh ñònh lyù.
Chuyeån thaønh daïng töông ñöông
Ñaët S = { i | i ∈ N vaø Pi sai }.
Ñeå chöùng minh P ñuùng trôû thaønh chöùng minh S = ∅.
Chöùng minh baèng phaûn chöùng
Giaû söû S ≠ ∅ thì sinh ra ñieàu maâu thuaãn.
Toùm laïi, ñi chöùng minh heä thoáng sinh ra maâu thuaãn :
S ≠ ∅.
P1 ñuùng.
Pn ñuùng → Pn+1 ñuùng.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TRUY CHÖÙNG HÖÕU HAÏN
S = { i | i ∈ N vaø Pi sai }.
→ min(S) = η,
→ (η ∈ S)
vì (S ≠ ∅ vaø S ⊆ N)
→ (Pη sai).
→ (P1 ñuùng)
→ (1 ∉ S).
→ (1 < η)
→ [(η−1) ∉ S]
→ 1 ≤ (η−1) < η.
→ (Pη−1 ñuùng).
→ (Pη−1 ñuùng)
→ (Pη ñuùng).
Maâu thuaãn vì cuøng coù (Pη sai) vaø (Pη ñuùng).
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
HÖÕU HAÏN − VOÂ HAÏN
Höõu haïn
finite
inductive
non-reflexive
Voâ haïn
infinite
non-inductive
reflexive
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
HÖÕU HAÏN − VOÂ HAÏN
F höõu haïn neáu
• (∃n) : F 1-1treân vôùi In = {1, 2, … , n}, hoaëc
• F = ∅.
Taäp hôïp caùc ngoùn tay cuûa 2 baøn tay
↔ I10.
Taäp hôïp caùc kyù töï cuûa baûng alphabet
↔ I26.
Taäp hôïp caùc gia suùc coù trong nhaø
↔ I100.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
HÖÕU HAÏN − VOÂ HAÏN
Ñònh nghóa hình thöùc :
F höõu haïn
↔
(∃n)((F ↔ In) ∨ (F = ∅)).
Ñònh nghóa maëc nhieân qui öôùc taäp ∅ vaø In laø höõu haïn.
Laáy phuû ñònh 2 veá.
F khoâng höõu haïn
↔
(∀n)((F ↔ In) ∧ (F ≠ ∅)).
Höõu haïn vaø voâ haïn laø 2 khaùi nieäm "cuøng toàn taïi".
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ TREÂN TAÄP VH
Meänh ñeà
P ⊆ In → P höõu haïn.
Chöùng minh :
P coù phaàn töû cöïc tieåu p1.
P − {p1} coù phaàn töû cöïc tieåu p2.
P − {p1, p2} coù phaàn töû cöïc tieåu p3.
Quaù trình naøy döøng ôû böôùc k (≤ n).
P = {p1, p2, p3, … , pk}.
Vaäy P ↔ Ik.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ TREÂN TAÄP VH
Meänh ñeà
P ⊆ höõu haïn →
Meänh ñeà
Q ⊇ voâ haïn →
P höõu haïn.
Q voâ haïn.
Phaùt bieåu hình thöùc
(∀P, Q)[(P ⊆ Q) ∧ (Q höõu haïn → P höõu haïn)].
Do (a → b) = (¬b → ¬a)
(∀P, Q)[(P ⊆ Q) ∧ (P voâ haïn → Q voâ haïn)].
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ TREÂN TAÄP VH
Ñònh lyù
Neáu X höõu haïn thì
X khoâng 1-1treân vôùi moïi taäp con rieâng cuûa X.
Phaùt bieåu hình thöùc
X höõu haïn → (∀S ⊂ X) (X ↔ S).
Daïng töông ñöông
[(∃S ⊂ X) (X ↔ S)] → X voâ haïn.
Neáu X coù taäp con rieâng 1-1 treân vôùi X thì X voâ haïn.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ TREÂN TAÄP VH
Ñònh lyù
Neáu X höõu haïn thì
X khoâng 1-1treân vôùi moïi taäp con rieâng cuûa X.
Daïng töông ñöông
X höõu haïn → (∀S ⊆ X) (X ↔ S).
Chöùng minh : (phaûn chöùng)
X höõu haïn vaø [(∃S ⊂ X) (X ↔ S)].
→ X ↔ In, vì X höõu haïn,
→ S ↔ Im vôùi m < n, vì S höõu haïn,
→ In ↔ I m.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ TREÂN TAÄP VH
Ñònh lyù
In khoâng 1-1treân vôùi moïi taäp con rieâng S cuûa noù .
Chöùng minh (truy chöùng)
Pn = "In khoâng 1-1treân vôùi moïi taäp con rieâng", ∀n∈N.
P1 ñuùng vì {1} ↔ ∅.
Chöùng minh (Pn ñuùng) → (Pn+1 ñuùng).
Phaûn chöùng, giaû söû S ⊂ In+1 vaø coù f : In+1 ↔ S.
→ S − {f(n+1)} ↔ In, vôùi S − {f(n+1) ⊂ In.
→ maâu thuaãn.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
s
TOAÙN TÖÛ TREÂN TAÄP VH
Meänh ñeà
Taäp X 1-1treân vôùi taäp höõu haïn thì höõu haïn.
Taäp X 1-1treân vôùi taäp voâ haïn thì voâ haïn.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ TREÂN TAÄP VH
Boå ñeà
N ↔ Ne ↔ No
Chöùng minh
f : N → Ne
n 2n
g : N → No
n 2n−1
aùnh xaï f vaø g laø 1-1treân.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ TREÂN TAÄP VH
Heä quaû
Taäp N, Z, Q, R, C laø voâ haïn.
Chöùng minh
Ne
N Z
Q R C
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
s
TOAÙN TÖÛ ∪ TREÂN TAÄP VH
Höõu haïn ∪ Höõu haïn = Höõu haïn
{a, c} ∪ {1, 2, 3, 4} = {a, c, 1, 2, 3, 4}
Voâ haïn ∪ Höõu haïn = Voâ haïn
{a, b, c} ∪ {1, 2, 3, … } = {a, c, d, 1, 2, 3, … }
Voâ haïn ∪ Voâ haïn = Voâ haïn
{1, 3, 5, … } ∪ {2, 4, 6, … } = {1, 2, 3, … }
Caùi höõu haïn “bieán maát” trong caùi voâ haïn.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ ∪ TREÂN TAÄP VH
Chöùng minh
Cho A ↔ Im, B ↔ In, C vaø D voâ haïn.
Höõu haïn ∪ Höõu haïn = Höõu haïn
A ∩ B = ∅ → A ∪ B ↔ Im+n.
A ∩ B ≠ ∅ → A ∪ B = A ∪ (B−A)
Voâ haïn ∪ Höõu haïn = Voâ haïn
C ∪ A chöùa taäp con C voâ haïn.
Voâ haïn ∪ Voâ haïn = Voâ haïn
C ∪ D chöùa taäp con C voâ haïn.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
∪ MÔÛ ROÄNG TREÂN TAÄP VH
Hoäi môû roäng ∪Ai treân taäp chæ soá I :
I = höõu haïn + Ai = höõu haïn
→ ∪Ai = höõu haïn.
I = {1, 2, 3}, Ai = {x| x ≤ i}
I = höõu haïn + 1 Ai = voâ haïn
→ ∪Ai = voâ haïn.
I = {1, 2, 3}, Ai = {x| x > i}
I = voâ haïn + 1 Ai = voâ haïn
→ ∪Ai = voâ haïn.
I = N, A1 = N, Ai ={x| x ≤ i} vôùi i>1.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
∪ MÔÛ ROÄNG TREÂN TAÄP VH
Hoäi môû roäng ∪Ai treân taäp chæ soá I :
I = voâ haïn, Ai = höõu haïn
→ ∪Ai = khoâng xaùc
ñònh.
Pi = {x | x ∈ N, 1 ≤ x < i }, ∀i ∈ N,
∪Ai = voâ haïn
Qi = {1}, ∀i ∈ N.
∪Ai = höõu haïn
∅
Tröôøng hôïp ñaëc bieät : ∪ Ri = ∅
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ ∩ TREÂN TAÄP VH
Höõu haïn ∩ Höõu haïn = Höõu haïn
{a, c, d} ∩ {a, 1, c, 2, d, 3} = {a, c, d}
Voâ haïn ∩ Höõu haïn = Höõu haïn
{1, 2, 3} ∩ N = {1, 2, 3}
Voâ haïn ∩ Voâ haïn = khoâng xaùc ñònh
{1, 2, 3, 4, 5, 7, 9, … } ∩ {2, 4, 6, … } = {2, 4}
{1, 3, 5, … } ∩ N = {1, 3, 5, … }
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
∩ MÔÛ ROÄNG TREÂN TAÄP VH
Giao môû roäng ∩Ai treân taäp chæ soá I :
I = höõu haïn, 1 Ai = höõu haïn → ∩Ai = höõu haïn.
I = höõu haïn, Ai = voâ haïn
→ ∩Ai = khoâng xaùc ñònh.
I = voâ haïn, 1 Ai = höõu haïn → ∩Ai = höõu haïn.
I = voâ haïn, Ai = voâ haïn
→ ∩Ai = khoâng xaùc ñònh.
Pi = {1} ∪ {x | x ∈ N, i < x},∀i ∈ N,
Qi = N, ∀i ∈ N.
Tröôøng hôïp ñaëc bieät : ∩
∅ Ri = ∅
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ − TREÂN TAÄP VH
Höõu haïn − Höõu haïn = Höõu haïn
{a, b, c, d, e} − {a, c, d, 1, 2, 3, 4} = {b, e}
Höõu haïn − Voâ haïn = Höõu haïn
{1, 2, 3} − {2, 4, 6, … } = {1, 3}
Voâ haïn − Höõu haïn = Voâ haïn
{a, b, c, 1, 2, 3, … } − {a, b, c} = N
Voâ haïn − Voâ haïn = khoâng xaùc ñònh
N − {2, 4, 6, … } = {1, 3, 5, … }
{a, b, c, 1, 2, 3, 4, 5, … } − N = {a, b, c}
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ Π TREÂN TAÄP VH
Tích môû roäng ΠAi treân taäp chæ soá I :
I = höõu haïn, Ai = höõu haïn → ΠAi = höõu haïn.
I = höõu haïn, 1 Ai = voâ haïn → ΠAi = voâ haïn.
I = {1, 2}, A1 = {a}, A2 = N,
A1×A2 = voâ haïn.
I = voâ haïn, Ai = voâ haïn
→ ΠAi = voâ haïn.
I = voâ haïn, Ai = höõu haïn
→ ΠAi = khoâng xaùc ñònh.
Pi = {1, 2}
→ ΠP
N i = voâ haïn.
Qi = {1}
→ ΠQ
N i = höõu haïn.
Tröôøng hôïp ñaëc bieät : ΠR
∅ i = {∅}.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
TOAÙN TÖÛ Π TREÂN TAÄP VH
Cho Pi = {1, 2}, i ∈ N.
ΠPi = P1 × P2 × P3 × P4 × … × Pn × …
Caùc phaàn töû :
(1, 1, 1, 1, … , 1, … ) ∈ ΠPi,
(2, 1, 1, 1, … , 1, … ) ∈ ΠPi,
(1, 2, 1, 1, … , 1, … ) ∈ ΠPi,
(1, 1, 2, 1, … , 1, … ) ∈ ΠPi,
…
(1, 1, 1, 1, … , 2, … ) ∈ ΠPi,
…
Vaäy ΠPi voâ haïn.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
VOÂ HAÏN DEDEKIND
D voâ haïn ↔ (∃H) (D ↔ H) vôùi H ⊂ D.
→
→
∅ höõu haïn.
In höõu haïn.
→
→
→
(S ⊆ X höõu haïn
→
(X ⊇ S voâ haïn
→
N, Z, Q, R, C laø voâ haïn.
S höõu haïn).
X voâhaïn).
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
CHÖÙNG MINH HH-VH
Chöùng minh taäp X höõu haïn :
X 1-1treân vôùi moät taäp höõu haïn.
X laø taäp con cuûa moät taäp höõu haïn.
Chöùng minh taäp Y voâ haïn :
Y 1-1treân vôùi moät taäp voâ haïn.
Y laø chöùa moät taäp con voâ haïn.
Y 1-1treân vôùi moät taäp con rieâng cuûa noù.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
BAØI TAÄP HH-VH
Taäp Σ = {a, b, c, d, … , z}.
Taäp Σ* = { x1x2 ... xn | (∀n∈N)(∀i∈[1, n]) (xi ∈ Σ) }.
Thí duï :
aaa, abcbbd, nguyen ∈ Σ*.
Chöùng minh Σ* laø voâ haïn.
Laáy P = {a, aa, aaa, aaaa, … } ⊆ Σ*.
→ P ↔ N.
→ P voâ haïn.
* Söû duïng 2 caùch laø chöùa taäp con voâ haïn vaø 1-1treân.
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
LYÙ THUYEÁT TAÄP HÔÏP
HEÁT CHÖÔNG
Nguyễn Quang Châu- Khoa
CNTT- Trường CN Tp.HCM
[...]... Vậy ΠPi vô hạn Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM VÔ HẠN DEDEKIND D vô hạn ↔ (∃H) (D ↔ H) với H ⊂ D → → ∅ hữu hạn In hữu hạn → → → (S ⊆ X hữu hạn → (X ⊇ S vô hạn → N, Z, Q, R, C là vô hạn S hữu hạn) X v hạn) Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM CHỨNG MINH HH-VH Chứng minh tập X hữu hạn : X 1-1trên với một tập hữu hạn X là tập con của một tập hữu hạn Chứng minh tập Y vô hạn : Y 1-1trên... trên tập chỉ số I : I = hữu hạn, 1 Ai = hữu hạn → ∩Ai = hữu hạn I = hữu hạn, Ai = vô hạn → ∩Ai = không xác đònh I = vô hạn, 1 Ai = hữu hạn → ∩Ai = hữu hạn I = vô hạn, Ai = vô hạn → ∩Ai = không xác đònh Pi = {1} ∪ {x | x ∈ N, i < x},∀i ∈ N, Qi = N, ∀i ∈ N Trường hợp đặc biệt : ∩ ∅ Ri = ∅ Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM TOÁN TỬ − TRÊN TẬP VH Hữu hạn − Hữu hạn = Hữu hạn {a, b, c, d, e} −... 3, … } Vô hạn ∪ Vô hạn = Vô hạn {1, 3, 5, … } ∪ {2, 4, 6, … } = {1, 2, 3, … } Cái hữu hạn “biến mất” trong cái vô hạn Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM TOÁN TỬ ∪ TRÊN TẬP VH Chứng minh Cho A ↔ Im, B ↔ In, C và D vô hạn Hữu hạn ∪ Hữu hạn = Hữu hạn A ∩ B = ∅ → A ∪ B ↔ Im+n A ∩ B ≠ ∅ → A ∪ B = A ∪ (B−A) Vô hạn ∪ Hữu hạn = Vô hạn C ∪ A chứa tập con C vô hạn Vô hạn ∪ Vô hạn = Vô hạn C ∪ D... e} Hữu hạn − Vô hạn = Hữu hạn {1, 2, 3} − {2, 4, 6, … } = {1, 3} Vô hạn − Hữu hạn = Vô hạn {a, b, c, 1, 2, 3, … } − {a, b, c} = N Vô hạn − Vô hạn = không xác đònh N − {2, 4, 6, … } = {1, 3, 5, … } {a, b, c, 1, 2, 3, 4, 5, … } − N = {a, b, c} Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM TOÁN TỬ Π TRÊN TẬP VH Tích mở rộng ΠAi trên tập chỉ số I : I = hữu hạn, Ai = hữu hạn → ΠAi = hữu hạn I = hữu hạn, ... tập chỉ số I : I = vô hạn, Ai = hữu hạn → ∪Ai = không xác đònh Pi = {x | x ∈ N, 1 ≤ x < i }, ∀i ∈ N, ∪Ai = vô hạn Qi = {1}, ∀i ∈ N ∪Ai = hữu hạn ∅ Trường hợp đặc biệt : ∪ Ri = ∅ Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM TOÁN TỬ ∩ TRÊN TẬP VH Hữu hạn ∩ Hữu hạn = Hữu hạn {a, c, d} ∩ {a, 1, c, 2, d, 3} = {a, c, d} Vô hạn ∩ Hữu hạn = Hữu hạn {1, 2, 3} ∩ N = {1, 2, 3} Vô hạn ∩ Vô hạn = không xác đònh... hạn Vô hạn ∪ Vô hạn = Vô hạn C ∪ D chứa tập con C vô hạn Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM ∪ MỞ RỘNG TRÊN TẬP VH Hội mở rộng ∪Ai trên tập chỉ số I : I = hữu hạn + Ai = hữu hạn → ∪Ai = hữu hạn I = {1, 2, 3}, Ai = {x| x ≤ i} I = hữu hạn + 1 Ai = vô hạn → ∪Ai = vô hạn I = {1, 2, 3}, Ai = {x| x > i} I = vô hạn + 1 Ai = vô hạn → ∪Ai = vô hạn I = N, A1 = N, Ai ={x| x ≤ i} với i>1 Nguyễn Quang... hạn, 1 Ai = vô hạn → ΠAi = vô hạn I = {1, 2}, A1 = {a}, A2 = N, A1×A2 = vô hạn I = vô hạn, Ai = vô hạn → ΠAi = vô hạn I = vô hạn, Ai = hữu hạn → ΠAi = không xác đònh Pi = {1, 2} → ΠP N i = vô hạn Qi = {1} → ΠQ N i = hữu hạn Trường hợp đặc biệt : ΠR ∅ i = {∅} Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM TOÁN TỬ Π TRÊN TẬP VH Cho Pi = {1, 2}, i ∈ N ΠPi = P1 × P2 × P3 × P4 × … × Pn × … Các phần tử : (1,... Bổ đề N ↔ Ne ↔ No Chứng minh f : N → Ne n 2n g : N → No n 2n−1 ánh xạ f và g là 1-1trên Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM TOÁN TỬ TRÊN TẬP VH Hệ quả Tập N, Z, Q, R, C là vô hạn Chứng minh Ne N Z Q R C Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM s TOÁN TỬ ∪ TRÊN TẬP VH Hữu hạn ∪ Hữu hạn = Hữu hạn {a, c} ∪ {1, 2, 3, 4} = {a, c, 1, 2, 3, 4} Vô hạn ∪ Hữu hạn = Vô hạn {a, b, c} ∪ {1,... của nó Chứng minh (truy chứng) Pn = "In không 1-1trên với mọi tập con riêng", ∀n∈N P1 đúng vì {1} ↔ ∅ Chứng minh (Pn đúng) → (Pn+1 đúng) Phản chứng, giả sử S ⊂ In+1 và có f : In+1 ↔ S → S − {f(n+1)} ↔ In, với S − {f(n+1) ⊂ In → mâu thuẫn Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM s TOÁN TỬ TRÊN TẬP VH Mệnh đề Tập X 1-1trên với tập hữu hạn thì hữu hạn Tập X 1-1trên với tập vô hạn thì vô hạn Nguyễn... 1-1trên với một tập vô hạn Y là chứa một tập con vô hạn Y 1-1trên với một tập con riêng của nó Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM BÀI TẬP HH-VH Tập Σ = {a, b, c, d, … , z} Tập Σ* = { x1x2 xn | (∀n∈N)(∀i∈[1, n]) (xi ∈ Σ) } Thí dụ : aaa, abcbbd, nguyen ∈ Σ* Chứng minh Σ* là vô hạn Lấy P = {a, aa, aaa, aaaa, … } ⊆ Σ* → P ↔ N → P vô hạn * Sử dụng 2 cách là chứa tập con vô hạn và 1-1trên Nguyễn ... I = hữu hạn, Ai = hữu hạn → ΠAi = hữu hạn I = hữu hạn, Ai = vô hạn → ΠAi = vô hạn I = {1, 2}, A1 = {a}, A2 = N, A1×A2 = vô hạn I = vô hạn, Ai = vô hạn → ΠAi = vô hạn I = vô hạn, Ai = hữu hạn. .. rộng ∩Ai tập số I : I = hữu hạn, Ai = hữu hạn → ∩Ai = hữu hạn I = hữu hạn, Ai = vô hạn → ∩Ai = không xác đònh I = vô hạn, Ai = hữu hạn → ∩Ai = hữu hạn I = vô hạn, Ai = vô hạn → ∩Ai = không xác... TỬ − TRÊN TẬP VH Hữu hạn − Hữu hạn = Hữu hạn {a, b, c, d, e} − {a, c, d, 1, 2, 3, 4} = {b, e} Hữu hạn − Vô hạn = Hữu hạn {1, 2, 3} − {2, 4, 6, … } = {1, 3} Vô hạn − Hữu hạn = Vô hạn {a, b, c, 1,
Ngày đăng: 01/10/2015, 14:25
Xem thêm: Silde bài giảng cấu trúc rời rạc phần truy chứng hữu hạn , Silde bài giảng cấu trúc rời rạc phần truy chứng hữu hạn