Рассмотрим пространство
![$C[a, b]$ $C[a, b]$](https://dxdy-03.korotkov.co.uk/f/e/7/7/e77e794b3859783600b5f8f2bfed341e82.png)
с нормой
![$\|f\|_{\infty}=\max _{[a, b]}|f|$ $\|f\|_{\infty}=\max _{[a, b]}|f|$](https://dxdy-04.korotkov.co.uk/f/f/4/2/f4295f93153d83b8d8c096ce930ef06d82.png)
.
Теорема 1. Для всякой непрерывной на отрезке
![$[a, b]$ $[a, b]$](https://dxdy-04.korotkov.co.uk/f/b/d/4/bd4455e79810acc06e3d31c60fb8bfb282.png)
функции
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
существует последовательность полиномов
![$\left(p_n(x) \in \mathbb{R}[x], n \in \mathbb{N}\right)$ $\left(p_n(x) \in \mathbb{R}[x], n \in \mathbb{N}\right)$](https://dxdy-04.korotkov.co.uk/f/b/2/3/b23c62f961ba0f77a1e537e913782b5882.png)
такая, что
![$\left\|f-p_n\right\| \xrightarrow{n \rightarrow \infty} 0$ $\left\|f-p_n\right\| \xrightarrow{n \rightarrow \infty} 0$](https://dxdy-02.korotkov.co.uk/f/1/b/c/1bc1c8c3f2024836fa55b199d2c7c5df82.png)
на
![$[a, b]$ $[a, b]$](https://dxdy-04.korotkov.co.uk/f/b/d/4/bd4455e79810acc06e3d31c60fb8bfb282.png)
.
Доказательство. Без ограничения общности можно считать что
![$f(a)=f(b)=0$ $f(a)=f(b)=0$](https://dxdy-03.korotkov.co.uk/f/a/2/3/a2352f5fd86d82a199c10f75ea9b893982.png)
, так как в противном случае с помощью линейной замены
![$\widetilde{f}(x)=f(x)+c x+d$ $\widetilde{f}(x)=f(x)+c x+d$](https://dxdy-03.korotkov.co.uk/f/2/1/6/216ed2ce1f009488e431c6375f3c73d182.png)
можно добиться, чтобы
![$f(a)+a c+d=f(b)+b c+d=0$ $f(a)+a c+d=f(b)+b c+d=0$](https://dxdy-01.korotkov.co.uk/f/c/b/d/cbd2d0e2d66a8f8518344ee9e7f866b382.png)
, и из предположения, что
![$\left(\widetilde{p}_n(x) \in \mathbb{R}[x], n \in \mathbb{N}\right)$ $\left(\widetilde{p}_n(x) \in \mathbb{R}[x], n \in \mathbb{N}\right)$](https://dxdy-01.korotkov.co.uk/f/c/a/1/ca1ca542ccaca62c7c0b05fe9deaf83c82.png)
- последовательность полиномов для
![$\widetilde{f}$ $\widetilde{f}$](https://dxdy-02.korotkov.co.uk/f/1/f/4/1f43418a9bc785670b66f9b6e1a4684082.png)
, будет следовать, что (
![$\widetilde{p}_n(x)-c x-d \in \mathbb{R}[x], n \in \mathbb{N}$ $\widetilde{p}_n(x)-c x-d \in \mathbb{R}[x], n \in \mathbb{N}$](https://dxdy-01.korotkov.co.uk/f/0/2/8/028bc004c777cbfe2af915ba40a238c982.png)
) - последовательность полиномов для
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
. Также можно считать, что
![$f$ $f$](https://dxdy-02.korotkov.co.uk/f/1/9/0/190083ef7a1625fbc75f243cffb9c96d82.png)
равна 0 на
![$\mathbb{R} \backslash[a, b]$ $\mathbb{R} \backslash[a, b]$](https://dxdy-04.korotkov.co.uk/f/7/e/1/7e196b9637643888a62554df4e4b50a282.png)
.
Пусть
![$l=b-a$ $l=b-a$](https://dxdy-02.korotkov.co.uk/f/d/c/1/dc10bacdb6a4af8f3c092cf42ef540e882.png)
. Рассмотрим функцию
![$q(t)=\max \left\{l^2-t^2, 0\right\}$ $q(t)=\max \left\{l^2-t^2, 0\right\}$](https://dxdy-03.korotkov.co.uk/f/6/1/0/610fa5c5699b35738974554ea0792a0382.png)
.
Положим
![$c_n=\int_{-\infty}^{+\infty} q^n(t) \mathrm{d} t, A_n(\delta)=\int_{|t| \geqslant \delta} q^n(t) \mathrm{d} t$ $c_n=\int_{-\infty}^{+\infty} q^n(t) \mathrm{d} t, A_n(\delta)=\int_{|t| \geqslant \delta} q^n(t) \mathrm{d} t$](https://dxdy-04.korotkov.co.uk/f/f/a/b/fab3972cb75ddcfc0f947c54fb325e8282.png)
и
![$Q_n(t)=\frac{q^n(t)}{c_n}$ $Q_n(t)=\frac{q^n(t)}{c_n}$](https://dxdy-01.korotkov.co.uk/f/c/0/f/c0fc7c29fe0d747cd8a45997ceb8121382.png)
.
Не понимаю, почему такая линейная замена зануляет значение функции на концах
Помогите,пожалуйста, разобраться