Necessary Conditions for a Fixed Point of Maps in Non-Metric Spaces

Abstract

The main purpose of the present work is to introduce necessary conditions for a map on a non-metric space, defined by using a map on a metric space, to have a fixed point.

Share and Cite:

I. Raykov, "Necessary Conditions for a Fixed Point of Maps in Non-Metric Spaces," Advances in Pure Mathematics, Vol. 2 No. 6, 2012, pp. 371-372. doi: 10.4236/apm.2012.26055.

1. Introduction

Let X denote a complete (or compact) metric space and also a continuous map of X onto Y, where Y is a bounded closed topological normal space with a countable base.

What must be the conditions, in the means of the meric space X, such that the continuous map from Y onto Y will have a fixed point?

We suppose that (see [1-3]):

the continuous map (not one to one) and the continuous map are given and the continuous inverse map of f, exists.

We remind that Banach contraction principle for multivalued maps is valid and also the next Theorem, proved by H. Covitz and S. B. Nadler Jr. (see [4]).

Theorem 1. Let be a complete metric space and a conraction map (denotes the family of all nonempty closed bounded (compact) subsets of X). Then there exists such that.

2. Main Result

We consider now the next theorem:

Theorem 2. Let denote a complete (or compact) metric space and also:

a continuous map of onto, where is a bounded closed topological normal space with a countable base.

We suppose also that the maps:

is continuous and onto.

and

exists and it is continuous.

If is a point from and if we suppose also that.

Then if the rest terms of the sequence are received from and the rest of the terms of the sequence are determined by and if also is a Cauchy sequence and therefore convergent to a fixed point in, then the sequence will be also convergent to a fixed point in.

Proof. Let is a point from and let us suppose also that and let the rest terms of the sequence are received from .

Let also the rest of the terms of the sequence are determined by .

If is a Cauchy sequence then for any there exists an integer, such that for all integers i and k, and will be satisfied the inequality

and therefore the Cauchy sequence will be convergent with a fixed point in X, and because X is complete (or compact), i.e.

Since and and is a continuous map and is continuous map onto the closed and bounded space, and also and, therefore the sequence will be also convergent with a fixed point in, such that and, i.e.

Q.E.D.

3. Acknowledgements

We express our gratitude to Professor Alexander Arhangelskii from OU-Athens for creating the problem and to Professor Jonathan Poritz and Professor Frank Zizza from CSU-Pueblo for the precious help for solving this problem, and to Professor Darren Funk-Neubauer and Professor Bruce Lundberg for correcting some grammatical and spelling errors.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1] A. V. Arhangel’skii and V. V. Fedorchuk, “The Basic Concepts and Constructions of General Topology,” In: A. V. Arkhangel’skii and L. S. Pontrjagin, Eds., General Topology I, Encyclopedia of the Mathematical Sciences, Springer, Berlin, 1990.
[2] J. Dugundji, “Topology,” Allyn and Bacon, Inc., Boston, 1966.
[3] S. W. Davis, “Topology,” McGraw-Hill, Boston, 2005.
[4] L. Gorniewicz, “Topological Fixed Point Theory of Multivalued Mappings,” Springer Verlag, Berlin, 2006.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.