Теорема Сарда

Теорема математического анализа

В математике теорема Сарда , также известная как лемма Сарда или теорема Морса-Сарда , является результатом математического анализа , который утверждает, что набор критических значений (то есть образ множества критических точек ) гладкой функции f из одного евклидова пространства или многообразия в другое есть нулевое множество , т. е. оно имеет меру Лебега 0. Это делает множество критических значений «малым» в смысле родового свойства . Теорема названа в честь Энтони Морса и Артура Сарда .

Заявление

Более явно, ^[1] пусть

${\displaystyle f\colon \mathbb {R} ^{n}\rightarrow \mathbb {R} ^{m}}$

быть , (то есть времена непрерывно дифференцируемы ), где . Обозначим критическое множество , в котором есть множество точек , в которых матрица Якоби имеет ранг . Тогда изображение имеет меру Лебега 0 в . ${\displaystyle C^{k}}$ ${\displaystyle k}$ ${\displaystyle k\geq \max\{n-m+1,1\}}$ ${\displaystyle X\subset \mathbb {R} ^{n}}$ ${\displaystyle f,}$ ${\displaystyle x\in \mathbb {R} ^{n}}$ ${\displaystyle f}$ ${\displaystyle <m}$ ${\displaystyle f(X)}$ ${\displaystyle \mathbb {R} ^{m}}$

Интуитивно говоря, это означает, что, хотя его образ может быть большим, он должен быть малым в смысле меры Лебега: хотя он может иметь много критических точек в области , он должен иметь мало критических значений в образе . ${\displaystyle X}$ ${\displaystyle f}$ ${\displaystyle \mathbb {R} ^{n}}$ ${\displaystyle \mathbb {R} ^{m}}$

В более общем смысле этот результат справедлив и для отображений между дифференцируемыми многообразиями и размерностей и соответственно. Критический набор функции ${\displaystyle M}$ ${\displaystyle N}$ ${\displaystyle m}$ ${\displaystyle n}$ ${\displaystyle X}$ ${\displaystyle C^{k}}$

${\displaystyle f:N\rightarrow M}$

состоит из тех точек, в которых дифференциал

${\displaystyle df:TN\rightarrow TM}$

имеет ранг меньше, чем линейное преобразование. Если , то теорема Сарда утверждает, что образ имеет нулевую меру как подмножество . Эта формулировка результата следует из версии для евклидовых пространств с использованием счетного набора координатных участков. Заключение теоремы является локальным утверждением, поскольку счетное объединение множеств меры нуль является множеством меры нуль, а свойство подмножества координатного участка, имеющего нулевую меру, инвариантно относительно диффеоморфизма . ${\displaystyle m}$ ${\displaystyle k\geq \max\{n-m+1,1\}}$ ${\displaystyle X}$ ${\displaystyle M}$

Варианты

Существует множество вариантов этой леммы, которая играет основную роль в теории особенностей, среди других областей. Этот случай был доказан Энтони П. Морсом в 1939 году ^[2] , а общий случай - Артуром Сардом в 1942 году. ^[1] ${\displaystyle m=1}$

Версия для бесконечномерных банаховых многообразий была доказана Стивеном Смейлом . ^[3]

Это утверждение весьма убедительно, и доказательство требует анализа. В топологии его часто цитируют — например, в теореме Брауэра о неподвижной точке и некоторых приложениях в теории Морса — чтобы доказать более слабое следствие, что «непостоянное гладкое отображение имеет хотя бы одно регулярное значение».

В 1965 году Сард далее обобщил свою теорему, заявив, что если для и если набор точек такой, что имеет ранг строго меньше , то r -мерная мера Хаусдорфа равна нулю. ^[4] В частности, размерность Хаусдорфа не превосходит r . Предостережение: размерность Хаусдорфа может быть сколь угодно близкой к r . ^[5] ${\displaystyle f:N\rightarrow M}$ ${\displaystyle C^{k}}$ ${\displaystyle k\geq \max\{n-m+1,1\}}$ ${\displaystyle A_{r}\subseteq N}$ ${\displaystyle x\in N}$ ${\displaystyle df_{x}}$ ${\displaystyle r}$ ${\displaystyle f(A_{r})}$ ${\displaystyle f(A_{r})}$ ${\displaystyle f(A_{r})}$

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

• Родовое свойство

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

1. Сард, Артур (1942), «Мера критических значений дифференцируемых карт», Бюллетень Американского математического общества , 48 (12): 883–890, doi : 10.1090/S0002-9904-1942-07811-6 , МР  0007523, Збл  0063.06720.
2. Морс, Энтони П. (январь 1939 г.), «Поведение функции на ее критическом множестве», Annals of Mathematics , 40 (1): 62–70, Бибкод : 1939AnMat..40...62M, doi : 10.2307 /1968544, JSTOR  1968544, MR  1503449.
3. Смейл, Стивен (1965), «Бесконечномерная версия теоремы Сарда», American Journal of Mathematics , 87 (4): 861–866, doi : 10.2307/2373250, JSTOR  2373250, MR  0185604, Zbl  0143.35301.
4. Сард, Артур (1965), «Хаусдорфова мера критических изображений на банаховых многообразиях», Американский журнал математики , 87 (1): 158–174, doi : 10.2307/2373229, JSTOR  2373229, MR  0173748, Zbl  0137.42501а также Сард, Артур (1965), «Ошибки по мерам Хаусдорфа критических образов на банаховых многообразиях », American Journal of Mathematics , 87 (3): 158–174, doi : 10.2307/2373229, JSTOR  2373074, MR  0180649, Zbl  0137.42501 .
5. «Покажите, что f(C) имеет размерность Хаусдорфа не более нуля», Stack Exchange , 18 июля 2013 г.

дальнейшее чтение

• Хирш, Моррис В. (1976), Дифференциальная топология , Нью-Йорк: Springer, стр. 67–84, ISBN 0-387-90148-5.
• Штернберг, Шломо (1964), Лекции по дифференциальной геометрии , Энглвуд Клиффс, Нью-Джерси: Прентис-Холл , MR  0193578, Zbl  0129.13102.