Supremum

Що таке супремум?

Супремум (позначається як $sup$) множини — це найменша верхня межа цієї множини. Це означає, що це найменше число, яке є більшим або рівним усім елементам множини.

Математично, для множини $S\subseteq \mathbb{R}$ супремумом є число $B$ таке, що:

1. $B\ge x$ для всіх $x\in S$ ($B$ — верхня межа).
2. Якщо взяти будь-яке число $B^{\prime }$, менше за $B$, тоді знайдеться хоча б один елемент $x\in S$, такий що $x>B^{\prime }$ ($B$ — найменша з усіх верхніх меж).

Супремум може бути або не бути елементом самої множини! Якщо він належить множині, тоді він збігається з її максимумом. Проте, навіть якщо максимума не існує, супремум забезпечує найточнішу верхню межу.

Приклад 1: Множина, що має максимум

Розглянемо множину:

Супремум множини $S$ дорівнює 5, тому що:

• $5$ є верхньою межею (жодне число в множині $S$ не перевищує $5$).
• Це найменша така верхня межа.
• Оскільки $5\in S$, супремум також є максимумом у цьому випадку.

Приклад 2: Множина, що не має максимума

Розглянемо множину:

Супремум множини $S$ дорівнює 5, тому що:

• Всі числа з $S$ є меншими за 5.
• Не існує більшого числа, яке буде верхньою межею всіх елементів $S$.
• Проте саме число 5 не належить множині! Тому тут супремум існує, але не є максимумом.

Чому супремум важливий?

• В оптимізації константи Ліпшица використовують супремум для знаходження найбільшої швидкості зміни функції.
• В аналізі супремум гарантує наявність верхньої межі, навіть якщо максимальне значення не існує.
• Він узагальнює поняття максимума, роблячи його корисним у доведеннях та теоретичних дослідженнях.

Супремум гарантує чітко визначену верхню межу, навіть у ситуаціях, коли множина чи функція не має найбільшого значення! 🚀