Для выбранного времени движения правило определяет один путь. А для выбранного человека можно назвать несколько любимых книг. Обе ситуации связывают объекты, но только первая автоматически задаёт одно значение при каждом входе. Уточним это различие, используя координатную плоскость и выражения с переменной.
Один аргумент — одно значение
Числовая функция — зависимость, при которой каждому числу из заданного множества соответствует ровно одно число. Независимую переменную называют аргументом, соответствующее число — значением функции.
Аргумент обычно обозначают , значение — . Самому правилу дают имя и пишут:
Запись читается «эф от икс». Она означает результат применения правила к аргументу, а не произведение букв. Множество разрешённых аргументов тоже входит в задание функции: одинаковая формула на разных множествах описывает разные функции.
Два аргумента могут дать одно значение. Например, правило возведения в квадрат отправляет и , и в число . Это допустимо. Запрет относится к обратной ситуации: один и тот же аргумент не должен одновременно давать два разных значения.
Значение по формуле
Пусть на всех действительных числах задано правило:
Найдём значение при аргументе . Вместо каждого подставляем это число со скобками:
Утверждение связывает аргумент со значением . Оно не говорит, что — единственный аргумент для этого значения: при тоже получается . Найти значение по входу и найти все входы для заданного значения — разные задачи. Во второй требуется решать уравнение.
Способы задания
Функцию можно задать формулой, таблицей, графиком или словесным правилом. Таблица точно задаёт значения на перечисленных аргументах; продолжение на остальные числа нужно описывать отдельно. График задаёт функцию, если любая вертикальная прямая пересекает его не более чем в одной точке.
Почему работает эта проверка? У всех точек одной вертикали одинаковая первая координата. Две разные точки на ней означали бы два значения при одном . Поэтому окружность целиком не является графиком функции от : например, при абсциссе ноль у единичной окружности есть верхняя и нижняя точки. Каждая из её половин при подходящей области уже может задавать функцию.
Одно правило из нескольких частей
Не обязательно использовать одну формулу на всей области. Рассмотрим функцию:
При отрицательном аргументе берём первую строку, при нулевом или положительном — вторую. Получаем , а . Ноль принадлежит только второй части условия, поэтому значение в нём однозначно. Условия частей должны охватывать всю объявленную область и не давать противоречащих значений на пересечении.
На этом графике есть скачок, но функция определена при каждом действительном аргументе. Непрерывность и однозначность — разные свойства: чтобы называться функцией, зависимость не обязана изображаться одной непрерывной линией.