aziz University, P.O.Box: 80203 Jeddah 21589, Saudi Arabia'
- 'Siedlce University of Natural Sciences and Humanities, 3 Maja 54, 08-110 Siedlce, Poland'
author:
- 'K. Keremedis, C. Özel, A. Pikosz, M. A. Al Shumrani, E. Wajch'
title: 'Compact complement topologies and k-spaces'
---

[^1]

Introduction
============

The compact complement topology of the real line was considered, for instance, in Example 22 of the celebrated book by Steen and Seebach“Counterexamples in Topology” ([@SS]). We investigate this notion in a much wider context of Hausdorff spaces and of partially topological spaces that belong to the class of generalized topological spaces in the sense of Delfs-Knebusch (cf. [@DK] and [@Pie1]). Our results are proved in $\mathbf{ZF}$ if this is not otherwise stated. All axioms of $\mathbf{ZF}$ can be found in [@Ku].

In section 2, we give elementary properties of the compact complement topology of a Hausdorff space. In particular, we show that if a Hausdorff space is locally compact and second countable, then its compact complement topology is second countable, while the compact complement topology of a non-locally compact metrizable space need not be first countable. We give an example of a countable metrizable space whose compact complement topology is not first countable. In section 3, a necessary and sufficient condition for a set to be compact with respect to the compact complement topology of a given Hausdorff space leads us to a new characterization of k-spaces. A well-known theorem of $\mathbf{ZFC}$ states that all first countable Hausdorff spaces are $k$-spaces (cf. Theorem 3.3.20 of [@E]). We show that this theorem may fail in $\mathbf{ZF}$. More precisely, we prove that, if $\mathcal{M}$ is a model of $\mathbf{ZF}$, then all Hausdorff first countable spaces of $\mathcal{M}$ are k-spaces if and only if all metrizable spaces in $\mathcal{M}$ are $k$-spaces which holds if and only if the axiom of countable multiple choice (Form 126 in [@HR]) is true in $\
aziz University, P.O.Box: 80203 Jeddah 21589, Saudi Arabia' 
 -' Siedlce University of Natural Sciences and Humanities, 3 Maja 54, 08 - 110 Siedlce, Poland' 
 author: 
 -' K. Keremedis, C. Özel, A. Pikosz, M. A. Al Shumrani, E. Wajch' 
 title:' Compact complement topologies and thousand - space' 
 --- 

 [ ^1 ] 

 Introduction 
 = = = = = = = = = = = = 

 The compact complement regional anatomy of the real occupation was considered, for instance, in Example 22 of the observe book by Steen and Seebach“Counterexamples in Topology ” ([ @SS ]). We investigate this notion in a a lot wide-eyed context of Hausdorff spaces and of partially topological space that belong to the class of generalized topological spaces in the sense of Delfs - Knebusch (cf. [ @DK ] and [ @Pie1 ]). Our results are prove in $ \mathbf{ZF}$ if this is not otherwise stated. All axioms of $ \mathbf{ZF}$ can be receive in [ @Ku ]. 

 In section 2, we give elementary properties of the compendious complement topology of a Hausdorff distance. In particular, we show that if a Hausdorff space is locally compendious and second countable, then its compact complement topology is second countable, while the compact complement topology of a non - locally compact metrizable space need not be first countable. We give an example of a countable metrizable space whose compact complement topology is not first countable. In section 3, a necessary and sufficient condition for a set to be compact with esteem to the compact complement topology of a feed Hausdorff quad leads us to a new characterization of potassium - space. A well - known theorem of $ \mathbf{ZFC}$ states that all inaugural countable Hausdorff spaces are $ k$-spaces (cf. Theorem 3.3.20 of [ @E ]). We show that this theorem may fail in $ \mathbf{ZF}$. More precisely, we prove that, if $ \mathcal{M}$ is a model of $ \mathbf{ZF}$, then all Hausdorff first countable space of $ \mathcal{M}$ are k - spaces if and only if all metrizable spaces in $ \mathcal{M}$ are $ k$-spaces which holds if and only if the maxim of countable multiple option (mannequin 126 in [ @HR ]) is true in $ \
azix University, P.O.Box: 80203 Jeddxh 21589, Saudi Arabic'
- 'Siedlre Univsrsity ow Natural Sciences and Humanmtiew, 3 Maha 54, 08-110 Siedlce, Poland'
autfor:
- 'K. Kervmedis, C. Özel, E. Pikosz, M. A. Al Shumrani, E. Wajdm'
titlz: 'Rompact complemgnt topologias and k-spaces'
---

[^1]

Hngrlduction
============

The compact complement topojogy of tje real line wws cpgsidsgeb, for instance, in Example 22 of tge celeurated book by Xteen and Seebach“Counterexwmplfs in Topology” ([@SS]). Ae investigqte eyis notion iv a much wpber context of Hausdorff spaces and of pargiallv topologicql spwwes that beoong no the class of generdlized yopological spscev ib the sense of Delfs-Kiebusch (cf. [@DK] and [@Pig1]). Our resunta are proved in $\mqtybf{ZF}$ if dhis us vot ovhedwise dtaved. All axikms of $\mathvf{ZF}$ can be found im [@Hl].

On section 2, se givq qlementary properties of the compact cokplsment topology of a Hauwdorff space. In partifular, we fhow that if a Hausdorff space is locally compact and adcoue couvrahle, then its compact complement topology is sqdomd countable, whije the compsch vjmplement topulogy of z non-locally compaft metryzablw space nted npt be first countable. We gice an examplv of a countable metrivable space chose vompavt complement topology ns not first counhable. In adction 3, a necessxry atd sufficient condition fow a set ti be compacg wijh respqct to the compact complement topopogy lf a given Hwusdorff space leads us to a nex characterizsthon of k-spaees. A eell-known thejrem of $\mathbf{EFC}$ statef thag all firsn countabne Hausdorfs spaces are $n$-dpaces (cf. Thxorem 3.3.20 of [@E]). Ww shiw that ghis theorem msy fail iu $\matybf{ZF}$. More preciseky, ds prove that, if $\mauhxal{M}$ is a modek ow $\mwtjbh{ZF}$, tran all Hausdmrff fifxt cojntable spages of $\kathcal{M}$ are k-spaces if znd only if all meyrlzable spqces in $\iathcal{M}$ are $l$-spaces which holdd if end onuy if thg axiom of countable multiple cgoice (Forl 126 ln [@HR]) is true in $\
aziz University, P.O.Box: 80203 Jeddah 21589, Saudi 'Siedlce of Natural and Humanities, 3 author: 'K. Keremedis, C. A. Pikosz, M. Al Shumrani, E. Wajch' title: 'Compact topologies and k-spaces' --- [^1] Introduction ============ The compact complement topology of the line was considered, for instance, in Example 22 of the celebrated book by and in ([@SS]). investigate this notion in a much wider context of Hausdorff spaces and of partially topological spaces belong to the class of generalized topological spaces the sense of Delfs-Knebusch [@DK] and [@Pie1]). Our results proved $\mathbf{ZF}$ if is otherwise All axioms of can be found in [@Ku]. In section 2, we give elementary properties of the compact complement topology a Hausdorff particular, we that a space is locally second countable, then its compact complement countable, while the compact complement topology of a compact metrizable need not be first countable. We an example of a countable metrizable space whose complement topology is not first countable. In section 3, a necessary and sufficient condition for to be compact with to the compact topology a Hausdorff leads us a new characterization of k-spaces. A well-known theorem of $\mathbf{ZFC}$ states all first countable Hausdorff spaces are $k$-spaces (cf. Theorem 3.3.20 We that this theorem fail in $\mathbf{ZF}$. More we that, if $\mathcal{M}$ is of then countable of are k-spaces if and if all metrizable spaces in are $k$-spaces which holds axiom of countable multiple choice (Form 126 in is true in $\
aziz University, P.O.Box: 80203 Jeddah 21589, saudi ArabiA'
- 'SiedLce uniVeRsitY of NAtural Sciences ANd HuManities, 3 Maja 54, 08-110 Siedlce, PolAnd'
auThOR:
- 'K. KeREmEdis, C. özel, A. PiKOsZ, m. a. Al shUmRanI, E. wAjCh'
titLe: 'COmpact cOmplement tOpoLoGies and k-spacES'
---

[^1]

INtroductioN
============

ThE compact compLemEnt topOlOgy OF the rEal Line wAs consIDered, fOr instancE, iN examplE 22 Of the ceLEBrAted Book by Steen and SeeBAcH“counterexampleS in TopOlOGy” ([@ss]). we iNveStigate thiS nOtion IN a much wIDeR CONteXT of Hausdorff sPaces and of pARtiAlly toPoLogICal spaCes thAt BEloNg to the clasS of gEneralizeD topolOGical spACes in thE sense Of DElfS-KneBUsCh (Cf. [@Dk] aND [@PiE1]). ouR reSUltS are provEd In $\MathbF{ZF}$ iF THIS is nOt oTherWise sTated. All axiomS of $\MathBF{ZF}$ Can be Found In [@Ku].

in SectiOn 2, we giVe eleMeNtary properties Of thE compact cOmpLeMenT tOpoloGY of a HaUsdOrfF space. IN particULar, We SHOW tHat if a Hausdorff spaCe IS LoCally comPact anD SeCoND countabLe, TheN its COMpact CompLEmEnt topolOgy is sECoNd CountabLe, While tHe ComPacT compLEmenT topolOgy of a noN-locaLLy compact metriZAble space need NOt BE FiRSt coUntAble. We give aN exaMPle oF a coUNtAblE MetriZable SpACe WHose compact complemeNt TopoloGy is nOt first countaBle. In sectiON 3, A NecessarY and SUfFIcient conditioN for a Set to be comPAct with rEspecT to the coMpact compLEMent topoLogY of A giVen hAUsDorff space leaDS Us to A nEw charaCteRizatioN of K-spAceS. A wElL-known theOrem of $\maThBf{zFc}$ sTatEs thaT All first CoUntAbLe HAusdoRFf spacEs are $K$-spaCeS (cF. theOrem 3.3.20 of [@E]). wE sHOW thaT tHiS theOreM mAy faiL in $\mAThbF{ZF}$. More Precisely, We pROve tHaT, iF $\mathcaL{M}$ is a model of $\mAtHbf{ZF}$, then aLl hauSdorff FIRst countAble spaces of $\mathcal{M}$ are K-Spaces iF anD only If alL metrizabLe sPaces iN $\maTHcal{M}$ aRe $k$-spaCes whIcH hoLDS if anD ONlY if ThE axiom of coUNTabLe mulTiPle cHoice (FoRm 126 in [@HR]) is true in $\
aziz University, P.O.Box:80203 Jedd ah 21 589 , S au di A rabi a'
- 'SiedlceU nive rsity of Natural Scien ces a nd Huma n it ies,3 Maja5 4, 0 8-1 10  S ied lc e ,Polan d'author: 
- 'K. Ker eme di s, C. Özel,A .Pikosz, M.  A.  Al Shumrani , E . Wajc h' 
ti t le: ' Com pactcomple m ent to pologiesan d  k-spa c es'
--- [^ 1]
Introduction
==== = == = ====

The comp act co mp l em e n t t opo logy of th ereall ine was co n s i der e d, for instan ce, in Exam p le22 ofth e c e lebrat ed bo ok bySteen and S eeba ch“Counte rexamp l es in T o pology”  ([@SS ]).  We  inv e st ig ate  t h isn ot ion ina much w id er  cont exto f H ausd orf f sp acesand of partia lly  top o log icalspace s th at  belo ng tothe c la ss of generaliz ed t opologica l s pa ces  i n the senseofDel fs-Kneb usch (c f . [ @D K ] an d [@Pie1]). Our re su l t sare prov ed in$ \m at h bf{ZF}$if  th is i s not o ther w is e stated . Alla xi om s of $\ ma thbf{Z F} $ c anbe fo u nd i n [@Ku ].

In s ectio n  2, we give el e mentary prope r ti e s  o f  the  co mpact compl emen t  top olog y  o f a Hausd orffsp a ce .  In particular, wesh ow tha t ifa Hausdorff s pace is lo c a l ly compa ct a n ds econd countabl e, th en its com p act comp lemen t topolo gy is sec o n d counta ble , w hil e t h e  c ompact comple m e nt t op ology o f a  non-lo cal lycom pac tmetrizabl e spacene ed  n ot  be  firs t  countab le . W egiv e ane xample  of a  cou nt ab l e m etrizab l es p acewh os e co mpa ct  comp leme n t t opology  is not f irs t  cou nt ab le. Insection 3, ane cessary an dsuf ficien t conditio n for a set to be compa c t withres pectto t he compac t c omplem ent topolo gy ofa giv en  Ha u s dorff s pa cele ads us toa new  char ac teri zationof k-spaces. A wel l -kn own theorem o f $ \mat h b f{ ZFC } $s tat es tha t all first count able Hausd or f fspaces are $k$ -s paces ( cf. The orem3 .3.20 o f [@E]).We show t ha t th i s  th eorem mayfail in$\mathbf{ Z F}$.M or e pre cis ely, w epro ve th at, if $\m athca l{M}$is  a mod el of  $ \mathbf{ ZF}$, then all Hausdorf f firs t cou nta ble space s o f  $\ mathcal{M }$ a re k-space s i f a nd on lyi f all  met r iz abl e  spac es i n  $\mathca l {M }$a r e$k$-spacesw h i chholds  if and on ly i f the axiom of co u ntable multipl e ch o i ce(Fo r m 12 6in [@HR]) is t rue  i n $\
aziz University,_P.O.Box: 80203_Jeddah 21589, Saudi Arabia'
-_'Siedlce University_of_Natural Sciences_and_Humanities, 3 Maja_54, 08-110 Siedlce,_Poland'
author:
- 'K. Keremedis, C._Özel, A. Pikosz,_M._A. Al Shumrani, E. Wajch'
title: 'Compact complement topologies and k-spaces'
---

[^1]

Introduction
============

The compact complement topology of_the_real line_was_considered,_for instance, in Example 22_of the celebrated book by_Steen and_Seebach“Counterexamples in Topology” ([@SS]). We investigate this notion_in_a much wider_context of Hausdorff spaces and of partially topological spaces_that belong to the class of_generalized topological spaces_in_the_sense of Delfs-Knebusch (cf._[@DK] and [@Pie1]). Our results are_proved in $\mathbf{ZF}$ if this is_not otherwise stated. All axioms of $\mathbf{ZF}$_can be found in [@Ku].

In section_2, we give elementary properties_of the_compact complement topology of a_Hausdorff space. In_particular, we_show that if_a Hausdorff space is locally compact_and second countable,_then its compact complement topology is_second_countable, while the_compact_complement_topology of_a non-locally compact_metrizable_space need_not_be first countable. We give an_example_of a countable metrizable space whose compact_complement topology is not_first_countable. In section 3,_a necessary and sufficient condition_for a set to be compact_with respect_to the_compact complement topology of a given Hausdorff space leads us to_a new characterization of k-spaces. A_well-known theorem of $\mathbf{ZFC}$_states that_all_first countable Hausdorff_spaces_are $k$-spaces_(cf. Theorem 3.3.20 of [@E]). We show_that this_theorem may fail in $\mathbf{ZF}$. More_precisely, we prove that,_if_$\mathcal{M}$ is a model of $\mathbf{ZF}$,_then all Hausdorff first countable spaces_of $\mathcal{M}$ are k-spaces if_and_only_if all metrizable spaces in_$\mathcal{M}$ are $k$-spaces which holds if_and only if_the axiom of countable multiple choice (Form_126_in [@HR]) is true in $\