Abstract:We consider a new type of mappings in metric spaces which can be characterized as mappings contracting perimeters of triangles. It is shown that such mappings are continuous. The fixed-point theorem for such mappings is proved and the classical Banach fixed-point theorem is obtained like a simple corollary. An example of a mapping contractive perimeters of triangles which is not a contraction mapping is constructed.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce a new type of mapping in the metric space, namely, the mapping that shrinks the perimeter of a triangle, and prove the fixed - point theorem of this mapping. Specifically, the author considered a new class of mappings \(T: X\rightarrow X\), which can be described as the mappings that shrink the perimeter of a triangle composed of any three distinct points in the metric space \((X, d)\). The main contributions of the paper include:
1. **Define a new type of mapping**: The author defined the "mapping that shrinks the perimeter of a triangle", that is, there exists a constant \(\alpha\in[0, 1)\) such that for any three distinct points \(x, y, z\in X\), the following inequality is satisfied:
\[
d(Tx, Ty)+d(Ty, Tz)+d(Tx, Tz)\leq\alpha(d(x, y)+d(y, z)+d(x, z))
\]
2. **Prove continuity**: The author proved that this type of mapping is continuous.
3. **Fixed - point theorem**: The author proved that in the complete metric space \((X, d)\), if the mapping \(T\) satisfies the following two conditions:
- (i) For all \(x\in X\) and \(Tx\neq x\), we have \(T(T(x))\neq x\).
- (ii) \(T\) is a mapping that shrinks the perimeter of a triangle.
Then \(T\) has at least one fixed point and at most two fixed points.
4. **Relationship with classical results**: The author showed that the classical Banach fixed - point theorem can be regarded as a simple corollary of this new theorem.
5. **Example**: The author constructed a specific example to illustrate that there exists a mapping that shrinks the perimeter of a triangle, but it is not a traditional contraction mapping.
Through these contributions, the paper has expanded the research scope of the fixed - point theory and provided new perspectives and tools for understanding and applying the fixed - point theorem.