Analysis MOC

Contraction map

A contraction map is a function 𝑓 :𝑋 →𝑌 between metric spaces (𝑋,𝑑𝑋) and (𝑌,𝑑𝑌) where for some 0 ≤𝐿 <1

for all 𝑥,𝑦 ∈𝑋. #m/def/anal Such a function is herefore a Lipschitz continuous function for which 𝑑𝑌(𝑓(𝑥),𝑓(𝑦)) <𝑑(𝑥,𝑦).

Properties

• Contraction map theorem states contracting endomorphisms of complete metric spaces have a fixed point.

#state/tidy | #lang/en | #SemBr