Мера Жордана

Меру Жордана можно определить как единственную конечно-аддитивную меру, определённую на кольце многогранников и удовлетворяющую следующим условиям:

1. Меры конгруэнтных многогранников равны.
2. Мера единичного куба равна единице.

Максимальное кольцо множеств, на которое мера Жордана продолжается единственным образом, называется кольцом квадрируемых множеств.

Множество измеримо по Жордану если внутренняя мера Жордана равна внешней мере Жордана.

Мера Жордана ${\displaystyle m\Delta }$ параллелепипеда ${\displaystyle \Delta =\prod _{i=1}^{n}[a_{i},\;b_{i}]}$ в ${\displaystyle \mathbb {R} ^{n}}$ определяется как произведение

${\displaystyle m\Delta =\prod _{i=1}^{n}(b_{i}-a_{i}).}$

Для ограниченного множества ${\displaystyle E\subset \mathbb {R} ^{n}}$ определяются:

• внешняя мера Жордана

  ${\displaystyle m_{e}E=\inf \sum _{k=1}^{N}m\Delta _{k},\quad \bigcup _{k}\Delta _{k}\supset E}$

• внутренняя мера Жордана

  ${\displaystyle m_{i}E=\sup \sum _{k=1}^{N}m\Delta _{k},\quad \bigcup _{k}\Delta _{k}\subset E,\quad \Delta _{k}\cap \Delta _{m}=\varnothing }$, если ${\displaystyle k\neq m,}$

здесь ${\displaystyle \Delta _{1},\;\Delta _{2},\;\ldots ,\;\Delta _{N}}$ — параллелепипеды описанного выше вида.

Множество ${\displaystyle E}$ называется измеримым по Жордану (или квадрируемым), если ${\displaystyle m_{e}E=m_{i}E}$. В этом случае мера Жордана равна ${\displaystyle mE=m_{e}E=m_{i}E}$.

• Множества, измеримые по Жордану, образуют кольцо, на котором мера Жордана является конечно-аддитивной мерой.
• Мера Жордана инвариантна относительно движений евклидова пространства.
• Множество ${\displaystyle F}$ измеримо по Жордану, если для любого ${\displaystyle \varepsilon >0}$ существует пара многогранников ${\displaystyle P}$ и ${\displaystyle Q}$ таких, что

  ${\displaystyle P\subset F\subset Q}$ и ${\displaystyle mP+\varepsilon >mQ}$.

• Ограниченное множество ${\displaystyle E\subset \mathbb {R} ^{n}}$ измеримо по Жордану тогда и только тогда, когда его граница имеет нулевую меру Жордана (или, что равносильно, когда его граница имеет нулевую меру Лебега). В частности, все множества, граница которых состоит из конечного числа гладких кривых и точек, измеримы по Жордану. Тем не менее существуют множества, ограниченные простой замкнутой кривой Жордана, которые не измеримы по Жордану.
• Внешняя мера Жордана одна и та же для ${\displaystyle E}$ и ${\displaystyle {\bar {E}}}$ (замыкания множества ${\displaystyle E}$) и равна мере Бореля ${\displaystyle {\bar {E}}}$.

Приведённое понятие меры ввели Пеано (1887) и Жордан (1892). Впоследствии понятие было обобщено Лебегом на более широкий класс множеств.

Рассмотрим меру Жордана ${\displaystyle m}$, определённую на ${\displaystyle \mathbb {R} }$. Пусть ${\displaystyle A=\left[0,1\right]=\{x\in \mathbb {R} \colon 0\leqslant x\leqslant 1\}}$ — множество точек единичного отрезка., ${\displaystyle \mathbb {Q} }$ — подмножество рациональных точек множества ${\displaystyle A}$, тогда ${\displaystyle \mathbb {Q} }$  — неизмеримое по Жордану множество, так как ${\displaystyle m_{e}\mathbb {Q} =1,\;m_{i}\mathbb {Q} =0,\;m_{e}\mathbb {Q} \neq m_{i}\mathbb {Q} }$, то есть верхняя и нижняя мера Жордана не совпадают (хотя это множество измеримо по Лебегу).

• Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. — изд. четвёртое, переработанное. — М.: Наука, 1976. — 544 с.
• Кудрявцев Л.Д., Кутасов А.Д. Сборник задач по математическому анализу, глава 3;
• Peano, G. Applicazioni geometriche del calcolo infinitesimale. — Torino, 1887;
• Jordan, C. Journal de Mathématiques Pures et Appliquées. — 1892. — t. 8. — p. 69—99;

• Мера множества
• Мера Лебега
• Мера Хаусдорфа
• Мера Бореля