Контингенция

подмножества Е евклидова пространства в точке [img: http://localhost:8080/file/021237-101.jpg] - объединение лучей [img: http://localhost:8080/file/021237-102.jpg] с началом Атаких, что существует последовательность точек [img: http://localhost:8080/file/021237-103.jpg] сходящаяся к А, и последовательность лучей [img: http://localhost:8080/file/021237-104.jpg] сходится к [img: http://localhost:8080/file/021237-105.jpg] обозначается contg (Е, А). Для m-мерного дифференцируемого многообразия Еcontg (E, А)совпадает с т-мерной плоскостью, касательпой к E в точке А. Понятие оказалось полезным при изучении дифференциальных свойств функций. Если для любой точки Аплоского множества Еcontg (E, А)не совпадает со всей плоскостью, то Ераспадается на счетное число частей, расположенных на спрямляемых кривых. Эта теорема неоднократно обобщалась и уточнялась, напр, множество конечной р-меры Хаусдорфа р=1,..., п-1, расположенное в n-мерном евклидовом пространстве, распадается на счетное число частей, одна из к-рых имеет нулевую меру Фавара порядка р, а каждая из остальных расположена на нек-рой лнпшицевой поверхности размерности р;для почти всех [img: http://localhost:8080/file/021237-106.jpg] в смысле р-меры Хаусдорфа contg (E, А)является плоскостью размерности р, если все вариации множества Еконечны и, начиная с (р+1)-й, равны нулю.