Continuous Functions. Jacques Simon
Чтение книги онлайн.
Читать онлайн книгу Continuous Functions - Jacques Simon страница 8
Examples — abstract-valued function spaces:
— Cb(Ω; E) is endowed with the semi-norms
— C(Ω; E) is endowed with the semi-norms
— Lp(Ω; E) is endowed with the semi-norms
Examples — weak space, dual space:
— E-weak is endowed with the semi-norms
— E′ is endowed with the semi-norms
— E′-weak is endowed with the semi-norms
— E′-*weak is endowed with the semi-norms
Neumann spaces and others:
— A sequentially complete space is a space in which every Cauchy sequence converges.
— A Neumann space is a sequentially complete separated semi-normed space.
— A Fréchet space is a sequentially complete metrizable semi-normed space.
— A Banach space is a sequentially complete normed space.
Advantages of using semi-norms rather than topology:
— Semi-norms allow the definition of Lp(Ω; E) (by raising the semi-norms of E to the power p).
— They allow the definition of the differentiability of a mapping from a semi-normed space into another (by comparing the semi-norms of an increase in the variable to the semi-norms of the increase in the value).
— They are easy to manipulate: working with them is just like working with normed spaces, the main difference being that there are several semi-norms or norms instead of a single norm.
— Some definitions are simpler, for example that of a bounded set
Notations
SPACES OF FUNCTIONS
|
space of uniformly continuous functions with bounded support |
|
space of continuous functions |
|
space of bounded continuous functions |
|
space of continuous functions with support included in the compact set K ⊂ Ω |
|
space of gradients of continuous functions |
|
set of positive continuous real functions |
|
space of m times continuously differentiable functions, and the case m = ∞ |
|
id. with bounded derivatives, and the case m = ∞ |
|
id. with support included in the compact set K ⊂ Ω, and the case m = ∞ |
|
space |
|
set of functions in |
C(Ω; E) | space of uniformly continuous functions |
Cb(Ω; E) | space of bounded uniformly continuous functions |
CD (Ω; E) | id. with support included in the compact subset D of ℝd |
|
space |