The integration functional satisfies . If never vanishes, its sign is constant and attains equality. In general use the continuous functions , of supremum norm at most . Then
by the dominated convergence theorem. Therefore . Every bounded subset of its finite-dimensional target is relatively compact, so is compact, including when .

Articles by others on the same topic (0)

There are currently no matching articles.