Čí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