Teoremo de Jung

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo

En geometrio, teoremo de Jung estas neegalaĵo inter la diametro de aro de punktoj en eŭklida spaco kaj radiuso de la minimuma enmetanta pilko de la aro. Ĝi estas nomita pro Heinrich Jung, kiu la unua studis ĉi tiun neegalaĵon en 1901.

Frazo[redakti | redakti fonton]

Estu kompakta aro

kaj estu

la diametro de K, kio estas la plej granda eŭklida distanco inter iu du punktoj de la aro. La teoremo diras ke tie ekzistas fermita pilko kun radiuso

kiu enhavas na K. La rando okazo de egaleco estas atingata per la regula n-simplaĵo.

En ebeno[redakti | redakti fonton]

En eŭklida ebeno, kun n = 2, la teoremo diras ke tie ekzistas cirklo enmetanta ĉiujn punktojn kies radiuso estas

Pli strikta baro por r ne povas esti metita ĉar de S estas egallatera triangulo (aŭ ĝiaj tri verticoj)

.

Ĝeneralaj metrikaj spacoj[redakti | redakti fonton]

Por ĉiu barita aro S en ĉiu metrika spaco, d/2 ≤ r ≤ d.

La unua neegalaĵo estas pro la neegalaĵo de triangulo por centro de la pilko kaj la du diametraj punktoj, kaj la dua neegalaĵo sekvas pro tio ke pilko de radiuso d centrita je ĉiu punkto de S enhavas na S. En uniforma metrika spaco, kio estas, en spaco kiu ĉiuj distancoj egalaj, r = d.

Je la alia fino de spektro de la eblecoj, en disĵeta metrika spaco kun la manhatana distanco en la ebeno, r = d/2.

Referencoj[redakti | redakti fonton]

Eksteraj ligiloj[redakti | redakti fonton]