Rovnoměrná konvergence
Dovolit být libovolná množina , být metrický prostor a být posloupnost funkcí. Říká se, že posloupnost konverguje rovnoměrně [1] k funkci , pokud pro kteroukoli existuje takové číslo , že pro všechna čísla a všechny body je nerovnost
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![Y=(Y,d)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2883b74c3332c760cfedbc81f30b612ad40e1ebe)
![{\displaystyle f_{n}\dvojtečka X\to Y,\ n=1,2,\tečky }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d86230bb1339650213065ecbd397225883304757)
![f\dvojtečka X\to Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/07b9ff205beb51e7899846aeae788ae5e5546a3e)
![\varepsilon >0](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04ec3670b50384a3ce48aca42e7cc5131a06b12)
![N_\varepsilon](https://wikimedia.org/api/rest_v1/media/math/render/svg/1c8e08441e5dd8cff849c4a84d9852848d1975c5)
![n>N_{\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c726dac045d00dd1af2ca514a0a5d638133594c)
![x\in X](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e580967f68f36743e894aa7944f032dda6ea01d)
Obvykle se označuje .
![f_{n}\rightrightarrows f](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd5620126d133d48c324eb6ac536ad4d32436be7)
Tato podmínka je ekvivalentní
Vlastnosti
- Jestliže je lineární normovaný prostor a posloupnosti zobrazení a konvergují rovnoměrně na množině , pak posloupnosti a pro libovolné také konvergují rovnoměrně na .
![Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
![f_{n}\dvojtečka X\to Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/0173182a669ffd0731ab2a6dd1fe704166244ce8)
![g_{n}\dvojtečka X\to Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/659d825a43390bdf4600a3fa2946a62dabf841ae)
![n=1,2,\tečky](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac3f39e31d25a3197ae7ee7d9daebac8feaf7644)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\{f_{n}+g_{n}\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/10f38d9c0eedbaff5d99089c1562571b5ab81227)
![\{\alpha f_{n}\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d8654ebdacd8fee3dd13148662870ac288c550c)
![\alpha \in \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7988141e89a37e7f4deb883dbd74d9bbd6d11317)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- Pro funkce s reálnou hodnotou (nebo obecněji, pokud je lineární normovaný kruh ), posloupnost zobrazení konverguje rovnoměrně na množině a ohraničeném zobrazení, pak posloupnost také konverguje jednotně na .
![Y](https://wikimedia.org/api/rest_v1/media/math/render/svg/961d67d6b454b4df2301ac571808a3538b3a6d3f)
![f_{n}\dvojtečka X\to \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70dc0cc61a02051e1349f8172775443730d9542b)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![g\colon X\to \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19a39bf5bd3e4ba486da7778ce057646af5c8bb3)
![\{gf_{n}\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fb4b33f99043ea638fe4a613dcfd766d0cf6145a)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- Jestliže posloupnost Riemannových ( Lebesgueových ) integrovatelných funkcí konverguje rovnoměrně na intervalu k funkci , pak je tato funkce také Riemannově (respektive Lebesgueova) integrovatelná a rovnost platí pro libovolnou a konvergenci posloupnosti funkcí na intervalu k a funkce je jednotná.
![f_{n}\dvojtečka [a,b]\to \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b32ac944f464748dfb697057d3788497bfabb6fe)
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![f\dvojtečka [a,b]\to \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5ab61178bf5349838758ffe3d96135406ed0245)
![x\in[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/026357b404ee584c475579fb2302a4e9881b8cce)
![\lim _{{n\to \infty }}\int \limits _{a}^{x}f_{n}(t)dt=\int \limits _{a}^{x}f(t)dt](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6dd3ff5631a02136670e3373c665f3f42c2db62)
![x\mapsto \int \limits _{a}^{x}f_{n}(t)dt](https://wikimedia.org/api/rest_v1/media/math/render/svg/4553669ea70d275330606ef03ef899c8412afed6)
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![x\mapsto \int \limits _{a}^{x}f(t)dt](https://wikimedia.org/api/rest_v1/media/math/render/svg/5abd5ce2e95fc3f4585693bc0c91b8fb72c6054c)
- Jestliže posloupnost spojitě diferencovatelných funkcí na segmentu , konverguje v určitém bodě a posloupnost jejich derivací konverguje rovnoměrně k , pak posloupnost také konverguje rovnoměrně na , a její limita je funkce spojitě diferencovatelná na tomto segmentu.
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![f_{n}\dvojtečka [a,b]\to \mathbb{R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b32ac944f464748dfb697057d3788497bfabb6fe)
![x_{0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86f21d0e31751534cd6584264ecf864a6aa792cf)
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
![\{f_{n}\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/009619e33115347a277b099ff493347bdd5776aa)
![[a,b]](https://wikimedia.org/api/rest_v1/media/math/render/svg/9c4b788fc5c637e26ee98b45f89a5c08c85f7935)
Poznámky
- ↑ Kudryavtsev L. D. Jednotná konvergence // Mathematical Encyclopedia : [v 5 svazcích] / Ch. vyd. I. M. Vinogradov . - M . : Sovětská encyklopedie, 1984. - T. 4: Dobře - Slo. - S. 787-789. - 1216 stb. : nemocný. — 150 000 výtisků.
Literatura
- Aleksandrov P. S. Úvod do teorie množin a obecné topologie, M., 1977.
- Kolmogorov A. N., Fomin S. B. Základy teorie funkcí a funkcionální analýzy. 5. vydání, M., 1981.
- Kelly J. L. Obecná topologie. 2. vydání, M., 1951.
- Medveděv F. A. K historii konceptu jednotné konvergence řad. // Historický a matematický výzkum . - M . : Nauka , 1974. - č. 19 . - S. 75-93 .