Пусть

- открытое множество. Положим, что

- некоторая функция и пусть

.

- ограничение

на

, где

- естественная проекция,

. Рассмотрим функцию

,

,

- открытое, причем

- предельная для

. Тогда, если существует предел

, то он будет частной производной

по

. Я правильно понял определение частной производной?
Я тут прокололся,

может быть не определена на всём

. Как выбрать правильно область определения

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

?