В просторі
візьмемо ортонормований базис
, і розкладемо за ним вектор-функцію
:
.
Нехай функції
в околі точки t0 ,
мають скінченні похідні до
-го порядку включно.
Для кожної скалярної функції
,
,
запишемо формулу Тейлора в околі точки t0 зі своїм залишковим членом
та своєю проміжною точкою
(i = 1,2,3):



Помножимо рівності для
,
,
відповідно на
та додамо:

Якщо
має похідні довільного порядку, для неї можна скласти формальний ряд Тейлора в околі точки t0:

Не кожний формальний ряд Тейлора збігається.
Аналітичною вектор-функцією у точці називається функція, яка має в цій точці похідні будь-якого порядку та існує окіл точки t0, в якому ряд Тейлора збігається до функції .
|
Позначення:
– клас аналітичних функцій.
у точці
називається функція, яка має в цій точці похідні будь-якого порядку та існує окіл точки t0, в якому ряд Тейлора збігається до функції 





