Ta’rif. A va B to‘plamlarning barcha umumiy elementlardan tuzilgan C to‘plam shu to‘plamlarning kesishmasi deyiladi va
ko‘rinishida belgilanadi.
A B
1.1.1.Misol.
A 1, 3, 5, 7,
B 1, 2, 3, 4, 5, 6 bo‘lsa, u holda
A B 1, 2, 3, 4, 5, 6, 7 va
A B 1, 3, 5
bo‘ladi.
1.1.7.Ta’rif. A to‘plamdan B to‘plamlarning ayirmasi deb A ga tegishli, lekin B ga tegishli bo‘lmagan barcha elementlardan tuzilgan to‘plamga
aytiladi va u A \ B ko‘rinishida belgilanadi.
Misol.
bo‘ladi.
A 1, 3, 5, 7 ,
B 1, 2, 3, 4, 5, 6
bo‘lsa, u holda
A \ B 7
Ta’rif. B to‘plam A ning qism to‘plami bo‘lganda A \ B to‘plam
B ni A gacha to‘ldiruvchi to‘plam deyiladi va u
CAB orqali belgilanadi.
Ta’rif. Har qanday to‘plamning xos qism to‘plami deb qaralmagan to‘plam universal to‘plam deyiladi va u U orqali belgilanadi.
U universal to‘plamning barcha qism to‘plamlari orasida ikkita xosmas qism to‘plam mavjud bo‘lib, ulardan biri U ning o‘zi, ikkinchisi esa bo‘sh to‘plam, qolganlari esa xos qism to‘plamlar bo‘ladi.
U universal to‘plam chekli bo‘lsa, uning barcha qism to‘plpmlari ham
1 Р.Н. Назаров, Б.Т.Тошпўлатов, А.Д. Дўсумбетов. Алгебра ва сонлар назарияси. I қисм. Ўқитувчи. 1995.
– 271 б.
chekli bo‘ladi, U cheksiz bo‘lganda esa uning qism to‘plamlari chekli yoki cheksiz bo‘lishi mumkin1.
Biror U universal to‘plamning qism to‘plamlari uchun quyidagi tengliklar o‘rinli:
Istalgan ikkita A va B to‘plamlarning kesishma va ayirmasi kommutativ bo‘ladi, ya’ni
A B B A
A B B A
Birlashma va kesishma amallari assotsiativdir:
A B C A B C
A B C A B C
(1)
(2)
(3)
(4)
va (4) tengliklarni istalgan chekli sondagi to‘plamlar uchun ham yozish mumkin.
Uchta A , B va C to‘plamlar ustida kesishma va birlashma
amallari uchun distributivlik qonuni bajariladi:
A B C A B A C
A B C A B A C
(5)
(6)
Oxirgi munosabatlar istalgan chekli sondagi to‘plamlar uchun ham bajariladi, ya’ni
A
A
(7)
(8)
Bitta universal to‘plamning barcha qism to‘plamlari uchun quyidagi ayniyatlar ham o‘rinli bo‘ladi:
4. Idempotentlik qonunlari:
A A A A A A
(9)
(10)
5. Yutilish qonunlari:
A A B A
|
|
(11)
|
A A B A
|
|
(12)
|
6. De – Morgan qonunlari:
|
|
|
A B A B
|
|
(13)
|
A B A B
1.1.10.Ta’rif. Ikkiti X va
|
Y
|
(14)
to‘plamlar berilgan bo‘lsin. Agar ma’lum
|
bir qoida bo‘yicha X to‘plamning har bir elementiga Y to‘plamning birgina elementi mos qo‘yilgan bo‘lsa, X to‘plam Y ga aks ettirilgan deyiladi va bu munosabat
f : X Y
ko‘rinishida yoziladi. Bu aks ettirishni X to‘plamda aniqlangan va qiymatlari Y
da bo‘lgan funksiya (yoki moslik) deb ham ataladi. Jumladan, Y deb haqiqiy
sonlar to‘plamini olsak, u holda
f : X Y
aks ettirishni X to‘plamdagi
haqiqiy funksiya (ba’zan funksional) deyiladi.
Misollar. 1. Agar R haqiqiy sonlar to‘plami bo‘lsa, u holda
funksiya R ni R ga aks ettiradi.
Dirixle funksiyasi
y f x x3
0, аgаr
y x 1, agar
x ratsionalson bo'lsa,
x irratsionalson bo'lsa
haqiqiy sonlar to‘plamini 0 va 1 sonlardan iborat to‘plamga aks ettiradi.
Agar
X R2
ikki o‘lchamli fazo va Y R
bir o‘lchamli fazo bo‘lsa,
u holda R2
fazoni R fazoga har qanday aks ettirish bu, ikki argumentli
funksiyadir. Masalan,
f x,
y x3 y3.
Agar X R
bir o‘lchamli fazo va Y R2
ikki o‘lchamli fazo bo‘lsa,
u holda R fazoni R2
fazoga har qanday aks ettirish bu ikkita bir argumentli
funksiyadir. Masalan, ushbu
x f x,
g x x3, 2x
juftlik.
Agar
C a, b
orqali a, b
segmentdagi barcha uzluksiz funksiyalar
to‘plamini belgilasak, u holda
b
f x f xdx
a
moslik
C a,
b ni R ga aks ettiradi.
X to‘plamning Y to‘plamga barcha aks ettirishlarining o‘zi to‘plam
hosil qiladi. Bu to‘plam Y X
bilan belgilanadi.
Endi ikkita chekli A va B to‘plamlar berilgan bo‘lib, ularni son jihatdan solishtirish kerak bo‘lsin. Bu masalani quyidagi ikki usul bilan hal qilish mumkin:
Bu to‘plamlar elementlarining sonini hisoblab chiqib, chiqqan sonlarni solishtirish;
Agar shunday bir qoida mavjud bo‘lsaki, bu qoidaga muvofiq A
to‘plamning har bir elementiga B to‘plamdan birgina elementi mos keltirilganda B to‘plamning har bir elementiga A to‘plamda ham birgina element mos kelsa, ya’ni A va B to‘plamlar orasida o‘zaro bir qiymatli moslik mavjud bo‘lsa, u holda bu to‘plamlar elementlarining soni jihatidan bir xil bo‘ladi.
1.1.11.Ta’rif. Agar A va B to‘plamlar orasida o‘zaro bir qiymatli moslik mavjud bo‘lsa, u holda bu to‘plamlar ekvivalent yoki teng quvvatli to‘plamlar deyiladi va
A
ko‘rinishida yoziladi.
Odatda A to‘plamga ekvivalent bo‘lgan to‘plamlar sinfi A bilan
belgilanadi va A ni A to‘plamning quvvati yoki kardinal soni deb ataladi. Chekli to‘plamning quvvati (kardinal soni) sifatida odatda bu to‘plam elementlarining soni olinadi.
1.1.12.Ta’rif. 0, 1
segmentdagi nuqtalar to‘plamiga ekvivalent bo‘lgan
to‘plamlarni kontinuum quvvatli to‘plamlar deyiladi.
Tabiiyki, kontinuum quvvatga ega bo‘lgan har qanday to‘plam sanoqsiz to‘plamdir.
Endi ixtiyoriy to‘plamlar sistemasi uchun Dekart ko‘paytmasining ta’rifini
beramiz.
H Ax,
x X
to‘plamlar sistemasining Dekart ko‘paytmasi
Ax
xX
deb, aniqlanish sohasi X to‘plamdan iborat shunday f funksiyalar to‘plamiga
aytiladiki, har bir x X
uchun
f x Ax
munosabat bajariladi.
Topologik fazolar va ularning berilish usullari
Bizga bo’sh bo’lmagan X to’plam berilgan bo’lsin.
1.2.1.Ta’rif. X to’plamdagi topologiya deb X ning qism to’plamlaridan iborat va quyidagi aksiomalarni qanoatlantiruvchi O oilaga aytiladi:
(01)
O
va X O
Agar U1 O va U2 O bo'lsa, u holda U1 U2 O
Agar А О bo'lsa, u holda А O
X , O
juftlik topologik fazo deb ataladi.
X ning O oilaga tegishli berilgan qism to’plamlari ochiq to’plamlar deb ataladi. Topologik fazoni berish – bu biror X to’plamni olib, unda O topologiyani kiritish, ya’ni X ning ochiq to’plam deyiladigan qism to’plamlarini aniqlash demakdir. Topologik fazoning elementlari uning nuqtalari deb ataladi 1.
Ochiq to’plamlar oilasining (01)-(03) xossalarini quyidagicha ham ifodalash mumkin:
bo’sh to’plam va butun fazo ochiq to’plamdir;
ikkita ochiq to’plamning kesishmasi ochiq to’plam;
ihtiyoriy ochiq to’plamlarning birlashmasi ochiq top’lam.
dan ihtiyoriy cheklita ochiq to’plamlarning kesishmasi ochiq to’plam bo’lishi kelib chiqadi.
Agar biror
x X va qandaydir U X
ochiq to’plam uchun
x U
bo’lsa, U
ga x nuqtaning atrofi deyiladi. Agar har bir
x V
nuqta uchun x nuqtaning V da
yotuvchi Ux
atrofi mavjud bo’lsa va faqat shu holdagina
V X
to’plam ochiq
bo’ladi. Bu shart bajarilsa, u holda (03) ga asosan
V Ux x X
ochiq to’plam
∪
bo’ladi. Agar X fazoning har qanday bo’sh bo’lmagan ochiq to’plamostisini biror B oilaga tegishli to’plamlarning birlashmasi shaklida yozish mumkin
bo’lsa, u holda
B O
oila X ,O topologik fazoning bazasi deyiladi.
1 Энгелькинг Р. Общая топология. М. Наука. : 1986. -752 c.
Har bir
x X
nuqta va bu nuqtaning har qanday V atrofi uchun
x U V
shartni qanoatlantiruvchi
U B
mavjud bo’lsa va faqar shu holdagina B oila
X ,O topologik fazoning bazasi deyiladi.
Topologik fazo bir nechta bazalarga ega bo’lishi mumkin. Har qanday baza quyidagi hossalarga ega:
(V1) ihtiyoriy
U1,U2 B va ihtiyoriy
x U1 ∩U2
nuqta uchun
x U U1 ∩U2
shartni qanoatlantiruvchi U B element mavjud.
(V2) har qanday
x X
uchun
x U
bo’ladigan U B
element mavjud.
B – X ,O
topologik fazoning bazasi bo’lganda
| B |
ko’rinishdagi kardinal
sonlar to’plami eng kichik elementga ega. Bu kichik kardinal son (X,O)
topologik fazoning salmog’i deyiladi va
W ( X , O)
ko’rinishida belgilanadi.
P O oila elementlarining
U1 ∩U2 ∩ ... ∩Uk , U1 P, i 1,2,3,...,k
chekli
kesishmalari baza hosil qilsa, u holda R oila (X,O) fazoning bazaoldi deyiladi.
Agar X ,O
topologik fazoning x nuqtasini har qanday V atrofi uchun
shunday U B(x)
element topilib,
x U V
bo’lsa, u holda x ning atroflari oilasi
berilgan B(x) ga, x nuqtadagi baza deyiladi.
Agar B – X ,O
topologik fazoning bazasi bo’lsa, u holda x ni o’z ichiga
oluvchi B ning elementlaridan tuzilgan
Bx
oila fazoning x nuqtadagi bazasi
deyiladi. Ikkinchi tomondan agar
Bx, X ,O
fazoning x nuqtadagi bazasi
bo’lsa, u holda
B B(x)
∪
xX
birlashma (X,O) fazoning bazasi bo’ladi1.
(X,O) topologik fazoning x nuqtadagi V(x) bazalari quvvatlarining eng
kichik quvvatiga x nuqtaning xarakteri deyiladi va belgilanadi, demak
x, X , O
ko’rinishida
x, X ,O min B(x) : B(x) ( X ,O) fazoning х nuqtadagi bazasi.
x, X , O
kardinal sonlarning eng kattasiga (X,O) topologik fazoning
harakteri deyiladi va
X ,O ko’rinishida belgilanadi.
1
Энгелькинг Р. Общая топология. М. Наука. : 1986. -752 c.
Agar
x, X ,O 0
bo’lsa, u holda (X,O) fazo birinchi sanoqlilik
aksiomasini qanoatlantiradi deyiladi, bu esa har bir
mavjudligini anglatadi.
x X
nuqtada sanoqli baza
Agar
W X ,O 0
bo’lsa, u holda X ,O
fazo ikkinchi sanoqlilik
aksiomasini qanoatlantiradi deyiladi, ya’ni X ,O fazo sanoqli bazaga ega.
X ,O
– topologik fazo va har bir
x X
uchun X ,O
fazoning
B(x)
bazasi
berilgan bo’lsin. B(x)xX
oilagaX ,O
topologik fazoning atroflar sistemasi
deyiladi.
Har bir B(x)xX
atroflar sistemasi quyidagi hossalarga ega:
(VR1). Har qanday
B(x)
va ixtiyoriy U B(x) uchun
x U .
(VR2). Agar
x B( y)
bo’lsa, u holda shunday V B(x)
topiladiki, V U
bo’ladi.
(VR3). Ixtiyoriy
U1,U2 B(x)
uchun shunday
U B(x)
topiladiki
U U1 ∩U2
o’rinli bo’ladi.
X ,O
topologik fazoda
F X
to’plamning to’ldiruvchisi
X \ F
ochiq
to’plam bo’lsa, u holda F to’plam yopiq to’plam deyiladi. De – Morgan qonunlari va ochiq to’plamning (01)-(03) xossalaridan, yopiq to’plamlar oilasi E ning quyidagi xossalarini yozishimiz mumkin:
(S1)
X E
va E
(S2) Agar
А1 E va
F2 E
bo’lsa,
F1 ∪ F2 E
(S3) Agar
A E
bo’lsa u holda
∩ A E .
Bu xossalardan, masalan (S3) ni isbotlaymiz.
Fs sS
- yopiq top’lamlar oilasi bo’lsin. Ta’rifga ko’ra, to’ldiruvchi
Us X \ Fs
to’plam har bir
s S
uchun ochiq to’plam bo’ladi.
∩Fs ∩X \ Us X \ ∪Us munosabat va ∪Us
birlashmaning ochiqligidan
sS
sS
sS
sS
ga ko’ra kesishma yopiq ekanligi kelib chiqadi.
Bir vaqtda ochiq va yopiq bo’lgan to’plam ochiq-yopiq to’plam deyiladi.
A X
to’plamni o’z ichiga oluvchi yopiq to’plamlar oilasini
EA orqali
belgilaymiz, u holda kelib chiqadi.
E . (S3) dan
A ∩EA
kesishmaning yopiq ekanligi
A to’plam A ni o’z ichiga oluvchi eng kichik yopiq to’plam bo’ladi, A ga A
to’plamning yopilmasi deyiladi. Ravshanki, to’plamning yopiq bo’lishi uchun uning o’z yopilmasi bilan ustma-ust tushishi zarur va yetarli.
X fazoning ikkita A, B to’plamastilari uchun, agar
A B
bo’lsa, u holda
A B
bo’ladi. Haqiqatdan ham A B
munosabatdan
EB EA
munosabat kelib
Dostları ilə paylaş: |