Jednotná kontinuita
Rovnoměrná spojitost je vlastnost funkce být stejně spojitá ve všech bodech v oboru definice. V matematické analýze je tento pojem zaveden pro numerické funkce , ve funkcionální analýze je zobecněn na libovolné metrické prostory .
Koncept spojitosti jasně znamená, že malé změny v argumentu vedou k malým změnám v hodnotě funkce. Vlastnost jednotné spojitosti klade další podmínku: hodnota, která omezuje odchylku hodnoty argumentu, musí záviset pouze na hodnotě odchylky funkce, nikoli však na hodnotě argumentu, to znamená, že musí být vhodné pro celou doménu funkce.
Jednotná spojitost numerických funkcí
Definice
Numerická funkce reálné proměnné je rovnoměrně spojitá, pokud [1] :
![{\displaystyle f\colon M\subseteq \mathbb {R} \to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/27bb049afd48817c6f5fbfbc9810d370801dbac4)
kde jsou kvantifikátory univerzálnosti a existence a je implikace .
![{\displaystyle \forall ,\exists }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c65054c57a79c67f0583388db198e359b2e24cc2)
![\Šipka doprava](https://wikimedia.org/api/rest_v1/media/math/render/svg/469b737d167b9b28a74e27c7f5e35b5ea9256100)
Poznámky
- Je důležité, aby výběr závisel pouze na velikosti a byl vhodný pro jakoukoli - to odlišuje stejnoměrnou návaznost od běžné návaznosti.
![\delta](https://wikimedia.org/api/rest_v1/media/math/render/svg/c5321cfa797202b3e1f8620663ff43c4660ea03a)
![\varepsilon](https://wikimedia.org/api/rest_v1/media/math/render/svg/a30c89172e5b88edbd45d3e2772c7f5e562e5173)
![x_{1},x_{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/188263943645114e27e316cc1be787861e5b67be)
- Výše uvedená definice se dá snadno zobecnit na případ funkcí více proměnných [2] .
Příklady
Funkce
je spojitý přes celou doménu definice, ale není rovnoměrně souvislý, protože pro jakýkoli (libovolně malý) lze zadat takový segment hodnot argumentu , že na jeho koncích se budou hodnoty funkce lišit více Je to způsobeno tím, že sklon grafu funkce kolem nuly donekonečna roste.
![\varepsilon >0](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04ec3670b50384a3ce48aca42e7cc5131a06b12)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
![\varepsilon.](https://wikimedia.org/api/rest_v1/media/math/render/svg/5807913813d5188ce49b63a9b26d43f7a7763c19)
Další příklad: funkce
je spojitý podél celé číselné osy, ale není rovnoměrně souvislý, protože
Vždy je možné zvolit hodnotu pro libovolný segment libovolně malé délky — tak, že rozdíl hodnot funkce na koncích segmentu bude větší . Zejména na segmentu bude rozdíl hodnot funkce má tendenci![\varepsilon >0](https://wikimedia.org/api/rest_v1/media/math/render/svg/e04ec3670b50384a3ce48aca42e7cc5131a06b12)
![\varepsilon /x](https://wikimedia.org/api/rest_v1/media/math/render/svg/4659878bd88ab393bc0223adeded2b40e3c92ddd)
![f(x)=x^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84ddac4ae10b1aa4a11741c79771a583419fb1fb)
![\varepsilon.](https://wikimedia.org/api/rest_v1/media/math/render/svg/5807913813d5188ce49b63a9b26d43f7a7763c19)
![{\displaystyle \left[x,x+{\frac {\varepsilon }{x}}\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da345bcafa9fedcb3329ef9e7f6832dfdd282f12)
Vlastnosti
Z definice bezprostředně vyplývají tři vlastnosti:
Funkce rovnoměrně spojitá na množině bude rovnoměrně spojitá na jakékoli její podmnožině.
Funkce, která je rovnoměrně spojitá na omezeném intervalu, je vždy omezena na tento interval [3] . Na nekonečném intervalu nemusí být rovnoměrně spojitá funkce omezená (například na intervalu ).![\ln x](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed172b0f5195382a3500c713941f945ad4db3898)
Některá kritéria pro jednotnou spojitost funkce
- Věta o jednotné spojitosti ( Cantor - Heine ): funkce, která je spojitá na uzavřeném konečném intervalu (nebo na libovolné kompaktní množině), je na něm rovnoměrně spojitá. Navíc, pokud je uzavřený konečný interval nahrazen otevřeným , funkce nemusí být rovnoměrně spojitá.
- Součet, rozdíl a složení rovnoměrně spojitých funkcí jsou rovnoměrně spojité [4] . Součin rovnoměrně spojitých funkcí však nemusí být rovnoměrně spojitý. Například [5] , nechť Obě funkce jsou rovnoměrně spojité v , ale jejich součin není rovnoměrně spojitý v . Pro ohraničený interval je součin rovnoměrně spojitých funkcí vždy rovnoměrně spojitý [3] .
![{\displaystyle f(x)=x;\g(x)=\ln(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70f0ab10ed63f10706fd65121b5249e93b431804)
![{\displaystyle x\geqslant 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f5be9e2bf8749eae51b89e7f561b4d74a375d61)
![{\displaystyle [1,+\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6470ffa3f8825a91419ded64f3654ddbabcb397a)
- Jestliže je funkce definována a spojitá na a existuje konečná limita , pak je funkce rovnoměrně spojitá na . Jinými slovy, funkce definovaná na nekonečném půlintervalu nemusí být rovnoměrně spojitá pouze tehdy, pokud její limita v nekonečnu neexistuje nebo je nekonečná [6] .
![f(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/202945cce41ecebb6f643f31d119c514bec7a074)
![{\displaystyle \lim _{x\to +\infty }f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1b4b1f3c0ab25af57b6530b972867d598f625ac)
![[a,+\infty)](https://wikimedia.org/api/rest_v1/media/math/render/svg/64ca4c851d8982233134180d09ab38cdd65f90f0)
- Omezená monotónní funkce spojitá na intervalu (nebo na celé reálné přímce) je na tomto intervalu rovnoměrně spojitá [7] .
- Funkce, která je spojitá na celé číselné ose a periodická , je rovnoměrně spojitá na celé číselné ose [8] .
- Funkce, která má na intervalu omezenou derivaci , je na tomto intervalu rovnoměrně spojitá [9] .
Jednotná kontinuita zobrazení metrických prostorů
Definice
Nechť jsou dány dva metrické prostory a![(X,\rho _{X})](https://wikimedia.org/api/rest_v1/media/math/render/svg/00c8cf9dce94d75837e7ee5974fd75f3e1ad0474)
Zobrazení se nazývá jednotně spojité na podmnožině , pokud [4] :
![M\subsetX,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a08c73d8e645763eccdd71d44b6ac89a71a282c1)
Vlastnosti
Viz také
Poznámky
- ↑ Fikhtengolts, 1966 , s. 178-180.
- ↑ Fikhtengolts, 1966 , s. 370-372.
- ↑ 1 2 Butuzov et al. , str. jedenáct.
- ↑ 1 2 3 Matematická encyklopedie, 1984 , str. 786.
- ↑ Shibinsky, 2007 , str. 528 (odst. 2.7).
- ↑ Butuzov a kol. , str. 6.
- ↑ Butuzov a kol. , str. 7.
- ↑ Butuzov a kol. , str. deset.
- ↑ Butuzov a kol. , str. osm.
Literatura
- Zorich V. A. Matematická analýza. Část I. Vydání 2. M.: FAZIS 1997.
- Kolmogorov A. Η. , Φomin S. V. Prvky teorie funkcí a funkční analýza, 5. vydání, M., 1981.
- Kudryavtsev L. D. Jednotná kontinuita // Mathematical Encyclopedia : [v 5 svazcích] / Ch. vyd. I. M. Vinogradov . - M . : Sovětská encyklopedie, 1984. - T. 4: Dobře - Slo. - S. 786. - 1216 stb. : nemocný. — 150 000 výtisků.
- Fikhtengol'ts G. M. Kurz diferenciálního a integrálního počtu. - ed. 6. - M . : Nauka, 1966. - T. I. - 680 s.
- Shibinsky VM Příklady a protipříklady v průběhu matematické analýzy. Tutorial. - M . : Vyšší škola, 2007. - 543 s. - ISBN 978-5-06-005774-4 .
Odkazy