Бемольная Форма

- измеримая r-мерная дифференциальная форма на открытом множестве такая, что. комасса для нек-рого . существует с для любого симплекса , удовлетворяющего условию. Существует измеримое такое, что измерима на и на любой из его граней , составляющих , причем здесь означает -мерную меру Лебега пересечения множества Мс нек-рой s-мерной плоскостью. Если Xесть r-мерная бемольная коцепь в Л, то существует ограниченная -мерная форма в R, измеримая в любом симплексе относительно плоскости, содержащей , и причем где - комасса коцепи X. Обратно, любой г-мерной Б. Ф. в соответствует но формуле (1) единственная r-мерная бемольная коцепь для любого симплекса , удовлетворяющего вышеуказанному условию, причем Форма и коцепь Xназ.

Ассоциированным и. Формы, ассоциированные с одной и той же коцепью, эквивалентны, т. Е. Равны почти всюду в R, и среди них есть бемольный представитель. Между n-мерными бемольными коцепями Xи классами эквивалентных измеримых ограниченных функций существует взаимно однозначное соответствие, при к-ром , а где - последовательность -мерных симплексов, стягивающихся к точке так, что их диаметры , но при нек-ром для всех - объем Пусть - измеримая суммируемая функция в R, значениями к-рой являются r-векторы. Она наз. Соответствующей r-мерной бемольной цепи А, если для всех r-мерных бемольных коцепей X(и тогда Аназ. Лебеговой цепью). Отображение является линейным взаимно однозначным отображением множества классов эквивалентности функций в пространство бемольных цепей , причем где - масса цепи - масса r- вектора .

Кроме того, множество образов непрерывных функций плотно в . Представления (1) и (2) обобщают аналогичные результаты для диезных форм и диезных коцепей. Напр., дифференциал Б. Ф. , определяемый формулой , является также Б. Ф., и выполнена теорема Стокса. Для любого симплекса . R-мерная бемольная коцепь - слабый предел гладких коцепей, т. Е. Таких, для к-рых ассоциированные формы со являются гладкими, и т. Д. Лит.:[1] Уитни X., Геометрическая теория интегрирования, пер. С англ., М., 1960. М. И. Войиеховский.