WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Banach fixed-point theorem

Revision #491 → #1027 · back to history

addedContraction mappingcff0ae21d7c9
addedBanach fixed-point theoremec80a2f4b815
addedA priori / a posteriori error estimatesa9cc68ec752d
addedLipschitz constantf33d47c2d90c
addedStrict contraction without uniform constant: T(x)=x+1/x158881f71cbd
addedEdelstein: compact + strict contraction has a unique fixed pointf59433b787fe
addedApplication: Picard–Lindelöf theorem462afb908a2c
addedLipschitz perturbations of the identity are bi-Lipschitz homeomorphisms7f5985910d9f
addedApplication: inverse function theoreme25757416531
addedApplication: Newton's methodb32c7105d1cc
addedApplication: Nash embedding theorem92b3ccf9ef53
addedBessaga converse to Banach's contraction principle68863f164322
addedHitzler–Seda T₁ converse (ultrametric construction)17b30ad50d55
addedGeneralization: a contracting iterate suffices9fba9c515b21
addedGeneralization: summable Lipschitz constants of iterates691b55b2cbd5
addedIterative computation of π via f(x) = x + sin x785eb35d1d12