В математика, то Метрика Лукашика – Кармовского это функция определение расстояние между двумя случайные переменные или два случайные векторы.[1][2] Эта функция не метрика поскольку это не удовлетворяет идентичность неразличимых состояние метрики, то есть для двух одинаковых аргументов ее значение больше нуля. Концепция названа в честь Шимона Лукашика и Войцеха Кармовского.
Непрерывные случайные величины
Метрика Лукашика – Кармовского D между двумя непрерывными независимыми случайные переменные Икс и Y определяется как:
![D (X, Y) = int _ {- infty} ^ infty int _ {- infty} ^ infty | x-y | f (x) g (y) , dx , dy](https://wikimedia.org/api/rest_v1/media/math/render/svg/6724713d56cfa4b0620c2779e8181f3a2d259eaf)
куда ж(Икс) и грамм(y) - функции плотности вероятности Икс и Y соответственно.
Легко показать, что такие метрики выше не удовлетворяют идентичность неразличимых условие, необходимое для выполнения метрика из метрическое пространство. Фактически они удовлетворяют этому условию если и только если оба аргумента Икс, Y определенные события описываются Дельта Дирака плотность функции распределения вероятностей. В таком случае:
![D _ { delta delta} (X, Y) = int _ {- infty} ^ infty int _ {- infty} ^ infty | xy | delta (x- mu_x) delta (y- mu_y) , dx , dy = | mu_x- mu_y |](https://wikimedia.org/api/rest_v1/media/math/render/svg/b91de97568dfab0aac8a0e57f46788400dd5aa10)
метрика Лукашика – Кармовского просто превращается в метрику между ожидаемые значения
,
переменных Икс и Y и очевидно:
![D _ { delta delta} (X, X) = | mu_x- mu_x | = 0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/db4dc6f461ec30364fd954e325e754db9d62aa8d)
Для всех остальных настоящий случаи, однако:
![D left (X, X right)> 0. ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/559d97ddaae2edae2e3167983798563045f0e9db)
Метрика Лукашика – Кармовского удовлетворяет оставшимся неотрицательность и симметрия условия метрика непосредственно из его определения (симметрия модуля), а также субаддитивность /неравенство треугольника условие:
![begin {align}
& {} D (X, Z) = int _ {- infty} ^ infty int _ {- infty} ^ infty | xz | f (x) h (z) , dx , dz = int _ {- infty} ^ infty int _ {- infty} ^ infty | xz | f (x) h (z) , dx , dz int _ {- infty} ^ infty g (y) dy
& {} = int _ {- infty} ^ infty int _ {- infty} ^ infty int _ {- infty} ^ infty | (xy) + (yz) | f (x) g (y ) h (z) , dx , dy , dz
& {} le int _ {- infty} ^ infty int _ {- infty} ^ infty int _ {- infty} ^ infty (| xy | + | yz |) f (x) g ( у) h (z) , dx , dy , dz
& {} = int _ {- infty} ^ infty int _ {- infty} ^ infty int _ {- infty} ^ infty | xy | f (x) g (y) h (z) , dx , dy , dz + int _ {- infty} ^ infty int _ {- infty} ^ infty int _ {- infty} ^ infty | yz | f (x) g (y ) h (z) , dx , dy , dz
& {} = int _ {- infty} ^ infty int _ {- infty} ^ infty | xy | f (x) g (y) , dx , dy + int _ {- infty} ^ infty int _ {- infty} ^ infty | yz | g (y) h (z) , dy , dz
& {} = D (X, Y) + D (Y, Z)
end {align}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1e4bbcfb3093616d9c7136a2a6a3b62a618b4c35)
Таким образом
![D (X, Z) le D (X, Y) + D (Y, Z). ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3e9b799e34d13edbd2538e47537787cde0b3e87)
L – K-метрика между двумя случайными величинами
Икс и
Y имея
нормальные распределения и то же самое
стандартное отклонение ![sigma = 0, sigma = 0,2, sigma = 0,4, sigma = 0,6, sigma = 0,8, sigma = 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/012d46c20ae4e209e583c1f4a8f0c839b5a83211)
(начиная с нижней кривой).
![m_ {xy} = | mu_x- mu_y |](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dfded0eabb1e59197d7333cb998fdd9208346e9)
обозначает расстояние между
средства из
Икс и
Y.
В случае, когда Икс и Y зависят друг от друга, имея совместная функция плотности вероятности ж(Икс, y) метрика L – K имеет следующий вид:
![int _ {- infty} ^ infty int _ {- infty} ^ infty | x-y | f (x, y) , dx , dy.](https://wikimedia.org/api/rest_v1/media/math/render/svg/33a7eec1697f62e7cb6f115588b9beba04650bb2)
Пример: две непрерывные случайные величины с нормальным распределением (NN)
Если обе случайные величины Икс и Y имеют нормальные распределения с тем же стандартное отклонение σ, а если к тому же Икс и Y независимы, то D(Икс, Y) дан кем-то
![D_ {NN} (X, Y) = mu_ {xy} + frac {2 sigma} { sqrt pi} operatorname {exp} left (- frac { mu_ {xy} ^ 2} { 4 sigma ^ 2} right) - mu_ {xy} operatorname {erfc} left ( frac { mu_ {xy}} {2 sigma} right),](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6941af4a1ca4cd00dbfd51bfc6c55f9be16afc3)
куда
![mu_ {xy} = left | mu_x- mu_y right |,](https://wikimedia.org/api/rest_v1/media/math/render/svg/329d57c252bf691443d125aa70b6655394642ce9)
где erfc (Икс) является дополнительным функция ошибки и где нижние индексы NN указывают тип метрики L – K.
В этом случае минимально возможное значение функции
дан кем-то
![lim _ { mu_ {xy} to 0} D_ {NN} (X, Y) = D_ {NN} (X, X) = frac {2 sigma} { sqrt pi}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/49c1948d192f767d7d1f2c716ad206561b79954e)
Пример: две непрерывные случайные величины с равномерным распределением (RR)
Когда обе случайные величины Икс и Y имеют равномерные распределения (р) того же самого стандартное отклонение σ, D(Икс, Y) дан кем-то
![D_ {RR} (X, Y) = begin {cases} frac {24 sqrt {3} sigma ^ 3- mu_ {xy} ^ 3 + 6 sqrt {3} sigma mu_ {xy} ^ 2} {36 sigma ^ 2}, & mu_ {xy} <2 sqrt {3} sigma, mu_ {xy}, & mu_ {xy} ge 2 sqrt {3} сигма. end {case}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e582af581b70cd1a779f7e788e112bc2bbe6f42f)
Минимальное значение такой метрики L – K равно
![D_ {RR} (X, X) = frac {2 sigma} { sqrt {3}}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/84cb21c23976731c43ff6ccc717259249cdec147)
Дискретные случайные величины
Если случайные величины Икс и Y характеризуются дискретное распределение вероятностей метрика Лукашика – Кармовского D определяется как:
![D (X, Y) = sum_ {i} sum_ {j} | x_i-y_j | P (X = x_i) P (Y = y_j). ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/faac7c1d9c00b2834b1412d03d99d2baf427834f)
Например для двух дискретных Распределенный по Пуассону случайные переменные Икс и Y приведенное выше уравнение преобразуется в:
![D_ {PP} (X, Y) = sum_ {x = 0} ^ n sum_ {y = 0} ^ n | xy | frac {{ lambda_x} ^ x { lambda_y} ^ ye ^ {- ( lambda_x + lambda_y)}} {х! у!}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd35c96f5c9badab074b847439d3dd25870a23eb)
Случайные векторы
эквидистантная поверхность для евклидовой метрики
![d ^ {2} ( mathbf {x}, mathbf {0}) = sqrt {x_ {1} ^ 2 + x_ {2} ^ 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5bd1ec63291a263a84d7870e7c184932c264cfa)
эквидистантная поверхность для евклидовой L – K-метрики
![D_ {R delta} ^ {2} ( mathbf {X}, mathbf {0}) left ( left ( mathbf {X, 0} right): Omega to mathbb {R} ^ 2 вправо)](https://wikimedia.org/api/rest_v1/media/math/render/svg/34e69ece7954b8e3cb3e2797c1a3f5c715b50503)
Метрику случайных величин Лукашика – Кармовского легко расширить до метрики D(Икс, Y) из случайные векторы Икс, Y путем замены
с любым метрическим оператором d(Икс,y):
![D ( mathbf {X}, mathbf {Y}) = int _ { Omega} int _ { Omega} d ( mathbf {x}, mathbf {y}) F ( mathbf {x}) G ( mathbf {y}) , d Omega_x , d Omega_y.](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad11b089e2577fc00c1b8f3f1b1962937e38be4c)
Например, подставив d(Икс,y) с Евклидова метрика и предполагая двумерность случайных векторов Икс, Y даст:
![D ( mathbf {X}, mathbf {Y}) = int _ { Omega} int_ Omega sqrt { sum_ {i = 1} ^ 2 | x_i-y_i | ^ 2} F (
x_1, x_2) G (y_1, y_2) , dx_1 , dx_2 , dy_1 , dy_2.](https://wikimedia.org/api/rest_v1/media/math/render/svg/34eddae707eb7ee2ff75b52b617fa7732c202b2d)
Эта форма метрики L – K также больше нуля для тех же измеряемых векторов (за исключением двух векторов, имеющих Дельта Дирака коэффициентов) и удовлетворяет условиям неотрицательности и симметрии метрики. Доказательства аналогичны доказательствам для L – K-метрики случайных величин, обсуждавшейся выше.
В случае случайных векторов Икс и Y зависят друг от друга, разделяя общие совместное распределение вероятностей F(Икс, Y) метрика L – K имеет вид:
![D ( mathbf {X}, mathbf {Y}) = int _ { Omega} int _ { Omega} d ( mathbf {x}, mathbf {y}) F ( mathbf {x}, mathbf {y}) , d Omega_x , d Omega_y.](https://wikimedia.org/api/rest_v1/media/math/render/svg/81963bab441b4c388a2d2f353a31d0448e22dd14)
Случайные векторы - евклидова форма
Если случайные векторы Икс и Y не только взаимно независимы, но и все компоненты каждого вектора взаимно независимый, метрика Лукашика – Кармовского для случайных векторов определяется как:
![D _ {**} ^ {(p)} ( mathbf {X}, mathbf {Y}) = left ({ sum_i {D _ {**} (X_i, Y_i)} ^ p} right) ^ { frac1p}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dab25ca1a5d179eab4ffc07756bf4e118ccc6dbe)
куда:
![D _ {**} (X_i, Y_i) ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/0f29f7e03431601d442e4cf7aba15be3c66cb7f9)
- это особая форма L – K-метрики случайных величин, выбранная в зависимости от распределений конкретных коэффициентов
и
векторов Икс, Y .
Такая форма метрики L – K также имеет общие свойства всех метрик L – K.
- Это не удовлетворяют тождеству неразличимого условия:
![forall { mathbf {X}, mathbf {Y}} D _ {**} ^ {(p)} ( mathbf {X}, mathbf {Y}) = 0 nLeftrightarrow mathbf {X } = mathbf {Y} ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a847b27b0d04ab2986a3b6d9b35edc60accd80f)
- поскольку:
![D _ {**} ^ {(p)} ( mathbf {X}, mathbf {X}) = 0 Leftrightarrow forall {i} D _ {**} (X_i, X_i) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/22f0cf5b7be03b625ff9b8723c9a160834a01a01)
- но из свойств метрики L – K для случайных величин следует, что:
![существует X_i D _ {**} (X_i, X_i)> 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c263331172192ec9db98ed63af8a211ba558a1f)
- Он неотрицательный и симметричный, поскольку конкретные коэффициенты также неотрицательны и симметричны:
![forall i D _ {**} (X_i, Y_i)> 0 ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/e9973e92e04343b8e18a124dc2a9f60e1f24461e)
![forall i D _ {**} (X_i, Y_i) = D _ {**} (Y_i, X_i)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b85839a8ad5fec11df78d0a273a508bc5836e7ff)
- Он удовлетворяет неравенству треугольника:
![forall mathbf {X}, mathbf {Y}, mathbf {Z} D _ {**} ^ {(p)} ( mathbf {X}, mathbf {Z}) le D _ {* *} ^ {(p)} ( mathbf {X}, mathbf {Y}) + D _ {**} ^ {(p)} ( mathbf {Y}, mathbf {Z})](https://wikimedia.org/api/rest_v1/media/math/render/svg/078bcbca419e39b71b154150f2c6863de9915df6)
- поскольку (ср. Неравенство Минковского ):
![begin {align}
& {} left ({ sum_i {D _ {**} (X_i, Y_i)} ^ p} right) ^ { frac1p} + left ({ sum_i {D _ {**} (Y_i, Z_i) } ^ p} right) ^ { frac1p} ge
& {} ge left ({ sum_i {D _ {**} (X_i, Y_i) + D _ {**} (Y_i, Z_i)} ^ p} right) ^ { frac1p} ge
& {} ge left ({ sum_i {D _ {**} (X_i, Z_i)} ^ p} right) ^ { frac1p}
end {align}](https://wikimedia.org/api/rest_v1/media/math/render/svg/920fbdeeaff2e8acb06a2cb950c6f4b868a9f8cc)
Физическая интерпретация
Метрику Лукашика – Кармовского можно рассматривать как расстояние между квантовая механика частицы, описанные волновые функции ψ, где вероятность dP что данная частица присутствует в данном объеме пространства dV суммы:
![dP = | psi (x, y, z) | ^ 2 dV. ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/52b94f495f6f6bce508f28021c1708adaf763f72)
Квантовая частица в коробке
L – K-метрика между квантовой частицей в одномерном ящике длины
L и заданная точка
ξ коробки
![(0 le xi le L)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1b58568db7831c32ee193ca7365a487afb4d791)
.
Например, волновая функция кванта частица (Икс) в коробка длины L имеет вид:
![psi_m (x) = sqrt { frac {2} {L}} sin { left ( frac {m pi x} {L} right)}, ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/1974250211ac96741b38ba239805df5e47b0f062)
В этом случае метрика L – K между этой частицей и любой точкой
Количество коробок:
![begin {align}
& {} D (X, xi) = int limits_ {0} ^ L | x- xi || psi_m (x) | ^ 2dx =
& {} = frac { xi ^ 2} {L} - xi + L left ( frac {1} {2} - frac { sin ^ 2 ( frac {m pi xi} { L})} {m ^ 2 pi ^ 2} right).
end {align}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1d011ad58dd5225d9627b5ed877fb0b1e73cb94)
Из свойств метрики L – K следует, что сумма расстояний между краями ящика (ξ = 0 или ξ= L) и любую заданную точку и метрику L – K между этой точкой и частицей Икс больше, чем метрика L – K между краем ящика и частицей. Например. для квантовой частицы Икс на энергетическом уровне м = 2 и точка ξ = 0.2:
![d (0,0.2L) + D (0,2L, X) приблизительно 0,2L + 0,3171L = 0,517L neq D (0, X) = 0,5L = d (0,0,5L). ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f6994bbbc8c6a6e7456f8ece7eba056242e7dfc)
Очевидно, метрика L – K между частицей и краем ящика (D (0, X) или D (L, X)) составляет 0,5L и не зависит от уровня энергии частицы.
Две квантовые частицы в коробке
Расстояние между двумя частицы подпрыгивают в одномерном ящике длины L имеющий не зависящий от времени волновые функции:
![psi_m (x) = sqrt { frac {2} {L}} sin { left ( frac {m pi x} {L} right)}, ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/1974250211ac96741b38ba239805df5e47b0f062)
![psi_n (y) = sqrt { frac {2} {L}} sin { left ( frac {n pi y} {L} right)}, ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5fc3b4fbb5a1f236347b87d753de908db229c34)
можно определить в терминах метрики Лукашика – Кармовского независимый случайные величины как:
![begin {align}
& {} D (X, Y) = int limits_ {0} ^ L int limits_0 ^ L | xy || psi_m (x) | ^ 2 | psi_n (y) | ^ 2 , dx , dy
& {} = begin {cases} L left ( frac {4 pi ^ 2 m ^ 2 -15} {12 pi ^ 2m ^ 2} right) & m = n, L left ( frac {2 pi ^ 2 m ^ 2 n ^ 2 -3m ^ 2 - 3n ^ 2} {6 pi ^ 2m ^ 2n ^ 2} right) & m neq n
end {case} end {align}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4788abf442eba570ff7414521da72cdc76aa62d4)
Расстояние между частицами Икс и Y минимален для м = 1 я п = 1, то есть для минимальных уровней энергии этих частиц и составляет:
![min (D (X, Y)) = L left ( frac {4 pi ^ 2-15} {12 pi ^ 2} right) приблизительно 0,2067L. ,](https://wikimedia.org/api/rest_v1/media/math/render/svg/c2006fa5d8e6f4d8e79173a57c032de6b096768f)
Согласно свойствам этой функции минимальное расстояние отлично от нуля. Для большего уровня энергии м, п он приближается к L/3.
Популярное объяснение
Предположим, нам нужно измерить расстояние между точками µИкс и указать µy, которые коллинеарны некоторой точке 0. Предположим далее, что мы поручили эту задачу двум независимым и большим группам геодезистов, оснащенных рулетка, при этом каждый геодезист первой группы будет измерять расстояние между 0 и µИкс и каждый геодезист второй группы будет измерять расстояние между 0 и µy.
При следующих предположениях мы можем рассматривать два набора полученных наблюдений Икся, yj как случайные величины Икс и Y имея нормальное распределение такой же дисперсии σ 2 и распределены по "фактическим местоположениям" точек µИкс, µy.
Расчет среднее арифметическое для всех пар |Икся − yj| тогда мы должны получить значение метрики L – K DNN(Икс, Y). Его характерная криволинейность возникает из-за симметрии модуль и перекрытие распределений ж(Икс), грамм(y), когда их средства приближаются друг к другу.
Интересный эксперимент, результаты которого совпадают со свойствами метрики L – K, был проведен в 1967 г. Робертом Мойером и Томас Ландауэр кто измерил точное время, которое потребовалось взрослому, чтобы решить, какая из двух арабских цифр была наибольшей. Когда две цифры были разнесены численно, например, 2 и 9. испытуемые отвечали быстро и точно. Но их время отклика замедлялось более чем на 100 миллисекунд, когда они подходили ближе, например, 5 и 6, и испытуемые затем ошибались так часто, как один раз за каждые десять испытаний. Эффект расстояния присутствовал как среди очень умных людей, так и среди тех, кто был обучен избегать его.[3]
Практическое применение
Метрику Лукашика – Кармовского можно использовать вместо метрического оператора (обычно Евклидово расстояние ) в различных численных методах и, в частности, в приближенных алгоритмах, таких как сети с радиальными базисными функциями,[4] обратное взвешивание расстояний или же Кохонен самоорганизующиеся карты.
Этот подход является физически обоснованным, что позволяет учитывать реальную неопределенность местоположения точек отбора проб.[5][6]
Смотрите также
Рекомендации
- ^ Metryka Pomiarowa, przykłady zastosowań aproksymacyjnych w Mechanice doświadczalnej (Метрика измерений, примеры аппроксимации в экспериментальной механике), Кандидатская диссертация, Шимон Лукашик (автор), Войцех Кармовский (руководитель), Краковский технологический университет имени Тадеуша Костюшко, подан 31 декабря 2001 г., завершен 31 марта 2004 г.
- ^ Новая концепция вероятностной метрики и ее применения в аппроксимации разрозненных наборов данных, Лукашик Шимон, Вычислительная механика, том 33, номер 4, 299–304, Springer-Verlag 2003 Дои:10.1007 / s00466-003-0532-2
- ^ Чувство чисел: как разум создает математику, Станислас Дехейн, Oxford University Press, США, 1999 г., ISBN 0-19-513240-8, стр. 73–75
- ^ Флориан Хогевинд, Питер Биссолли (2010) Оперативные карты среднемесячной температуры для Региона VI ВМО (Европа и Ближний Восток), IDŐJÁRÁS, Ежеквартальный журнал Венгерской метеорологической службы, Vol. 115, № 1-2, январь – июнь 2011 г., стр. 31-49, с. 41 год
- ^ Ганг Мэн, Джейн Лоу, Мэри Э. Томпсон (2010) «Получение мелкомасштабных показателей, связанных со здоровьем, с использованием пространственной интерполяции вторичных данных», Международный журнал географии здоровья, 9:50 Дои:10.1186 / 1476-072X-9-50
- ^ Банда Мэн (2010)Социальные и пространственные детерминанты неравенства неблагоприятных исходов родов в социально развитых обществах, Диссертация (доктор философии по планированию), Университет Ватерлоо, Канада,