WikiDer > Формула Крофтона

Crofton formula

В математика, то Формула Крофтона, названный в честь Морган Крофтон (1826–1915), является классическим результатом интегральная геометрия связывая длину кривой с ожидал количество раз "случайный" линия пересекает его.

Заявление

Предполагать это исправимый плоская кривая. Учитывая ориентированную линию , позволять () - количество точек, в которых и пересекаются. Мы можем параметризовать генеральную линию по направлению на которое он указывает и расстояние со знаком от источник. Формула Крофтона выражает длина дуги кривой с точки зрения интеграл по пространству всех ориентированных линий:

В дифференциальная форма

инвариантен относительно жесткие движения, так что это естественная мера интегрирования, когда речь идет о «среднем» количестве пересечений. Правую часть формулы Крофтона иногда называют длиной Фавара.[1]

Доказательство эскиза

Обе стороны формулы Крофтона следующие: добавка над конкатенацией кривых, поэтому достаточно доказать формулу для одного отрезка. Поскольку правая часть не зависит от расположения отрезка прямой, она должна быть равна некоторой функции длины отрезка. Поскольку, опять же, формула аддитивна по сравнению с конкатенацией отрезков прямой, интеграл должен быть постоянным, умноженным на длину отрезка. Осталось только определить коэффициент 1/4; это легко сделать, вычислив обе стороны, когда γ является единичный круг.

Другие формы

Пространство ориентированных линий - двойное крышка пространства неориентированных линий. Формула Крофтона часто выражается в терминах соответствующей плотности в последнем пространстве, в котором числовой коэффициент равен не 1/4, а 1/2. Поскольку выпуклая кривая пересекает почти каждый Если линия либо дважды, либо вовсе не повторяется, формулу Крофтона для выпуклых кривых можно сформулировать без числовых множителей: мера множества прямых, пересекающих выпуклую кривую, равна ее длине.

Формула Крофтона обобщается на любые Риманов поверхность; затем интеграл проводится с естественной мерой на пространстве геодезические.

Приложения

Формула Крофтона дает элегантные доказательства, в частности, следующих результатов:

Смотрите также

Рекомендации

  1. ^ Луис Сантало (1976), Интегральная геометрия и геометрическая вероятность, Эддисон-Уэсли

внешняя ссылка