II. MÔ HÌNH HÌNH TH C CHO TH VI N S DLỨ Ư Ệ Ố
1. C s toán h cơ ở ọ
Đnh nghĩa 2.1ị: M t ột p h pậ ợ là m t s u t p không s p x p ộ ư ậ ắ ế
các th c th phân bi t.ự ể ệ
Đnh nghĩa 2.2ị: M t ộquan hệ nh phânị R trên t p h p A và B ậ ợ
là m t t p con c a A x B. Ký hi u (a,b) ộ ậ ủ ệ R là aRb. M t ộ
quan h R n-phân trên các t p h p A1, A2, ..., An là m t t p ệ ậ ợ ộ ậ
con c a tích Đ các A1x A2 x ... x Anủ ề
Đnh nghĩa 2.3ị: Cho tr c hai t p h p A và B, m t ướ ậ ợ ộ hàm f là
m t quan h nh phân trên A x B sao cho đi v i m i m t a ộ ệ ị ố ớ ỗ ộ
A t n t i b ồ ạ B sao cho (a,b) f và n u (a,b) ế f và (a,c)
f thì b = c. T p h p A đc g i là mi n xác đnh c a f và ậ ợ ượ ọ ề ị ủ
t p h p B đc g i là mi n giá tr c a f. Ký pháp f : A ậ ợ ượ ọ ề ị ủ B
và b = f(a) là m t ký pháp chung đi v i (a,b) ộ ố ớ f. T p h p ậ ợ
{f(a)| a A} đc g i là vùng c a f.ượ ọ ủ
Đnh nghĩa 2.4ị: M t ộdãy là m t hàm f , có mi n xác đnh là ộ ề ị
t p h p các s t nhiên ho c t p con ban đu nào đó c a {1, ậ ợ ố ự ặ ậ ầ ủ
2, ... , n} c a các s t nhiên và mi n giá tr c a nó là t p ủ ố ự ề ị ủ ậ
b t k .ấ ỳ
