Реальный анализ - Real analysis

Первые четыре частичные суммы ряда Фурье для прямоугольной волны . Ряды Фурье - важный инструмент реального анализа.

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

Настоящий анализ отличается от комплексного анализа , который занимается изучением комплексных чисел и их функций.

Сфера

Построение действительных чисел

Теоремы реального анализа опираются на свойства действительной системы счисления, которые необходимо установить. Система действительных чисел состоит из неисчислимого множества ( ) вместе с двумя бинарными операциями, обозначенными + и , и порядком, обозначенным < . Операции превращают действительные числа в поле , а вместе с порядком - в упорядоченное поле . Система действительных чисел - это единственное полное упорядоченное поле в том смысле, что любое другое полное упорядоченное поле изоморфно ему. Интуитивно полнота означает, что в действительных числах нет «пробелов». Это свойство отличает действительные числа от других упорядоченных полей (например, рациональных чисел ) и имеет решающее значение для доказательства нескольких ключевых свойств функций действительных чисел. Полноту вещественных чисел часто удобно выражать как свойство наименьшей верхней границы (см. Ниже).

Свойства порядка действительных чисел

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

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

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

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

Топологические свойства действительных чисел

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

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

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

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

Последовательность, которая стремится к пределу (т. Е. Существует), называется сходящейся ; в противном случае он расходится . ( Смотрите раздел о пределах и сходимости для деталей. ) Вещественнозначная последовательность является ограниченной , если существует таких , что для всех . Вещественнозначная последовательность является монотонно возрастающей или уменьшением , если
или же
выполняется соответственно. Если выполняется одно из двух, последовательность называется монотонной . Монотонность является строгой, если цепные неравенства все еще выполняются с символом <или> или заменены на него.

Учитывая последовательность , другая последовательность представляет собой

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

Пределы и конвергенция

Грубо говоря, предел - это значение, к которому функция или последовательность «приближается», когда вход или индекс приближается к некоторому значению. (Это значение может включать символы при описании поведения функции или последовательности, когда переменная неограниченно увеличивается или уменьшается.) Идея предела является фундаментальной для

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

Понятие предела было неофициально введено для функций Ньютоном и Лейбницем в конце 17 века для построения исчисления бесконечно малых . Для последовательностей концепция была введена Коши и уточнена в конце 19 века Больцано и Вейерштрассом , которые дали современное определение ε-δ , которое следует ниже.

Определение. Позвольте быть действительной функцией, определенной на

. Мы говорим , что , как правило, в качестве подходов , или что предел в подходах является , если для любого существует такое , что для всех , подразумевает , что . Запишем это символически как
или как
Наглядно это определение можно рассматривать следующим образом: Мы говорим , что , как , когда, учитывая любое положительное число , независимо от того , как маленький, мы всегда можем найти , так что мы можем гарантировать , что и в меньшей степени , чем друг от друга, до тех пор , а (в области ) является вещественным числом , которое меньше , чем от , но в отличие от . Цель последнего условия, которое соответствует условию в определении, состоит в том, чтобы убедиться, что оно ничего не подразумевает о ценности самого по себе. На самом деле, для того, чтобы существовать, даже не обязательно находиться в домене .

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

Определение. Позвольте быть действительной последовательности. Мы говорим, что

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

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

предела as неограниченно возрастает. , помечено . Реверсивное неравенство к дает соответствующее определение предела , как уменьшается неограниченно , .

Иногда полезно сделать вывод, что последовательность сходится, даже если значение, к которому она сходится, неизвестно или не имеет значения. В этих случаях полезна концепция последовательности Коши.

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

Можно показать, что последовательность с действительными значениями является Коши тогда и только тогда, когда она сходится. Это свойство действительных чисел выражается в том, что действительные числа, наделенные стандартной метрикой , представляют собой полное метрическое пространство . Однако в общем метрическом пространстве последовательность Коши может не сходиться.

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

Равномерная и поточечная сходимость последовательностей функций

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

Грубо говоря, поточечная сходимость функций к предельной функции , обозначенная , просто означает, что при любом , as . Напротив, равномерная сходимость является более сильным типом сходимости в том смысле, что равномерно сходящаяся последовательность функций также сходится поточечно, но не наоборот. Равномерная сходимость требует членов семейства функций, , чтобы попасть в какой - либо ошибки в течение каждого значения , когда для некоторого целого числа . Чтобы семейство функций сходилось равномерно, иногда обозначаемое , такое значение должно существовать для любого заданного, независимо от того, насколько оно мало. Интуитивно мы можем визуализировать эту ситуацию, представив, что для достаточно большого размера все функции заключены в «трубу» шириной примерно (то есть между и ) для каждого значения в своей области .

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

Компактность

Компактность - это концепция из общей топологии, которая играет важную роль во многих теоремах реального анализа. Свойство компактности является обобщением понятия замкнутости и ограниченности множества . (В контексте реального анализа эти понятия эквивалентны: множество в евклидовом пространстве компактно тогда и только тогда, когда оно замкнуто и ограничено.) Вкратце, замкнутое множество содержит все свои граничные точки , в то время как множество ограничено, если есть существует такое действительное число, что расстояние между любыми двумя точками набора меньше этого числа. В , множества, которые являются замкнутыми и ограниченными и, следовательно, компактными, включают пустое множество, любое конечное число точек, замкнутые интервалы и их конечные объединения. Однако этот список не является исчерпывающим; например, набор представляет собой компактный набор; множество тройной Кантор является еще одним примером компактного множества. С другой стороны, множество не является компактным, потому что оно ограничено, но не замкнуто, поскольку граничная точка 0 не является членом множества. Множество также не компактно, потому что оно замкнуто, но не ограничено.

Для подмножеств действительных чисел существует несколько эквивалентных определений компактности.

Определение. Множество компактно, если оно замкнуто и ограничено.

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

Более общее определение, которое применяется ко всем метрическим пространствам, использует понятие подпоследовательности (см. Выше).

Определение. Множество в метрическом пространстве компактно, если каждая последовательность в имеет сходящуюся подпоследовательность.

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

Наиболее общее определение компактности опирается на понятие открытых покрытий и подпокрытий , которое применимо к топологическим пространствам (и, следовательно, к метрическим пространствам и как частным случаям). Вкратце, набор открытых множеств называется открытым покрытием множества, если объединение этих множеств является надмножеством . Говорят, что это открытое покрытие имеет конечное подпокрытие, если может быть найдена конечная подгруппа покрытия, которая также покрывает .

Определение. Множество в топологическом пространстве компактно, если каждое открытое покрытие имеет конечное подпокрытие.

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

Непрерывность

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

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

Определение. Если - невырожденный интервал, мы говорим, что он непрерывен в если . Мы говорим, что это непрерывное отображение, если оно непрерывно на каждом .

В отличие от требований иметь предел в точке , которые не ограничивают поведение в самой себе, следующие два условия, в дополнение к существованию , также должны выполняться, чтобы быть непрерывным в : (i) должно быть определено в , т. е. находится в домене ; и (ii) как . Выше определение на самом деле относится к любому домену , который не содержит в изолированной точке , или , что эквивалентно, где каждый является предельной точкой из . Более общее определение, применимое к общей области, следующее:

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

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

Определение. Если и топологические пространства, мы говорим , что есть непрерывная на если это соседство из в для каждой окрестности из в . Мы говорим, что это непрерывная карта, если она открыта для каждого открытого в .

(Здесь, относится к прообразу из Under .)

Единая преемственность

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

Явно, когда функция является равномерно непрерывной , выбор, необходимый для выполнения определения, должен работать для всех для данного . Напротив, когда функция является непрерывной в каждой точке (или считается непрерывной в ), выбор может зависеть как от, так и от . В отличие от простой непрерывности, равномерная непрерывность - это свойство функции, имеющее смысл только в определенной области; говорить о равномерной непрерывности в одной точке бессмысленно.

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

Абсолютная преемственность

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

тогда

Абсолютно непрерывные функции непрерывны: рассмотрим случай n = 1 в этом определении. Совокупность всех абсолютно непрерывных функций на I обозначается AC ( I ). Абсолютная непрерывность - это фундаментальное понятие в теории интегрирования Лебега, позволяющее сформулировать обобщенную версию фундаментальной теоремы исчисления, которая применяется к интегралу Лебега.

Дифференциация

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

Функция является дифференцируемой в случае , если предел

существуют. Этот предел известен как производная от at , а функция , возможно определенная только на подмножестве , является производной (или производной функцией ) от . Если производная существует всюду, функция называется дифференцируемой .

Как простое следствие определения, непрерывна в точке, если она там дифференцируема. Таким образом, дифференцируемость является более сильным условием регулярности (условием, описывающим «гладкость» функции), чем непрерывность, и функция может быть непрерывной на всей действительной прямой, но не дифференцируемой нигде (см . Нигде не дифференцируемую непрерывную функцию Вейерштрасса ). Можно также обсудить существование производных более высокого порядка, найдя производную функции производной и т. Д.

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

Ряд

Ряд формализует неточное представление о суммировании бесконечной последовательности чисел. Идея о том, что суммирование «бесконечного» числа членов может привести к конечному результату, была нелогичной для древних греков и привела к формулировке ряда парадоксов Зеноном и другими философами. Современное понятие присвоения значения ряду избегает иметь дело с неточно определенным понятием добавления «бесконечного» числа терминов. Вместо этого рассматривается конечная сумма первых членов последовательности, известная как частичная сумма, и понятие предела применяется к неограниченно растущей последовательности частичных сумм . Серии присваивается значение этого лимита, если он существует.

Учитывая (бесконечную) последовательность , мы можем определить связанный ряд как формальный математический объект , иногда просто записываемый как . В частичных суммах из серии являются числом . Ряд называется сходящимся, если последовательность, состоящая из его частичных сумм, сходится; в противном случае он расходится . Сумма сходящегося ряда определяется как число .

Слово «сумма» используется здесь в метафорическом смысле для обозначения предела последовательности частичных сумм и не должно интерпретироваться как простое «добавление» бесконечного числа терминов. Например, в отличие от поведения конечных сумм, перестановка членов бесконечного ряда может привести к сходимости к другому числу (см. Статью о теореме перестановки Римана для дальнейшего обсуждения).

Примером сходящегося ряда является геометрический ряд, лежащий в основе одного из известных парадоксов Зенона :

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

(Здесь " " - это просто условное обозначение, указывающее, что частичные суммы ряда неограниченно растут.)

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

Серия Тейлора

Ряд Тейлора действительной или комплекснозначной функции ƒ ( x ), бесконечно дифференцируемой в действительном или комплексном числе a, является степенным рядом

который может быть записан в более компактной сигма-нотации как

где п ! обозначает факториал от п и ƒ  ( п ) ( ) обозначает п - й производную от ƒ оцениваемого в точке а . Производная нулевого порядка ƒ определяется как ƒ себя и ( х - ) 0 и 0! оба определены как 1. В случае, когда a = 0 , ряд также называется рядом Маклорена.

Ряд Тейлора f относительно точки a может расходиться, сходиться только в точке a , сходиться для всех x таких, что (наибольшее такое R, для которого сходимость гарантируется, называется радиусом сходимости ), или сходиться на всей действительной прямой. Даже сходящийся ряд Тейлора может сходиться к значению, отличному от значения функции в этой точке. Если ряд Тейлора в точке имеет ненулевой радиус сходимости и суммируется с функцией в круге сходимости , то функция является аналитической . Аналитические функции обладают многими фундаментальными свойствами. В частности, аналитическая функция действительной переменной естественным образом продолжается до функции комплексной переменной. Таким образом, экспоненциальная функция , логарифм , тригонометрические функции и обратные им функции расширяются до функций комплексной переменной.

Ряд Фурье

Ряд Фурье разлагает периодические функции или периодические сигналы на сумму (возможно, бесконечного) набора простых осциллирующих функций, а именно синусов и косинусов (или комплексных экспонент ). Изучение рядов Фурье обычно происходит в рамках раздела математика > математический анализ > анализ Фурье .

Интеграция

Интегрирование - это формализация проблемы нахождения области, ограниченной кривой, и связанных с ней задач определения длины кривой или объема, заключенного в поверхность. Основная стратегия решения проблем этого типа была известна древним грекам и китайцам и была известна как метод исчерпания . Вообще говоря, желаемая площадь ограничена сверху и снизу, соответственно, посредством более точного описания и вписывания многоугольных аппроксимаций, точные площади которых могут быть вычислены. Рассматривая приближения, состоящие из все большего и большего («бесконечного») числа меньших и меньших («бесконечно малых») частей, можно вывести площадь, ограниченную кривой, поскольку верхняя и нижняя границы, определяемые приближениями, сходятся вокруг общего значение.

Дух этой базовой стратегии можно легко увидеть в определении интеграла Римана, в котором интеграл считается существующим, если верхняя и нижняя суммы Римана (или Дарбу) сходятся к общему значению в виде более тонких и тонких прямоугольных срезов («уточнения»). ") считаются. Хотя механизм, используемый для его определения, намного более сложен по сравнению с интегралом Римана, интеграл Лебега был определен с учетом аналогичных основных идей. По сравнению с интегралом Римана более сложный интеграл Лебега позволяет определять и вычислять площадь (или длину, объем и т. Д .; в общем, называемую «мерой») для гораздо более сложных и нерегулярных подмножеств евклидова пространства, хотя все еще существуют «неизмеримые» подмножества, для которых нельзя назначить площадь.

Интеграция Римана

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

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

где - ширина подынтервала . Таким образом, каждый член суммы представляет собой площадь прямоугольника с высотой, равной значению функции в выделенной точке данного подинтервала, и шириной, такой же, как ширина подинтервала. Сетка такого помечено перегородка ширина наибольшего к югу от интервала , образованного перегородкой, . Мы говорим, что интеграл Римана от on равен, если для любого существует такое, что для любого помеченного разбиения с сеткой мы имеем

Иногда это обозначается . Когда выбранные теги дают максимальное (соответственно минимальное) значение каждого интервала, сумма Римана известна как верхняя (соответственно нижняя) сумма Дарбу . Функция является интегрируемой по Дарбу, если верхняя и нижняя суммы Дарбу могут быть произвольно близки друг к другу для достаточно маленькой сетки. Хотя это определение придает интегралу Дарбу видимость частного случая интеграла Римана, на самом деле они эквивалентны в том смысле, что функция интегрируема по Дарбу тогда и только тогда, когда она интегрируема по Риману, а значения интегралы равны. Фактически, учебники по исчислению и реальному анализу часто объединяют эти два понятия, вводя определение интеграла Дарбу как интеграла Римана из-за того, что определение первого немного проще в применении.

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

Интеграция Лебега и мера

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

Распределения

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

Отношение к комплексному анализу

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

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

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

Важные результаты

Важные результаты включают Bolzano-Вейерштрасса и теоремы Гейне-Бореля , то теорема промежуточное значение и среднее значение теорема , теорема Тейлора , то фундаментальная теорема исчисления , то теорема Арцела , то теорема Стоуна-Вейерштрасса , лемму Фату и монотонной сходимости и теоремы о доминирующей сходимости .

Обобщения и смежные области математики

Различные идеи из реального анализа можно обобщить от реальной линии к более широким или более абстрактным контекстам. Эти обобщения связывают реальный анализ с другими дисциплинами и субдисциплинами. Например, обобщение таких идей, как непрерывные функции и компактность, от реального анализа до метрических пространств и топологических пространств, связывает реальный анализ с областью общей топологии , в то время как обобщение конечномерных евклидовых пространств до бесконечномерных аналогов привело к концепциям банаховых пространств. и гильбертовы пространства и, в более общем смысле, функциональный анализ . Исследование Георга Кантора множеств и последовательности действительных чисел, отображений между ними и фундаментальных проблем реального анализа породило наивную теорию множеств . Изучение вопросов сходимости последовательностей функций в конечном итоге привело к возникновению анализа Фурье как раздела математического анализа. Исследование последствий обобщения дифференцируемости функций действительной переменной на функции комплексной переменной привело к появлению концепции голоморфных функций и возникновению комплексного анализа как другой отдельной дисциплины анализа. С другой стороны, обобщение интегрирования от Римана к пониманию Лебега привело к формулировке концепции абстрактных пространств с мерой , фундаментальной концепции в теории меры . Наконец, обобщение интегрирования от вещественной прямой до кривых и поверхностей в многомерном пространстве привело к изучению векторного исчисления , дальнейшее обобщение и формализация которого сыграли важную роль в эволюции понятий дифференциальных форм и гладких (дифференцируемых) многообразий. в дифференциальной геометрии и других тесно связанных областях геометрии и топологии .

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

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

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

Внешние ссылки