The following was the famous fixed point theorem introduced by Banach in 1922. The Banach contraction principle ([1] ). Let be a complete metric space, let F be a nonempty closed subset of X and let A ...

1 Department of Mathematics, Uttara University, Dhaka, Bangladesh. 2 Department of Computer Science & Engineering, Prime University, Dhaka, Bangladesh. 3 Department of Mathematics, Jashore University ...

This repository contains a Lean formalisation of the Banach Fixed Point Theorem (also known as the Contraction Mapping Theorem), a fundamental result in metric space theory. The theorem guarantees the ...

This paper proves that the Information Proliferation and Synthesis (IPS) system can be expanded in a dimensionless manner. \item IPS space $\Omega$ is a Banach space ...

Fixed point theory is a central topic in functional analysis that examines conditions under which a mapping in a Banach space admits points that remain invariant under the transformation. Particularly ...