Wang-Type Fixed Point Theorems for Expansive Maps in Hemi-Metric Spaces

This paper develops new fixed point results for expansive mappings within the framework of hemi-metric spaces. We show that every surjective expansive mapping defined on an h-complete hemi-metric space possesses a unique fixed point. A corresponding local version is also established on invariant h-complete subsets. The proposed results extend classical expansion-type fixed point theory from pairwise distance settings to multi-point (m + 1)-dimensional structures. The approach is based on an inverse contraction technique, which converts an expansive mapping into a contractive inverse mapping. Several examples are included to demonstrate the effectiveness of the theory. In addition, an application to a Fredholm integral equation is presented, illustrating the usefulness of the obtained results in functional analysis. These findings provide a natural generalization of existing results in generalized metric spaces.