Kres dolny i górny
Z Wikipedii
Spis treści |
Kres dolny (również łac. infimum) oraz kres górny (także łac. supremum) – w matematyce pojęcia oznaczające odpowiednio: największe z ograniczeń dolnych oraz najmniejsze z ograniczeń górnych danego zbioru, o ile takie istnieją.
[edytuj] Zbiory liczbowe
Najczęściej oba te terminy są używane w odniesieniu do zbiorów liczbowych.
[edytuj] Definicje
Przypuśćmy, że zbiór jest niepusty.
Powiemy, że s jest ograniczeniem górnym (dolnym) zbioru A, jeżeli dla wszystkich elementów .
Kresem górnym (dolnym) zbioru A nazwiemy taką liczbę , która jest najmniejszym (największym) ograniczeniem górnym (dolnym) tego zbioru, tj. taką, że:
- s jest ograniczeniem górnym (dolnym) zbioru A;
- jeśli jest ograniczeniem górnym (dolnym) zbioru A, to .
Kres górny zbioru A oznaczamy , z kolei jeżeli s jest kresem dolnym A, to piszemy . Zapisy oraz służą zaznaczeniu faktu, iż A jest nieograniczony odpowiednio z dołu lub z góry.
[edytuj] Własności
- Każdy niepusty podzbiór ograniczony z góry ma kres górny, a ograniczony z dołu ma kres dolny. Tą własność nazywa się zupełnością zbioru liczb rzeczywistych (zob. aksjomat ciągłości).
- Jeżeli w danym zbiorze istnieje liczba największa/najmniejsza, to jest ona jego kresem górnym/dolnym.
- Przypuśćmy że jest niepustym zbiorem oraz , wówczas
- wtedy i tylko wtedy, gdy oraz ;
- wtedy i tylko wtedy, gdy oraz .
- Jeżeli oraz oznaczymy , to:
- ,
- .
[edytuj] Przykłady
- Jeśli A = [0,3], to:
- ponieważ 0 jest najmniejszą liczbą zbioru A, więc jest jego kresem dolnym.
- ponieważ 3 jest największą liczbą zbioru A, więc jest jego kresem górnym.
- Niech B = (0,3). Wówczas:
- . Choć w zbiór B nie ma liczby najmniejszej, jego kresem dolnym jest 0, bowiem żadna liczba większa od 0 nie jest mniejsza od dowolnej z liczb zbioru B.
- . Mimo że w zbiorze B nie ma liczby największej, kresem górnym jest 3, ponieważ nie istnieje liczba mniejsza od 3, która byłaby większa od jakiejkolwiek liczby ze zbioru B.
- Niech C = {0,1,4}. Wówczas podobnie jak dla zbioru A, oraz :
- Połóżmy . Jest , bo każda liczba zbioru D jest mniejsza od 1, a jednocześnie żadna liczba mniejsza od 1 nie jest większa od wszystkich liczb ze zbioru D.
[edytuj] Porządki częściowe
Pojęcia kresu dolnego i kresu górnego są zdefiniowane przy użyciu tylko porządku i mogą być wprowadzone jako dużo ogólniejsze niż w sekcji powyżej.
[edytuj] Definicja
Niech będzie zbiorem częściowo uporządkowanym. Przypuśćmy też, że i .
Element s jest ograniczeniem górnym (odpowiednio: dolnym) zbioru A, jeżeli (odpowiednio: ).
Element s jest kresem górnym (odpowiednio: dolnym) zbioru A (w X), jeśli jest najmniejszym (odpowiednio: największym) ograniczeniem tego zbioru, tzn. jeśli jest ograniczeniem górnym (odpowiednio: dolnym) zbioru A, to (odpowiednio: ).
Każdy element zbioru X jest zarówno ograniczeniem dolnym jak i ograniczeniem górnym zbioru pustego. Zatem kres dolny zbioru pustego musi być największym elementem zbioru X, a kres górny zbioru pustego - najmniejszym elementem zbioru X.
Jeśli każdy niepusty ograniczony z góry podzbiór X ma kres górny, to porządek nazywa się zupełnym.
[edytuj] Własności i przykłady
- Kres górny zbioru nie musi istnieć. Na przykład, jeśli rozważymy zbiór liczb wymiernych z porządkiem naturalnym i zbiór , to nie ma żadnej liczby wymiernej która byłaby kresem dolnym, ani żadnej liczby wymiernej która byłaby kresem górnym. (Oczywiście ten sam zbiór ma kres dolny i kres górny w liczbach rzeczywistych.)
- Każdy podzbiór zbioru częściowo uporządkowanego może mieć co najwyżej jeden kres dolny i jeden kres górny. Dlatego też kres dolny i kres górny można oznaczać symbolami odpowiednio i .
- Jeśli jest porządkiem liniowym, to istnieje zupełny porządek liniowy taki że i obcięcie zgadza się z , oraz X jest gęstym podzbiorem Y. Porządek jest jedyny z dokładnością do izomorfizmu.
- Jeśli jest zupełnym porządkiem liniowym (tzn każdy ograniczony niepusty podzbiór X ma kres górny), to każdy ograniczony z dołu niepusty podzbiór X ma kres dolny.
- Niech będzie algebrą Boole'a i niech będzie porządkiem boole'owskim na (tzn. dla wtedy i tylko wtedy gdy ).
- Kres górny niepustego zbioru (jeśli istnieje) jest oznaczany przez i bywa nazywany sumą zbioru A. Algebry w których każdy zbiór ma kres górny (tzn takie dla których porządek boole'owski jest zupełny) są nazywane zupełnymi algebrami Boole'a. Algebry zupełne są szczególnie ważne w teorii forsingu.
- Kres dolny niepustego zbioru (jeśli istnieje) jest oznaczany przez i bywa nazywany produktem (iloczynem) zbioru A. Następujące dwa stwierdzenia są równoważne dla algebry Boole'a :
- każdy niepusty podzbiór ma kres górny (tzn sumę),
- każdy niepusty podzbiór ma kres dolny (tzn produkt).
- Warto też zauważyć że (zakładając istnienie odpowiednich kresów, np. zupełność algebry), jeśli , to