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

В "классическом" математическом анализе основным объектом изучения являются непрерывные функции (См. Непрерывная функция), заданные на (конечных или бесконечных) интервалах и обладающие более или менее высокой степенью гладкости. Однако уже со 2-й половины 19 в. развитие математики всё настоятельнее стало требовать систематического изучения функций более общего типа. Основной причиной этого является то, что Предел последовательности непрерывных функций может быть разрывен. Иными словами, класс непрерывных функций оказывается незамкнутым относительно важнейшей операции анализа - предельного перехода. В связи с этим функции, определяемые при помощи таких классических средств, как тригонометрические ряды, часто оказываются разрывными или недифференцируемыми. По той же причине могут быть разрывны производные непрерывных функций и т.п. Наконец, дифференциальные уравнения, возникающие при рассмотрении физических задач, иногда не имеют решений в классе достаточно гладких функций, но имеют их в более широких классах функций (если надлежащим образом сообщить само понятие решения). Весьма важно, что именно эти обобщённые решения (см. Обобщённые функции) и дают ответ на исходную физическую задачу. Эти и аналогичные им обстоятельства стимулировали создание Ф. т. действительного переменного.

Отдельные частные факты Ф. т. действительного переменного были открыты ещё в 19 в. (существование рядов непрерывных функций с разрывной суммой, примеры нигде не дифференцируемых непрерывных функций, не интегрируемых функций и т.п.). Однако эти факты воспринимались обычно как "исключения из правил" и не объединялись никакими общими схемами. Лишь в начале 20 в., когда в основу изучения функций были положены методы множеств теории (См. Множеств теория), стала развиваться систематически современная Ф. т. действительного переменного.

Можно различить три направления в Ф. т. действительного переменного.

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

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

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

О Ф. т. комплексного переменного см. Аналитические функции.

Лит.: Александров П. С., Введение в общую теорию множеств и функций, М. - Л., 1948; Колмогоров А. Н., Фомин С. В., Элементы теории функций и функционального анализа, 4 изд., М., 1976.

раздел математики, занимающийся изучением свойств различных функций. Теория функций распадается на две области: теорию функций действительного переменного и теорию функций комплексного переменного, различие между которыми настолько велико, что обычно их рассматривают порознь. Не вдаваясь в детали, можно сказать, что по существу речь идет о различии, с одной стороны, в детальном изучении основных понятий математического анализа (таких, как непрерывность, дифференцирование, интегрирование и т.п.), а с другой стороны, в теоретическом развитии анализа конкретных функций, представимых степенными рядами. Одним из достижений теории функций действительного переменного стало создание хорошей теории интегрирования, которую мы рассмотрим ниже. См. также АНАЛИЗ В МАТЕМАТИКЕ
; МАТЕМАТИЧЕСКИЙ АНАЛИЗ
; ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ
; ФУНКЦИЯ
; ЧИСЛО
; РЯДЫ
; МНОЖЕСТВ ТЕОРИЯ
; ТОПОЛОГИЯ
.

См. также:

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

Подобно тому как тригонометрическая функция u = sinx является обратной по отношению к интегралу

так обращение нормальных эллиптических интегралов 1-го рода

где z = sin φω, k - модуль эллиптического интеграла, порождает функции: φ = am z - амплитуда z (эта функция не является Э. ф.) и ω = sn z = sin (am z) - синус амплитуды. Функции cn - косинус амплитуды и dn z - дельта амплитуды определяются формулами

Функции sn z, cn z, dn z называют Э. ф. Якоби. Они связаны соотношением

sn²z + cn²z = k²sn²z + dn²z = 1.

На рис. представлен вид графиков Э. ф. Якоби. Они связаны соотношением

sn²z + cn²z = k²sn²z + dn²z = 1

На рис. представлен вид графиков Э. ф. Якоби для действительного x и 0 < k < 1; а

- полный нормальный эллиптический интеграл 1-го рода и 4K - основной период Э. ф. sn z. В отличие от однопериодической функции sin х, функция sn z - двоякопериодическая. Её второй основной период равен 2iK, где

и - дополнительный модуль. Периоды, нули и полюсы Э. ф. Якоби приведены в таблице, где m и n - любые целые числа.

------------------------------------------------------------------------------------------------------------------------------------------------------------------

| Функции | Периоды | Нули | Полюсы |

|----------------------------------------------------------------------------------------------------------------------------------------------------------------|

| sn z | 4Km + 2iK'n | 2mK + 2iK'n | |

|-----------------------------------------------------------------------------------------------------------------------| }2mK + (2n + 1) iK' |

| cn z | 4K + (2K + 2iK') n | (2m + 1) K + 2iK'n | |

|-----------------------------------------------------------------------------------------------------------------------| |

| dn z | 2Km + 4iK'n | (2m + 1) K + (2n + 1) iK | |

------------------------------------------------------------------------------------------------------------------------------------------------------------------

Э. ф. Вейерштрасса ℙ(х) может быть определена как обратная нормальному эллиптическому интегралу Вейерштрасса 1-го рода

где параметры g₂ и g₂ - называются инвариантами ℙ(x). При этом предполагается, что нули e₁, e₂ и e₃ многочлена 4t³ - g₂t - g₃ различны между собой (в противном случае интеграл (*) выражался бы через элементарные функции). Э. ф. Вейерштрасса ℙ(х) связана с Э. ф. Якоби следующими соотношениями:

,

,

.

Любая мероморфная двоякопериодическая функция f (z) с периодами ω₁ и ω₂, отношение которых мнимо, т. е. f (z + mω₁ + пω₂) = f (z) при m, n = 0, ±1, ±2,... и , является Э. ф. Для построения Э. ф., а также численных расчётов применяют Сигма-функции и Тэта-функции.

Изучению Э. ф. предшествовало накопление знаний об эллиптических интегралах, систематическое изложение теории которых дал А. Лежандр. Основоположниками теории Э. ф. являются Н. Абель (1827) и К. Якоби (1829). Последний дал развёрнутое изложение теории Э. ф., названное его именем. В 1847 Ж. Лиувилль опубликовал изложение основ общей теории Э. ф., рассматриваемых как мероморфные двоякопериодические функции. Представление Э. ф. через ℙ-функцию, а также ζ-, σ-функции дано К. Вейерштрассом в 40-х гг. 19 в. (две последние не являются Э. ф.).

Лит.: Маркушевич А. И., Теория аналитических функций, 2 изд., т. 2, М., 1968; Гурвиц А., Курант Р., Теория функций, пер. с нем., М., 1968; Уиттекер Э, Т., Ватсон Дж. Н., Курс современного анализа, пер. с англ., 2 изд., ч. 2, М., 1963; Бейтмен Г., Эрдейи А., Высшие трансцендентные функции. Эллиптические и автоморфные функции. Функции Ламе и Матье, пер. с англ., М., 1967.

Рис. к ст. Эллиптические функции.

функция от функции. Если величина y является функцией от u, то есть у = f (u), а и, в свою очередь, функцией от х, то есть u = φ(х), то у является С. ф. от х, то есть y = f [(x)], определённой для тех значений х, для которых значения φ(х) входят в множество определения функции f (u). В таком случае говорят, что у является С. ф. независимого аргумента х, а u - промежуточным аргументом. Например, если у = u², u = sinx, то у = sin²х для всех значений х. Если же, например, у = , u = sinx, то у = , причём, если ограничиваться действительными значениями функции, С. ф. у как функция х определена только для таких значений х, для которых sin ≥ 0, то есть для , где k = 0, ± 1, ± 2,...

Производная С. ф. равна произведению производной данной функции по промежуточному аргументу на производную промежуточного аргумента по независимому аргументу. Это правило (цепное правило) распространяется на С. ф. с двумя, тремя и т. д. промежуточными аргументами: если у = f (u₁), u₁ = φ(u₂),..., u_k-1 = φ_k-1(u_k), u_k = φ_k (x), то