Compact space (original) (raw)
في الرياضيات، يطلق على مجموعة جزئية من الفضاء الإقليدي اسم فضاء متراص إذا كانت مغلقة ومحدودة. على سبيل المثال في مجموعة الأعداد الحقيقية R تكون المجموعة الجزئية [0, 1] هي مجموعة متراصة ولكن ذات المجموعة في مجموعة الأعداد الصحيحة لا تكون متراصة (لأنها ليست محدودة). بتعريف أكثر حداثة، يطلق على فضاء طوبولوجي اسم فضاء متراص إذا كان كل من أغطيته المفتوحة لها غطاء جزئي منتهي.
| Property | Value |
|---|---|
| dbo:abstract | Kompaktní množina, nebo také kompaktní prostor, je taková množina bodů topologického prostoru, že z každého jejího pokrytí otevřenými množinami lze vybrat pokrytí konečné. Tato definice v topologii zobecňuje a formalizuje intuitivní představu konečného objemu. V Euklidovských prostorech jsou kompaktní množiny právě omezené a uzavřené podmnožiny. Například v množině reálných čísel R je uzavřený interval [0, 1] kompaktní množinou, ale množina celých čísel Z nikoliv (není omezená). Stejně tak polouzavřený interval [0, 1) není kompaktní množinou, protože to není uzavřená množina. Na metrických prostorech lze ekvivalentně definovat kompaktní množinu pomocí posloupností: kompaktní množina je taková množina, že z každé posloupnosti v této množině lze vybrat posloupnost konvergentní (v této množině), tuto vlastnost nazýváme . Kompaktní množina je na těchto prostorech uzavřená a omezená, (ovšem pozor, opačná implikace obecně neplatí). V konečnědimenzionálních normovaných vektorových prostorech je množina kompaktní pravě tehdy, když je uzavřená a omezená. Prostor se označuje jako lokálně kompaktní, existuje-li ke každému jeho bodu kompaktní okolí. (cs) في الرياضيات، يطلق على مجموعة جزئية من الفضاء الإقليدي اسم فضاء متراص إذا كانت مغلقة ومحدودة. على سبيل المثال في مجموعة الأعداد الحقيقية R تكون المجموعة الجزئية [0, 1] هي مجموعة متراصة ولكن ذات المجموعة في مجموعة الأعداد الصحيحة لا تكون متراصة (لأنها ليست محدودة). بتعريف أكثر حداثة، يطلق على فضاء طوبولوجي اسم فضاء متراص إذا كان كل من أغطيته المفتوحة لها غطاء جزئي منتهي. (ar) En topologia, un subconjunt d'un espai topològic es diu compacte si tot recobriment obert seu té un subrecobriment finit, és a dir, si per a tot tal que són tots oberts i , hi ha finit tal que . Noti's que, en particular, podria ser . En aquest cas es parla d'un espai compacte. Es verifica llavors que és compacte si i només si és un espai compacte per a la topologia traça. Que un espai sigui compacte és una propietat que intenta generalitzar la noció d'un subconjunt de l'espai euclidià tancat i fitat per mitjà de la idea que un espai no tingui "forats" i que no "faltin els punts finals", és a dir que l'espai no exclogui cap punt de "valor límit". Per exemple, l'interval "no tancat" (0,1) no seria compacte ja que exclou els valors límits de 0 i 1, que mentre que l'interval tancat [0,1] seria compacte. Similarment, l'espai de nombres racionals no és compacte ja que té un nombre infinit de "forats" que corresponen als nombres irracionals, i l'espai de nombres reals no és compacte ja que exclou els valors límits i . Tanmateix, la recta extensa de nombre reals seria compacte, ja que conté tots dos infinits. Hi ha moltes maneres de precisar en aquesta noció heurística. Els diferents plantejaments coincideixen en l'espai euclidià, però poden no ser equivalents en altres espais topològics. Una d'aquestes generalitzacions és la que diu que un espai topològic és si tota successió infinita de punts mostrejats en l'espai té una subsuccessió que convergeix en algun punt de l'espai. El teorema de Bolzano-Weierstrass afirma que un subconjunt de l'espai euclidià és compacte en aquest sentit successional si i només si és tancat i fitat. Per tant, si es tria un nombre infinit de punts en l'interval unitat tancat, [0, 1], alguns dels seus punts s'aproparan arbitràriament a algun nombre real en aquest espai. Per exemple, alguns dels nombres en la seqüència 1/2, 4/5, 1/3, 5/6, 1/4, 6/7, ... s'acumulen en el 0 (mentre que d'altres ho fan a l'1). El mateix conjunt de punts no s'acumularien a cap punt de l'interval unitat obert (0, 1), així doncs l'interval unitat obert no és compacte. Tot i que subconjunts (subespais) de l'espai euclidià poden ser compactes, l'espai sencer en si no és compacte ja que no és fitat. Per exemple, considerant , la recta de nombres reals sencera, la successió de punts 0, 1, 2, 3, ..., no té cap subseqüència que convergeixi a cap nombre real. La idea d'espai compacte va ser introduïda formalment per Maurice Fréchet l'any 1906 per generalitzar el teorema de Bolzano–Weierstrass d'espais de punts geomètrics a espais de funcions. El i el exemplifiquen aplicacions d'aquesta noció d'espai compacte a l'anàlisi real clàssica. Seguint la seva introducció inicial, diferents nocions equivalents d'espais compactes, inclosa la d'espai successionalment compacte i la d'espai compacte de punts límit van ser desenvolupades en espais mètrics generals. En espais topològics generals, tanmateix, aquestes nocions d'espais compactes no són necessàriament equivalents. La noció més útil -i la definició estàndard del terme espai compacte- és descrita en termes de l'existència de famílies finites de conjunts oberts que recobreixen l'espai en el sentit que tot punt de l'espai pertany a algun conjunt contingut dins de la família. Aquesta noció més subtil, introduïda per Pàvel Aleksàndrov i Pàvel Urysohn l'any 1929, presenta els espais compactes com a generalitzacions de conjunts finits. S'utilitza sovint el terme conjunt compacte com a sinònim d'espai compacte, però sol fer referència també a subespais compactes d'espais topològics. (ca) Στα μαθηματικά, ειδικά στη γενική τοπολογία και στη , ένας συμπαγής χώρος είναι ένας μαθηματικός τοπολογικός χώρος στον οποίο κάθε των σημείων που διαλέξαμε από το χώρο πρέπει τελικά να τον πάρουμε αυθαίρετα κοντά σε κάποιο σημείο του χώρου. Υπάρχουν πολλές διαφορετικές έννοιες της πληρότητας, σημειώνεται κατωτέρω, οι οποίες είναι ισοδύναμες σε καλές περιπτώσεις. Η έκδοση που μόλις περιγράφηκε είναι γνωστή ως . Το δίνει μια αντίστοιχη συνθήκη για τη διαδοχική συμπάγεια κατά την εξέταση των υποσυνόλων του ευκλείδειου χώρου: ένα σύνολο είναι συμπαγές αν και μόνο αν είναι κλειστό και φραγμένο. Τα παραδείγματα περιλαμβάνουν ένα κλειστό διάστημα ή ένα ορθογώνιο. Έτσι, αν κάποιος επιλέξει έναν άπειρο αριθμό σημείων στο κλειστό ), ορισμένα από αυτά τα σημεία πρέπει να τα πάρουμε αυθαίρετα κοντά σε κάποιο πραγματικό αριθμό σε αυτό το χώρο. Για παράδειγμα, ορισμένοι από τους αριθμούς 1/2, 4/5, 1/3, 5/6, 1/4, 6/7, ... τους παίρνουμε αυθαίρετα κοντά στο μηδέν. (Επίσης, μερικοί τους παίρνουν αυθαίρετα κοντά στο 1.) Σημειώνεται ότι το ίδιο σύνολο των σημείων δεν θα έχουν, ως ένα σημείο συσσώρευσης, οποιοδήποτε σημείο ενός ανοικτού μοναδιαίου διαστήματος,ως εκ τούτου,αυτός ο χώρος δεν μπορεί να είναι συμπαγής. Ο Ευκλείδειος χώρος μόνος του δεν είναι συμπαγής, δεδομένου ότι δεν οριοθετείται. Συγκεκριμένα, θα μπορούσε κανείς να επιλέξει την ακολουθία των σημείων 0, 1, 2, 3, ..., της οποίας καμία υπο-ακολουθία δεν παίρνουμε τελικά αυθαίρετα κοντά σε κάθε δεδομένο πραγματικό αριθμό. Εκτός από τα κλειστά και φραγμένα υποσύνολα του Ευκλείδιου χώρο, χαρακτηριστικά παραδείγματα των συμπαγών χώρων περιλαμβάνουν χώρους που δεν αποτελούνται από γεωμετρικά σημεία, αλλά από συναρτήσεις. Ο όρος συμπάγειας εισήχθη στα μαθηματικά από τον Maurice Fréchet το 1906 ως απόσταξη αυτής της έννοιας. Συμπαγές σε αυτή τη γενικότερη κατάσταση παίζει έναν εξαιρετικά σημαντικό ρόλο στην μαθηματική ανάλυση, επειδή πολλά κλασικά και σημαντικά θεωρήματα της ανάλυσης του 19ου αιώνα, όπως το , είναι εύκολα γενικευμένη σε αυτή την κατάσταση. Μια τυπική εφαρμογή παράχθηκε από το , και ιδίως , όπου κάποιος είναι σε θέση να συμπεράνει την ύπαρξη μιας συνάρτησης με κάποιες απαιτούμενες ιδιότητες ως οριακή περίπτωση κάποιων πιο στοιχειώδη κατασκευών. Διάφορες ισοδύναμες έννοιες του συμπαγούς, συμπεριλαμβανομένου τη διαδοχική συμπάγεια και την , μπορεί να αναπτυχθεί στους γενικούς μετρικούς χώρους. Στους γενικούς τοπολογικούς χώρους οι διαφορετικές έννοιες της συμπάγειας δεν είναι απαραίτητα ισοδύναμες, και η πιο χρήσιμη έννοια, εισήχθη από τον και τον το 1929,η οποία προϋποθέτει την ύπαρξη ορισμένων πεπερασμένων οικογενειών των που καλύπτουν το χώρο με την αίσθηση ότι κάθε σημείο του χώρου πρέπει να βρίσκεται σε ένα σύνολο που περιέχεται στην οικογένεια. Αυτός ο πιο λεπτός ορισμός εμφανίζει τους συμπαγές χώρους ως . Σε χώρους που είναι συμπαγής σε αυτήν την τελευταία έννοια , είναι συχνά δυνατό να επιδιορθώσει από κοινού τις πληροφορίες που βρίσκονται τοπικώς-δηλαδή, σε μια γειτονιά του κάθε σημείου-σε αντίστοιχες δηλώσεις που κατέχουν όλο το χώρο, και πολλά είναι αυτού του χαρακτήρα. (el) Kompaktheit ist ein zentraler Begriff der mathematischen Topologie, und zwar eine Eigenschaft, die einem topologischen Raum zukommt oder nicht. Sie wird in vielen mathematischen Aussagen vorausgesetzt – oft auch in abgeschwächter Form als Lindelöf-Eigenschaft oder Parakompaktheit. Lokalkompaktheit ist im Falle von Hausdorff-Räumen ebenfalls eine abgeschwächte Bedingung. Eine kompakte Menge nennt man je nach Kontext auch Kompaktum oder kompakter Raum; dabei ist unerheblich, ob sie Teilmenge eines Oberraums ist. Einfache Beispiele für kompakte Mengen sind abgeschlossene und beschränkte Teilmengen des Euklidischen Raums wie das Intervall . Einfache Gegenbeispiele bilden die nicht kompakten Mengen (nicht beschränkt) oder (nicht abgeschlossen). (de) En topologio, kompakta spaco estas topologia spaco, sur kiu lokaj strukturoj (difinitaj laŭ iu kovraĵo — fibra fasko, ktp.) povas esti ĉiam konsiderata finie, ĉar la kovraĵo estas ĉiam anstataŭebla per finia subkovraĵo. Tial, kompakta spaco estas iasence “finie malgranda” kaj tial ofte facile traktebla. Sub malfortaj kondiĉoj (nome, aksiomo de Hausdorff) ĉiu kompakta subaro estas fermita subaro. En metrika spaco, ĉiu kompakta subaro estas . (eo) In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers is not compact either, because it excludes the two limiting values and . However, the extended real number line would be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topological spaces. One such generalization is that a topological space is sequentially compact if every infinite sequence of points sampled from the space has an infinite subsequence that converges to some point of the space. The Bolzano–Weierstrass theorem states that a subset of Euclidean space is compact in this sequential sense if and only if it is closed and bounded. Thus, if one chooses an infinite number of points in the closed unit interval [0, 1], some of those points will get arbitrarily close to some real number in that space. For instance, some of the numbers in the sequence 1/2, 4/5, 1/3, 5/6, 1/4, 6/7, ... accumulate to 0 (while others accumulate to 1). The same set of points would not accumulate to any point of the open unit interval (0, 1), so the open unit interval is not compact. Although subsets (subspaces) of Euclidean space can be compact, the entire space itself is not compact, since it is not bounded. For example, considering (the real number line), the sequence of points 0, 1, 2, 3, ... has no subsequence that converges to any real number. Compactness was formally introduced by Maurice Fréchet in 1906 to generalize the Bolzano–Weierstrass theorem from spaces of geometrical points to spaces of functions. The Arzelà–Ascoli theorem and the Peano existence theorem exemplify applications of this notion of compactness to classical analysis. Following its initial introduction, various equivalent notions of compactness, including sequential compactness and limit point compactness, were developed in general metric spaces. In general topological spaces, however, these notions of compactness are not necessarily equivalent. The most useful notion — and the standard definition of the unqualified term compactness — is phrased in terms of the existence of finite families of open sets that "cover" the space in the sense that each point of the space lies in some set contained in the family. This more subtle notion, introduced by Pavel Alexandrov and Pavel Urysohn in 1929, exhibits compact spaces as generalizations of finite sets. In spaces that are compact in this sense, it is often possible to patch together information that holds locally — that is, in a neighborhood of each point — into corresponding statements that hold throughout the space, and many theorems are of this character. The term compact set is sometimes used as a synonym for compact space, but also often refers to a of a topological space. (en) Topologian, espazio trinko bat bere mugako puntu posible guztiak dituen espazio bat da. (eu) En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la . La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact. Plusieurs propriétés des segments de la droite réelle ℝ se généralisent aux espaces compacts, ce qui confère à ces derniers un rôle privilégié dans divers domaines des mathématiques. Notamment, ils sont utiles pour prouver l'existence d'extrema pour une fonction numérique. Le nom de cette propriété rend hommage aux mathématiciens français Émile Borel et Henri Lebesgue, car le théorème qui porte leur nom établit que tout segment de ℝ est compact et, plus généralement, que les compacts de ℝn sont les fermés bornés. Une approche plus intuitive de la compacité dans le cas particulier des espaces métriques est détaillée dans l'article « Compacité séquentielle ». (fr) En topología, un espacio compacto es un espacio que tiene propiedades similares a un conjunto finito, en cuanto a que las sucesiones contenidas en un conjunto finito siempre contienen una subsucesión convergente. La noción de compacidad es una versión más general de esta propiedad. Un conjunto compacto es un subconjunto de un espacio topológico, que como subespacio topológico (con la topología inducida) es en sí mismo un espacio topológico compacto. (es) Dalam matematika, khususnya topologi umum, kekompakan (bahasa Inggris: compactness) adalah sifat yang memperumum gagasan subhimpunan dan subhimpunan dari ruang Euklides. Gagasan tersebut dapat menjadi presisi dengan mengatakan tak ada "bulatan kosong" atau "titik akhir yang hilang" di dalam suatu ruang, dalam artian bahwa harus ada nilai limit dari titik di ruang. Sebagai contoh, interval (0,1) bukan kompak sebab interval tersebut tidak punya nilai limit dari 0 dan 1, sedangkan [0,1] kompak sebab mempunyai nilai limit dari 0 dan 1. Dengan cara yang serupa, ruang bilangan rasional bukan kompak sebab ada bulatan kosong yang tak berhingga banyaknya nilai-nilai limit dari bilangan irasional. Ruang bilangan real bukan kompak sebab tidak mempunyai nilai limit dari dan , tetapi adalah kompak sebab mengandung nilai limit dari tak terhingga. (in) 数学において、コンパクト（英: compact, /kəmˈpækt/）は位相空間の性質であり、上の有界閉集合が満たす性質を抽象化する事により定義される。なおブルバキでは、本項でいうコンパクトを準コンパクト（英: quasi-compact）と呼び、準コンパクトでハウスドルフの分離公理を満たすものをコンパクトであると呼んでいるので注意が必要である。位相空間Xの部分集合Yに対し、YのXにおける閉包がコンパクトであるときYはXで相対コンパクト（英: relatively compact）であるという。 (ja) 수학에서 콤팩트 공간(영어: compact space) 또는 옹골 공간은 대략 경계 없이 무한히 뻗어나가지 않는 공간이다. 유클리드 공간의 부분 집합의 경우, 이는 닫힌 유계 집합과 동치이다. (ko) In matematica, in particolare in topologia, uno spazio compatto è uno spazio topologico tale che ogni suo ricoprimento aperto contiene un sottoricoprimento finito. In alcuni contesti (ad esempio in geometria algebrica) si preferisce usare il termine spazio quasi compatto per indicare il concetto appena definito e riservare il termine spazio compatto per indicare uno spazio topologico quasi compatto e di Hausdorff. Un insieme contenuto in uno spazio topologico si dice compatto se è uno spazio compatto nella topologia indotta. Un insieme in uno spazio topologico si dice inoltre σ-compatto se è costituito dall'unione numerabile di insiemi compatti. Intuitivamente, i punti di un insieme compatto non possono essere troppo dispersi: per esempio, uno spazio metrico è compatto se e solo se ogni successione di punti possiede una sottosuccessione che converge ad un punto dell'insieme stesso. In generale, ogni sottoinsieme infinito di uno spazio topologico compatto possiede un punto di accumulazione. (it) In de algemene- en metrische topologie, deelgebieden binnen de wiskunde, is een compacte ruimte een abstracte wiskundige ruimte, waarin indien men, intuïtief gesproken, een oneindig aantal "stappen" in deze ruimte doet, men uiteindelijk willekeurig dicht bij enige ander punt in deze ruimte kan komen. Een gesloten- en begrensde deelverzameling (zoals een gesloten interval van een rechthoek) van een Euclidische ruimte is dus compact, omdat iemands stappen uiteindelijk wel gedwongen uitkomen in de buurt van een punt van de verzameling, een resultaat dat bekendstaat als de stelling van Bolzano-Weierstrass, terwijl de Euclidische ruimte zelf geen compacte ruimte is, dit omdat men oneindig veel gelijkmatige stappen in enige gegeven richting kan zetten zonder ooit heel dicht in de buurt te komen van enig ander punt van de ruimte. Typische voorbeelden van compacte ruimten zijn, afgezien van de gesloten en begrensde deelverzamelingen van de Euclidische ruimte, ruimten die niet uit punten, maar uit functieruimten bestaan. De aanduiding 'compact' werd in 1906 door Maurice Fréchet in de wiskunde geïntroduceerd als een distillatie van dit concept. Compactheid in deze meer algemene zin speelt een uiterst belangrijke rol in de wiskundige analyse, omdat veel klassieke en belangrijke stellingen uit de 19e-eeuwse analyse, zoals de extreme waardestelling, eenvoudig naar deze situatie veralgemeend kunnen worden. Een typische toepassing wordt gegeven door de stelling van Arzelà-Ascoli en in het bijzonder de existentiestelling van Peano, waarin men in staat is om het bestaan van een functie met enige vereiste eigenschappen te concluderen als een limietgeval van enige meer algemene constructie. Verschillende gelijkwaardige noties van compactheid zoals sequentiële en limietpunt compactheid, kunnen in de algemene metrische ruimten worden ontwikkeld. In het algemeen zijn in topologische ruimten de verschillende noties van compactheid echter niet noodzakelijkerwijs gelijkwaardig, en de meest bruikbare notie, in 1929 geïntroduceerd door Pavel Aleksandrov en Pavel Urysohn, involveert het bestaan van zekere eindige families van open verzamelingen, die de ruimte in die zin "afdekken" dat elk punt van die ruimte in enige verzameling moet liggen die deel uitmaakt van deze familie. Deze meer subtiele definitie laat compacte ruimten zien als veralgemeningen van eindige verzamelingen. In ruimten, die in deze laatste zin compact zijn, is het vaak mogelijk om informatie samen te voegen, die lokaal van toepassing is. Dat is in een omgeving van elk punt, in corresponderende beweringen die van toepassing zijn door de gehele ruimte, en vele stellingen zijn van deze aard. (nl) Przestrzeń zwarta – przestrzeń topologiczna o tej własności, że z dowolnego jej pokrycia zbiorami otwartymi można wybrać podpokrycie skończone (tj. pewna skończona liczba zbiorów pokrycia tworzy pokrycie). Zbiorem zwartym nazywa się podzbiór przestrzeni topologicznej, który traktowany jako podprzestrzeń (z topologią podprzestrzeni) jest przestrzenią zwartą. W niektórych źródłach (np. ) w definicji zwartości dodatkowo wymaga się, aby przestrzeń zwarta była przestrzenią Hausdorffa, a przestrzenie zdefiniowane z pominięciem tego warunku nazywa się przestrzeniami quasi-zwartymi. (pl) Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства. В общей топологии компактные пространства по своим свойствам напоминают конечные множества в теории множеств. (ru) Em matemática, mais especificamente em topologia geral, o conceito de compacidade é uma extensão topológica das ideias de finitude e limitação. O início do estudo de espaços compactos se deu no final do século XIX, pelas mãos de Émile Borel e Henri Lebesgue e as observações acerca de intervalos fechados e limitados da reta real. Com o advento de novas classes de espaços topológicos (espaços de funções, espaços definidos em termos de vizinhanças e espaços métricos) a noção de compacidade modificou-se para acompanhar as generalizações; passando por sequencialmente compacto, (Riesz - 1908, Vietoris - 1912, Janiszewski - 1913, , e Saks - 1921) e finalmente chegando na definição empregada hoje ( e - 1923). (pt) Компа́ктний про́стір — це такий топологічний простір, що для будь-якого його відкритого покриття знайдеться скінчене підпокриття. В топології, компактні простори за своїми властивостями нагадують скінченні множини в теорії множин. В математичному аналізі компактна множина — це обмежена й замкнута множина в . (uk) Inom matematiken är kompakthet en egenskap hos topologiska rum och delmängder till topologiska rum. En delmängd av de reella eller komplexa talen, eller en delmängd av ett ändligtdimensionellt inre produktrum över dessa, är kompakt om och endast om den är sluten och begränsad, enligt Heine–Borels sats, och tas ibland som definitionen av kompakt över dessa rum. I allmännare fall gäller dock inte denna karaktärisering av kompakta mängder. (sv) 在数学中，如果欧几里得空间 Rn 的子集是閉集合且是有界的，那么称它是紧致的。例如，在R中，单位区间[0, 1]是紧致的，但整数集合Z不是（它不是有界的），半开区间[0, 1)也不是（它不是闭合的）。 另一個定義方式是如果對於一个度量空間的所有开覆盖，都可以找到有限的子覆盖，則稱此度量空間是紧致的。根據海涅-博雷尔定理，这个定义在欧几里得空间中等价于“閉集且有界”。 注意：某些作者如布尔巴基使用术语“预紧致”，并把“紧致”保留给是豪斯多夫空间并且“预紧致”的拓扑空间。一个单一的紧致集合有时称为紧统（compactum）。在法語的數學著作中，quasi-compact是指緊緻，compact是指緊緻且豪斯多夫，不同於英語。 (zh) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Compact.svg?width=300 |
| dbo:wikiPageExternalLink | https://archive.org/details/mathematicalthou00klin https://link.springer.com/book/10.1007/978-3-540-33982-3 https://books.google.com/books%3Fid=VfUKAAAAYAAJ&q=%22Lebesgue%22%20%22Le%C3%A7ons%20sur%20l'int%C3%A9gration%20et%20la%20recherche%20des%20fonctions%20...%22&pg=PA1 https://www.ams.org/tran/1966-124-01/S0002-9947-1966-0203679-7/S0002-9947-1966-0203679-7.pdf https://archive.org/details/historyofmathema00boye https://zenodo.org/record/1428464 https://books.google.com/books%3Fid=EoW4AAAAIAAJ&q=%22Rein%20analytischer%20Beweis%20des%20Lehrsatzes%22&pg=PA2-IA3 |
| dbo:wikiPageID | 6042 (xsd:integer) |
| dbo:wikiPageLength | 44286 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1124848508 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Product_topology dbr:Metacompact_space dbr:Metrizable_space dbr:Particular_point_topology dbr:Non-archimedean_field dbr:Bernard_Bolzano dbr:David_Hilbert dbr:Annales_Scientifiques_de_l'École_Normale_Supérieure dbr:Homeomorphic dbr:Pavel_Alexandrov dbr:Ultrafilter_(set_theory) dbr:Uniform_space dbr:Integral_equation dbr:Limit_of_a_sequence dbr:Limit_point_compact dbr:Lindelöf_space dbr:Profinite_group dbr:Complete_space dbr:Completely_regular_space dbr:Complex_number dbr:Continuous_function dbr:Mathematics dbr:Maurice_René_Fréchet dbr:General_linear_group dbr:General_topology dbr:Lower_limit_topology dbr:Neighbourhood_(mathematics) dbr:Normal_space dbr:Order_topology dbr:Orthocompact_space dbr:Sierpiński_space dbr:Separable_space dbr:Pseudocompact_space dbr:Second-countable_space dbr:Closed_mapping dbr:Cofinite_topology dbc:Properties_of_topological_spaces dbr:Function_spaces dbr:Giulio_Ascoli dbr:Boundary_(topology) dbr:Bounded_set dbr:Monad_(non-standard_analysis) dbr:N-sphere dbr:Relatively_compact_subspace dbr:Limit_(mathematics) dbr:Limit_point_of_a_set dbr:Locally_compact dbr:Stone_space dbr:Subsequence dbr:Closed_set dbr:Commutative_ring dbr:Compact_group dbr:Compact_operator dbr:Compactification_(mathematics) dbr:Compactly_generated_space dbr:Compactness_theorem dbr:Complete_lattice dbr:Émile_Borel dbr:Empty_set dbr:Function_space dbr:Kernel_(algebra) dbr:Pierre_Cousin_(mathematician) dbr:Spectrum_of_a_ring dbr:Maximal_ideal dbr:Totally_bounded_space dbr:Banach_space dbc:Compactness_(mathematics) dbr:Cesare_Arzelà dbr:Topological_vector_space dbr:Total_order dbr:Totally_bounded dbr:Totally_ordered_set dbr:Galois_group dbr:Countably_compact dbr:Hausdorff_space dbr:Heine–Borel_theorem dbr:Irrational_number dbr:Lebesgue's_number_lemma dbr:Linear_continuum dbr:Local_property dbr:Noetherian_topological_space dbr:Algebraic_geometry dbc:Topology dbr:Eduard_Heine dbr:Erhard_Schmidt dbr:Euclidean_space dbr:Extended_real_number_line dbr:Extreme_value_theorem dbr:Filters_in_topology dbr:Finite_intersection_property dbr:Finite_set dbr:Banach_algebra dbr:Nicolas_Bourbaki dbr:Non-standard_analysis dbr:P-adic_numbers dbr:Paracompact_space dbr:Discrete_metric dbr:Hilbert_cube dbr:Pointwise_convergence dbr:Uniform_convergence dbr:Logical_equivalence dbr:First_isomorphism_theorem dbr:Proper_map dbr:Regular_space dbr:Henri_Lebesgue dbr:Hilbert_space dbr:Interval_(mathematics) dbr:Cover_(topology) dbr:Hyperreal_number dbr:First-countable dbr:Peano_existence_theorem dbr:Arzelà–Ascoli_theorem dbr:Accumulation_point dbc:General_topology dbr:Karl_Weierstrass dbr:Cocountable_topology dbr:Eberlein_compactum dbr:Homeomorphism dbr:Trivial_topology dbr:Discrete_space dbr:Disk_(mathematics) dbr:Axiom_of_choice dbr:Axiom_of_countable_choice dbr:Bolzano–Weierstrass_theorem dbr:Continuous_function_(topology) dbr:Green's_functions dbr:Mean_convergence dbr:Method_of_bisection dbr:Infinitesimal dbr:Metric_space dbr:Natural_number dbr:Net_(mathematics) dbr:Open_cover dbr:Open_set dbr:Orthogonal_group dbr:Cantor_set dbr:Rational_number dbr:Rational_numbers dbr:Real_number dbr:Sequence dbr:Sequence_(mathematics) dbr:Unit_interval dbr:Scheme_(mathematics) dbr:Singleton_(mathematics) dbr:Tychonoff's_theorem dbr:Union_(set_theory) dbr:Complete_accumulation_point dbr:Lipschitz_condition dbr:Pavel_Urysohn dbr:Subspace_topology dbr:Zariski_topology dbr:Exhaustion_by_compact_sets dbr:Finite_topological_space dbr:Finite_topology dbr:Real_line dbr:Normed_vector_space dbr:Residue_field dbr:Topological_space dbr:Sequentially_compact dbr:Totally_disconnected_space dbr:Sequentially_compact_space dbr:Subset dbr:Ultrapower_construction dbr:Uniformly_continuous dbr:Rendiconti_del_Circolo_Matematico_di_Palermo dbr:Structure_space dbr:Limit_point_of_a_sequence dbr:Right_order_topology dbr:Tychonoff_theorem dbr:Hyperreal_field dbr:Countable_choice dbr:Alaoglu's_theorem dbr:Point-set_topology dbr:Maurice_Fréchet dbr:Alexander's_sub-base_theorem dbr:Alexandroff_one-point_compactification dbr:Lebesgue_integral dbr:Left_order_topology dbr:Infinite_sequence dbr:Closed_unit_ball dbr:Completeness_(topology) dbr:Bounded_linear_operator dbr:Sequence_spaces dbr:Sequential_compactness dbr:Spectrum_of_an_operator dbr:Dense_topological_subspace dbr:Extended_real_numbers dbr:Stone_representation_theorem dbr:Subcover dbr:File:Compact.svg dbr:Spectrum_of_a_boolean_algebra |
| dbp:first | A.V. (en) |
| dbp:id | C/c023530 (en) |
| dbp:last | Arkhangel'skii (en) |
| dbp:title | Compact space (en) Countably compact (en) Examples of compact spaces (en) |
| dbp:urlname | countablycompact (en) examplesofcompactspaces (en) |
| dbp:wikiPageUsesTemplate | dbt:Springer dbt:= dbt:Cite_arXiv dbt:Cite_book dbt:Cite_journal dbt:Div_col dbt:Div_col_end dbt:Efn dbt:Harvtxt dbt:Math dbt:Mvar dbt:Notelist dbt:Redirect dbt:Refbegin dbt:Refend dbt:Reflist dbt:Sfn dbt:Sfrac dbt:Short_description dbt:Open-open dbt:Closed-closed dbt:Mabs dbt:Closed-open dbt:PlanetMath dbt:Topology dbt:PlanetMath_attribution dbt:Howes_Modern_Analysis_and_Topology_1995 |
| dct:subject | dbc:Properties_of_topological_spaces dbc:Compactness_(mathematics) dbc:Topology dbc:General_topology |
| gold:hypernym | dbr:Property |
| rdf:type | yago:WikicatMathematicalTheorems yago:Abstraction100002137 yago:Communication100033020 yago:Message106598915 yago:Possession100032613 yago:Property113244109 yago:Proposition106750804 yago:Relation100031921 dbo:Building yago:Statement106722453 yago:Theorem106752293 yago:WikicatPropertiesOfTopologicalSpaces |
| rdfs:comment | في الرياضيات، يطلق على مجموعة جزئية من الفضاء الإقليدي اسم فضاء متراص إذا كانت مغلقة ومحدودة. على سبيل المثال في مجموعة الأعداد الحقيقية R تكون المجموعة الجزئية [0, 1] هي مجموعة متراصة ولكن ذات المجموعة في مجموعة الأعداد الصحيحة لا تكون متراصة (لأنها ليست محدودة). بتعريف أكثر حداثة، يطلق على فضاء طوبولوجي اسم فضاء متراص إذا كان كل من أغطيته المفتوحة لها غطاء جزئي منتهي. (ar) En topologio, kompakta spaco estas topologia spaco, sur kiu lokaj strukturoj (difinitaj laŭ iu kovraĵo — fibra fasko, ktp.) povas esti ĉiam konsiderata finie, ĉar la kovraĵo estas ĉiam anstataŭebla per finia subkovraĵo. Tial, kompakta spaco estas iasence “finie malgranda” kaj tial ofte facile traktebla. Sub malfortaj kondiĉoj (nome, aksiomo de Hausdorff) ĉiu kompakta subaro estas fermita subaro. En metrika spaco, ĉiu kompakta subaro estas . (eo) Topologian, espazio trinko bat bere mugako puntu posible guztiak dituen espazio bat da. (eu) En topología, un espacio compacto es un espacio que tiene propiedades similares a un conjunto finito, en cuanto a que las sucesiones contenidas en un conjunto finito siempre contienen una subsucesión convergente. La noción de compacidad es una versión más general de esta propiedad. Un conjunto compacto es un subconjunto de un espacio topológico, que como subespacio topológico (con la topología inducida) es en sí mismo un espacio topológico compacto. (es) 数学において、コンパクト（英: compact, /kəmˈpækt/）は位相空間の性質であり、上の有界閉集合が満たす性質を抽象化する事により定義される。なおブルバキでは、本項でいうコンパクトを準コンパクト（英: quasi-compact）と呼び、準コンパクトでハウスドルフの分離公理を満たすものをコンパクトであると呼んでいるので注意が必要である。位相空間Xの部分集合Yに対し、YのXにおける閉包がコンパクトであるときYはXで相対コンパクト（英: relatively compact）であるという。 (ja) 수학에서 콤팩트 공간(영어: compact space) 또는 옹골 공간은 대략 경계 없이 무한히 뻗어나가지 않는 공간이다. 유클리드 공간의 부분 집합의 경우, 이는 닫힌 유계 집합과 동치이다. (ko) Przestrzeń zwarta – przestrzeń topologiczna o tej własności, że z dowolnego jej pokrycia zbiorami otwartymi można wybrać podpokrycie skończone (tj. pewna skończona liczba zbiorów pokrycia tworzy pokrycie). Zbiorem zwartym nazywa się podzbiór przestrzeni topologicznej, który traktowany jako podprzestrzeń (z topologią podprzestrzeni) jest przestrzenią zwartą. W niektórych źródłach (np. ) w definicji zwartości dodatkowo wymaga się, aby przestrzeń zwarta była przestrzenią Hausdorffa, a przestrzenie zdefiniowane z pominięciem tego warunku nazywa się przestrzeniami quasi-zwartymi. (pl) Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства. В общей топологии компактные пространства по своим свойствам напоминают конечные множества в теории множеств. (ru) Em matemática, mais especificamente em topologia geral, o conceito de compacidade é uma extensão topológica das ideias de finitude e limitação. O início do estudo de espaços compactos se deu no final do século XIX, pelas mãos de Émile Borel e Henri Lebesgue e as observações acerca de intervalos fechados e limitados da reta real. Com o advento de novas classes de espaços topológicos (espaços de funções, espaços definidos em termos de vizinhanças e espaços métricos) a noção de compacidade modificou-se para acompanhar as generalizações; passando por sequencialmente compacto, (Riesz - 1908, Vietoris - 1912, Janiszewski - 1913, , e Saks - 1921) e finalmente chegando na definição empregada hoje ( e - 1923). (pt) Компа́ктний про́стір — це такий топологічний простір, що для будь-якого його відкритого покриття знайдеться скінчене підпокриття. В топології, компактні простори за своїми властивостями нагадують скінченні множини в теорії множин. В математичному аналізі компактна множина — це обмежена й замкнута множина в . (uk) Inom matematiken är kompakthet en egenskap hos topologiska rum och delmängder till topologiska rum. En delmängd av de reella eller komplexa talen, eller en delmängd av ett ändligtdimensionellt inre produktrum över dessa, är kompakt om och endast om den är sluten och begränsad, enligt Heine–Borels sats, och tas ibland som definitionen av kompakt över dessa rum. I allmännare fall gäller dock inte denna karaktärisering av kompakta mängder. (sv) 在数学中，如果欧几里得空间 Rn 的子集是閉集合且是有界的，那么称它是紧致的。例如，在R中，单位区间[0, 1]是紧致的，但整数集合Z不是（它不是有界的），半开区间[0, 1)也不是（它不是闭合的）。 另一個定義方式是如果對於一个度量空間的所有开覆盖，都可以找到有限的子覆盖，則稱此度量空間是紧致的。根據海涅-博雷尔定理，这个定义在欧几里得空间中等价于“閉集且有界”。 注意：某些作者如布尔巴基使用术语“预紧致”，并把“紧致”保留给是豪斯多夫空间并且“预紧致”的拓扑空间。一个单一的紧致集合有时称为紧统（compactum）。在法語的數學著作中，quasi-compact是指緊緻，compact是指緊緻且豪斯多夫，不同於英語。 (zh) En topologia, un subconjunt d'un espai topològic es diu compacte si tot recobriment obert seu té un subrecobriment finit, és a dir, si per a tot tal que són tots oberts i , hi ha finit tal que . Noti's que, en particular, podria ser . En aquest cas es parla d'un espai compacte. Es verifica llavors que és compacte si i només si és un espai compacte per a la topologia traça. S'utilitza sovint el terme conjunt compacte com a sinònim d'espai compacte, però sol fer referència també a subespais compactes d'espais topològics. (ca) Kompaktní množina, nebo také kompaktní prostor, je taková množina bodů topologického prostoru, že z každého jejího pokrytí otevřenými množinami lze vybrat pokrytí konečné. Tato definice v topologii zobecňuje a formalizuje intuitivní představu konečného objemu. V Euklidovských prostorech jsou kompaktní množiny právě omezené a uzavřené podmnožiny. Například v množině reálných čísel R je uzavřený interval [0, 1] kompaktní množinou, ale množina celých čísel Z nikoliv (není omezená). Stejně tak polouzavřený interval [0, 1) není kompaktní množinou, protože to není uzavřená množina. (cs) Στα μαθηματικά, ειδικά στη γενική τοπολογία και στη , ένας συμπαγής χώρος είναι ένας μαθηματικός τοπολογικός χώρος στον οποίο κάθε των σημείων που διαλέξαμε από το χώρο πρέπει τελικά να τον πάρουμε αυθαίρετα κοντά σε κάποιο σημείο του χώρου. Υπάρχουν πολλές διαφορετικές έννοιες της πληρότητας, σημειώνεται κατωτέρω, οι οποίες είναι ισοδύναμες σε καλές περιπτώσεις. Η έκδοση που μόλις περιγράφηκε είναι γνωστή ως . Το δίνει μια αντίστοιχη συνθήκη για τη διαδοχική συμπάγεια κατά την εξέταση των υποσυνόλων του ευκλείδειου χώρου: ένα σύνολο είναι συμπαγές αν και μόνο αν είναι κλειστό και φραγμένο. Τα παραδείγματα περιλαμβάνουν ένα κλειστό διάστημα ή ένα ορθογώνιο. Έτσι, αν κάποιος επιλέξει έναν άπειρο αριθμό σημείων στο κλειστό ), ορισμένα από αυτά τα σημεία πρέπει να τα πάρουμε αυθαίρετα κοντά (el) In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any limiting values of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval [0,1] would be compact. Similarly, the space of rational numbers is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers is not compact either, because it excludes the two limiting values and . However, the extended real number line would be compact, since it contains both infin (en) Kompaktheit ist ein zentraler Begriff der mathematischen Topologie, und zwar eine Eigenschaft, die einem topologischen Raum zukommt oder nicht. Sie wird in vielen mathematischen Aussagen vorausgesetzt – oft auch in abgeschwächter Form als Lindelöf-Eigenschaft oder Parakompaktheit. Lokalkompaktheit ist im Falle von Hausdorff-Räumen ebenfalls eine abgeschwächte Bedingung. Eine kompakte Menge nennt man je nach Kontext auch Kompaktum oder kompakter Raum; dabei ist unerheblich, ob sie Teilmenge eines Oberraums ist. (de) En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la . La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact. Une approche plus intuitive de la compacité dans le cas particulier des espaces métriques est détaillée dans l'article « Compacité séquentielle ». (fr) Dalam matematika, khususnya topologi umum, kekompakan (bahasa Inggris: compactness) adalah sifat yang memperumum gagasan subhimpunan dan subhimpunan dari ruang Euklides. Gagasan tersebut dapat menjadi presisi dengan mengatakan tak ada "bulatan kosong" atau "titik akhir yang hilang" di dalam suatu ruang, dalam artian bahwa harus ada nilai limit dari titik di ruang. Sebagai contoh, interval (0,1) bukan kompak sebab interval tersebut tidak punya nilai limit dari 0 dan 1, sedangkan [0,1] kompak sebab mempunyai nilai limit dari 0 dan 1. Dengan cara yang serupa, ruang bilangan rasional bukan kompak sebab ada bulatan kosong yang tak berhingga banyaknya nilai-nilai limit dari bilangan irasional. Ruang bilangan real bukan kompak sebab tidak mempunyai nilai limit dari dan , tetapi adalah kompa (in) In matematica, in particolare in topologia, uno spazio compatto è uno spazio topologico tale che ogni suo ricoprimento aperto contiene un sottoricoprimento finito. In alcuni contesti (ad esempio in geometria algebrica) si preferisce usare il termine spazio quasi compatto per indicare il concetto appena definito e riservare il termine spazio compatto per indicare uno spazio topologico quasi compatto e di Hausdorff. (it) In de algemene- en metrische topologie, deelgebieden binnen de wiskunde, is een compacte ruimte een abstracte wiskundige ruimte, waarin indien men, intuïtief gesproken, een oneindig aantal "stappen" in deze ruimte doet, men uiteindelijk willekeurig dicht bij enige ander punt in deze ruimte kan komen. Een gesloten- en begrensde deelverzameling (zoals een gesloten interval van een rechthoek) van een Euclidische ruimte is dus compact, omdat iemands stappen uiteindelijk wel gedwongen uitkomen in de buurt van een punt van de verzameling, een resultaat dat bekendstaat als de stelling van Bolzano-Weierstrass, terwijl de Euclidische ruimte zelf geen compacte ruimte is, dit omdat men oneindig veel gelijkmatige stappen in enige gegeven richting kan zetten zonder ooit heel dicht in de buurt te komen (nl) |
| rdfs:label | Compact space (en) فضاء متراص (ar) Espai compacte (ca) Kompaktní množina (cs) Kompakter Raum (de) Συμπαγής χώρος (el) Kompakta spaco (eo) Espacio compacto (es) Espazio trinko (eu) Ruang kompak (in) Compacité (mathématiques) (fr) Spazio compatto (it) 콤팩트 공간 (ko) コンパクト空間 (ja) Compacte ruimte (nl) Przestrzeń zwarta (pl) Espaço compacto (pt) Компактное пространство (ru) Kompakthet (sv) Компактний простір (uk) 紧空间 (zh) |
| owl:sameAs | freebase:Compact space yago-res:Compact space http://sw.cyc.com/concept/Mx4rwScB7JwpEbGdrcN5Y29ycA wikidata:Compact space dbpedia-ar:Compact space http://ast.dbpedia.org/resource/Espaciu_compautu dbpedia-ca:Compact space dbpedia-cs:Compact space dbpedia-de:Compact space dbpedia-el:Compact space dbpedia-eo:Compact space dbpedia-es:Compact space dbpedia-eu:Compact space dbpedia-fa:Compact space dbpedia-fi:Compact space dbpedia-fr:Compact space dbpedia-gl:Compact space dbpedia-he:Compact space dbpedia-hu:Compact space dbpedia-id:Compact space dbpedia-is:Compact space dbpedia-it:Compact space dbpedia-ja:Compact space dbpedia-kk:Compact space dbpedia-ko:Compact space dbpedia-nl:Compact space dbpedia-pl:Compact space dbpedia-pt:Compact space dbpedia-ro:Compact space dbpedia-ru:Compact space dbpedia-sk:Compact space dbpedia-sr:Compact space dbpedia-sv:Compact space dbpedia-tr:Compact space dbpedia-uk:Compact space dbpedia-vi:Compact space dbpedia-zh:Compact space https://global.dbpedia.org/id/3XZmg |
| prov:wasDerivedFrom | wikipedia-en:Compact_space?oldid=1124848508&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Compact.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Compact_space |
| is dbo:wikiPageDisambiguates of | dbr:Compact |
| is dbo:wikiPageRedirects of | dbr:Quasi-compact dbr:Quasi-compact_space dbr:Quasicompact dbr:Quasicompact_space dbr:Compact_spaces dbr:Compactness dbr:Bicompact dbr:Noncompact dbr:Compact_metric_space dbr:Finite_subcover dbr:Compact_(mathematics) dbr:Compact_(topology) dbr:Compact_Hausdorff_space dbr:Compact_set dbr:Compact_subset dbr:Compact_subspace dbr:Compact_topological_space dbr:Compactness_(topology) dbr:Compactum dbr:Sequentially-compact_space |
| is dbo:wikiPageWikiLink of | dbr:Amenable_Banach_algebra dbr:Behnke–Stein_theorem_on_Stein_manifolds dbr:Belyi's_theorem dbr:Power_series dbr:Preissmann's_theorem dbr:Priestley_space dbr:Product_topology dbr:Projective_space dbr:Quantum_field_theory dbr:Quasi-compact dbr:Quasi-compact_space dbr:Quasicompact dbr:Quasicompact_space dbr:Rotation_matrix dbr:Rotations_in_4-dimensional_Euclidean_space dbr:End_(topology) dbr:Enoki_surface dbr:Enriques–Kodaira_classification dbr:Entanglement_witness dbr:Envelope_(category_theory) dbr:Epimorphism dbr:List_of_general_topology_topics dbr:Menger_sponge dbr:Minimax_theorem dbr:Nash_equilibrium dbr:Mesocompact_space dbr:Metacompact_space dbr:Metrizable_space dbr:Montel_space dbr:Particular_point_topology dbr:Smith_space dbr:Trapping_region dbr:Pro-p_group dbr:Profinite_word dbr:Prime_decomposition_of_3-manifolds dbr:Prime_manifold dbr:Real-valued_function dbr:Bergman_space dbr:Bounded_function dbr:Bounded_set_(topological_vector_space) dbr:Bounded_variation dbr:Ddbar_lemma dbr:De_Rham_cohomology dbr:Algebraic_surface dbr:Almost_flat_manifold dbr:Apparent_horizon dbr:Appert_topology dbr:Arens–Fort_space dbr:Arf_invariant dbr:Hodge_conjecture dbr:Hopf–Rinow_theorem dbr:Hurwitz's_theorem_(complex_analysis) dbr:Hyperkähler_manifold dbr:Joram_Lindenstrauss dbr:Jordan_curve_theorem dbr:List_of_mathematical_jargon dbr:Paul_Montel dbr:Pavel_Alexandrov dbr:Representation_theory_of_the_Lorentz_group dbr:Riemann_integral dbr:Riemann_surface dbr:Riesz–Markov–Kakutani_representation_theorem dbr:Rng_(algebra) dbr:Characterization_(mathematics) dbr:Curtis–Hedlund–Lyndon_theorem dbr:Cut_point dbr:Cyclic_surgery_theorem dbr:Ultrafilter_(set_theory) dbr:Uniform_boundedness_principle dbr:Uniform_norm dbr:De_Bruijn–Erdős_theorem_(graph_theory) dbr:De_Groot_dual dbr:Decision_boundary dbr:Deformed_Hermitian_Yang–Mills_equation dbr:Degree_of_a_continuous_mapping dbr:Donaldson's_theorem dbr:Donaldson–Thomas_theory dbr:Double_(manifold) dbr:Double_bubble_theorem dbr:Dunce_hat_(topology) dbr:Dunford–Pettis_property dbr:Dyadic_transformation dbr:Dynamical_system dbr:E7_(mathematics) dbr:E8_manifold dbr:Indecomposable_continuum dbr:Indefinite_orthogonal_group dbr:Inductive_dimension dbr:Inner_regular_measure dbr:Integer_broom_topology dbr:Integral_geometry dbr:Interacting_particle_system dbr:Interior_algebra dbr:Intersection_homology dbr:Inverse_bundle dbr:Inverse_function_theorem dbr:Kuranishi_structure dbr:Kuratowski's_intersection_theorem dbr:Kuratowski_convergence dbr:Ky_Fan_inequality dbr:Kőnig's_lemma dbr:Sigma dbr:Selman_Akbulut dbr:Lexicographic_order_topology_on_the_unit_square dbr:Lichnerowicz_conjecture dbr:Lie_group dbr:Lie_group_action dbr:Lie_groupoid dbr:Lie_theory dbr:Limit_point_compact dbr:Limit_set dbr:Lindelöf_space dbr:List_of_real_analysis_topics dbr:Profinite_group dbr:Quantum_refereed_game dbr:Stable_map dbr:Positive_linear_functional dbr:Whitehead_theorem dbr:Pseudoholomorphic_curve dbr:Pugh's_closing_lemma dbr:Shearlet dbr:Zone_diagram dbr:Totally_disconnected_group dbr:Timeline_of_category_theory_and_related_mathematics dbr:Zeros_and_poles dbr:Ziegler_spectrum dbr:Compact_spaces dbr:Compactness dbr:Complete_topological_vector_space dbr:Continuous_function dbr:Continuum_percolation_theory dbr:Convenient_vector_space dbr:Analytic_capacity dbr:Maxima_and_minima dbr:Maximum_likelihood_estimation dbr:Chern–Gauss–Bonnet_theorem dbr:Ellis–Numakura_lemma dbr:Esenin-Volpin's_theorem dbr:Essentially_unique dbr:Gauge_theory dbr:Gelfand_representation dbr:General_linear_group dbr:General_topology dbr:Generalized_flag_variety dbr:Genus_g_surface dbr:Genus_of_a_multiplicative_sequence dbr:Geometric_distribution dbr:Geometric_group_action dbr:Lower_limit_topology dbr:Markov_odometer dbr:Noether's_theorem dbr:Noether_inequality dbr:Normal_space dbr:Outer_space_(mathematics) dbr:Smooth_structure dbr:Topologist's_sine_curve dbr:Reynolds_operator dbr:Order_topology dbr:Solid_torus dbr:Sierpiński_space dbr:Spectral_space dbr:Normally_hyperbolic_invariant_manifold dbr:Real_tree dbr:Separable_space dbr:Transverse_measure dbr:Pseudocompact_space dbr:Q-Gaussian_distribution dbr:Quantum_ergodicity dbr:Quasi-fibration dbr:Quasi-finite_morphism dbr:Quasitopological_space dbr:Radial_basis_function_network dbr:Radially_unbounded_function dbr:SL2(R) dbr:Topological_property dbr:Second-countable_space dbr:Classifying_space dbr:Closed-subgroup_theorem dbr:Closed_graph_property dbr:Closed_graph_theorem dbr:Closed_graph_theorem_(functional_analysis) dbr:Alexander_Arhangelskii dbr:Alexander_duality dbr:Alexandroff_extension dbr:Elliptic_curve dbr:Fréchet_space dbr:Gauss–Bonnet_theorem dbr:Generalized_Stokes_theorem dbr:Generalized_method_of_moments dbr:Geodesic_manifold dbr:Geometric_invariant_theory dbr:Geometrization_conjecture dbr:Georges_Reeb dbr:Gleason's_theorem dbr:Glossary_of_areas_of_mathematics dbr:Glossary_of_artificial_intelligence dbr:Grassmannian dbr:Bounded_set dbr:Box_topology dbr:Minkowski_addition dbr:Modular_form dbr:Morse_theory dbr:Möbius_strip dbr:Cone_(topology) dbr:Conformal_geometry dbr:Conformal_group dbr:Conformal_radius dbr:Conformally_flat_manifold dbr:Congestion_game dbr:Constructible_set_(topology) dbr:Constructive_analysis dbr:Continuous_functions_on_a_compact_Hausdorff_space dbr:Continuous_game dbr:Continuum_(topology) dbr:Contraction_mapping dbr:Convergence_group dbr:Convex_body dbr:Convex_polytope dbr:Corona_set dbr:Corona_theorem dbr:Crosscap_number dbr:Equivalence_of_categories dbr:Ergodicity dbr:Simplicial_sphere dbr:Profinite_integer dbr:Relatively_compact_subspace dbr:Opposite_category dbr:Orbit_capacity dbr:Ordered_field dbr:Wiedersehen_pair dbr:Andrey_Nikolayevich_Tikhonov dbr:André_Lichnerowicz dbr:Bauer_maximum_principle dbr:Berkovich_space dbr:Liouville's_theorem_(complex_analysis) dbr:Lipman_Bers dbr:Lorentz_group dbr:M-theory dbr:Magnetic_monopole dbr:Bochner_space dbr:Bogomolov–Miyaoka–Yau_inequality dbr:Choquet_game dbr:Shlomo_Sternberg dbr:Singular_value_decomposition dbr:Sobolev_inequality dbr:Bicompact dbr:Stokes'_theorem dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone_space dbr:Stone–Weierstrass_theorem dbr:Stone–Čech_compactification dbr:Subnet_(mathematics) dbr:Clifford–Klein_form dbr:Clifton–Pohl_torus dbr:Closed_manifold dbr:Closed_set dbr:Cluster_algebra dbr:Commensurability_(group_theory) dbr:Commutative_ring dbr:Compact_convergence dbr:Compact_element dbr:Compact_embedding dbr:Compact_group dbr:Compactification_(mathematics) dbr:Compactly_generated_group dbr:Compactly_generated_space dbr:Compactness_measure_of_a_shape dbr:Compactness_theorem dbr:Complete_lattice dbr:Complete_metric_space dbr:Complete_variety dbr:Complex_geometry dbr:Complex_manifold dbr:Complex_projective_space dbr:Complex_torus dbr:Delone_set dbr:Dense_set dbr:Federer–Morse_theorem dbr:Feebly_compact_space dbr:Frank–Wolfe_algorithm dbr:Fraňková–Helly_selection_theorem dbr:Freund–Rubin_compactification dbr:Frobenius_algebra dbr:Fréchet_algebra dbr:Fréchet_surface dbr:Fréchet–Kolmogorov_theorem dbr:Fujita_conjecture dbr:Functional_analysis dbr:Fundamental_group dbr:Hairy_ball_theorem dbr:Haken_manifold dbr:Helly's_selection_theorem dbr:Helly_space dbr:Helmholtz_decomposition dbr:Hemicompact_space dbr:Idempotent_measure dbr:Kernel_embedding_of_distributions dbr:Krivine–Stengle_Positivstellensatz dbr:Krylov–Bogolyubov_theorem dbr:Partition_of_unity |
| is foaf:primaryTopic of | wikipedia-en:Compact_space |
