Ensartet kontinuitet
Ensartet kontinuitet er en funktions egenskab til at være lige kontinuerlig på alle punkter i definitionsdomænet. I matematisk analyse introduceres dette koncept for numeriske funktioner , i funktionel analyse er det generaliseret til vilkårlige metriske rum .
Kontinuitetsbegrebet betyder helt klart, at små ændringer i argumentationen fører til små ændringer i funktionens værdi. Egenskaben om ensartet kontinuitet pålægger en yderligere betingelse: værdien, der begrænser afvigelsen af argumentets værdi, må kun afhænge af værdien af funktionens afvigelse, men ikke af værdien af argumentet, dvs. velegnet til hele funktionens domæne.
Ensartet kontinuitet af numeriske funktioner
Definition
En numerisk funktion af en reel variabel er ensartet kontinuerlig, hvis [1] :
![{\displaystyle f\colon M\subseteq \mathbb {R} \to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/27bb049afd48817c6f5fbfbc9810d370801dbac4)
hvor er henholdsvis universaliteten og eksistenskvantifikatoren , og er implikationen .
![{\displaystyle \forall ,\eksisterer }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c65054c57a79c67f0583388db198e359b2e24cc2)
![\Højre pil](https://wikimedia.org/api/rest_v1/media/math/render/svg/469b737d167b9b28a74e27c7f5e35b5ea9256100)
Noter
- Det er vigtigt, at valget kun afhænger af størrelsen og er egnet til enhver - dette adskiller ensartet kontinuitet fra almindelig kontinuitet.
![\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)
- Ovenstående definition er let generaliseret til tilfældet med funktioner af flere variable [2] .
Eksempler
Fungere
er kontinuert over hele definitionsdomænet, men er ikke ensartet kontinuert, da man for enhver (vilkårligt lille) kan specificere et sådant segment af værdierne af argumentet , at værdierne af funktionen ved dens ender vil afvige mere end ved. Dette skyldes, at hældningen af grafen for funktionen omkring nul vokser uendeligt.
![\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)
Et andet eksempel: funktion
er kontinuert langs hele tallinjen, men er ikke ensartet kontinuerlig, da
Det er altid muligt at vælge en værdi for ethvert segment af vilkårligt lille længde - sådan at forskellen i værdierne af funktionen i enderne af segmentet bliver større . Især på segmentet er forskellen i værdierne af funktionen har tendens til![\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)
Egenskaber
Tre egenskaber følger umiddelbart af definitionen:
En funktion, der er ensartet kontinuerlig på en mængde, vil være ensartet kontinuerlig på enhver delmængde af den.
En funktion, der er ensartet kontinuerlig på et afgrænset interval, er altid afgrænset på dette interval [3] . På et uendeligt interval er en ensartet kontinuerlig funktion muligvis ikke afgrænset (f.eks. på et interval ).![\ln x](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed172b0f5195382a3500c713941f945ad4db3898)
Nogle kriterier for ensartet kontinuitet af en funktion
- Ensartet kontinuitetssætning ( Cantor - Heine ): en funktion, der er kontinuert på et lukket endeligt interval (eller på et hvilket som helst kompakt sæt) er ensartet kontinuerligt på det. Desuden, hvis det lukkede endelige interval erstattes af et åbent , er funktionen muligvis ikke ensartet kontinuerlig.
- Summen, forskellen og sammensætningen af ensartede kontinuerte funktioner er ensartet kontinuerte [4] . Imidlertid er produktet af ensartet kontinuerlige funktioner muligvis ikke ensartet kontinuerligt. Lad for eksempel [5] Begge funktioner være ensartet kontinuerlige ved , men deres produkt er ikke ensartet kontinuerligt på . For et afgrænset interval er produktet af ensartet kontinuerte funktioner altid ensartet kontinuert [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)
- Hvis en funktion er defineret og kontinuerlig tændt, og der findes en endelig grænse , så er funktionen ensartet kontinuerlig på . Med andre ord er en funktion defineret på et uendeligt halvinterval muligvis ikke ensartet kontinuerlig, hvis dens grænse ved uendelig ikke eksisterer eller er uendelig [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)
- En afgrænset monoton funktion , kontinuert på intervallet (eller på hele den reelle linje), er ensartet kontinuerlig på dette interval [7] .
- En funktion, der er kontinuert på hele tallinjen og periodisk er ensartet kontinuerlig på hele tallinjen [8] .
- En funktion, der har en afgrænset afledet på et interval, er ensartet kontinuerlig på dette interval [9] .
Ensartet kontinuitet af kortlægninger af metriske rum
Definition
Lad to metriske mellemrum være givet og![(X,\rho _{X})](https://wikimedia.org/api/rest_v1/media/math/render/svg/00c8cf9dce94d75837e7ee5974fd75f3e1ad0474)
En kortlægning kaldes ensartet kontinuerlig på en delmængde , hvis [4] :
![M\subsetX,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a08c73d8e645763eccdd71d44b6ac89a71a282c1)
Egenskaber
Se også
Noter
- ↑ Fikhtengolts, 1966 , s. 178-180.
- ↑ Fikhtengolts, 1966 , s. 370-372.
- ↑ 1 2 Butuzov et al. , s. elleve.
- ↑ 1 2 3 Mathematical Encyclopedia, 1984 , s. 786.
- ↑ Shibinsky, 2007 , s. 528 (afsnit 2.7).
- ↑ Butuzov et al. , s. 6.
- ↑ Butuzov et al. , s. 7.
- ↑ Butuzov et al. , s. ti.
- ↑ Butuzov et al. , s. otte.
Litteratur
- Zorich V. A. Matematisk analyse. Del I. Udgave 2. M.: FAZIS 1997.
- Kolmogorov A. Η. , Φomin S. V. Elementer af teorien om funktioner og funktionel analyse, 5. udgave, M., 1981.
- Kudryavtsev L. D. Ensartet kontinuitet // Mathematical Encyclopedia : [i 5 bind] / Kap. udg. I. M. Vinogradov . - M . : Soviet Encyclopedia, 1984. - T. 4: Ok - Slo. - S. 786. - 1216 stb. : syg. — 150.000 eksemplarer.
- Fikhtengol'ts G. M. Forløb af differential- og integralregning. - udg. 6. - M . : Nauka, 1966. - T. I. - 680 s.
- Shibinsky VM Eksempler og modeksempler i løbet af matematisk analyse. Tutorial. - M . : Højere skole, 2007. - 543 s. - ISBN 978-5-06-005774-4 .
Links