Then, M is nonempty because u ∈ M and using the facts that the functions ψ
and ω(u, .) are lower semicontinuous, it is easy to show that the set M is closed
in X. Thus M is a complete metric space. Now, we show that f(M) ⊆ M.
Note that for each x ∈ M , we have