Set kompakt

set Compact a space topological danasîn li cover e ku subcover û aqilê ye. qadên Compact di Topology ji milkên xwe dikarin sîstemeke sets û aqilê di teoriya berê dirûvê.

set Compact an CD - A binkomeka a space topological, ya ku ji aliyê type of space kompakt bi xapandinê.

Devereke kompakt (precompact) tenê di doza a circuit kompakt danîn. Dema ku veqetandina space di subsequence convergent ew bên gazîkirin sequentially nasandin.

set Compact xwedî milkên taybetî:

- bi awayekî hevgirtî de tu display domdar;

- kumê girtî tim nasandin;

- bijection berdewam e, ku li ser kompakt danasîn ji bo homeomorphism behsa.

Wergerandî set kompakt in:

- bi sînor û komên Rn girtî;

- Binkom rabûn li qadên ku hev li axiom ji T1 divisibility;

- Eş Ascoli Arzela bîlançoya set kompakt ji bo qadên karîger hebû;

- space Stone ku mensûbê cebîrê Boolean;

- compactification of a space topological.

Ber çavan, rewşa set gerdûnî bi matematîkê de, kes nikare bêje ku ev set ku birîtî ye pirrengîyeke hêmanên bi milkên taybet e. Pê bi set tehrî din di nav pêkhatên cuda cuda nîqaş konseptê heye. Lê belê, milkên xwe ya li dijî bingeha eslî ya set in.

Di warê seretayî set gerdûnî Dallas bi komekê ji hejmarên temsîlkirin. Lê belê, xwedî roleke taybetî ye ji vê set di bîrdoza komê.

Koma hejmarên de komek ji hêmanên (hejmar) ku dibe ku bi xwezayî di dema pala xwe rabe. du helwêst di diyarkirina hejmarên xwezayî heye:

- veguhestina tomar (yekem, duyem, hwd.);

- Hejmara mijarên (yek, du, û hwd.).

Di vê rewşê de, cuda ne-hejmarên û tamjimarên negatîf ji bo cureyê xwezayî yên li hejmarên derbas nabin. Di warê matematîkî ya set ji hejmarên xwezayî, N. e Ev têgeha bêdawî ye, bi saya hebûna ti hejmara cureyên din ên hejmarên xwezayî xwezayî mezintir ji ya pêşî.

Berevajî xwezayî, hejmar hemû bi destê pêkanîna operasyonên matematîkî li ser dest ji hejmarên xwezayî , wek gel an jî derxistin. Koma hejmarên di matematîkê de Z. terxan kirin By derxistin encam ji bilî û multiplication ji du hejmarên e ku hejmara a type tenê ji eynî cureyê. Pêdivî bi vê type of hejmara xuyanîbûna ji ber nebûna karîna ji bo destnîşankirina cudahiya di navbera her du hejmarên. Ev e Michael Stifel nasandin ji bo matematîkê re tê hejmarê kêmek.

Ev pêwîstî bi baldar bi têgihên wek space nasandin. Ev term anîn PS Alexandrov, bi gotinên sergirtî têgiha a space Peymanê ew e nav matematîkê yên Frechet nasand. Têgihîştina full of type topological space kompakt Di doza ji subcovering û aqilê dewran vekirî. Di pêşketina piştre ji matematîkê, term compactness ji bo nîzama ji mezintîya bilindtir e ji hevtayê kêmtir xwe bû. Û niha ku bi compactness compactness fêmkirin, û wateya kevin, yên demdirêj di title of e "countably nasandin." Lê belê, herdu têgehên cezayeke in dema ku li qadên metric bikaranîn.