Ikkăd issin harătan wi addobăt nen asukni n as tăqqimt n edag wan Euclide eqqal amătikwi Ikf-i isalan win daɣ alisteɣmar n bullet
Context:Almaɣna tan ajjotnen n compactness addoben a tan ijji fal edag wan generality Subset n edag wan Euclidean s tizarat isim net compact a fal eqqal a eɣlasan tolas ilkam i alxadud Awen assikna, s Bolzano <unk> Weierstrass theorem, as anmillal fuk war n ila akkoz ɣur tartit ila anmillal andarran s taqqimt daɣ tartit Isim tan ajjotnen olahnen n compactness chund sequential compactness d limit point compactness addoben ad aj in efes daɣ ihandagan n metric  Daɣ anmizlay, ismawan izlaynen n compactness war ogdah nat daɣ idagan n topology tolas isim wa ojjaran n compactness <unk> s isim net wan aru bicompactness <unk> ijja almaɣna s cover tan ahanen open sets (ikyid almaɣna n Open cover s andarran) As dumu wen n compactness ijja fal subsets ahanen id ifrusan n edag wan Euclidean isim net theorem wan Heine<unk>Borel Compactness, alwaq wa id ijja almaɣna net s immik wen, alwaqqan iyyad ehak awadim ad ijji isalan issanen daɣ edag <unk> daɣ ahinzazaɣ n titbaqqet fuk n edag <unk> d asiwad n isalan wi ahanen alɣalim daɣ edag fuk Almital n harat wen eqqal Dirichlet's theorem s inta a exdam Heine s tizarat, as alxidmăt tijja fal anmizlay eqqalan a oɣadăn; daɣ awen, alɣălim eqqal harat n edag n alxidmăt tolas alɣălim olahan eqqal harat n alɣălim
Daɣ awa allaɣat Heine-Borel theorem, tilaten tin uchray ilzam nat musnat n as subset n edag wan Euclidean eqqal a orakan: - Edag eqal ayknan - Edag eqal aygan