Grenseverditeoremet

Grenseverditeoremet is a term used in Norwegian mathematical literature to denote a family of theorems about the behavior of limits in analysis. Rather than a single statement, it refers to results that identify when a limit can be taken inside other operations or when the limit of a sequence of functions determines the limit of a related expression.

Typical results under this umbrella include: interchanging limit with integration or summation under conditions such as uniform or dominated convergence; interchanging limit with differentiation under suitable regularity, for example when a sequence of functions converges uniformly and their derivatives converge appropriately.

One common form: If f_n: [a,b] -> R are continuous and f_n -> f uniformly, then lim ∫_a^b f_n(x) dx = ∫_a^b f(x) dx.

Another form: If f_n are differentiable on [a,b], f_n' -> g uniformly, and f_n(x0) -> L, then f_n -> f uniformly on [a,b] where f' = g and f(x0) = L.

These statements reflect the general aim: to justify passing to the limit in expressions built from sequences of functions, and to clarify when limits commute with other common operations.

In Norwegian texts, the term grenseverditeoremet is used as a descriptive label for these limit-interchange results rather than as a single named theorem. See also: limit, uniform convergence, interchange of limit and integral, dominated convergence theorem, monotone convergence theorem. Further reading: standard texts on real analysis.