Topological Hypergroups in the Sense of Marty

In this paper, we introduce the concept of topological hypergroups as a generalization of topological groups. A topological hypergroup is a nonempty set endowed with two structures, that of a topological space and that of a hypergroup. Let (H, ○) be a hypergroup and (H, τ) be a topological space such that the mappings (x, y) → x ○ y and (x, y) → x/y from H × H to 𝒫*(H) are continuous. The main tool to obtain basic properties of hypergroups is the fundamental relation β*. So, by considering the quotient topology induced by the fundamental relation on a hypergroup (H, ○) we show that if every open subset of H is a complete part, then the fundamental group of H is a topological group.

It is important to mention that in this paper the topological hypergroups are different from topological hypergroups which was initiated by Dunkl and Jewett.