мы их "отождествляем" с помощью выколотой точки
Не думаю, что за этими словами стоит верное понимание.
Пусть мы рассматриваем функции, область определения которых — подмножество
![$\mathbb R$ $\mathbb R$](https://dxdy-04.korotkov.co.uk/f/b/c/0/bc0baa1bd1772406881ea71a3524054d82.png)
. И задаём эти функции формулами:
![$f_1(x) = 5$ $f_1(x) = 5$](https://dxdy-04.korotkov.co.uk/f/b/6/3/b63a4e2d02430123b7e3e65b17bfab4982.png)
,
![$f_2(x) = 5(x+1)/(x+1)$ $f_2(x) = 5(x+1)/(x+1)$](https://dxdy-02.korotkov.co.uk/f/5/2/1/521dbddd38ac2de48bbe69cf0846069882.png)
. Этот способ задания ограничивает область определения, которую мы можем дать
![$f_1$ $f_1$](https://dxdy-02.korotkov.co.uk/f/5/8/7/5872d29d239f95cc7a5f43cfdd14fdae82.png)
и
![$f_2$ $f_2$](https://dxdy-04.korotkov.co.uk/f/f/6/3/f6366b38f9364f745b5400c328e938d382.png)
: мы не можем в область определения включить точки, на которых выражение не определено. Но мы можем взять область определения
меньше. Однако, если нет никаких оговорок, такая запись означает, что область определения
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
— самая широкая из возможных, потому
![$f_1$ $f_1$](https://dxdy-02.korotkov.co.uk/f/5/8/7/5872d29d239f95cc7a5f43cfdd14fdae82.png)
будет определена на
![$\mathbb R$ $\mathbb R$](https://dxdy-04.korotkov.co.uk/f/b/c/0/bc0baa1bd1772406881ea71a3524054d82.png)
, и
![$f_2$ $f_2$](https://dxdy-04.korotkov.co.uk/f/f/6/3/f6366b38f9364f745b5400c328e938d382.png)
будет определена на
![$\mathbb R\setminus\{-1\}$ $\mathbb R\setminus\{-1\}$](https://dxdy-01.korotkov.co.uk/f/c/d/d/cdd69e8dbf98e5536438224ab3ad83da82.png)
, и
![$f_1\ne f_2$ $f_1\ne f_2$](https://dxdy-02.korotkov.co.uk/f/d/e/d/dedfcd3757ef221165b351dc17ee81f082.png)
. Но мы можем сказать «
![$f_3(x) = 5$ $f_3(x) = 5$](https://dxdy-04.korotkov.co.uk/f/7/c/f/7cfbafc88c243651f35bd0d61e42f49282.png)
, но в
![$-1$ $-1$](https://dxdy-03.korotkov.co.uk/f/e/1/1/e11a8cfcf953c683196d7a48677b227782.png)
не определена» (или как-то по-другому аналогично). Тогда
![$f_3$ $f_3$](https://dxdy-02.korotkov.co.uk/f/d/c/a/dcaacf702de430bdba0d509e0d43c82c82.png)
совпадает с
![$f_2$ $f_2$](https://dxdy-04.korotkov.co.uk/f/f/6/3/f6366b38f9364f745b5400c328e938d382.png)
. Ещё мы можем взять
сужение ![$f_1$ $f_1$](https://dxdy-02.korotkov.co.uk/f/5/8/7/5872d29d239f95cc7a5f43cfdd14fdae82.png)
на
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
, обычно записываемое
![$f_1\left|_A\right.$ $f_1\left|_A\right.$](https://dxdy-04.korotkov.co.uk/f/3/5/0/3507ca274379c78c207506b4e62f7c6582.png)
— это функция с областью определения, уменьшенной до
![$A$ $A$](https://dxdy-02.korotkov.co.uk/f/5/3/d/53d147e7f3fe6e47ee05b88b166bd3f682.png)
, а остальным аргументам сопоставляющая такие же значения, что и
![$f_1$ $f_1$](https://dxdy-02.korotkov.co.uk/f/5/8/7/5872d29d239f95cc7a5f43cfdd14fdae82.png)
. Имеем
![$\left(f_1\left|_{\mathbb R\setminus\{-1\}}\right.\right) = f_2 = f_3$ $\left(f_1\left|_{\mathbb R\setminus\{-1\}}\right.\right) = f_2 = f_3$](https://dxdy-02.korotkov.co.uk/f/9/2/f/92f83f7d7a6bcc9d961760543cf3c3f182.png)
. Собственно, определение
![$f_3$ $f_3$](https://dxdy-02.korotkov.co.uk/f/d/c/a/dcaacf702de430bdba0d509e0d43c82c82.png)
— это просто сужение, записанное словами.