Enhetlig kontinuitet
Uniform kontinuitet är egenskapen hos en funktion att vara lika kontinuerlig på alla punkter i definitionsdomänen. I matematisk analys introduceras detta koncept för numeriska funktioner , i funktionsanalys generaliseras det till godtyckliga metriska rum .
Kontinuitetsbegreppet innebär tydligt att små förändringar i argumentet leder till små förändringar i funktionens värde. Egenskapen för enhetlig kontinuitet ställer ett ytterligare villkor: värdet som begränsar avvikelsen av värdet av argumentet måste bara bero på värdet av funktionens avvikelse, men inte på värdet av argumentet, det vill säga det måste vara lämpar sig för funktionens hela domän.
Enhetlig kontinuitet för numeriska funktioner
Definition
En numerisk funktion av en reell variabel är enhetligt kontinuerlig om [1] :
![{\displaystyle f\colon M\subseteq \mathbb {R} \to \mathbb {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/27bb049afd48817c6f5fbfbc9810d370801dbac4)
var finns universalitets- och existenskvantifierarna respektive , och är implikationen .
![{\displaystyle \forall ,\exists }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c65054c57a79c67f0583388db198e359b2e24cc2)
![\Höger pil](https://wikimedia.org/api/rest_v1/media/math/render/svg/469b737d167b9b28a74e27c7f5e35b5ea9256100)
Anteckningar
- Det är viktigt att valet bara beror på storleken och är lämpligt för alla - detta skiljer enhetlig kontinuitet från vanlig 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)
- Ovanstående definition är lätt att generalisera till fallet med funktioner av flera variabler [2] .
Exempel
Fungera
är kontinuerlig över hela definitionsdomänen, men är inte enhetligt kontinuerlig, eftersom man för varje (godtyckligt liten) kan specificera ett sådant segment av värdena för argumentet att i dess ändar kommer värdena på funktionen att skilja sig mer åt Detta beror på att lutningen på grafen för funktionen runt noll växer oändligt
.![\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)
Ett annat exempel: funktion
är kontinuerlig längs hela tallinjen, men är inte enhetligt kontinuerlig, eftersom
Det är alltid möjligt att välja ett värde för vilket segment som helst med godtyckligt liten längd — så att skillnaden i funktionens värden i slutet av segmentet blir större . I synnerhet på segmentet, skillnaden i värdena av funktionen tenderar att![\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)
Egenskaper
Tre egenskaper följer omedelbart av definitionen:
En funktion som är likformigt kontinuerlig på en uppsättning kommer att vara enhetlig kontinuerlig på vilken delmängd som helst av den.
En funktion som är enhetligt kontinuerlig på ett begränsat intervall är alltid avgränsat på detta intervall [3] . På ett oändligt intervall kan en enhetligt kontinuerlig funktion inte vara begränsad (till exempel på ett intervall ).![\ln x](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed172b0f5195382a3500c713941f945ad4db3898)
Några kriterier för enhetlig kontinuitet för en funktion
- Uniform kontinuitetssats ( Cantor - Heine ): en funktion som är kontinuerlig på ett slutet ändligt intervall (eller på någon kompakt mängd) är likformigt kontinuerlig på den. Dessutom, om det slutna ändliga intervallet ersätts med ett öppet , kanske funktionen inte är jämnt kontinuerlig.
- Summan, skillnaden och sammansättningen av likformigt kontinuerliga funktioner är likformigt kontinuerliga [4] . Produkten av likformigt kontinuerliga funktioner kanske inte är likformigt kontinuerlig. Till exempel [5] , låt Båda funktionerna vara enhetligt kontinuerliga vid , men deras produkt är inte enhetligt kontinuerlig på . För ett begränsat intervall är produkten av likformigt kontinuerliga funktioner alltid likformigt kontinuerlig [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)
- Om en funktion är definierad och kontinuerlig på och det finns en ändlig gräns , är funktionen enhetligt kontinuerlig på . Med andra ord, en funktion definierad på ett oändligt halvintervall kanske inte är enhetligt kontinuerlig endast om dess gräns vid oändligheten inte existerar eller är oändlig [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 avgränsad monoton funktion , kontinuerlig på intervallet (eller på hela den reella linjen), är likformigt kontinuerlig på detta intervall [7] .
- En funktion som är kontinuerlig på hela tallinjen och periodisk är enhetligt kontinuerlig på hela tallinjen [8] .
- En funktion som har en begränsad derivata på ett intervall är likformigt kontinuerlig på detta intervall [9] .
Enhetlig kontinuitet för mappningar av metriska utrymmen
Definition
Låt två metriska mellanslag ges och![(X,\rho _{X})](https://wikimedia.org/api/rest_v1/media/math/render/svg/00c8cf9dce94d75837e7ee5974fd75f3e1ad0474)
En mappning kallas enhetligt kontinuerlig på en delmängd om [4] :
![M\subsetX,](https://wikimedia.org/api/rest_v1/media/math/render/svg/a08c73d8e645763eccdd71d44b6ac89a71a282c1)
Egenskaper
Se även
Anteckningar
- ↑ Fikhtengolts, 1966 , sid. 178-180.
- ↑ Fikhtengolts, 1966 , sid. 370-372.
- ↑ 1 2 Butuzov et al. , sid. elva.
- ↑ 1 2 3 Mathematical Encyclopedia, 1984 , sid. 786.
- ↑ Shibinsky, 2007 , sid. 528 (paragraf 2.7).
- ↑ Butuzov et al. , sid. 6.
- ↑ Butuzov et al. , sid. 7.
- ↑ Butuzov et al. , sid. tio.
- ↑ Butuzov et al. , sid. åtta.
Litteratur
- Zorich V. A. Matematisk analys. Del I. Upplaga 2:a. M.: FAZIS 1997.
- Kolmogorov A. Η. , Φomin S. V. Elements of theory of functions and functional analysis, 5:e upplagan, M., 1981.
- Kudryavtsev L. D. Uniform kontinuitet // Mathematical Encyclopedia : [i 5 volymer] / Kap. ed. I. M. Vinogradov . - M . : Soviet Encyclopedia, 1984. - T. 4: Ok - Slo. - S. 786. - 1216 stb. : sjuk. — 150 000 exemplar.
- Fikhtengol'ts G. M. Kurs för differential- och integralkalkyl. - ed. 6:a. - M . : Nauka, 1966. - T. I. - 680 sid.
- Shibinsky VM Exempel och motexempel i matematisk analys. Handledning. - M . : Högre skola, 2007. - 543 sid. - ISBN 978-5-06-005774-4 .
Länkar