Пусть - расстояние от начала координат, и пусть - объем единичной гиперсферы в измерениях. Тогда объем, содержащийся в гиперсфере радиуса равенV 0 [ p ] p rrV0[p]pr
V[r]=V0[p]rp
Если мы примем обозначим долю объема, содержащегося в этой гиперсфере, и определим , тоR = r pP=V[r]/V0[p]R=rp
P[R]=R
Если точки данных равномерно распределены в пределах единичного шара, то для приведенная выше формула представляет собой интегральную функцию распределения (CDF) для . Это эквивалентно равномерной плотности вероятности для на единичном интервале, т.е. . Итак, как намекнул Марк Стоун в комментариях, мы можем свести мерный случай к эквивалентной одномерной задаче.R R p [ R ] = P ′ [ R ] = 1 p0≤R≤1RRp[R]=P′[R]=1p
Теперь, если мы имеем единственную точку , то по определению CDF имеем и , Если является наименьшим значением из точек, и все точки независимы, то CDF для определяется как
(это стандартный результат одномерной теории экстремальных значений ).RPr[R≤ρ]=P[ρ]Pr[R≥ρ]=1−P[ρ]Rminn
Pr[Rmin≥ρ]=Pr[R≥ρ]n=(1−ρ)n
По определению медианы имеем
который мы можем переписать как
что эквивалентно желаемому результату.
12=Pr[(Rmin)med≥R]=(1−R)n
(1−dp)n=12
РЕДАКТИРОВАТЬ: Попытка ответа в стиле " ELI5 ", в трех частях.
Для одномерного случая с одной точкой расстояние равномерно распределено по , поэтому медиана будет .[0,1]12
В 1D распределение для минимума по точкам является первым случаем степени.nn
В измерениях расстояние не распределено равномерно, а .prrp