39
правок
Изменения
Нет описания правки
{{Определение
|definition =
'''Подстановкой''' функции <tex>g</tex> в функцию <tex>f</tex> называется замена <tex>i</tex>-того аргумента функции <tex>f</tex> значением функции <tex>g</tex>:
<center><tex>h(x_{1}, ..., x_{n+m-1}) = f(x_{1}, ..., x_{i-1}, g(x_{i}, ..., x_{i+m-1}), x_{i+m}, ..., x_{n+m-1})</tex></center>
Допускается также не только подстановка одной функции в другую, но и подстановка функции в саму себя.
При подстановке функции <tex>g </tex> вместо <tex>i</tex>-того аргумента функции <tex>f</tex>, результирующая функция <tex>h </tex> будет принимать аргументы, которые можно разделить на следующие блоки:
{|
{{Определение
|definition=
'''Отождествлением переменных''' называется подстановка <tex>i</tex>-того аргумента функции <tex>f</tex> вместо j-того аргумента:
<center><tex>h(x_{1}, ..., x_{j-1}, x_{j+1}, ..., x_{n}) = f(x_{1}, ..., x_{i}, ..., x_{j-1}, x_{i}, x_{j+1}, ..., x_{n})</tex></center>
