Меню

Главная
Случайная статья
Настройки
Вещественнозначная функция
Материал из https://ru.wikipedia.org

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

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

Содержание

Алгебраическая структура

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

Эти операции распространяются на частично определённые функции[англ.] из

Также, поскольку является упорядоченным множеством, имеется частичное упорядочение:


в , что делает частично упорядоченным кольцом.

Измеримость

-алгебра борелевских множеств является важной структурой на вещественных числах. Если

Более того, множество (семейство) вещественнозначных функций на

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

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

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

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

Гладкость

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

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

В теории меры

Мера множества — это неотрицательный вещественнозначный функционал на -алгебре подмножеств[2]. пространства на множествах с мерой определяются из упомянутых выше вещественнозначных измеримых функций, хотя они, на самом деле, являются факторпространствами. Более точно: принимая в внимание, что функция, удовлетворяющая подходящим условиям суммируемости, определяет элемент пространства . В обратном направлении: для любой функции и точки , не являющейся атомом, значение f(x) не определено[англ.]. Однако, вещественнозначные пространства по-прежнему имеют некоторые из структур, описанных выше. Каждое из пространств является векторным пространством, имеет частичный порядок и существует поточечное умножение «функций», которое меняет p, а именно:


Например, поточечное произведение двух L2 функций принадлежит L1.

Другие приложения

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

См. также

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


Литература

Ссылки

Weisstein, Eric W. Real Function (англ.) на сайте Wolfram MathWorld.
Downgrade Counter