Grenseverdi

I matematikk er en grenseverdi (kortform grense) en verdi som en funksjon nærmer seg, når funksjonsargumentet nærmer seg et bestemt punkt, eller uendelig.  Også en følge kan ha en grenseverdi, som det n-te leddet nærmer seg når n går mot uendelig. For både funksjoner og følger krever en formell definisjon at en først har definert uttrykk som «nær» og «nærmer seg», noe som kan gjøres både i et metrisk rom og i et normert vektorrom.
Grenseverdier spiller en grunnleggende rolle i matematisk analyse.


== Skrivemåter og grunnlegende begrep ==
Grenseverdien 
  
    
      
        b
      
    
    {\displaystyle b}
   til en funksjon 
  
    
      
        f
      
    
    {\displaystyle f}
   når funksjonsargumentet nærmer seg verdien 
  
    
      
        a
      
    
    {\displaystyle a}
  , kan uttrykkes på de to ekvivalente måtene

  
    
      
        
          
            
              
              
                
                
                  lim
                  
                    x
                    →
                    a
                  
                
                f
                (
                x
                )
                =
                b
              
            
            
              
              
                f
                (
                x
                )
                →
                b
                
                
                  når
                
                
                x
                →
                a
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{2}&\lim _{x\to a}f(x)=b\\[5pt]&f(x)\to b\quad {\text{når}}\quad x\to a\end{alignedat}}}
  Symbolet 
  
    
      
        lim
      
    
    {\displaystyle \lim }
   er en forkortelse for det latinske ordet limes, som opprinnelig betydde grensen mellom to landområder.  Når en romer nærmet seg limes, kom han nærmere en områdegrense.Verdien 
  
    
      
        a
      
    
    {\displaystyle a}
   kan være endelig eller uendelig.  Dersom funksjonen 
  
    
      
        f
      
    
    {\displaystyle f}
   er definert for et endelig argument 
  
    
      
        a
      
    
    {\displaystyle a}
  , så kan 
  
    
      
        f
        (
        a
        )
      
    
    {\displaystyle f(a)}
   være lik eller ulik grenseverdien 
  
    
      
        b
      
    
    {\displaystyle b}
  . Dersom 
  
    
      
        f
        (
        a
        )
        =
        b
      
    
    {\displaystyle f(a)=b}
  , så er funksjonen kontinuerlig i 
  
    
      
        a
      
    
    {\displaystyle a}
  .
En grenseverdi til en følge kan tilsvarende skrives som

  
    
      
        
          
            
              
              
                
                
                  lim
                  
                    n
                    →
                    ∞
                  
                
                
                  x
                  
                    n
                  
                
                =
                b
              
            
            
              
              
                
                  x
                  
                    n
                  
                
                →
                b
                
                
                  når
                
                
                n
                →
                ∞
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{2}&\lim _{n\to \infty }x_{n}=b\\[5pt]&x_{n}\to b\quad {\text{når}}\quad n\to \infty \end{alignedat}}}
  En følge som har en grenseverdi sies å være konvergent.  En følge som ikke er konvergent, er divergent.


== Definisjon av grenseverdien til en reell funksjon ==
For mengden av reelle tall 
  
    
      
        
          
            R
          
        
      
    
    {\displaystyle {\bf {R}}}
   måler en vanligvis avstand ved hjelp av absoluttverdi, og to reelle tall er nær hverandre dersom absoluttverdien av differansen er liten. En reell funksjon av én variabel har grenseverdien 
  
    
      
        b
      
    
    {\displaystyle b}
   når funksjonsargumentet nærmer seg et opphopningspunkt 
  
    
      
        a
      
    
    {\displaystyle a}
  , dersom det for et hvert reelt tall 
  
    
      
        ϵ
        >
        0
      
    
    {\displaystyle \epsilon >0}
   finnes et reelt tall 
  
    
      
        δ
        >
        0
      
    
    {\displaystyle \delta >0}
  , slik at hvis 
  
    
      
        x
      
    
    {\displaystyle x}
   er et tall i definisjonsmengden til 
  
    
      
        f
      
    
    {\displaystyle f}
  , så gjelder det at

  
    
      
        0
        <
        
          |
        
        x
        −
        a
        
          |
        
        <
        δ
        ⇒
        
          |
        
        f
        (
        x
        )
        −
        b
        
          |
        
        <
        ϵ
        .
      
    
    {\displaystyle 0<|x-a|<\delta \Rightarrow |f(x)-b|<\epsilon .}
  Definisjonen kan uttrykkes slik: Forskjellen mellom 
  
    
      
        f
        (
        x
        )
      
    
    {\displaystyle f(x)}
   og 
  
    
      
        b
      
    
    {\displaystyle b}
   kan gjøres så liten man vil, ved å velge 
  
    
      
        x
      
    
    {\displaystyle x}
   tilstrekkelig nær 
  
    
      
        a
      
    
    {\displaystyle a}
  .

I definisjonen over er både 
  
    
      
        a
      
    
    {\displaystyle a}
   og grenseverdien 
  
    
      
        b
      
    
    {\displaystyle b}
   endelige størrelser.  Definisjonen må justeres litt dersom en ønsker å studere en grenseverdi når funksjonsargumentet går mot uendelig: En funksjon har grenseverdien 
  
    
      
        b
      
    
    {\displaystyle b}
   når funksjonsargumentet går mot uendelig, dersom det for et hvert reelt tall 
  
    
      
        ϵ
        >
        0
      
    
    {\displaystyle \epsilon >0}
   finnes et reelt tall 
  
    
      
        S
        >
        0
      
    
    {\displaystyle S>0}
  , slik at 

  
    
      
        x
        >
        S
        ⇒
        
          |
        
        f
        (
        x
        )
        −
        b
        
          |
        
        <
        ϵ
        .
      
    
    {\displaystyle x>S\Rightarrow |f(x)-b|<\epsilon .}
  Definisjonen for minus uendelig er tilsvarende.  
Definisjonen av grenseverdi kan også utvides til også å omfatte 
  
    
      
        ±
        ∞
      
    
    {\displaystyle \pm \infty }
   som funksjonsverdier.  En definisjon som uttrykker at en funksjon går mot uendelig kan skrives kompakt som 

  
    
      
        
          lim
          
            x
            →
            a
          
        
        f
        (
        x
        )
        =
        ∞
        
        ⇔
        
        (
        ∀
        M
        >
        0
        )
        (
        ∃
        δ
        >
        0
        )
        (
         
        0
        <
        
          |
        
        x
        −
        a
        
          |
        
        <
        δ
        ⇒
        f
        (
        x
        )
        >
        M
         
        )
      
    
    {\displaystyle \lim _{x\to a}f(x)=\infty \qquad \Leftrightarrow \qquad (\forall M>0)(\exists \delta >0)(\ 0<|x-a|<\delta \Rightarrow f(x)>M\ )}
  


== Eksempler på grenseverdier til reelle funksjoner ==
For en kontinuerlig funksjon vil grenseverdien til funksjonen i et endelig punkt alltid være lik funksjonsverdien selv, og grenseverdien kan finnes ved direkte funksjonsberegning:

  
    
      
        
          lim
          
            x
            →
            2
          
        
        
          x
          
            2
          
        
        =
        
          2
          
            2
          
        
        =
        4
      
    
    {\displaystyle \lim _{x\to 2}x^{2}=2^{2}=4}
  For en rasjonal funksjon kan en bruke L'Hôpitals regel til å bestemme grenseverdier, i tilfeller der både nevneren og telleren i funksjonen går mot null.  I slike tilfeller kan «alt» skje:

  
    
      
        
          
            
              
              
                
                
                  lim
                  
                    x
                    →
                    0
                    +
                  
                
                
                  
                    
                      sin
                      ⁡
                      x
                    
                    x
                  
                
                 
                =
                 
                1
              
            
            
              
              
                
                
                  lim
                  
                    x
                    →
                    0
                    +
                  
                
                
                  
                    
                      e
                      
                        −
                        x
                      
                    
                    x
                  
                
                 
                =
                 
                0
              
            
            
              
              
                
                
                  lim
                  
                    x
                    →
                    0
                    +
                  
                
                
                  
                    x
                    
                      e
                      
                        −
                        x
                      
                    
                  
                
                 
                =
                 
                ∞
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{2}&\lim _{x\to 0+}{\frac {\sin x}{x}}\ =\ 1\\[5pt]&\lim _{x\to 0+}{\frac {e^{-x}}{x}}\ =\ 0\\[5pt]&\lim _{x\to 0+}{\frac {x}{e^{-x}}}\ =\ \infty \end{alignedat}}}
  Denne regel kan også brukes når nevneren går mot uendelig.


== Definisjon av grenseverdien for en reell følge ==
En reell følge kan betraktes som en funksjon fra mengden av naturlige tall inn i 
  
    
      
        
          
            R
          
        
      
    
    {\displaystyle {\bf {R}}}
  .  Definisjonen av en grenseverdi er derfor tilsvarende som for grenseverdien til en funksjon når argumentet går mot uendelig.En følge 
  
    
      
        {
        
          x
          
            n
          
        
        }
      
    
    {\displaystyle \lbrace x_{n}\rbrace }
   konverger mot verdien 
  
    
      
        b
      
    
    {\displaystyle b}
   dersom det for et hvert reelt tall 
  
    
      
        ϵ
        >
        0
      
    
    {\displaystyle \epsilon >0}
   finnes et naturlig tall 
  
    
      
        N
      
    
    {\displaystyle N}
  , slik at 

  
    
      
        n
        >
        N
        ⇒
        
          |
        
        
          x
          
            n
          
        
        −
        b
        
          |
        
        <
        ϵ
        .
      
    
    {\displaystyle n>N\Rightarrow |x_{n}-b|<\epsilon .}
  En følge kan ikke ha mer enn en grenseverdi.


== Eksempler på grenseverdier for reelle følger ==
Et utvalg av grenseverdier for følger:

  
    
      
        
          
            
              
              
                
                
                  lim
                  
                    n
                    →
                    ∞
                  
                
                
                  
                    1
                    
                      n
                      
                        p
                      
                    
                  
                
                 
                =
                 
                0
                
                p
                >
                0
              
            
            
              
              
                
                
                  lim
                  
                    n
                    →
                    ∞
                  
                
                
                  
                    p
                    
                      n
                    
                  
                
                 
                =
                 
                1
                
                p
                >
                0
              
            
            
              
              
                
                
                  lim
                  
                    n
                    →
                    ∞
                  
                
                
                  
                    n
                    
                      n
                    
                  
                
                 
                =
                 
                1
              
            
            
              
              
                
                
                  lim
                  
                    n
                    →
                    ∞
                  
                
                
                  
                    
                      n
                      
                        a
                      
                    
                    
                      (
                      1
                      +
                      p
                      
                        )
                        
                          n
                        
                      
                    
                  
                
                 
                =
                 
                0
                
                p
                >
                0
                ,
                 
                a
                ∈
                
                  
                    R
                  
                
              
            
            
              
              
                
                
                  lim
                  
                    n
                    →
                    ∞
                  
                
                
                  
                    (
                    
                      1
                      +
                      
                        
                          1
                          n
                        
                      
                    
                    )
                  
                  
                    n
                  
                
                 
                =
                 
                e
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{2}&\lim _{n\to \infty }{\frac {1}{n^{p}}}\ =\ 0\qquad p>0\\[5pt]&\lim _{n\to \infty }{\sqrt[{n}]{p}}\ =\ 1\qquad p>0\\[5pt]&\lim _{n\to \infty }{\sqrt[{n}]{n}}\ =\ 1\\[5pt]&\lim _{n\to \infty }{\frac {n^{a}}{(1+p)^{n}}}\ =\ 0\qquad p>0,\ a\in {\bf {R}}\\[5pt]&\lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}\ =\ e\end{alignedat}}}
  Den siste grenseverdien definerer eulertallet 
  
    
      
        e
      
    
    {\displaystyle e}
  .


== Definisjon av grenseverdier i metriske rom ==
Mengden av reelle tall er et spesialtilfelle av et metrisk rom, definert med metrikken

  
    
      
        d
        (
        x
        ,
        y
        )
        =
        
          |
        
        x
        −
        y
        
          |
        
      
    
    {\displaystyle d(x,y)=|x-y|}
  For en funksjon 
  
    
      
        f
        :
        U
        →
        V
      
    
    {\displaystyle f:U\rightarrow V}
  , der både 
  
    
      
        U
      
    
    {\displaystyle U}
   og 
  
    
      
        V
      
    
    {\displaystyle V}
   er delmengder av metriske rom, definerer en grenseverdier tilsvarende som for en reell funksjon, ved å erstatte absoluttverdien med metrikken.  Funksjon har grenseverdien 
  
    
      
        b
      
    
    {\displaystyle b}
   når funksjonsargumentet nærmer seg den endelige verdien 
  
    
      
        a
      
    
    {\displaystyle a}
  , dersom det for et hvert reelt tall 
  
    
      
        ϵ
        >
        0
      
    
    {\displaystyle \epsilon >0}
   finnes et reelt tall 
  
    
      
        δ
        >
        0
      
    
    {\displaystyle \delta >0}
  , slik at

  
    
      
        0
        <
        
          d
          
            U
          
        
        (
        x
        ,
        a
        )
        <
        δ
        ⇒
        
          d
          
            V
          
        
        (
        f
        (
        x
        )
        ,
        b
        )
        <
        ϵ
        .
      
    
    {\displaystyle 0<d_{U}(x,a)<\delta \Rightarrow d_{V}(f(x),b)<\epsilon .}
  Her er 
  
    
      
        
          d
          
            U
          
        
      
    
    {\displaystyle d_{U}}
   og 
  
    
      
        
          d
          
            V
          
        
      
    
    {\displaystyle d_{V}}
   metrikken i henholdsvis 
  
    
      
        U
      
    
    {\displaystyle U}
   og 
  
    
      
        V
      
    
    {\displaystyle V}
  .
En grenseverdi for en følge i et metrisk rom defineres tilsvarende.


== Definisjon av grenseverdier i normerte rom ==
For normerte vektorrom vil normen definere en metrikk:

  
    
      
        d
        (
        x
        ,
        y
        )
        =
        ‖
        x
        −
        y
        ‖
      
    
    {\displaystyle d(x,y)=\|x-y\|}
  I definisjon av en grenseverdi kan en la normen erstatte metrikken.


== Regneregler for grenseverdier ==
Anta at to funksjoner 
  
    
      
        f
        (
        x
        )
      
    
    {\displaystyle f(x)}
   og 
  
    
      
        g
        (
        x
        )
      
    
    {\displaystyle g(x)}
   begge er definert med en grenseverdi når funksjonsargumentet nærmer seg verdien 
  
    
      
        a
      
    
    {\displaystyle a}
  :

  
    
      
        
          
            
              
                
                  lim
                  
                    x
                    →
                    a
                  
                
                f
                (
                x
                )
                =
                
                  f
                  
                    0
                  
                
              
            
            
              
                
                  lim
                  
                    x
                    →
                    a
                  
                
                g
                (
                x
                )
                =
                
                  g
                  
                    0
                  
                
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{2}\lim _{x\to a}f(x)=f_{0}\\\lim _{x\to a}g(x)=g_{0}\end{alignedat}}}
  Da gjelder regnereglene

  
    
      
        
          
            
              
              
                
                
                  lim
                  
                    x
                    →
                    a
                  
                
                (
                 
                f
                (
                x
                )
                +
                g
                (
                x
                )
                 
                )
                 
                =
                 
                
                  f
                  
                    0
                  
                
                +
                
                  g
                  
                    0
                  
                
              
            
            
              
              
                
                
                  lim
                  
                    x
                    →
                    a
                  
                
                (
                 
                f
                (
                x
                )
                g
                (
                x
                )
                 
                )
                 
                =
                 
                
                  f
                  
                    0
                  
                
                
                  g
                  
                    0
                  
                
              
            
            
              
              
                
                
                  lim
                  
                    x
                    →
                    a
                  
                
                
                  
                    
                      f
                      (
                      x
                      )
                    
                    
                      g
                      (
                      x
                      )
                    
                  
                
                 
                )
                 
                =
                 
                
                  
                    
                      f
                      
                        0
                      
                    
                    
                      g
                      
                        0
                      
                    
                  
                
                
                
                  g
                  
                    0
                  
                
                ≠
                0
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{2}&\lim _{x\to a}(\ f(x)+g(x)\ )\ =\ f_{0}+g_{0}\\[5pt]&\lim _{x\to a}(\ f(x)g(x)\ )\ =\ f_{0}g_{0}\\[5pt]&\lim _{x\to a}{\frac {f(x)}{g(x)}}\ )\ =\ {\frac {f_{0}}{g_{0}}}\qquad g_{0}\neq 0\end{alignedat}}}
  Tilsvarende regneregler gjelder for følger.


== Ensidige grenseverdier for en funksjon ==
For en reell funksjon 
  
    
      
        f
        (
        x
        )
      
    
    {\displaystyle f(x)}
   av én variabel kan en også definere ensidige grenseverdier, ofte kalt henholdsvis venstresidig og høyresidig grenseverdi. Anta at definisjonsområdet for funksjonen inneholder intervallet 
  
    
      
        (
        
          a
          
            0
          
        
        ,
        a
        )
      
    
    {\displaystyle (a_{0},a)}
  .  Dersom 
  
    
      
        f
        (
        
          x
          
            n
          
        
        )
      
    
    {\displaystyle f(x_{n})}
   for alle følger 
  
    
      
        {
        
          x
          
            n
          
        
        }
      
    
    {\displaystyle \lbrace x_{n}\rbrace }
   konvergerer mot verdien 
  
    
      
        
          b
          
            −
          
        
      
    
    {\displaystyle b^{-}}
   når 
  
    
      
        n
      
    
    {\displaystyle n}
   går mot uendelig, så er 
  
    
      
        
          b
          
            −
          
        
      
    
    {\displaystyle b^{-}}
   den venstresidige grenseverdien i 
  
    
      
        a
      
    
    {\displaystyle a}
  .  Det eksisterer mange skrivemåter for en venstresidig grenseverdi:

  
    
      
        
          lim
          
            x
            →
            
              a
              
                −
              
            
          
        
        f
        (
        x
        )
         
      
    
    {\displaystyle \lim _{x\to a^{-}}f(x)\ }
   eller 
  
    
      
         
        
          lim
          
            x
            
            ↑
            
            a
          
        
        
        f
        (
        x
        )
         
      
    
    {\displaystyle \ \lim _{x\,\uparrow \,a}\,f(x)\ }
   eller 
  
    
      
         
        
          lim
          
            x
            ↗
            a
          
        
        
        f
        (
        x
        )
         
      
    
    {\displaystyle \ \lim _{x\nearrow a}\,f(x)\ }
   eller 
  
    
      
         
        
          lim
          
            x
            
              
                →
                <
              
            
            a
          
        
        f
        (
        x
        )
         
      
    
    {\displaystyle \ \lim _{x{\underset {<}{\to }}a}f(x)\ }
  Også en forenklet skrivemåte 
  
    
      
        f
        (
        x
        −
        )
      
    
    {\displaystyle f(x-)}
   kan bli brukt.En høyresidig grenseverdi 
  
    
      
        
          b
          
            +
          
        
      
    
    {\displaystyle b^{+}}
   defineres og skrives tilsvarende.  En funksjon har en grenseverdi i 
  
    
      
        a
      
    
    {\displaystyle a}
   hvis og bare hvis begge de to ensidige grenseverdiene eksisterer samt at de er like:

  
    
      
        
          lim
          
            x
            →
            a
          
        
        f
        (
        x
        )
        =
        
          lim
          
            x
            →
            
              a
              
                +
              
            
          
        
        f
        (
        x
        )
        =
        
          lim
          
            x
            →
            
              a
              
                −
              
            
          
        
        f
        (
        x
        )
      
    
    {\displaystyle \lim _{x\to a}f(x)=\lim _{x\to a^{+}}f(x)=\lim _{x\to a^{-}}f(x)}
  


== Itererte grenseverdier ==
For en en reell funksjon av flere variable kan en definere en grenseverdie ved hjelp en norm i definisjonsmengden, men det er også mulig å definere itererte grenseverdier, ved suksessivt å ta en-dimensjonale grenser.Gitt for eksempel funksjonen

  
    
      
        f
        (
        x
        ,
        y
        )
        =
        
          
            
              x
              −
              y
            
            
              x
              +
              y
            
          
        
      
    
    {\displaystyle f(x,y)={\frac {x-y}{x+y}}}
  For denne funksjonen kan en definere de to itererte grensene

  
    
      
        
          
            
              
                
                  lim
                  
                    x
                    →
                    0
                  
                
                 
                [
                
                  lim
                  
                    y
                    →
                    0
                  
                
                f
                (
                x
                ,
                y
                )
                ]
              
              
                
                =
                1
              
            
            
              
                
                  lim
                  
                    y
                    →
                    0
                  
                
                 
                [
                
                  lim
                  
                    x
                    →
                    0
                  
                
                f
                (
                x
                ,
                y
                )
                ]
              
              
                
                =
                −
                1
              
            
          
        
      
    
    {\displaystyle {\begin{alignedat}{2}\lim _{x\to 0}\ [\lim _{y\to 0}f(x,y)]&=1\\[5pt]\lim _{y\to 0}\ [\lim _{x\to 0}f(x,y)]&=-1\end{alignedat}}}
  Generelt vil rekkefølgen av grenseverdiene i iterasjonen være avgjørende for resultatet.  Dersom funksjonen har en grenseverdi i norm, så må all itererte grenseverdier være lik denne. Funksjonen i eksempelet over har altså ingen grenseverdi når 
  
    
      
        ‖
        (
        x
        ,
        y
        )
        ‖
      
    
    {\displaystyle \|(x,y)\|}
   går mot null.  


== Delfølgegrenser ==
En delfølge konstrueres ved å velge ut en uendeleig delmengde av elementene i en følge.  Dersom det er mulig å konstruere en delfølge som konvergerer mot en grense 
  
    
      
        b
      
    
    {\displaystyle b}
  , så er

  
    
      
        b
      
    
    {\displaystyle b}
   en delfølgegrense for den opprinnelige følgen.  En følge kan ha flere delfølgegrenser, uten selv å konvergere.
For en konvergent følge må alle delfølger ha samme grenseverdi som følgen selv.  
Dersom mengden av delfølgegrenser 
  
    
      
        A
      
    
    {\displaystyle A}
   til en gitt følge har en minste øvre skranke, en supremum, så defineres denne som limes superior for følgen.  Dette skrives på formen

  
    
      
        
          lim
          
            n
            →
            ∞
          
        
        sup
        
          x
          
            n
          
        
        =
        sup
        A
      
    
    {\displaystyle \lim _{n\to \infty }\sup x_{n}=\sup A}
  Limes inferior defineres tilsvarende, som den største nedre skranken.  
Et eksempel er gitt ved følgen der det 
  
    
      
        n
      
    
    {\displaystyle n}
  -te leddet er definert ved

  
    
      
        
          x
          
            n
          
        
        =
        1
        +
        
          
            
              (
              −
              1
              
                )
                
                  n
                
              
            
            n
          
        
      
    
    {\displaystyle x_{n}=1+{\frac {(-1)^{n}}{n}}}
  Denne rekken konvergerer ikke, men den har delfølgegrenser lik null og 1.  Lim sup er dermed lik 1 og lim inf lik null.  


== Eksempler på bruk av grenseverdier ==


=== Klassifikasjon av diskontinuiteter til en funksjon ===

En diskontinuitet til en funksjon 
  
    
      
        f
        (
        x
        )
      
    
    {\displaystyle f(x)}
   i verdien 
  
    
      
        x
        =
        a
      
    
    {\displaystyle x=a}
   kan studeres ved å se på de ensidige grenseverdiene til funksjonen. Dersom begge ensidige grenseverdier eksisterer, men ikke er lik en eventuell funksjonsverdi i 
  
    
      
        a
      
    
    {\displaystyle a}
  , så sies funksjonen å ha en diskontinuitet av første type i 
  
    
      
        a
      
    
    {\displaystyle a}
  .  Alle andre diskontinuiteter er av andre type.For en diskontinuitet av første type kan begge de to ensidige grenseverdiene være like, men ulike en eventuell funksjonsverdi i 
  
    
      
        a
      
    
    {\displaystyle a}
  .  I dette tilfelle er diskontinuiteten en uvesentlig (eller fjernbar) diskontinuitet.  Dersom de to ensidige grenseverdiene er ulike, så har funksjonen et sprang i 
  
    
      
        a
      
    
    {\displaystyle a}
  .  
For 
  
    
      
        x
        =
        0
      
    
    {\displaystyle x=0}
   har funksjonen vist i grafen til høyre en venstresidig grenseverdi lik null og en høyresidig grenseverdi lik 1.  Funksjonen har et sprang i 
  
    
      
        x
        =
        0
      
    
    {\displaystyle x=0}
  .


=== Grenseverdier for rekker ===
En rekke er en sum med et uendelig antall ledd.  Rekken har en grenseverdi dersom følgen av delsummer har en grenseverdi, det vil si dersom den følgende grenseverdien eksisterer:

  
    
      
        
          lim
          
            n
            →
            ∞
          
        
        
          ∑
          
            i
          
          
            n
          
        
        
          x
          
            i
          
        
      
    
    {\displaystyle \lim _{n\to \infty }\sum _{i}^{n}x_{i}}
  Forenklet skriver en grenseverdien ved å sette inn tegnet for uendelig i summetegnet:

  
    
      
        
          ∑
          
            i
            =
            0
          
          
            ∞
          
        
        
          
            1
            
              2
              
                n
              
            
          
        
        =
        2
      
    
    {\displaystyle \sum _{i=0}^{\infty }{\frac {1}{2^{n}}}=2}
  


=== Definisjon av uekte integral ===
I teorien for integrasjon av en reell funksjon av én variabel forutsetter en vanligvis at funksjonen er begrenset og definert på et endelig intervall.  Definisjonen av integralet kan imidlertid generaliseres til uekte integral, der disse forutsetningene ikke er oppfylte, ved å bruke grenseverdier.  Et integral over et uendelig område kan for eksempel defineres slik:

  
    
      
        
          ∫
          
            a
          
          
            ∞
          
        
        f
        (
        x
        )
        d
        x
        =
        
          lim
          
            t
            →
            ∞
          
        
        
          ∫
          
            a
          
          
            t
          
        
        f
        (
        x
        )
        d
        x
      
    
    {\displaystyle \int _{a}^{\infty }f(x)dx=\lim _{t\to \infty }\int _{a}^{t}f(x)dx}
  


== Se også ==
Asymptote
Opphopningspunkt


== Referanser ==


== Litteratur ==
W. Rudin (1976). Principles of Mathematical Analysis. Auckland: McGraw-Hill Book Company. ISBN 0-07-085613-3. 
Ronald Douglas Milne (1980). Applied functional analysis, an introductory treatment. London: Pitman Publishing Limited. ISBN 0-273-08404-6.