Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
WYKŁAD2
Zbiory.Iloczynkartezjański.Relacje
KulaunogiZiemia.
HUGOSTEINHAUS
2.1.Zbiory(mnogości)
Twórcąteoriizbiorów(teoriimnogości)jestGeorgCantor(1845–1918).Podstawową
rolęwtejteoriiodgrywarelacjanależenia:
aAoznacza,żeelementanależydozbioruA(ajestelementemA).
ZnakwprowadzonyprzezwłoskiegomatematykaPeano(1858–1932)jeststylizowaną
pierwsząliterągreckiegosłowaτι(jest).
a/∈Aoznacza,żeelementanienależydozbioruA(aniejestelementemA).
Mamya/∈A∼(aA).
Przykłady:
1N9
15Z9
2
3W9
d2R9
13/∈N9
1
2/∈Z9
d3/∈W.
Oznaczenie1.Zbiór,doktóregonależąelementya19a29...9an,itylkoteele-
menty,oznaczamysymbolem{a19a29...9an}.
Naprzykład:{a}9{192939495}9{192939...}9{294989169...}.
Oznaczenie2.Niechp(x)będziedowolnąformązdaniowąokreślonąnazbiorze
A.Symbolem{xA:p(x)}oznaczamyzbiórwszystkichelementówzbioruA,dla
którychformazdaniowap(x)jestzdaniemprawdziwym.
Naprzykład:
{nN:5|n}={59109159209...}9
{xR:a<x<b}=(a9b)9
{xR:a<x<b}=[a9b]9
{x:x=m+nd2;m9nZ}=Z(d2).