Inclusions with mappings acting from a metric space to a space with distance

The article deals with an inclusion in which a multivalued mapping acts from a metric space ( X, ρ) into a set Y with distance d . This distance satisfies only the first axiom of the metric: d y 1 , y 2 is equal to zero if and only if y1 = y2 . The distance does not have to be symmetric or to satisfy the triangle inequality. For the space ( Y, d ) , the simplest concepts (of a ball, convergence, the distance from a point to a set) are defined, and for a multivalued map G : X⇉Y , the sets of covering, Lipschitz and closedness are introduced. In these terms (allowing us to adapt the classical conditions of covering, Lipschitz property and closedness of mappings of metric spaces to the maps with values in ( Y, d ) and to weaken such conditions), a theorem on solvability of the inclusion F(x , x)∋ y is formulated, and an estimate for the deviation in the space (X , ρ) of the set of solutions from a given element x0 ∈ X is given. The main conditions of the obtained statement are the following: for any x from some ball, the pair ( x, y) belongs to the α -covering set of the mapping F (·, x) and to the β -Lipschitz set of the mapping Fx , ∙ , where α>β . The proof of the corresponding statement is based on the construction of the sequences { xn }⊂ X and { yn }⊂ Y satisfying the relations y n ∈Fx n ,x n , y ∈Fx n+1 ,x n , αρ (x n+1 , x n )≤d(y , y n )≤ βρ(x n , x n-1 ) . Also, in the paper, we obtain sufficient conditions for the stability of solutions of the considered inclusion to changes in the multivalued mapping F and in the element y .

metric, distance, inclusion, existence of solution, covering multivalued mapping