Grenseverditeorem

Grenseverditeorem er et norsk begrep som refererer til teoremer og resultater i analyse som håndterer grenser og grenseverdier for sekvenser, funksjoner og integraler. Begrepet brukes ofte som en samlebetegnelse for ulike teoremer som beskriver hvordan grenser oppfører seg under forskjellige operasjoner, og det er ikke ett enkelt standardisert teorem med dette navnet. I praksis brukes uttrykket for å beskrive prinsipper som gjør det mulig å overføre kjennetegn ved grenser gjennom operasjoner som sammensetning, addisjon, multiplikasjon og integrasjon.

Noen vanlige prinsipper som ofte omtales under grenseverditeoremer:

- Grenseverdi-lovene: Hvis en_n → L og b_n → M, så blir a_n + b_n → L + M, a_n b_n → LM, og hvis M ≠ 0, også a_n / b_n → L / M. Mange varianter gjelder også for eksponentiering og andre operasjoner.

- Komposisjon og kontinuitet: Hvis a_n → L og f er kontinuerlig i L, så får man f(a_n) → f(L).

- Grenser og integraler/rekkene: Under visse forhold kan man bytte grensen med integral eller u- eller vektet sums i det som kalles grense-/konvergensteoremer, for eksempel Dominated Convergence Theorem og Monotone Convergence Theorem i analyse.

Anvendelser og forholdet til andre konsepter: Grenseverditeoremer er sentrale i grundlaget for kontinuitet, konvergens og numerisk analyse, samt i teoretisk og anvendt matematikk. Se også grensebegreper, konvergens, kontinuitet og relevante konvergensteoremer.