Пусть
- открытое множество. Положим, что
- некоторая функция и пусть
.
- ограничение
на
, где
- естественная проекция,
. Рассмотрим функцию
,
,
- открытое, причем
- предельная для
. Тогда, если существует предел
, то он будет частной производной
по
. Я правильно понял определение частной производной?
Я тут прокололся,
может быть не определена на всём
. Как выбрать правильно область определения
?
Почему бы не сказать по-человечески: частная производная -- это производная по одной из переменных при условии, что остальные считаются фиксированными?
А какие тогда брать область определения и область значения этого отображения
?