Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
1.4.Rachunekzbiorów
25
Korzystajączpowyższejtautologii,podstawiajączapzdaniexA,zaqzaś
zdaniexB,mamy
x(A\B)(AB)(xA\BxAB)
((xAx/∈B)(xAxB))
((xA¬(xB))(xAxB))
xA.
Π
Wprowadzimyjeszczepojęcia,którebędąniezbędnewpóźniejszychrozdzia-
łachdozdefiniowaniapotęgiowykładnikurzeczywistym.
NiechAbędziepodzbioremzbioruliczbrzeczywistych.Mówimy,żezbiórA
jest:
i)ograniczonyzgóry,jeśliistniejetakaliczbaM,żeA(−∞,M],tzn.
MRxAx<M;
ii)ograniczonyzdołu,jeśliistniejetakaliczbam,żeA[m,),tzn.
mRxAm<x;
iii)ograniczony,jeślijestograniczonyzgóryizdołu,czyli
MRmRxAm<x<M.
LiczbęM,oileistnieje,nazywamyograniczeniemgórnymzbioruAimówimy,że
zbiórAjestograniczonyzgóryprzezliczbę(stałą)M.Liczbęmzaś,oileistnieje,
nazywamyograniczeniemdolnymzbioruAimówimy,żezbiórAjestograniczony
zdołuprzezliczbę(stałą)m.
OgraniczonośćmożemyrównieżwyrazićzapomocąjednejstałejM.Miano-
wicie,zbiórAjestograniczony,jeśli
MRxAM<x<M.
Ćwiczenie1.19.Czynastępującezbioryograniczone,ograniczonezgóry,
ograniczonezdołu?
1)A=[1,7);
2)Atozbiórliczbnaturalnychpodzielnychprzez3;
3)A=(−∞,2];
4)Atozbiórliczbwymiernychpostaci1
p,gdziepZ\{0}.
Rozwiązanie
1)ZbiórAjestograniczonyzgóryprzezliczbę7izdołuprzezliczbę1,gdyż
A(−∞,7]iA[1,).Jestonzatemograniczony.
2)ZbiórAjestograniczonyzdołuprzezliczbę1,gdyżkażdaliczbanaturalna,
wszczególnościpodzielnaprzez3,jestwiększabądźrówna1.Najmniejszą
liczbąnaturalnąpodzielnąprzez3jestwłaśnieliczba3,więc„najlepszym”