Isboti. Zarurligi. qism to’plamlar oilasi va to’plam ning atrofi
bo’lsin. to’plam ochiq bo’lganligi uchun ga tegishli to’plamlar yig’indi-
sidan iborat va ulardan birortasi albatta ni o’z ichiga oladi.
Yetarliligi. qism to’plamlar oilasi teorema shartlarini qanoatlantirsa, uning
baza ekanligini ko’rsataylik. Ixtiyoriy ochiq to’plamni qaraylik. Agar
bo’lsa, teorema shartiga ko’ra mavjud bo’lib, munosa-
bat bajariladi. Shuning uchun bo’ladi. Teorema isbotlandi.
Do'stlaringiz bilan baham: |