для любого и любого числа ;

для любых (неравенство треугольника).

Определение 3. Оператором называется отображение

,

где - это линейные пространства.

Определение 4. Оператор называется линейным, если для любых элементов и любых чисел Rвыполняется равенство:

Определение 5. Пусть - линейные нормированные пространства,

– линейный оператор,

Линейный оператор непрерывен в точке , если из того, что

следует, что .

Определение 6. Линейный оператор непрерывен, если он непрерывен в каждой точке .

Определение 7. Линейный оператор называется ограниченным, если

Утверждение. Для линейного нормированного пространства непрерывность линейного оператора равносильна его ограниченности.

Определение8. Наименьшая из констант Mтаких, что , называется нормой оператора А и обозначается .

В частности, выполняется

Справедливо следующее утверждение: для любого ограниченного линейного оператора

Сильный дифференциал (дифференциал Фреше)

Пусть X и У — два нормированных пространства и F— отображение, действующее из X в Yи определенное на некотором открытом подмножестве О пространства X. Мы назовем это отображение дифференцируемым в данной точке, если существует такой ограниченный линейный оператор L_x ж (X, Y),что для любого е> 0 можно найти д > 0, при котором из неравенства ||h||< д следует неравенство

||F(x+ h)-F(x)-L_x h||<е||h|| (1)

То же самое сокращенно записывают так:

А(ч + р)-А(ч)-Д_ч р = щ(р)ю(2)

Из (I) следует, что дифференцируемое в точке х отображение непрерывно в этой точке. Выражение L_x h(представляющее собой, очевидно, при каждом hXэлемент пространства У) называется сильным дифференциалом (или дифференциалом Фреше) отображения Fв точке х. Сам линейный оператор L_x называется производной, точнее, сильной производной отображения Fв точке х. Мы будем обозначать эту производную символом F'(x).