Číselnou množinou nazývame takú množinu, ktorej všetky
prvky sú čísla.
Majme číselnú množinu
. Nech
je také číslo
z
, že
pre všetky
platí
. Číslo
nazývame
maximum množiny
a označujeme ho
.
Nech
je také číslo z množiny
, že
pre všetky
platí
.
Číslo
nazývame
minimum množiny
a označujeme ho
.
Každá konečná číselná množina má maximum a minimum.
Číselná množina
sa nazýva zhora ohraničená, ak
existuje také číslo
, že pre každé číslo
platí
. Číselná množina
sa nazýva
zdola ohraničená, ak
existuje také číslo
, že pre každé číslo
platí
. Číslo
nazývame horným ohraničením množiny
a číslo
nazývame dolným
ohraničením množiny
. Množina ohraničená zdola aj zhora
sa nazýva ohraničená. Najmenšie horné ohraničenie množiny
sa nazýva supremum množiny
a označujeme ho
. Najväčšie dolné ohraničenie množiny
sa nazýva infimum množiny
a označujeme ho
. Majú tieto vlastnosti:
- Pre každé
platí
- Pre každé
existujú čísla
a
, pre ktoré platí
- Ak množina
je ohraničená zhora, tak má supremum.
Ak množina
je ohraničená zdola, tak má infimum.
- Ak
, tak
.
Ak
, tak
.
Nech
sú reálne čísla a nech
. Množinu čísel
, pre ktoré platí :
nazývame otvoreným intervalom
a označujeme ho
.
Pre takýto interval platí:
. Minimum a maximum neexistuje.
nazývame uzavretým intervalom
a označujeme ho
.
Platí:
.
nazývame zľava otvoreným a sprava
uzavretým intervalom
a označujeme ho
.
Platí:
Minimum neexistuje.
nazývame zľava uzavretým a sprava
otvoreným intervalom
a označujeme ho
.
Platí:
. Maximum neexistuje.
Intervalmi nazývame aj množiny všetkých čísel
určených nerovnosťami:
, označujeme
- zľava uzavretý
interval od
do nekonečna.
Platí:
. Maximum a supremum neexistuje.
, označujeme
- zľava otvorený interval od
do nekonečna.
Platí:
. Minimum, maximum a supremum neexistujú.
, označujeme
- sprava uzavretý interval od
mínus nekonečna po
.
Platí:
Minimum a infimum neexistujú.
, označujeme
- sprava otvorený interval od
mínus nekonečna po
.
Platí:
. Maximum, minimum a infimum neexistujú.
Množinu všetkých reálnych čísel môžeme označovať aj
.
Okolím čísla
(bodu
) nazývame otvorený
interval, ktorý číslo
obsahuje. Označujeme ho
.
okolie bodu
je interval
,
pričom
.
Pre riešenie nasledujúcich príkladov, kde budeme dokazovať,
že nejaké číslo je infimom alebo supremom množiny,
nám bude užitočná nasledujúca veta:
Veta 1.2
Archimedova vlastnosť: Pre ľubovoľné reálne číslo
existuje také prirodzené číslo
, že platí:
.
Príklad 1.
Nájdime supremum, infimum, maximum a minimum množiny
Riešenie:
Zo znázornenia danej množiny na číselnej osi usúdime, že
supremum množiny je číslo
a infimum množiny
je číslo
. Ukážeme, že je to tak. Čísla
, ktoré
tvoria množinu
, spĺňajú nerovnicu
 |
(1.1) |
Z toho vyplýva, že daná množina je ohraničená a číslo
je jedno z horných ohraničení, číslo
je
jedno z dolných ohraničení. Ukážeme, že číslo
je najmenším horným ohraničením, t.j.
.
Musí preto spĺňať vlastnosti suprema:
1.
pre každé
.
2. Ku každému
existuje
také číslo
, pre ktoré platí
.
Prvé tvrdenie vyplýva z nerovnosti (1.1). Druhé tvrdenie dokážeme tak, že ak za
vezmeme číslo
,
potom pre každé
platí
.
Podobne dokazujeme, že
:
1.
, pre všetky
- vyplýva z nerovnosti
(1.1).
2. Ak zvolíme
, potom číslo
, tak platí
. Ak zvolíme
, potom číslo
je prvkom množiny
, pre ktorý platí
Z toho vyplýva že
.
Číslo
nie je z množiny
, preto podľa vlastnosti
pre infimum množina
nemá minimum. Číslo
je z množiny
a preto podľa vlastnosti
je číslo
.
Príklad 2.
Nájdime supremum, infimum, maximum a minimum množiny
, kde
je
množina všetkých čísel tvaru
, kde
je
prirodzené číslo.
Riešenie:
Vypočítame
niekoľko prvkov
tejto množiny:
Z toho usudzujeme, že
a
. Dokážeme to.
Vlastnosť číslo 1 je skutočne splnená:
Ukážeme druhú vlastnosť:
Zvolíme
. Treba nájsť prvok
z množiny
tak, aby platilo:
.
Keďže
je prvok z
, musí byť tvaru
pre
nejaké
. Potom musí platiť:
z čoho po úprave dostávame
Z Archimedovej vlastnosti ale takéto
vždy existuje pre ľubovoľné
. Tým je dokázaná aj druhá vlastnosť
suprema, a preto
je naozaj supremom množiny
.
Podobne dokážeme, že
.
Prvá vlastnosť: Z nerovnosti
vyplýva
Druhá vlastnosť: Pre každé
treba nájsť prvok
, pre ktorý bude platiť:
. Stačí ale zvoliť
a potom
nerovnosť
platí pre ľubovoľné
. Preto
.
Supremum množiny
nepatrí do
, preto množina nemá maximum.
Infimum množiny
je prvkom tejto množiny, a preto
.
Subsections