График функции является частным случаем отношения . В современных основах математики и, как правило, в теории множеств функция фактически равна своему графику. [1] Однако часто бывает полезно рассматривать функции как отображения , [2] которые состоят не только из отношения между входом и выходом, но также из того, какое множество является областью определения, а какое множество является областью определения . Например, чтобы сказать, что функция является на ( сюръективной ) или нет областью определения, следует учитывать. График функции сам по себе не определяет область определения. Обычно [3] используют оба термина функция и график функции, поскольку даже если рассматривать один и тот же объект, они указывают на его рассмотрение с другой точки зрения.
Определение
Если задана функция из множества X ( область определения ) в множество Y ( область определения ), то график функции — это множество [4]
, которое является подмножеством декартова произведения . При определении функции в терминах теории множеств принято отождествлять функцию с ее графиком, хотя формально функция образована тройкой, состоящей из ее области определения, ее области определения и ее графика.
Примеры
Функции одной переменной
График функции, определяемой как,
является подмножеством множества
Из графика домен восстанавливается как набор первых компонентов каждой пары в графике . Аналогично диапазон может быть восстановлен как . Однако кодомен не может быть определен только из графика.
Часто бывает полезно показать на графике градиент функции и несколько кривых уровня. Кривые уровня можно отобразить на поверхности функции или спроецировать на нижнюю плоскость. На втором рисунке показан такой рисунок графика функции: