FHP-compact

定義

• A bitopological space (X,τ_1,τ_2) is compact in the sense of Fletcher, Hoyle, and Patty (briefly,FHP-compact) if every p-open covering U = {U_s}_{s\in S} of X, that is, a family U = {U_s}_{s\in S} such that U \subset τ_1∪τ_2, Χ = ∪_{s\in S} U_s and U∩τ_i contains a nonempty set, has a finite subcovering.

出典

• Dvalishvili, B. P.,Bitopological spaces: theory, relations with generalized algebraic structures,and applications,North-Holland Mathematics Studies, 199. Elsevier Science B.V., Amsterdam, 2005.