математика, анализ, строгая математика

Огюстен Луи Коши

Огюстен Луи Коши важен для математического анализа как один из ученых, которые сделали язык пределов и непрерывности строгим. До него многие приемы дифференциального и интегрального исчисления уже работали в задачах геометрии и механики, но часто опирались на интуицию и не всегда ясно отделяли допустимый переход от красивой догадки. Коши помог закрепить другую привычку: прежде чем применять правило, нужно понимать, что именно стремится к пределу, где функция непрерывна и какие условия позволяют выполнить вычисление. В справочнике его имя уместно рядом с темами о пределах, непрерывности, производной по определению, исследовании функций и рядах. Коши не нужен здесь как декоративная историческая фамилия. Его роль практическая: он напоминает, что формула работает не сама по себе, а в рамках условий. Поэтому страницы, связанные с ним, должны объяснять не только алгоритм вычисления, но и границы, за которыми этот алгоритм перестает быть надежным.

Портрет Огюстена Луи Коши на фоне записей о пределах, непрерывности и рядах; образ подчеркивает его роль в строгом языке математического анализа.

Биография

Огюстен Луи Коши родился во Франции в 1789 году и стал одной из центральных фигур математики XIX века. Он работал в эпоху, когда математический анализ уже дал мощные методы для механики, геометрии и астрономии, но еще нуждался в более точном языке. Многие идеи Ньютона, Лейбница и Эйлера позволяли успешно считать, однако объяснение того, почему эти вычисления корректны, часто оставалось недостаточно строгим. Коши сделал большой шаг к тому, чтобы предел, непрерывность, производная и ряд рассматривались не как набор удачных приемов, а как система понятий с проверяемыми условиями.

В учебном смысле его вклад особенно важен там, где читатель впервые сталкивается с вопросом: почему можно заменить сложную функцию локальной моделью, когда допустимо переходить к пределу, почему сумма бесконечного ряда требует проверки сходимости и чем непрерывность отличается от просто гладкого вида графика. Коши не отменяет геометрическую интуицию, а дисциплинирует ее. Он показывает, что рисунок и вычисление должны быть подкреплены определением, иначе одна и та же формула может привести к верному ответу в простой задаче и к ошибке в более тонкой.

Коши также важен как автор, через которого удобно объяснять взросление анализа. В его работах заметен переход от уверенного вычислительного стиля XVIII века к более строгой математической культуре XIX века. Это не означает, что все современные определения принадлежат только ему: многие формулировки уточнялись позднее, особенно в работах Вейерштрасса и его школы. Но именно Коши стоит среди тех, кто сделал требование точности нормой. Поэтому его страница полезна не как биографическая вставка, а как опора для понимания того, почему в анализе так много внимания уделяют условиям, исключениям и аккуратной проверке предельных переходов.

Исторический контекст

На страницах о пределах и непрерывности Коши помогает объяснить, почему формальное вычисление нужно сопровождать проверкой условий. Если функция ведет себя хорошо в окрестности точки, многие правила работают предсказуемо; если есть разрыв, несуществующий предел или неконтролируемая бесконечность, привычный алгоритм может дать бессмысленный результат. Такая рамка особенно важна при изучении производной через предел отношения приращений, теорем о непрерывных функциях, критериев экстремума и исследования поведения функции на интервале.

Его историческая роль также помогает связать геометрию и строгую запись. Касательная к графику, скорость изменения и локальное приближение становятся не просто наглядными образами, а следствиями предельного перехода. Это делает объяснение честнее: читатель видит, что у формулы есть не только красивая картинка, но и математические предпосылки. В таком контексте Коши хорошо работает рядом с Ньютоном, Лейбницем, Эйлером и Вейерштрассом: первые дали мощный вычислительный язык, а строгая школа XIX века показала, как удерживать этот язык от ошибок.

Вклад в формулы

Вклад Коши для справочника лучше показывать через культуру проверки. Его имя уместно там, где формула требует условий: предел должен существовать, функция должна быть определена в нужной окрестности, непрерывность нельзя подменять видом графика, а операции с рядами и бесконечными процессами требуют отдельного обоснования. Такой контекст делает страницы по анализу полезнее: пользователь получает не только рецепт, но и понимание, когда этот рецепт применять нельзя.

Коши связан со страницами о пределе функции, односторонних пределах, непрерывности, производной по определению, правилах дифференцирования и рядах. Его не стоит объявлять единственным автором этих формул: современный анализ сложился усилиями многих математиков. Но его вклад помогает объяснить главный поворот в истории темы: от удачных вычислительных методов к системе, где каждое правило имеет условия применимости и доказательную опору.

Связь с формулами

С этим именем связано 78 формул: Напряжение от осевой силы, Предел функции в точке, Односторонние пределы и еще 75. Ниже можно открыть каждую формулу, посмотреть обозначения, пример и историческую справку.

Библиография

Связанные формулы

Напряжение от осевой силы

Нормальное напряжение от осевой силы равно силе, деленной на площадь поперечного сечения. Формула показывает среднее растягивающее или сжимающее напряжение в элементе при центральном приложении силы.

$\sigma=\frac{N}{A}$

Предел функции в точке

Предел функции в точке фиксирует значение, к которому стремится функция при приближении аргумента к заданному числу. Это базовая запись для всего дальнейшего анализа: она отделяет поведение функции в окрестности точки от ее значения в самой точке.

$\lim_{x\to a} f(x)=L$

Односторонние пределы

Односторонние пределы описывают поведение функции только слева или только справа от точки. Они особенно важны для кусочных функций, границ области определения и проверки существования двухстороннего предела.

$\lim_{x\to a-} f(x)=L_{-},\qquad \lim_{x\to a+} f(x)=L_{+}$

Предел функции на бесконечности

Предел на бесконечности описывает, к какому числу стремится функция при больших значениях аргумента. Это основной язык для горизонтальных асимптот и для понимания долгосрочного поведения модели.

$\lim_{x\to\infty} f(x)=L$

Бесконечный предел функции

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

$\lim_{x\to a} f(x)=\infty$

Бесконечно малая функция

Бесконечно малая функция - это функция, которая стремится к нулю в заданном предельном процессе. Такой язык удобно использовать для оценок, сравнения порядков малости и вывода стандартных пределов.

$\lim_{x\to a}\alpha(x)=0$

Стандартный предел sin x / x

Это один из главных стандартных пределов математического анализа. Он лежит в основе производной синуса, многих тригонометрических оценок и предельных переходов в начале курса.

$\lim_{x\to 0}\frac{\sin x}{x}=1$

Стандартный предел, связанный с числом e

Этот предел дает одно из самых известных определений числа e. Он появляется в задачах о росте, сложных процентах, экспоненциальных моделях и анализе малых приращений.

$\lim_{x\to 0}(1+x)^{1/x}=e$

Альгебра пределов

Альгебра пределов дает набор правил, которые позволяют переносить предельный переход через сумму, произведение и частное. Это один из самых практичных инструментов начального анализа.

$\lim_{x\to a}(f(x)\pm g(x))=\lim_{x\to a}f(x)\pm\lim_{x\to a}g(x),\qquad \lim_{x\to a}(f(x)g(x))=\left(\lim_{x\to a}f(x)\right)\left(\lim_{x\to a}g(x)\right),\qquad \lim_{x\to a}\frac{f(x)}{g(x)}=\frac{\lim_{x\to a}f(x)}{\lim_{x\to a}g(x)}$

Непрерывность функции в точке

Непрерывность в точке означает, что предельное значение функции совпадает с ее значением в самой точке. Это первый и самый важный мост от понятия предела к вычислениям и графикам.

$\lim_{x\to a} f(x)=f(a)$

Устранимый разрыв функции

Устранимый разрыв возникает, когда предел в точке существует и конечен, но значение функции в самой точке отсутствует или не совпадает с этим пределом. Такой разрыв можно устранить переопределением функции.

$\tilde f(x)=\begin{cases}f(x),&x\ne a\\\lim_{x\to a}f(x),&x=a\end{cases}$

Производная через предел разностного отношения

Производная в точке задается пределом разностного отношения и описывает мгновенную скорость изменения функции. Без этой предельной записи производная превращается в набор правил, а не в проверяемое понятие.

$f'(x_0)=\lim_{h\to 0}\frac{f(x_0+h)-f(x_0)}{h}$

Геометрический смысл производной

Производная в точке равна угловому коэффициенту касательной и связывает анализ с наклоном графика. Поэтому одна и та же величина одновременно читается как скорость изменения и как наклон графика.

$f'(x_0)=k_{\text{кас}}=\tan\alpha$

Касательная к графику функции

Уравнение касательной строится по точке касания и производной в этой точке. Это первая локальная модель функции и основной мост к линейным приближениям.

$y=f(x_0)+f'(x_0)(x-x_0)$

Нормаль к графику функции

Нормаль к графику - это прямая, перпендикулярная касательной в точке. Нормаль нужна там, где важно не направление движения вдоль графика, а перпендикулярное направление.

$y-f(x_0)=-\frac{1}{f'(x_0)}(x-x_0),\quad f'(x_0)\neq 0;\qquad x=x_0,\quad f'(x_0)=0$

Производная постоянной

Постоянная не меняется при изменении аргумента, поэтому ее производная равна нулю. Это простейшая строка таблицы производных и важная проверка того, от какой переменной зависит выражение.

$\frac{d}{dx}C=0$

Производная sin x

Производная синуса равна косинусу, если аргумент измеряется в радианах. Радианная мера здесь не техническая мелочь, а условие, без которого формула меняет коэффициент.

$\frac{d}{dx}\sin x=\cos x$

Производная cos x

Производная косинуса равна минус синусу и отражает фазовый сдвиг тригонометрической пары. Знак минус отражает то, что около нуля косинус начинает убывать при движении вправо от максимума.

$\frac{d}{dx}\cos x=-\sin x$

Производная e^x

Экспонента с основанием e является собственной производной: ее темп роста совпадает с ее значением. Это свойство делает экспоненту естественной моделью процессов, где скорость пропорциональна текущему значению.

$\frac{d}{dx}e^x=e^x$

Производная ln x

Производная натурального логарифма равна обратной величине аргумента. Ограничение x>0 в действительном анализе здесь так же важно, как сама формула.

$\frac{d}{dx}\ln x=\frac{1}{x}$

Правило суммы производных

Правило суммы говорит, что производную суммы можно находить по частям: отдельно продифференцировать каждое слагаемое и затем сложить результаты.

$\frac{d}{dx}\bigl(f(x)+g(x)\bigr)=f'(x)+g'(x)$

Правило разности производных

Правило разности позволяет находить производную выражения с минусом по частям: производная разности равна разности производных.

$\frac{d}{dx}\bigl(f(x)-g(x)\bigr)=f'(x)-g'(x)$

Правило произведения производных

Производная произведения состоит из двух вкладов: сначала меняется первый множитель при фиксированном втором, затем второй при фиксированном первом.

$\frac{d}{dx}\bigl(f(x)g(x)\bigr)=f'(x)g(x)+f(x)g'(x)$

Правило частного производных

Производная частного равна разности двух вкладов в числителе, деленной на квадрат знаменателя: меняется числитель и меняется знаменатель.

$\frac{d}{dx}\left(\frac{f(x)}{g(x)}\right)=\frac{f'(x)g(x)-f(x)g'(x)}{g^2(x)}$

Правило сложной функции

Правило сложной функции, или правило цепочки, говорит: производная внешней функции берется в внутреннем выражении и умножается на производную внутренней функции.

$\frac{d}{dx}f(g(x))=f'(g(x))\cdot g'(x)$

Производная обратной функции

Производная обратной функции равна обратной величине производной исходной функции в соответствующей точке, если исходная производная не равна нулю.

$(f^{-1})'(y_0)=\frac{1}{f'(x_0)},\quad y_0=f(x_0),\ f'(x_0)\ne 0$

Касательная как линейная модель

Касательная в прикладной постановке нужна не только как прямая на чертеже, но и как локальная линейная замена функции. Формула позволяет быстро оценивать малое изменение величины, если известны значение функции и ее производная в одной точке.

$f(x_0+\Delta x)\approx f(x_0)+f'(x_0)\Delta x$

Нормаль как прикладное перпендикулярное направление

Нормаль удобно рассматривать как прикладное перпендикулярное направление к графику. Она нужна там, где важно не само касание, а ось, сила, отражение или геометрическая связь, задаваемая прямым углом к касательной.

$\vec n=(-f'(x_0),1),\quad y-f(x_0)=-\frac{1}{f'(x_0)}(x-x_0),\quad f'(x_0)\neq 0$

Возрастание и убывание через знак производной

Знак первой производной переводит локальный наклон в глобальный вывод о монотонности. По нему удобно строить интервалы возрастания и убывания, не перебирая значения функции вручную на каждом отрезке.

$f'(x)>0\Rightarrow f \text{ возрастает},\qquad f'(x)<0\Rightarrow f \text{ убывает}$

Критические точки функции

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

$x_c:\ f'(x_c)=0\ \text{или}\ f'(x_c)\text{ не существует}$

Необходимое условие экстремума

Если функция имеет внутренний экстремум и в этой точке дифференцируема, ее производная обязана быть нулем. Это необходимое, но не достаточное условие, поэтому оно помогает отсеять лишние точки перед более точной проверкой.

$f'(x_0)=0\quad \text{если }x_0\text{ - внутренняя точка экстремума и }f\text{ дифференцируема в }x_0$

Достаточный признак экстремума по смене знака производной

Смена знака первой производной дает уже достаточный вывод об экстремуме. Если функция переходит от роста к убыванию, возникает максимум; если от убывания к росту, получается минимум.

$f'(x):\ +\to-\Rightarrow \text{локальный максимум},\qquad f'(x):\ -\to+\Rightarrow \text{локальный минимум}$

Вторая производная как мера изменения наклона

Вторая производная показывает, как меняется сам наклон графика. Она связывает первую производную с кривизной поведения функции и подсказывает, ускоряется ли рост наклона или, наоборот, он выравнивается.

$f''(x)=\frac{d}{dx}f'(x)=\frac{d^2f}{dx^2}$

Выпуклость и вогнутость графика

Знак второй производной описывает, как изгибается график: вверх или вниз. Это помогает понять форму кривой глубже, чем один только знак первой производной, потому что уже речь идет не о движении, а о характере изгиба.

$f''(x)>0\Rightarrow \text{график выпукл вверх},\qquad f''(x)<0\Rightarrow \text{график выпукл вниз}$

Точка перегиба

Точка перегиба - это место, где график меняет выпуклость. Для надежного вывода нужно не только заметить ноль второй производной, но и проверить смену ее знака по обе стороны точки.

$x_0\text{ - точка перегиба}\iff f''(x)\text{ меняет знак в }x_0$

Схема исследования функции

Полная схема исследования функции объединяет область определения, производные, знаки, экстремумы, выпуклость и перегиб. Это рабочий алгоритм, который превращает сложную кривую в последовательность понятных проверок.

$D(f)\to f'(x)\to \text{знак }f'\to f''(x)\to \text{знак }f''\to \text{вывод о графике}$

Понятие первообразной и связь с производной

Первообразная — это функция F(x), производная которой совпадает с исходной функцией f(x) на данном промежутке. В практическом смысле это обратное действие к дифференцированию: вместо того, чтобы искать скорость изменения, мы восстанавливаем функцию по известной скорости. Для непрерывной на интервале f(x) первообразная существует на каждом связном подотрезке этого интервала и определяется с точностью до добавления постоянной. Любая другая первообразная той же функции отличается от F(x) на константу. Это базовое понятие запускает блок неопределённого интегрирования.

$F'(x)=f(x)$

Обозначение неопределённого интеграла

Неопределённый интеграл — это запись класса всех первообразных функции f(x). В отличие от определённого интеграла, здесь не стоит предел интегрирования, и результат всегда даёт семейство функций, отличающихся константой. Запись \(\int f(x)dx\) является краткой формой для «все функции F, у которых производная равна f». Такая форма сохраняет единый смысл в вычислениях и упрощает использование правил интегрирования.

$\int f(x) \,dx = F(x)+C$

Линейность неопределенного интеграла

Линейность позволяет переносить константы и разносить сумму под интегральным знаком. Это одно из базовых правил вычисления неопределенных интегралов, напрямую вытекающее из линейности производной в обратную сторону. Если интеграл от суммы разложить на сумму интегралов, заметно упрощается вычисление и сводятся сложные выражения к базовым формам.

$\int (\alpha f(x)+\beta g(x))\,dx = \alpha\int f(x)\,dx + \beta\int g(x)\,dx$

Метод подстановки в интегрировании

Подстановка (или метод замены переменной) переносит интеграл к более удобной переменной. Идея: если подынтегральное выражение содержит композицию f(g(x)) и рядом стоит производная g'(x), делаем замену u=g(x), тогда dx заменяется через du. Это переводит задачу в более простую форму.

$\int f(g(x))g'(x)\,dx = \int f(u)\,du, \quad u=g(x)$

Константа интегрирования и класс решений

Константа интегрирования C фиксирует неопределенность, возникающую при переходе от производной к исходной функции. Любая первообразная отличается от другой ровно на добавление постоянной. В задаче с начальными условиями C позволяет выбрать конкретный представитель класса.

$\frac{d}{dx}(F(x)+C)=f(x)$

Предел последовательности

Предел последовательности показывает число L, к которому стремятся члены a_n при n→∞; это базовый элемент анализа для оценки долгосрочного поведения.

$\lim_{n \to \infty} a_n = L$

Необходимый признак сходимости ряда

Если ряд сходится, то его члены обязательно стремятся к нулю; это обязательный, но не достаточный тест. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.

$\sum_{n=1}^{\infty} a_n\text{ сходится }\Rightarrow\lim_{n\to\infty} a_n=0$

Признак Коши для рядов

Критерий уплотнения (Коши) сводит ряд к подвыборке с индексом 2^n. Страница фиксирует условия применения, типичный способ проверки и связь с соседними признаками сходимости, чтобы правило не выглядело изолированной заготовкой.

$a_n>0, a_n\downarrow 0 \Rightarrow \sum a_n \text{ сходится }\iff \sum 2^n a_{2^n} \text{ сходится}$

Предел функции двух переменных в точке

Предел функции двух переменных описывает число, к которому стремится f(x,y), когда точка (x,y) приближается к (a,b) по любому допустимому пути в плоскости.

$\lim_{(x,y)\to(a,b)} f(x,y)=L \iff \forall \epsilon>0 \exists \delta>0:0<\sqrt{(x-a)^2+(y-b)^2}<\delta \Rightarrow |f(x,y)-L|<\epsilon$

Двойной интеграл по области

Двойной интеграл складывает значения функции по плоской области и дает общий вклад распределенной величины. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$\iint_D f(x,y)\,dA=\lim_{\max\Delta A_i\to0}\sum_i f(\xi_i,\eta_i)\,\Delta A_i$

Повторный интеграл

Повторный интеграл записывает двойной интеграл как два обычных интегрирования по подходящим пределам. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$\iint_D f(x,y)\,dA=\int_a^b\int_{\alpha(x)}^{\beta(x)} f(x,y)\,dy\,dx=\int_c^d\int_{\gamma(y)}^{\delta(y)} f(x,y)\,dx\,dy$

Тройной интеграл

Тройной интеграл суммирует значения функции по объему трехмерного тела. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$\iiint_G f(x,y,z)\,dV=\lim_{\max \Delta V_i\to0}\sum_i f(\xi_i,\eta_i,\zeta_i)\,\Delta V_i$

Полярные координаты в двойном интеграле

Полярные координаты превращают круговые и радиальные области в простые пределы по радиусу и углу. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$x=r\cos\theta,\quad y=r\sin\theta,\quad dA=r\,dr\,d\theta$

Цилиндрические координаты

Цилиндрические координаты расширяют полярные координаты на пространство и удобны для тел с осевой симметрией. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$x=r\cos\theta,\quad y=r\sin\theta,\quad z=z,\quad dV=r\,dr\,d\theta\,dz$

Сферические координаты

Сферические координаты лучше всего подходят для шаров, сферических слоев и тел с центральной симметрией. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$x=\rho\sin\varphi\cos\theta,\quad y=\rho\sin\varphi\sin\theta,\quad z=\rho\cos\varphi,\quad dV=\rho^2\sin\varphi\,d\rho\,d\varphi\,d\theta$

Якобиан замены координат

Якобиан измеряет, во сколько раз локально растягивается или сжимается площадь или объем при замене переменных. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$J=\frac{\partial(x,y)}{\partial(u,v)}=\begin{vmatrix}x_u & x_v\\ y_u & y_v\end{vmatrix},\qquad dA_{xy}=|J|\,dA_{uv}$

Площадь через двойной интеграл

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

$S(D)=\iint_D 1\,dA$

Объем через тройной интеграл

Объем тела равен тройному интегралу от единицы по этому телу. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$V(G)=\iiint_G 1\,dV$

Центр масс области и тела

Центр масс показывает, где сосредоточен средний вес распределения в плоскости или в пространстве. Страница показывает не только запись формулы, но и смысл области интегрирования, элемента меры и типичных ограничений метода.

$\bar x=\frac1M\iint_D x\rho(x,y)\,dA,\qquad \bar y=\frac1M\iint_D y\rho(x,y)\,dA,\qquad M=\iint_D \rho\,dA$

Степенной ряд

Степенной ряд — это бесконечная сумма, где каждый следующий член строится по одному шаблону степени относительно фиксированного центра a. В таком виде функция описывается через бесконечное многочленное приближение, а локальное поведение переменной x становится управляемым по степеням (x−a). Для практики это удобно: один набор коэффициентов {a_n} определяет весь шаблон приближения и задает область, где сумма имеет смысл.

$\sum_{n=0}^{\infty} a_n (x-a)^n$

Радиус сходимости степенного ряда

Радиус сходимости R определяет главный «каркас» степенного ряда: внутри интервала (a−R,a+R) ряд сходится, вне его расходится. В этом месте удобно разделять задачу на два этапа: сначала анализировать общий коэффициентный шаблон через limsup (или эквивалентный признак отношения), затем отдельно проверять концы. Такой подход резко снижает риск пропуска тонких случаев.

$R=\frac{1}{\limsup_{n\to\infty}\sqrt[n]{|a_n|}},\quad (1/\limsup=\infty\text{ если }\limsup=0),\quad (1/\infty=0)$

Интервал сходимости степенного ряда

После нахождения радиуса сходимости остаётся завершить задачу, исследовав сам интервал. Внутри I ряд гарантированно сходится, вне I расходится, а на концах R-круговой границы возможны любые варианты: сходящийся, расходящийся или условно сходящийся. Поэтому интервал сходимости всегда строится в два шага: «внутри/снаружи» по R и «границы» по отдельным критериям.

$I=(a-R,a+R),\quad a\pm R\text{ — проверяются отдельно }$

Определитель матрицы 2x2

Определитель матрицы 2x2 равен разности произведений диагоналей. Он показывает, во сколько раз линейное преобразование меняет ориентированную площадь.

$\det\begin{pmatrix}a&b\\c&d\end{pmatrix}=ad-bc$

Определитель матрицы 3x3 по правилу Саррюса

Правило Саррюса дает быстрый способ вычислить определитель матрицы 3x3 как сумму трех произведений по нисходящим диагоналям минус сумму трех произведений по восходящим диагоналям.

$\det A=a_{11}a_{22}a_{33}+a_{12}a_{23}a_{31}+a_{13}a_{21}a_{32}-a_{13}a_{22}a_{31}-a_{11}a_{23}a_{32}-a_{12}a_{21}a_{33}$

Собственное значение и собственный вектор

Собственный вектор матрицы A - это ненулевой вектор, который после умножения на A остается на той же прямой. Собственное значение lambda показывает, во сколько раз этот вектор растягивается, сжимается или меняет направление.

$Av=\lambda v,\quad v\ne0$

Характеристическое уравнение матрицы

Характеристическое уравнение det(A-lambda I)=0 находит те значения lambda, при которых у системы (A-lambda I)v=0 появляется ненулевое решение. Именно эти lambda являются собственными значениями матрицы.

$\det(A-\lambda I)=0$

Собственное пространство матрицы

Собственное пространство E_lambda - это множество всех векторов, которые удовлетворяют Av=lambda v, вместе с нулевым вектором. Оно равно ядру матрицы A-lambda I.

$E_\lambda=\ker(A-\lambda I)$

Геометрическая кратность собственного значения

Геометрическая кратность собственного значения - это размерность его собственного пространства. Она показывает, сколько независимых собственных направлений соответствует данному lambda.

$g(\lambda)=\dim E_\lambda=\dim\ker(A-\lambda I)$

Спектр матрицы

Спектр матрицы - это множество ее собственных значений. Для конечной квадратной матрицы он состоит из корней характеристического уравнения.

$\sigma(A)=\{\lambda:\det(A-\lambda I)=0\}$

Сумма собственных значений равна следу

Сумма собственных значений квадратной матрицы, взятых с алгебраическими кратностями, равна следу матрицы. След не меняется при смене базиса.

$\lambda_1+\cdots+\lambda_n=\operatorname{tr}(A)$

Диагонализируемость при различных собственных значениях

Если матрица n x n имеет n различных собственных значений, то она диагонализируема. Разным собственным значениям соответствуют линейно независимые собственные векторы.

$\lambda_1,\ldots,\lambda_n\text{ различны}\Longrightarrow A\text{ диагонализируема}$

Диагонализация матрицы 2x2

Матрица 2x2 диагонализируется, если для нее можно найти два линейно независимых собственных вектора. При двух различных собственных значениях это выполняется автоматически.

$A=P\begin{pmatrix}\lambda_1&0\\0&\lambda_2\end{pmatrix}P^{-1}$

Норма вектора через скалярное произведение

Длина вектора в евклидовом пространстве равна квадратному корню из его скалярного произведения с самим собой. Формула связывает геометрическую длину с алгебраической операцией над координатами.

$\|v\|=\sqrt{v\cdot v}$

Нормальные уравнения в QR-форме

Из A=QR получаем эквивалентное равенство через R, сохраняя идею нормальных уравнений. Формула показывает устойчивый способ работать с задачей наименьших квадратов через ортогональную геометрию, а не через прямое обращение матрицы или слепое использование нормальных уравнений.

$A^T A x = A^T b,\quad R^T R x = R^T Q^T b$

Характеристический многочлен матрицы 2x2

Характеристический многочлен матрицы 2x2 выражается через след и определитель. Его корни являются собственными значениями матрицы.

$p(\lambda)=\lambda^2-\operatorname{tr}(A)\lambda+\det(A)$

Диагонализация матрицы

Диагонализация представляет квадратную матрицу A в виде A=PDP^{-1}, где D диагональна, а столбцы P являются собственными векторами A. Это переводит действие оператора в собственный базис.

$A=PDP^{-1}$

Критерий диагонализируемости через геометрические кратности

Матрица n x n диагонализируема тогда и только тогда, когда сумма размерностей всех ее собственных пространств равна n. Это означает, что собственных векторов хватает на базис.

$A\text{ диагонализируема}\Longleftrightarrow \sum_{\lambda\in\sigma(A)}\dim E_\lambda=n$