:?
![$m(x)$ $m(x)$](https://dxdy-03.korotkov.co.uk/f/a/8/d/a8d4da3f136efc85b25c5d38ab0497d682.png)
это функция заданная на
![$X$ $X$](https://dxdy-01.korotkov.co.uk/f/c/b/f/cbfb1b2a33b28eab8a3e59464768e81082.png)
.. когда подставим все
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
получим множество
![$Y$ $Y$](https://dxdy-02.korotkov.co.uk/f/9/1/a/91aac9730317276af725abd8cef04ca982.png)
Не обязательно. Получим некое множество
![$m(X),$ $m(X),$](https://dxdy-02.korotkov.co.uk/f/9/f/7/9f70c7818deead6e1a78b6ae72f2356d82.png)
такое что
![$m(X)\subseteq Y.$ $m(X)\subseteq Y.$](https://dxdy-03.korotkov.co.uk/f/e/2/5/e25db6b867cd5262182fac99328292b782.png)
Если бы мы получили
![$m(X)=Y,$ $m(X)=Y,$](https://dxdy-03.korotkov.co.uk/f/a/2/4/a24fd376155a26bf58c907079588bf4e82.png)
то
![$m$ $m$](https://dxdy-01.korotkov.co.uk/f/0/e/5/0e51a2dede42189d77627c4d742822c382.png)
называлось бы сюръективным отображением ("отображением на"). Ну да ладно.
Рассмотрим множество функций. На нём определено отображение (не на всех функциях, но пока опустим эту деталь), которое называется
дифференцированием,
![$D[f]=f'.$ $D[f]=f'.$](https://dxdy-04.korotkov.co.uk/f/f/e/f/feffa7e5563d2effaaba22494e5b5bde82.png)
Так вот,
![$D[f]=f'$ $D[f]=f'$](https://dxdy-02.korotkov.co.uk/f/5/3/f/53f14c34d7bc5aa6472d87159290cb5782.png)
называется
производной от функции
![$f,$ $f,$](https://dxdy-03.korotkov.co.uk/f/6/f/6/6f60e7714a307b2095b24945797a63b482.png)
а наоборот,
![$D^{-1}[f]$ $D^{-1}[f]$](https://dxdy-02.korotkov.co.uk/f/5/1/a/51a63d365417374185d0248baf6a02de82.png)
-
взятие первообразной, и
![$g\in D^{-1}[f]$ $g\in D^{-1}[f]$](https://dxdy-02.korotkov.co.uk/f/5/d/4/5d41dbbe4fad3a02e1fd907909bc85d182.png)
-
первообразная.
Вот и всё, больше ничего в этом понятии нет.
-- 04.05.2014 11:46:08 --Чёрт. Чё-то я не читатель сегодня.
Vova_Gidro же уже всё объяснил.