Mavzu; Natural sonlar to'plamiga akslantirish prinsipi. To'plamlar nazariyasining aksiomalari. Algebraik sistemalar

Syur’ektiv va in’ektiv moslik bir so’z bilan biektiv deyiladi.

Hamma yerda aniqlangan funktsional moslik akslantirish deyiladi.

X va Y to’plamlar orasidagi f moslik biektiv akslantirish bo’lsa, X va Y to’plamlar orasida o’zaro bir qiymatli moslik o’rnatilgan deyiladi

X va Y to’plamlar orasida o’zaro bir qiymatli moslik o’rnatilgan bo’lsa, bu to’plamlar teng quvvatli deyiladi.

Barcha natural sonlar sonlar to’plami N ga teng quvvatli to’plamlar sanoqli to’plam deyiladi.

D(g)f va g sonli funksiyalar berilgan va E(f) D(f)bo'lsin. f va g funksiyalar kompozitsiyasi deb D (f) da berilgan va har qaysi x songa g(f(x)) sonni mos qo'yuvchi yangi F(x) funksiyaga aytiladi (lot. compositio - tuzish). F funksiya gof orqali ham belgilanadi: (g°f)(x)=g(f(x)). Kompozitsiya ifodasini tuzish uchun g(x) dagi x o'rniga f funksiya ifodasi qo'yiladi.