Здравствуйте. Помогите разобраться, пожалуйста:
В учебнике матанализа Ильина, Садовничего, Сендова на странице 576 первого тома имеется определение дифференцируемого отображения:
Назовём отображение
![\[
F:N_1 \to N_2
\] \[
F:N_1 \to N_2
\]](https://dxdy-02.korotkov.co.uk/f/d/c/1/dc161861925ee005f2d4496b043b20d182.png)
дифференцируемым в данной точке
![\[
x
\] \[
x
\]](https://dxdy-02.korotkov.co.uk/f/5/3/3/533d3ab8c1260d85a6ed3caa276a19a582.png)
, принадлежащей открытому множеству
![\[
\Sigma \subset N_1
\] \[
\Sigma \subset N_1
\]](https://dxdy-03.korotkov.co.uk/f/a/0/2/a0260360dd8fb3835accf57a9b16523982.png)
, если существует такой ограниченный линейный оператор
![\[
L_x \in (N_1 \to N_2 )
\] \[
L_x \in (N_1 \to N_2 )
\]](https://dxdy-01.korotkov.co.uk/f/8/c/b/8cb7223654eb1e4a563e86a2f4f016e282.png)
, что
![\[
\exists \delta > 0
\] \[
\exists \delta > 0
\]](https://dxdy-02.korotkov.co.uk/f/5/f/d/5fd76b6ba1ee7af25aeed4a39b38a0d682.png)
, такое, что если
![\[
h \in N_1
\] \[
h \in N_1
\]](https://dxdy-02.korotkov.co.uk/f/d/1/6/d16e501d3e9b2685438befb3fe03255f82.png)
и
![\[
\left\| h \right\|_{N_1 } < \delta
\] \[
\left\| h \right\|_{N_1 } < \delta
\]](https://dxdy-01.korotkov.co.uk/f/0/b/4/0b4f0c3aa0d8100c3b7deca5f221b66182.png)
, то
или, что то же самое,
![\[
\left\| {F(x + h) - F(x) - L_x h} \right\|_{N_2 } \leqslant o(h)
\] \[
\left\| {F(x + h) - F(x) - L_x h} \right\|_{N_2 } \leqslant o(h)
\]](https://dxdy-03.korotkov.co.uk/f/6/2/6/62664d52d154d260779908c7d6c51f8782.png)
, где
![\[
\mathop {\lim }\limits_{\left\| h \right\|_{N_1 } \to 0} o(h)/\left\| h \right\| = 0
\] \[
\mathop {\lim }\limits_{\left\| h \right\|_{N_1 } \to 0} o(h)/\left\| h \right\| = 0
\]](https://dxdy-01.korotkov.co.uk/f/4/f/9/4f9be17d45fe8aa7a8caec5f46148ced82.png)
. Причём,
У меня возник вопрос: как может браться норма от
![\[
{F(x + h) - F(x) - L_x h}
\] \[
{F(x + h) - F(x) - L_x h}
\]](https://dxdy-04.korotkov.co.uk/f/b/6/f/b6f8951593050e491f5c15bb6332d9e082.png)
в пространстве
![\[
N_1
\] \[
N_1
\]](https://dxdy-01.korotkov.co.uk/f/0/8/2/0821eb180db5dbdcec3e2b80bf3eba7382.png)
, как в первом случае, если каждый элемент этой разности принадлежит пространству
![\[
N_2
\] \[
N_2
\]](https://dxdy-02.korotkov.co.uk/f/5/e/c/5ecaba7a4916ecd9bbc2717431d15a0d82.png)
? Может, в учебнике опечатка, и оба раза норма берётся в пространстве
![\[
N_2
\] \[
N_2
\]](https://dxdy-02.korotkov.co.uk/f/5/e/c/5ecaba7a4916ecd9bbc2717431d15a0d82.png)
?