Теорема Юнга

Теорема Юнга — нерівність між діаметром і радіусом множини точок у будь-якому евклідовому просторі. Названо на честь Генріха Юнга.

Нехай ${\displaystyle K\subset {ℝ}^n}$ — компактна множина діаметра ${\displaystyle d}$; тобто,

${\displaystyle d=\underset{p,q\in K}{max}\{\Vert p-q\Vert \}}$

Тоді існує замкнута куля з радіусом

${\displaystyle r\le d\sqrt{\frac{n}{2(n+1)}},}$

яка містить ${\displaystyle K}$. Рівність досягається для правильного n-симплекса.

Найпоширенішим є випадок площини, тобто ${\displaystyle n=2}$. У цьому випадку нерівність стверджує, що існує коло, яке охоплює всі точки, радіус яких задовольняє

${\displaystyle r\le \frac{d}{\sqrt{3}}.}$

Рівність досягається для рівностороннього трикутника

${\displaystyle r=\frac{d}{\sqrt{3}}.}$

Для будь-якої обмеженої множини ${\displaystyle K}$ у будь-якому метричному просторі виконується

${\displaystyle \frac{d}{2}\le r\le d}$

Перша нерівність випливає з нерівності трикутника для центра кулі та двох діаметральних точок. Друга випливає з того, що куля радіуса d центрована в будь-якій точці ${\displaystyle K}$, містить всю ${\displaystyle K}$.

У дискретному метричному просторі, тобто просторі, в якому відстані між будь-якою парою різних точок рівні, досягається друга нерівність. Перша нерівність досягається в ін'єктивних просторах, таких як мангеттенськ відстань на площині.

• Нерівність Юнга

• Радемахер Г., Тёплиц О. Числа и фигуры. Опыты математического мышления. — (випуск 10 серії "Библиотека математического кружка")

• Weisstein, Eric W. Теорема Юнга(англ.) на сайті Wolfram MathWorld.