Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
24
ROZDZIAŁ1.PODSTAWOWEPOJĘCIAMATEMATYKI
Definicja1.2.14.(Porządekliniowy)
NiechX̸=będzieniepustymzbioremorazniechdanabędzierelacjaD
określonawtymzbiorze.RelacjęDnazywamyporządkiemliniowym,gdy
jestrelacjązwrotną,antysymetryczną,przechodniąispójną.Parę(X,)na-
zywamyzbioremliniowouporządkowanym.
Definicja1.2.15.(Zbiórograniczony)
Niechdanybędziezbiórliniowouporządkowany(X,)ijegopodzbiórBX.
ZbiórBnazywamy:
10ograniczonymzgóry,jeślixXbBbx.ElementxX
nazywamyograniczeniemgórnymzbioruB,
20ograniczonymzdołu,jeślixXbBxb.ElementxX
nazywamyograniczeniemdolnymzbioruB.
Zbiórnazywamyograniczonym,jeślijestograniczonyzgóryizdołu.
Definicja1.2.16.(Kresyzbioru)
10KresemgórnymzbioruB(supB)(oileistnieje)nazywamynajmniejszy15
elementwzbiorzeograniczeńgórnychzbioruB.
20KresemdolnymzbioruB(infB)(oileistnieje)nazywamynajwiększy
elementwzbiorzeograniczeńdolnychzbioruB.
1.2.5
Funkcje
Wtympodpunkciewprowadzimypodstawoweokreśleniazwiązanezjednym
zfundamentalnychpojęćmatematycznych,jakimjestfunkcja(odwzorowa-
nie,przyporządkowanie).Wrazzpojęciemfunkcjinierozerwalniezwiązane
pojęciadziedzinyfunkcji,zbioruwartości(przeciwdziedziny)czysposobu
przyporządkowaniaelementówdziedzinyiprzeciwdziedziny.Określeniefunkcji
wprowadzimywoparciuouprzedniozdefiniowanepojęcierelacji(p.[15]).
Definicja1.2.17.(Funkcja)
NiechXiYbędądowolnyminiepustymizbiorami.Relacjębędącąpodzbiorem
iloczynukarteziańskiegoX×Ynazywamyfunkcją,gdykażdyelementzbioru
XjestwrelacjizdokładniejednymelementemzbioruY,tzn.xX!g
Yxρg.Relacjebędącefunkcjamioznaczamyzazwyczajliteramif,g,h,F,...
.
15Wzbiorzeliniowouporządkowanym(X,)elementemnajmniejszym(największym),
oileistnieje,nazywamyelementaXtaki,żebX
ab(ba).