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 . Thenby 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
There are currently no matching articles.