Diseke ee sete

Diseke ee sete ke topology sebaka hlalositswe sekoahelo e lekanyelitsoeng subcover. bobuelli diseke ee ka topology thepa tsa bona le ka tšoana le mokhoa oa dikelaka lekanyelitsoeng ka khopolo eo e lekanang.

Diseke ee sete kapa CD - le karolo ea sebaka topology, eo o susumetsoa ke mofuta oa sebaka diseke ee.

E batlang e diseke ee (precompact) e beha feela tabeng ea potoloho diseke ee. Ha tekatekanyo sebaka ka subsequence convergent ho ka bitsoa sequentially diseke ee.

Diseke ee sete na thepa e itseng:

- tsela diseke ee bontshiweng efe kapa efe e tsoelang pele;

- koetsoeng karolo kamehla e na le diseke ee;

- e tsoelang pele bijection, e leng e hlalosoa ka diseke ee e bua ka homeomorphism.

Mehlala diseke ee sete tse:

- feela le koaloa dikelaka RN;

- subsets lekanyelitsoeng ka libaka tse tšoanang le axiom tsa divisibility T1;

- Theorem Ascoli Arzela bontšang diseke ee sete ya itseng libaka tshebetso;

- Stone sebaka bao e leng ea alejibra Boolean;

- compactification tsa sebaka sa topology.

Hlahloba bokahohleng sete boemo ba le thuto ea lipalo, e mong a ka ba pheha khang ea hore sena se ke sete tse kenyelletsa ditokiseletso e plurality likarolo le thepa e itseng. Hammoho le sete e nngwe inahaneloang akarelletsa ho dikarolo tse fapa-fapaneng tšohloa ya kgopolo ya teng. Leha ho le joalo, thepa lona tse kgahlanong le hantle haholo ya sete ena.

Naheng ea mathomo mentlele sete bokahohleng e emeloa ke sete ya inthenja. Leha ho le joalo, karolo e khethehileng e leng oa sete ena ka khopolo sete.

E behiloeng ea inthenja akarelletsa ho sete ya metsoako (linomoro) hore 'na ha hlaha ka tlhaho nakong bala. Ho na le mekhoa e peli beha linomoro tsa tlhaho:

- phetiso ya dintho (pele, ea bobeli, joalo-joalo);

- palo ba bafo ba (se le seng, tse peli tse, joalo-joalo).

Tabeng ena, tse fapa-fapaneng bao e seng inthenja le inthenja mpe ho mofuta tlhaho ea linomoro ha e sebetse. Tšimong ea thuto ea lipalo tsa sete ya linomoro tlhaho N. ya kgopolo ya Sena ke le sa feleng, ka lebaka la ho ba teng ha palo efe kapa efe ea mefuta e meng ea lintho tsa tlhaho palo tsa tlhaho bo boholo ho feta ba pele.

Ho fapana le likoluoa tsa tlhaho, linomoro kaofela li fumanoa ka ho kenngwa tshebetsong ha tshebetso thuto ea lipalo ka linomoro tsa tlhaho e le phaella moo kapa ho tlosa. E behiloeng ea inthenja ka thuto ea lipalo le khethoa Z. By go ntsha dipalophatlo tsa liphello tsa phaella moo le katiso ea linomoro e 'meli ke palo ea mofuta feela ya mofuta o le mong. Ho hlokahala hore mofuta ona wa linomoro ketsahalo e ka lebaka la ho haelloa ke matla a ho fumana phapang pakeng tsa inthenja tse peli. Ho Michael Stifel tsebisoa mmetse ya motheo wa linomoro negative.

Ho hloka hloko nahana ho bopa dikgopolo tsa kang sebaka diseke ee. lentsoe lena e hlahiswa PES Alexandrov ho matlafatsa khopolo ea sebaka se diseke ee e hlahiswa ka thuto ea lipalo tsa Frechet. Ea nang le kutloisiso e feletseng ea topology mofuta sebaka diseke ee tabeng ea psha subcovering mong le sekoahelo bulehileng. Ka ntshetsopeleng morago ga moo e sa thuto ea lipalo, poleloana e reng compactness e-ba ka taelo ea boholo phahame ho feta molekane lona tlaase. 'Me joale e se utlwisiswa ke compactness compactness,' me kutloisiso ea khale ea poleloana e reng ke ka e le sehlooho sa "countably diseke ee." Leha ho le joalo, bopa dikgopolo tsa bobeli tse lekanang le ha sebelisoa ka libaka meteriki.