Some questions of the analysis of mappings of metric and partially ordered spaces

The questions of existence of solutions of equations and attainability of minimum values of functions are considered. All the obtained statements are united by the idea of existence for any approximation to the desired solution or to the minimum point of the improved approximation. The relationship between the considered problems in metric and partially ordered spaces is established. It is also shown how some well-known results on fixed points and coincidence points of mappings of metric and partially ordered spaces are derived from the obtained statements. Further, on the basis of analogies in the proofs of all the obtained statements, we propose a method for obtaining similar results from the theorem being proved on the satisfiability of a predicate of the following form. Let (X,≤) − be a partially ordered space, the mapping Φ:X×X→{0,1} satisfies the following condition: for any x∈X there exists x^'∈X such that x^'≤x and Φ(x^',x)=1. The predicate F(x)=Φ(x,x) is considered, sufficient conditions for its satisfiability, that is, the existence of a solution to the equation F(x)=1. This result was announced in [Zhukovskaya T.V., Zhukovsky E.S. Satisfaction of predicates given on partially ordered spaces // Kolmogorov Readings. General Control Problems and their Applications (GCP–2020). Tambov, 2020, 34-36].