Limita superioară și limita inferioară. Succesiunea
{\ displaystyle x_ {n}} este afișat în albastru; cele două curbe roșii se apropie de limitele superioare și inferioare (reprezentate de cele două liniuțe negre). În acest caz, limita superioară este strict mai mare decât cea inferioară. În general, cele două limite sup și inf coincid dacă și numai dacă secvența este convergentă.
În matematică , sunt luate în considerare două tipuri de construcții, respectiv numite limită inferioară (sau chiar limită minimă ) și limită superioară (sau chiar limită maximă ) care sunt mai slabe decât limita una, dar cu implementare mai generală și care pot fi utile pentru adresă diverse probleme despre limite. Cele două noțiuni sunt introduse pentru funcții cu valoare reală , pentru secvențe de mulțimi și, în general, pentru funcții având ca codomain o mulțime parțial ordonată . În cel mai simplu caz al unei succesiuni de numere reale, aceste două noțiuni servesc la „limitarea” intervalului acestei funcții, adică a regiunii în care componentele secvenței sunt „definitiv” localizate.
Limitele inferioare și superioare ale unei secvențe
Având în vedere o succesiune de numere reale {\ displaystyle ({x_ {n}})} , sunt:
- {\ displaystyle {b_ {k}} = \ sup \ {x_ {k}, x_ {k + 1}, \ dots \} \ quad k = 1,2, \ dots}
- {\ displaystyle \ beta = \ inf \ {b_ {1}, b_ {2}, \ dots \}}
Atunci {\ displaystyle \ beta} este limita superioară a {\ displaystyle ({x_ {n}})} : [1]
- {\ displaystyle \ beta = \ limsup _ {n \ rightarrow \ infty} x_ {n}: = \ lim _ {n \ to \ infty} {\ Big (} \ sup _ {m \ geq n} x_ {m} {\ Big)} = \ inf \ {\, \ sup \ {\, x_ {k}: k \ geq n \, \}: n \ geq 0 \, \}}
Am notat asta:
- {\ displaystyle \ lim _ {k \ to \ infty} b_ {k} = \ beta}
și există o subsecvență {\ displaystyle {x_ {n_ {i}}}} din {\ displaystyle {x_ {n}}} astfel încât:
- {\ displaystyle \ lim _ {i \ to \ infty} x_ {n_ {i}} = \ beta}
Și {\ displaystyle \ beta} este cel mai mare număr care se bucură de o astfel de proprietate.
În mod similar, limita inferioară a unei secvențe este definită: [2]
- {\ displaystyle \ liminf _ {n \ to \ infty} x_ {n}: = \ lim _ {n \ to \ infty} {\ Big (} \ inf _ {m \ geq n} x_ {m} {\ Big )} = \ sup \ {\, \ inf \ {\, x_ {m}: m \ geq n \, \}: n \ geq 0 \, \}}
Uneori notația este utilizată pentru a indica limitele superioare și inferioare:
- {\ displaystyle \ varliminf _ {n \ to \ infty} x_ {n}: = \ liminf _ {n \ to \ infty} x_ {n} \ quad \ varlimsup _ {n \ to \ infty} x_ {n}: = \ limsup _ {n \ to \ infty} x_ {n}}
Dacă elementele secvenței aparțin unui set parțial ordonat din care există extremele superioare și inferioare, limitele superioară și inferioară există întotdeauna și avem:
- {\ displaystyle - \ limsup _ {n \ rightarrow \ infty} (- x_ {n}) = \ liminf _ {n \ to \ infty} x_ {n}}
Dacă succesiunea {\ displaystyle {x_ {n}}} converge avem: [2]
- {\ displaystyle \ limsup _ {n \ to \ infty} (x_ {n}) = \ liminf _ {n \ to \ infty} (x_ {n}) = \ lim _ {n \ to \ infty} x_ {n }}
Noțiunile de limite inferioare și superioare sunt legate de big-O , deoarece astfel de entități oferă restricții asupra valorilor secvenței numai la limită. Alternativ, după introducerea conceptelor de valoare limită și clasă limită, limitele superioare și inferioare ale unei secvențe pot fi definite pur și simplu ca maxim și minim al clasei limită a acestei secvențe, care se arată că există întotdeauna.
Limitele inferioare și superioare ale unei funcții reale
Este {\ displaystyle f: A \ rightarrow \ mathbb {R}} o funcție definită într-un subset {\ displaystyle A} fie a oricărui spațiu topologic {\ displaystyle x_ {0}} un punct de acumulare e {\ displaystyle I (x_ {0})} familia cartierelor din {\ displaystyle x_ {0}} în {\ displaystyle A} , cu{\ displaystyle U \ in I (x_ {0})} . Limita inferioară a unei funcții reale pentru {\ displaystyle x \ rightarrow x_ {0}} este definit ca:
- {\ displaystyle \ liminf _ {x \ to x_ {0}} f (x) = \ sup _ {U} \, \ left [\ inf _ {x \ in (U \ cap A \ setminus \ {x_ {0 } \})} f (x) \ right] = \ sup \ {\, \ inf \ {f (x) | \; x \ in (U \ cap A \ setminus \ {x_ {0} \}) \ , \} \, \}}
Intuitiv, limita inferioară a {\ displaystyle f} pentru {\ displaystyle x} → {\ displaystyle x_ {0}} este valoarea maximă, ca vecinătate a {\ displaystyle x_ {0}} , de cea mai mică valoare pe care funcția o asumă într-un singur cartier.
Limita superioară a unei funcții reale pentru {\ displaystyle x \ rightarrow x_ {0}} este definit în mod similar:
- {\ displaystyle \ limsup _ {x \ to x_ {0}} f (x) = \ inf _ {U} \, \ left [\ sup _ {x \ in (U \ cap A \ setminus \ {x_ {0 } \})} f (x) \ right] = \ inf \ {\, \ sup \ {f (x) | x \ in (U \ cap A \ setminus \ {x_ {0} \}) \, \ } \, \}}
Prin urmare, corespunde celei mai mici valori dintre valorile maxime pe care funcția le asumă în fiecare vecinătate a punctului.
Caracteristici și proprietăți
Prin exploatarea definițiilor algoritmilor limită superioară și inferioară, se aplică aceste caracteristici ale celor două limite, adică
- {\ displaystyle \ liminf _ {x \ to x_ {0}} f (x) = m \ in \ mathbb {R} \ if \ left \ {{\ begin {matrix} \ forall \ varepsilon \!> \! 0 \; \ există \, U _ {\ varepsilon} (x_ {0}) | \; \ forall x \ in (U _ {\ varepsilon} \! \ cap \! A \! \ setminus \! \ {x_ { 0} \}) \ implică f (x)> m- \ varepsilon \\\! \! \! \! \! \! \! \! \! \! \! \! \! \ Forall \ varepsilon \! > \! 0 \; \ forall \, U _ {\ varepsilon} (x_ {0}), \ există x \ in (U _ {\ varepsilon} \! \ Cap \! A \! \ Setminus \! \ { X_ {0} \}) | \; f (x) <m + \ varepsilon \ end {matrix}} \ right.}
Prima linie afirmă că cu siguranță orice nivel inferior celui {\ displaystyle m} este impracticabil, adică un întreg înconjurător al {\ displaystyle x_ {0}} are imagini mai mari decât {\ displaystyle m- \ varepsilon} (corespunzând proprietății de a fi o extremă superioară); al doilea care se găsește în fiecare cartier {\ displaystyle x} cu o imagine apropiată în mod arbitrar {\ displaystyle m} (datorită faptului că este o extremă inferioară).
În cazul infinit, aceste proprietăți sunt în schimb:
- {\ displaystyle \ liminf _ {x \ to x_ {0}} f (x) = - \ infty \ iff \ forall K \!> \! 0 \; \ forall \, U (x_ {0}), \ există x \ in (U \! \ cap \! A \! \ setminus \! \ {x_ {0} \}) | \; f (x) <- K}
- {\ displaystyle \ liminf _ {x \ to x_ {0}} f (x) = + \ infty \ iff \ forall K \!> \! 0 \; \ există \, U (x_ {0}), \ forall x \ in (U \! \ cap \! A \! \ setminus \! \ {x_ {0} \}) | \; f (x)> K}
Proprietățile pentru legătura maximă sunt obținute în mod analog.
Mai mult, spre deosebire de limită, limitele inferioară și superioară există întotdeauna, deoarece acestea sunt calculate cu algoritmi de limită superioară și inferioară pe seturi reale . De asemenea, este valabil că:
- {\ displaystyle \ liminf _ {x \ rightarrow x_ {0}} f (x) \ leq \ limsup _ {x \ rightarrow x_ {0}} f (x)}
iar egalitatea există dacă și numai dacă există în {\ displaystyle \ mathbb {R} \ cup \ {- \ infty, + \ infty \}} limita {\ displaystyle \ lim _ {x \ rightarrow x_ {0}} f (x)} , care va fi egală cu valoarea comună a {\ displaystyle \ liminf} Și {\ displaystyle \ limsup} .
Convergența secvențelor numerelor reale
Se observă că definițiile precedente au sens în orice set parțial ordonat în care există extremele superioare și inferioare . Acest lucru duce la extinderea definițiilor la secvențe care au componentele în medii mai „exotice” ale setului de numere reale. În fiecare rețea completă există suportul și inful oricărui subset: prin urmare, este deosebit de interesant să se ia în considerare limitele inferioară și superioară ale secvențelor de elemente ale rețelelor complete.
De asemenea, se observă că mulțimea numerelor reale {\ displaystyle \ mathbb {R}} nu constituie o rețea completă, dar completitudinea sa se obține prin adăugarea infinitului negativ și pozitiv la acesta: de fapt, mulțimea {\ displaystyle [- \ infty, \ infty]} constituie un întreg complet ordonat complet .
În acest mediu o succesiune {\ displaystyle \ {x_ {n}: n \ in \ mathbb {N} \}} converge dacă și numai dacă {\ displaystyle \ liminf x_ {n} = \ limsup x_ {n}} , și dacă da {\ displaystyle \ lim x_ {n}} este egală cu valoarea lor comună (se observă că atunci când operează în solo {\ displaystyle \ mathbb {R}} , divergența a nu este luată în considerare {\ displaystyle - \ infty} oa {\ displaystyle + \ infty} ).
De exemplu, luați în considerare secvența dată de {\ displaystyle x_ {n} = \ sin n} . În virtutea faptului că pi este un număr irațional , se arată că {\ displaystyle \ liminf x_ {n} = - 1} Și {\ displaystyle \ limsup x_ {n} = + 1} .
De sine {\ displaystyle I \ equiv \ liminf x_ {n}} Și {\ displaystyle S \ equiv \ limsup x_ {n}} , apoi intervalul {\ displaystyle [I, S]} este posibil să nu conțină niciunul dintre numere {\ displaystyle x_ {n}} , dar fiecare extensie chiar foarte mică, dar fixă {\ displaystyle [I- \ epsilon, S + \ epsilon]} (dependent de un {\ displaystyle \ epsilon> 0} „în mod arbitrar mic”) conține {\ displaystyle x_ {n}} , cel mult cu excepția unui set finit de indici n . De fapt intervalul {\ displaystyle [I, S]} este cea mai mică gamă închisă cu această proprietate.
Un exemplu preluat din teoria numerelor se referă:
- {\ displaystyle \ liminf _ {n} (p_ {n + 1} -p_ {n})}
unde cu {\ displaystyle p_ {n}} se notează al doilea număr prim . Valoarea acestei limite inferioare a fost conjecturată a fi 2 (aceasta este conjectura primelor gemene ), dar până acum nici nu s-a dovedit că această limită este finită.
Secvențe de seturi
Întreg părțile {\ displaystyle P (X)} a unui set {\ displaystyle X} constituie o rețea completă și uneori este util să se ia în considerare limitele superioare și inferioare ale secvențelor din {\ displaystyle P (X)} , adică secvențe de subseturi de {\ displaystyle X} . De sine {\ displaystyle X_ {n}} este o astfel de succesiune, apoi un element {\ displaystyle a} din {\ displaystyle X} aparține lui{\ displaystyle \ liminf X_ {n}} dacă și numai dacă există un întreg natural {\ displaystyle n_ {0}} astfel încât {\ displaystyle a} aparține lui {\ displaystyle X_ {n}} pentru toți {\ displaystyle n> n_ {0}} . Elementul {\ displaystyle a} aparține lui{\ displaystyle \ limsup X_ {n}} dacă și numai dacă pentru orice întreg natural {\ displaystyle n_ {0}} există un indice {\ displaystyle n> n_ {0}} astfel încât {\ displaystyle a} aparține lui {\ displaystyle X_ {n}} . Cu alte cuvinte,{\ displaystyle \ limsup X_ {n}} constă din acele elemente găsite în seturi de formular {\ displaystyle X_ {n}} pentru o infinitate de n , în timp ce{\ displaystyle \ liminf X_ {n}} constă din acele elemente care sunt excluse cel mult dintr-un număr finit de {\ displaystyle X_ {n}} .
Folosind notațiile obișnuite ale teoriei mulțimilor , cea mai mică dintre o succesiune de mulțimi este intersecția numărabilă a mulțimilor, adică cea mai mare mulțime inclusă în toate mulțimile care trebuie intersectate:
- {\ displaystyle \ inf \ left \ {\, X_ {n}: n = 1,2,3, \ dots \, \ right \} = {\ bigcap _ {n = 1} ^ {\ infty}} X_ { n}}
Succesiunea {\ displaystyle \ {I_ {n}: n \ in \ mathbb {N} \}} , unde cu {\ displaystyle I_ {n}} cel mai mic dintre mulțimile cu indice mai mare sau egal cu n este notat, este nedescrescător, deoarece {\ displaystyle I_ {n} \ subset I_ {n + 1}} . Prin urmare, uniunea celui mai mic raport față de indicii de la 1 la n este egală cu al n-lea cel mai mic. A face ca această succesiune de seturi să ajungă la limită:
- {\ displaystyle \ liminf _ {n \ rightarrow \ infty} X_ {n} = {\ bigcup _ {n = 1} ^ {\ infty}} \ left ({\ bigcap _ {m = n} ^ {\ infty} } X_ {m} \ dreapta)}
Limsup-ul poate fi definit simetric. Suprema unei succesiuni de mulțimi este cea mai mică mulțime care conține toate mulțimile, adică uniunea numărabilă a mulțimilor.
- {\ displaystyle \ sup \ left \ {\, X_ {n}: n = 1,2,3, \ dots \, \ right \} = {\ bigcup _ {n = 1} ^ {\ infty}} X_ { n}}
Limsup este în schimb intersecția numărabilă a acestei secvențe care nu crește (fiecare suprem este un subset al supremului care o precedă)
- {\ displaystyle \ limsup _ {n \ rightarrow \ infty} X_ {n} = {\ bigcap _ {n = 1} ^ {\ infty}} \ left ({\ bigcup _ {m = n} ^ {\ infty} } X_ {m} \ dreapta)}
Pentru un exemplu, a se vedea lema Borel-Cantelli . Când aceste două seturi coincid, vorbim despre un set limită al secvenței {\ displaystyle (X_ {n}) _ {n}} .
Notă
Bibliografie
- Walter Rudin, Analiză reală și complexă , Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1 .
- ( EN ) H. Amann, Escher, Joachim, Analysis , Basel; Boston: Birkhäuser, 2005, ISBN 0-8176-7153-6 .
- ( EN ) Mario O González, Analiza complexă clasică , New York: M. Dekker, 1991, ISBN 0-8247-8415-4 .
Elemente conexe
Alte proiecte