Teoremo de Jung

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.

FrazoRedakti

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 ebenoRedakti

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 spacojRedakti

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.

ReferencojRedakti

Eksteraj ligilojRedakti