Infra soft compact spaces and application to fixed point theorem (Q1981860)

Summary: Infra soft topology is one of the recent generalizations of soft topology which is closed under finite intersection. Herein, we contribute to this structure by presenting two kinds of soft covering properties, namely, infra soft compact and infra soft Lindelöf spaces. We describe them using a family of infra soft closed sets and display their main properties. With the assistance of examples, we mention some classical topological properties that are invalid in the frame of infra soft topology and determine under which condition they are valid. We focus on studying the ``transmission'' of these concepts between infra soft topology and classical infra topology which helps us to discover the behaviours of these concepts in infra soft topology using their counterparts in classical infra topology and vice versa. Among the obtained results, these concepts are closed under infra soft homeomorphisms and finite product of soft spaces. Finally, we introduce the concept of fixed soft points and reveal main characterizations, especially those induced from infra soft compact spaces.