" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

БЕМОЛЬНАЯ ФОРМА

Значение БЕМОЛЬНАЯ ФОРМА в математической энциклопедии:

- измеримая r-мерная дифференциальная форма на открытом множестве такая, что:

комасса для нек-рого ;

существует с

для любого симплекса , удовлетворяющего условию: существует измеримое такое, что измерима на и на любой из его граней , составляющих , причем

здесь означает -мерную меру Лебега пересечения множества Мс нек-рой s-мерной плоскостью.

Если Xесть r-мерная бемольная коцепь в Л, то существует ограниченная -мерная форма в R, измеримая в любом симплексе относительно плоскости, содержащей , и

причем

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

Форма и коцепь Xназ. ассоциированным и. Формы, ассоциированные с одной и той же коцепью, эквивалентны, т. е. равны почти всюду в R, и среди них есть бемольный представитель.

Между n-мерными бемольными коцепями Xи классами эквивалентных измеримых ограниченных функций существует взаимно однозначное соответствие, при к-ром , а

где - последовательность -мерных симплексов, стягивающихся к точке так, что их диаметры ,

но

при нек-ром для всех - объем

Пусть - измеримая суммируемая функция в R, значениями к-рой являются r-векторы; она наз. соответствующей r-мерной бемольной цепи А, если

для всех r-мерных бемольных коцепей X(и тогда Аназ. лебеговой цепью). Отображение является линейным взаимно однозначным отображением множества классов эквивалентности функций в пространство бемольных цепей , причем где - масса цепи - масса r- вектора . Кроме того, множество образов непрерывных функций плотно в .

Представления (1) и (2) обобщают аналогичные результаты для диезных форм и диезных коцепей; напр., дифференциал Б. ф. , определяемый формулой , является также Б. ф., и выполнена теорема Стокса: для любого симплекса ; r-мерная бемольная коцепь - слабый предел гладких коцепей, т. е. таких, для к-рых ассоциированные формы со являются гладкими, и т. д.

Лит.:[1] Уитни X., Геометрическая теория интегрирования, пер. с англ., М., 1960. М. И. Войиеховский.