Kresy dolny i górny

Czerwony romb jest supremum niebieskiego zbioru

Kres (kraniec) dolny, infimum (łac. infimus „najniższy”) oraz kres (kraniec) górny, supremum (łac. supremus „najwyższy”) – pojęcia oznaczające odpowiednio: największe z ograniczeń dolnych oraz najmniejsze z ograniczeń górnych danego zbioru, o ile takie istnieją. Pojęcia te można określić w dowolnych zbiorach częściowo uporządkowanych, najczęściej jednak oba te terminy są używane w odniesieniu do zbiorów liczbowych.

Kresy w zbiorze liczb rzeczywistych

Definicje

Niech $A\subseteq \mathbb {R}$ będzie niepustym podzbiorem.

Ograniczeniem górnym (majorantą) zbioru $A$ nazywamy liczbę $s\in \mathbb {R}$ spełniającą:

s\geqslant a

dla wszystkich elementów

a\in A.

Analogicznie ograniczeniem dolnym (minorantą) zbioru nazywamy liczbę niewiększą od wszystkich liczb tego zbioru.

Kresem górnym zbioru $A$ nazywamy najmniejsze z górnych ograniczeń tego zbioru, tj. liczbę $s\in \mathbb {R}$ spełniającą:

$s$ jest ograniczeniem górnym zbioru $A;$
jeśli $s'\in \mathbb {R}$ jest ograniczeniem górnym zbioru $A,$ to $s\leqslant s'.$

Analogicznie kresem dolnym zbioru nazywamy największe ograniczenie dolne tego zbioru^[1].

Kres górny zbioru $A$ oznaczamy $\sup(A),$ kres dolny $\inf(A).$

Zapisy $\inf(A)=-\infty$ oraz $\sup(A)=\infty$ oznaczają, że $A$ jest nieograniczony odpowiednio z dołu lub z góry (zob. rozszerzony zbiór liczb rzeczywistych).

Własności

Każdy niepusty podzbiór $\mathbb {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, to jest ona jego kresem górnym. Analogicznie, jeżeli istnieje liczba najmniejsza, to jest ona jego kresem dolnym.
Przypuśćmy, że $A\subseteq \mathbb {R}$ jest niepustym zbiorem oraz $s\in \mathbb {R} ,$ wówczas
$s=\sup(A)$ wtedy i tylko wtedy, gdy $\forall _{a\in A}\;a\leqslant s$ oraz $\forall _{\varepsilon >0}\;\exists _{a\in A}\;a>s-\varepsilon ;$

$s=\inf(A)$ wtedy i tylko wtedy, gdy $\forall _{a\in A}\;a\geqslant s$ oraz $\forall _{\varepsilon >0}\;\exists _{a\in A}\;s+\varepsilon >a.$
Jeżeli $A\subseteq \mathbb {R}$ oraz oznaczymy $-A:=\{x\in \mathbb {R} :-x\in A\},$ to:
$\inf(-A)=-\sup(A),$

$\sup(-A)=-\inf(A).$

Przykłady

Niech $A=[0,3].$ Wówczas:

\inf(A)=0,

ponieważ 0 jest najmniejszą liczbą zbioru A.

\sup(A)=3,

ponieważ 3 jest największą liczbą zbioru A.

Niech $B=(0,3).$ Wówczas:

\inf(B)=0,

bo 0 jest dolnym ograniczeniem zbioru B, ale żadna liczba większa od 0 takim ograniczeniem nie jest.

\sup(B)=3,

bo 3 jest górnym ograniczeniem zbioru B, ale żadna liczba mniejsza od 3 takim ograniczeniem nie jest.

Niech $C=\{0,1,3\}.$ Wówczas podobnie jak dla zbioru $A,$ $\inf(C)=0$ oraz $\sup(C)=3.$
Niech $D=\{{\tfrac {1}{2}},{\tfrac {2}{3}},{\tfrac {3}{4}},{\tfrac {4}{5}},{\tfrac {5}{6}},\dots \}.$ Wówczas:

\sup(D)=1,

gdyż 1 jest górnym ograniczeniem D, a jednocześnie żadna liczba mniejsza od 1 takim ograniczeniem nie jest.

Niech $E=\emptyset .$ Wówczas:

\inf(E)=\infty ,\quad \sup(E)=-\infty ,

bowiem każda liczba jest ograniczeniem zarówno dolnym, jak i górnym zbioru E.

Kresy w zbiorach częściowo uporządkowanych

Pojęcia kresu dolnego i kresu górnego są zdefiniowane jedynie przy użyciu porządku, dlatego mogą być zdefiniowane w ogólniejszych strukturach.

Definicje

Niech $(X,\sqsubseteq )$ będzie zbiorem częściowo uporządkowanym i niech $A\subseteq X.$ Wówczas definiujemy następujące elementy wyróżnione:

Element $s\in X$ nazywamy ograniczeniem górnym (majorantą) zbioru $A,$ jeśli:

\forall _{a\in A}\;a\sqsubseteq s.

Element $s\in X$ nazywamy ograniczeniem dolnym (minorantą) zbioru $A,$ jeśli:

\forall _{a\in A}\;s\sqsubseteq a.

Element $s\in X$ jest kresem górnym (supremum) zbioru $A,$ jeśli $s$ jest elementem najmniejszym w zbiorze wszystkich ograniczeń górnych $A,$ tzn.

s

jest ograniczeniem górnym zbioru

A;

jeśli

s'\in X

jest ograniczeniem górnym zbioru

A,

to

s\sqsubseteq s'.

Element $s\in X$ jest kresem dolnym (infimum) zbioru $A,$ jeśli $s$ jest elementem największym w zbiorze wszystkich ograniczeń dolnych $A,$ tzn.

s

jest ograniczeniem dolnym zbioru

A;

jeśli

s'\in X

jest ograniczeniem dolnym zbioru

A,

to

s'\sqsubseteq s.

Jeśli każdy niepusty ograniczony z góry podzbiór $X$ ma kres górny, to porządek $(X,\sqsubseteq )$ nazywa się zupełnym.

Własności

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$ (o ile takie istnieją w zbiorze $X$ ).
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ż oznaczenia $\inf(A)$ i $\sup(A)$ odpowiednio dla kresu dolnego i kresu górnego zbioru $A$ są jednoznaczne.
Jeśli $(X,\sqsubseteq )$ jest porządkiem liniowym, to istnieje zupełny porządek liniowy $(Y,\leqslant )$ taki że $X\subseteq Y$ i obcięcie $\leqslant \upharpoonright X$ zgadza się z $\sqsubseteq ,$ oraz $X$ jest gęstym podzbiorem $Y.$ Porządek $(Y,\leqslant )$ jest jedyny z dokładnością do izomorfizmu.
Jeśli $(X,\sqsubseteq )$ 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.

Przykłady

Kres górny zbioru nie musi istnieć. Na przykład jeśli rozważymy zbiór liczb wymiernych $\mathbb {Q}$ z porządkiem naturalnym i zbiór $A=\{q\in \mathbb {Q} :q^{2}<2\},$ to nie ma żadnej liczby wymiernej która byłaby kresem dolnym, ani żadnej liczby wymiernej która byłaby kresem górnym.
Ten sam zbiór jako podzbiór liczb rzeczywistych ma postać $(-{\sqrt {2}},{\sqrt {2}})\cap \mathbb {Q}$ i ma oba kresy.
Niech $X=(1,2)\cup (3,4)$ będzie zbiorem liczb rzeczywistych z naturalnym porządkiem. Wówczas podzbiór $(1,2)$ nie ma w zbiorze $X$ kresu górnego, bowiem $(3,4)$ jest zbiorem wszystkich górnych ograniczeń zbioru $(1,2),$ ale nie ma w nim najmniejszego ograniczenia. Analogicznie podzbiór $(3,4)$ nie ma w zbiorze $X$ kresu dolnego.
Niech $X=(1,2]\cup (3,4]$ będzie zbiorem liczb rzeczywistych z naturalnym porządkiem. Wówczas podzbiór $(1,2]$ ma w zbiorze $X$ kres górny $2,$ podzbiór $(3,4]$ ma w zbiorze $X$ kres dolny $2.$
Niech $(\mathbb {B} ,+,\cdot ,\sim ,0,1)$ będzie algebrą Boole’a i niech $\leqslant$ będzie porządkiem boole’owskim na $\mathbb {B}$ (tzn. dla $a\leqslant b$ wtedy i tylko wtedy, gdy $a\cdot b=a$ ).
- Kres górny niepustego zbioru $A\subseteq \mathbb {B}$ (jeśli istnieje) jest oznaczany przez $\sum A$ 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 $\leqslant$ 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 $A\subseteq \mathbb {B}$ (jeśli istnieje) jest oznaczany przez $\prod A$ i bywa nazywany produktem (iloczynem) zbioru $A$ . Następujące dwa stwierdzenia są równoważne dla algebry Boole’a $\mathbb {B} {:}$
  każdy niepusty podzbiór $\mathbb {B}$ ma kres górny (tzn. sumę),
  
  każdy niepusty podzbiór $\mathbb {B}$ ma kres dolny (tzn. produkt).
- Warto też zauważyć, że (zakładając istnienie odpowiednich kresów, np. zupełność algebry), jeśli $\varnothing \neq A\subseteq \mathbb {B} ,$ to
  $\sum A=\sim \prod \{\sim a:a\in A\}$ oraz $\prod A=\sim \sum \{\sim a:a\in A\}.$

Zobacz też

Przypisy

↑ Kres zbioru, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-07-21] .

Bibliografia

Helena Rasiowa: Wstęp do matematyki współczesnej. Warszawa: Państwowe Wydawnictwo Naukowe, 1975, s. 112–122, seria: Biblioteka Matematyczna.
Agnieszka Wojciechowska: Elementy logiki i teorii mnogości. Warszawa: Państwowe Wydawnictwo Naukowe, 1979, s. 59–61. ISBN 83-01-00756-7.

[1] Kres zbioru, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-07-21] .

[1]

Fahrer / Team für die Suche eingeben:

Fahrer / Team für die Suche eingeben:

Eisspeedway

Kresy dolny i górny

Kresy w zbiorze liczb rzeczywistych

Definicje

Własności

Przykłady

Kresy w zbiorach częściowo uporządkowanych

Definicje

Własności

Przykłady

Zobacz też

Przypisy

Bibliografia