Fa5 Compact Subsets
Fa5 Compact Subsets
We want to find out which subsets of the spaces C(K; K) (K compact) and Lp (Ω; K) (Ω
open) are compact. We already know that the closed unit balls in these spaces are not
compact, as this is true only for finite-dimensional spaces.
Two notions of compactness.
Proposition 5.1
Let (X, d) be a metric space. Then there are equivalent:
(i) X is sequentially compact, that is, every sequence in X has a subsequence which
converges to some element of X.
(ii) Every open covering of X has a finite subcovering, that is: If (Ui )i∈I is a family of
open subset of X such that [
X= Ui ,
i∈I
Proof: Omitted. 2
A side remark: In general topological spaces, (i) and (ii) are not equivalent.
46
Lemma 5.4 Let Ω ⊂ Rn , F ⊂ C(Ω; K), assume that there exists an L such that
Then F is equicontinuous.
Proof: Setting δ = ε/L we see that F has the property required in Definition 5.3. 2
When F ⊂ C 1 (Ω), it follows from the mean value theorem that (5.1) holds, if there exists
a C > 0 such that
This criterion is often used to prove equicontinuity of a given set F of continuous functions.
Proof: Omitted. 2
It is defined for f, g ∈ L1 (Rn ) and yields a function f ∗ g ∈ L1 (Rn ) with the properties
One can approximate a given function by smooth functions if one convolves it with suitable
functions. We define
(
exp − 1t , t > 0 ,
ψ : R → R , ψ(t) = (5.5)
0, t ≤ 0,
ψ̃ : R → R , ψ̃(r) = ψ(1 − r2 ) , (5.6)
η1 : R n → R , η1 (x) = αψ̃(kxk) . (5.7)
47
The functions ηε are radially symmetric (that is, they only depend upon kxk), and have
the properties (as developed in integration theory)
Z
∞ n
ηε ∈ C0 (R ) , supp (ηε ) = K(0; ε) , ηε ≥ 0 , ηε (x) dx = 1 . (5.10)
Rn
For functions which are not defined on the whole of Rn we too want to consider convolution
with the standard mollifier.
In the following, we no longer distinguish between f and f˜, and just write f for both
functions.
48
Next, we see that for p ≥ 1 (for p > 1 we use the estimate from the previous line)
Z Z Z Z Z
ε p p p
|f (y)| dy ≤ |f (x)| ηε (y − x) dx dy = |f (x)| ηε (y − x) dy dx
Ω ZΩ Ω Ω Ω
≤ |f (x)|p dx .
Ω
2
By C0 (Rn ) we denote the space of functions which are continuous on Rn and have compact
support.
Since f has compact support and therefore is uniformly continuous on Rn , the assertion
follows. 2
Lemma 5.8 Let Ω ⊂ Rn be open and bounded, let f ∈ Lp (Ω), 1 ≤ p < ∞. Then f ε → f
in Lp (Ω) for ε → 0.
49
Proposition 5.9 Let Ω ⊂ Rn be open and bounded, let f ∈ Lp (Ω), 1 ≤ p < ∞. Then
Z
lim |f (x + h) − f (x)|p dx = 0 . (5.16)
h→0 Ω
kτh f − f kLp (Ω) ≤ kτh f − τh f ε kLp (Ω) + kτh f ε − f ε kLp (Ω) + kf ε − f kLp (Ω) .
Let γ > 0. For ε > 0 sufficiently small, the third and also the first term on the right side
are smaller than γ/3 for all h with khk ≤ ε because of
As f ε is uniformly continuous on Ω, for h sufficiently small the second term, too, is smaller
than γ/3. This proves the assertion. 2
Condition (5.17) means that the passage to the limit h → 0 is uniform with respect to F .
Proof: Omitted. 2
50