Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
ROZDZIAŁ1
Przestrzenietopologiczne
1.Generowanietopologii,bazyipodbazy
Topologiajesttorodzinapodzbiorówustalonegozbioruspełniającaokre-
ślonewarunki;p.definicja1.1.1.Pojęciempodstawowymjestzatemzbiór.
Zarysteoriizbiorówzawierającywykorzystywanewksiążcedefinicjeitwier-
dzeniateoriizbiorów(wrazzdowodami)znajdujesięnakońcuksiążki,wroz-
dzialeszóstymwDodatku.Wrozdzialepierwszympotrzebnetylkopo-
wszechnieznanepojęcia,któremożnaznaleźćwkażdejksiążcematematycz-
nej,awszczególnościwksiążkachdotyczącychtzw.„wstępudomatematy-
ki”;p.Cichoń[103],Grell[196],GuzickiiZakrzewski[201],Kraszewski[284],
Kuratowski[300],MarekiOnyszkiewicz[325],Rasiowa[403],Wojciechow-
ska[522],atakżepierwszaczęśćmojejksiążkizTurkiem[75].
Przypomnijmy,żejeślixjestelementem(nazywanymczęstopunktem)
zbioruA,topiszemyxEA.Napisx/
EAoznacza,żexniejestelementem
zbioruA.JeślidanezbioryAiB,tosymbolABoznaczasumęzbiorów,
czyliogółtychelementów,którenależądoAlubdoB,asymbolABozna-
czaichiloczyn(przecięcie,częśćwspólną),czylizbiórtychelementów,które
należązarównodoA,jakidoB.RóżnicaA\Boznaczazbiórtychelemen-
tówzbioruA,którenienależądoB.Jeśli0(x)oznacza,żexmawłasność
0,toogółtychelementówzbioruA,któremająwłasność0,zapisujemyjako
{xEA:0(x)}.Zbiór,któregojedynymielementamixig,oznaczamyjako
{xjg}.Jeślix=g,tozamiast{xjg}piszemy{x}.Symbolemoznaczamy
zawieranielubinaczejinkluzję.AzatemABoznacza,żekażdyelement
zbioruAnależydozbioruB.Mówimywówczas,żeAjestpodzbioremzbio-
ruB.SymbolD(A)oznaczazbiórwszystkichpodzbiorówzbioruA.JeśliR
jestrodzinązbiorów,czylizbioremzbiorów,totRoznaczasumętejrodziny,
czyliogółtychelementów,którenależądoprzynajmniejjednegozbioruzro-
dzinyR,natomiastuRtozbiórtychelementów,którenależądowszystkich
elementówrodzinyR.Zbiórpustyoznaczamysymbolemÿ,amoczbioruA,
czyliliczbękardynalnązbioruA,symbolem|A|.Najmniejsząliczbękardy-
nalnąnieskończoną,czylimoczbioruliczbnaturalnych,oznaczamysymbolem
Ê.Zbioryliczbnaturalnych,całkowitych,wymiernych,niewymiernych,rze-
czywistychizespolonychoznaczamyodpowiedniosymbolamiN,Z,Q,P,R
orazC.Zeraniezaliczamydoliczbnaturalnych.Przedziałdomknięty[0j1]
oznaczamysymbolemI.
3