Grænsen for en funktion ( grænseværdien af en funktion ) ved et punkt, der er begrænsende for definitionsdomænet for en funktion, er en sådan værdi, som værdien af den betragtede funktion tenderer til, når dens argument tenderer til et givet punkt. Et af de grundlæggende begreber i matematisk analyse .
Grænsen for en funktion er en generalisering af begrebet grænsen for en sekvens . Oprindeligt blev grænsen for en funktion i et punkt forstået som grænsen for rækkefølgen af funktionsværdier: , svarende til sekvensen af elementer i funktionens domæne , konvergerende til punktet . Hvis en sådan grænse eksisterer, siges funktionen at konvergere til den angivne værdi, ellers siges funktionen at divergere.
Oftest er definitionen af grænsen for en funktion formuleret i kvarterets sprog . Det faktum, at grænsen for en funktion kun betragtes på punkter, der er begrænsende for funktionens definitionsdomæne, betyder, at der i ethvert nabolag til et givet punkt er punkter i definitionsdomænet. Dette giver os mulighed for at tale om funktionsargumentets tendens til et givet punkt. I dette tilfælde behøver grænsepunktet for definitionsdomænet ikke at tilhøre selve definitionsdomænet: for eksempel kan man overveje grænsen for en funktion i enderne af et åbent interval , som funktionen er defineret på (den enderne af selve intervallet er ikke inkluderet i definitionsdomænet).
I det generelle tilfælde er det nødvendigt specifikt at angive metoden til konvergens af funktionen, for hvilken den såkaldte base af delmængder af funktionens domæne introduceres, og derefter formuleres definitionen af grænsen for funktionen iht. til den (givne) base. I denne forstand er systemet med punkterede kvarterer i et givet punkt et særligt tilfælde af en sådan base af sæt.
På grund af overvejelsen af den udvidede reelle linje (på hvilken kvarterets base også kan bygges til et punkt i det uendelige), er det muligt at definere sådanne begreber som grænsen for en funktion, da argumentet har en tendens til uendelig, samt selve funktionens tendens til det uendelige. Grænsen for en sekvens (som grænsen for en funktion af et naturligt argument) er blot et eksempel på konvergens i basen "argumentets tendens til uendelighed".
Fraværet af en funktionsgrænse i et punkt betyder, at man for en hvilken som helst given værdi af værdiintervallet kan vælge et sådant område af denne værdi, at der i et hvilket som helst vilkårligt lille område af det punkt, hvor funktionen antager en given værdi, er punkter, hvor værdien af funktionen vil være uden for det angivne kvarter.
Hvis der er en grænse på et tidspunkt af funktionens domæne, og denne grænse er lig med værdien af funktionen på det givne punkt, så kaldes funktionen kontinuert på det givne punkt.
Overvej et funktions- og aspirationspunkt, som er et begrænsningspunkt for definitionsdomænet , men som ikke behøver at tilhøre det. Der er flere tilsvarende definitioner af grænsen for en funktion - blandt dem er dem formuleret af Heine og Cauchy .
En værdi kaldes en grænse ( grænseværdi ) for en funktion i et punkt, hvis for en hvilken som helst sekvens af punkter, der konvergerer til, men ikke indeholder som et af dens elementer (det vil sige i et punkteret kvarter ), sekvensen af værdier af funktion konvergerer til [1] .
En værdi kaldes en grænse ( grænseværdi ) for en funktion ved et punkt, hvis det for et hvilket som helst positivt tal er muligt at vælge et positivt tal svarende til det , således at uligheden for alle argumenter, der opfylder betingelsen , er opfyldt: det vil sige [1 ] .
hvor:
En værdi kaldes en grænse ( grænseværdi ) for en funktion ved et punkt, hvis der for et hvilket som helst kvarter af punktet eksisterer et punkteret kvarter til punktet , således at billedet af dette kvarter ligger i . Den grundlæggende begrundelse for denne definition af grænse kan findes i artiklen " Grænse langs et filter ".
Den mest generelle definition er definitionen af grænsen for en funktion i forhold til basen (ved filterets basis, ved filteret).
Lad være en base af delmængder af definitionsdomænet. Derefter
Hvis er et grænsepunkt for sættet , betyder det, at hvert punkteret kvarter i et punkt i sættet ikke er tomt, og derfor er der en base af punkterede kvarterer ved punktet . Denne base har en speciel betegnelse " " og læser "når man plejer at over sættet ". Hvis funktionens domæne falder sammen med , så udelades sætikonet, så er basen ganske enkelt betegnet med " " og lyder "med tendens til ".
Når man kun betragter numeriske funktioner af en reel variabel, tages der også hensyn til baserne for ensidige kvarterer. Til dette overvejes to sæt:
Derfor introduceres to baser:
Alle ovenstående definitioner af grænsen for en funktion i et punkt svarer til [1] . For at bevise dette er det nødvendigt og tilstrækkeligt at acceptere det tællelige valgaksiom . I andre formelle systemer, såsom i konstruktiv matematik , afvises ækvivalens dog af eksempler.
Den ensidige grænse for en numerisk funktion i et punkt er en specifik grænse, der indebærer, at funktionsargumentet nærmer sig det angivne punkt fra en bestemt side (venstre eller højre). En numerisk funktion af en reel variabel har en grænse ved et punkt, hvis og kun hvis den har de samme venstre og højre grænser på det punkt.
Grænsen for en funktion langs et filter er en generalisering af begrebet en grænse til tilfældet med et vilkårligt domæne af en funktion. Ved at specificere særlige tilfælde af definitionsdomænet og grundlaget for filteret på det, kan man få mange af definitionerne af grænser givet i denne artikel.
Grænsen for en funktion ved uendelig beskriver adfærden af værdierne af en funktion, når den absolutte værdi af dens argument bliver uendelig stor. Der er forskellige definitioner af sådanne grænser, men de svarer til hinanden.
Grænse ved uendelig ifølge HeineLad en funktion defineres på et sæt med elementer uden for et hvilket som helst kvarter af nul. I dette tilfælde kaldes punktet grænsen for funktionen i det uendelige , hvis der for nogen af dets lille kvarter er et så stort kvarter på nul, at alle værdier af funktionen i punkter, der ligger uden for dette kvarter på nul, falder ind i dette område af punktet .
For en funktion såvel som for en sekvens kan man introducere begrebet en partiel grænse. Et tal kaldes en delgrænse for en funktion i et punkt, hvis der er en sådan uendelig undersekvens af sekvensen "passerer" langs, som med en ubegrænset stigning i antallet har tendens til, at funktionen eksisterer en funktionsgrænse i et punkt er nødvendig og tilstrækkelig til [2] .
Hvis funktionen på et tidspunkt har en grænse lig med , så siger de, at funktionen har tendens til , når den har tendens til , og skriver på en af følgende måder:
Hvis en funktion har en grænse ved uendelig lig med , så siges funktionen at have en tendens til , når den nærmer sig uendelighed, og skrives på en af følgende måder:
Hvis en funktion har en grænse ved plus uendelig lig med , så siges funktionen at have tendens til , som den har en tendens til at plus uendeligt, og skrives på en af følgende måder:
Hvis en funktion har en grænse ved minus uendeligt lig med , så siges funktionen at have tendens til , som den har tendens til minus uendeligt, og skrives på en af følgende måder:
Lad numeriske funktioner og aspirationspunkt angives[ ryd op ]
Bevis ved modsigelse. Lad eksistere og og .
Antag . Lad os tage og skrive definitionerne ned:
.
.
Lad så : og
men derefter
altså en modsigelse. Så der er kun én grænse.