Wikipedia:WikiProject Mathematics/PlanetMath Exchange/54-XX General topology
Appearance
This page provides a list of all articles available at PlanetMath in the following topic:
- 54-XX General topology.
This list will be periodically updated. Each entry in the list has three fields:
- PM : The first field is the link to the PlanetMath article, along with the article's object ID.
- WP : The second field is either a "guessed" link to a correspondingly named Wikipedia article, produced by the script which generated the list, or one or more manually entered links to the corresponding Wikipedia articles on the subject.
- Status : The third field is the status field, which explains the current status of the entry. The recommended status entries are:
Status | means PM article |
N | not needed |
A | adequately covered |
C | copied |
M | merged |
NC | needs copying |
NM | needs merging |
- Please update the WP and Status fields as appropriate.
- if the WP field is correct please remove the qualifier "guess".
- If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link.
- If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry.
- If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.
Don't forget to include the relevant template if you copy over text or feel like an external link is warranted
- {{planetmath|id=|title=}} for copied over text
- {{planetmath reference|id=|title=}} for an external link
See the main page for examples and usage criteria.
One can use the web-based program Pmform to convert PlanetMath articles to the Wikipedia format. As a side benefit, this tool will place the PlanetMath template for you.
54-00 General reference works (handbooks, dictionaries, bibliographies, etc.)
[edit]- PM: bibliography for topology, id=6260 -- WP: List of publications in mathematics#Topology -- Status: NC
- Do we want to start creating Bibliograhies? Paul August ☎ 20:15, Feb 1, 2005 (UTC)
- PM: boundary / frontier, id=4200 -- WP: boundary (topology), manifold -- Status: A
- Paul August ☎ 20:15, Feb 1, 2005 (UTC)
- PM: characterizations of connectedness, id=6249 -- WP: Connected space -- Status: A
- The PM article does have a proof of some equivalent conditions to connected, but I don't really think we need it. Paul August ☎ 04:35, Feb 2, 2005 (UTC)
- PM: closed set, id=2739 -- WP: closed set -- Status: NM
- Paul August ☎ 04:08, Mar 14, 2005 (UTC)
- PM: coarser, id=3290 -- WP: Comparison of topologies -- Status: A
- PM: compact-open topology, id=3976 -- WP: compact-open topology -- Status: A
- Paul August ☎ 04:53, Feb 2, 2005 (UTC)
- still A linas (talk) 04:20, 11 June 2009 (UTC)
- PM: completely normal, id=1606 -- WP: completely normal -- Status: A
- Completely normal redirects to normal space, but I think it could have its own article. Paul August ☎ 03:21, 1 September 2006 (UTC)
- PM: continuous proper map, id=4190 -- WP: proper map -- Status: A
- PM: derived set, id=4207 -- WP: derived set -- Status: A
- PM: every second countable space is separable, id=2119 -- WP: second countable space -- Status: A
- PM: first axiom of countability, id=2120 -- WP: first-countable space -- Status: A
- PM: homotopy groups, id=1641 -- WP: homotopy groups -- Status: NM
- PM: index of properties of topolological spaces, id=6251 -- WP: topological property -- Status: NM
- PM: indiscrete topology, id=3120 -- WP: trivial topology -- Status: A
- The interior operator stuff uses a nicer notation in PM AdamSmithee 14:31, 16 January 2006 (UTC)
- Change to NM, the nicer PM layout should be merged in. linas 16:36, 26 November 2006 (UTC)
- PM: invariant forms on representations of compact groups, id=3933 -- WP guess: invariant forms on representations of compact groups -- Status:
- PM: Krull dimension, id=1107 -- WP: Krull dimension of a topological space -- Status: NC
- PM: ladder connected, id=4867 -- WP (none) -- Status: N
- I can't find this anywhere else, so probably not particularly notable. Paul August ☎ 16:26, 7 August 2007 (UTC)
- PM: local base, id=2121 -- WP: local base -- Status: A
- PM: loop, id=1706 -- WP: loop (topology) -- Status: A
- Loop (topology) redirects to Path (topology), but it could have it's own article. Paul August ☎ 19:52, 1 September 2006 (UTC)
- PM: loop space, id=1640 -- WP: loop space -- Status: A
- PM: metacompact, id=8170 -- WP: metacompact space -- Status: A
- PM: neighborhood system, id=2124 -- WP: neighbourhood system -- Status: A
- PM: Niemytzki plane, id=4247 -- WP: Niemytzki plane -- Status: A
- Paul August ☎ 04:22, 3 September 2006 (UTC)
- WP article has materialized. linas 14:42, 4 March 2007 (UTC)
- PM: paracompact topological space, id=1540 -- WP: paracompact space -- Status: A
- PM: Peano space, id=8001 -- WP: Peano space -- Status: A
- PM: pointed topological space, id=4965 -- WP: pointed topological space -- Status: A
- PM: proper map, id=4801 -- WP: proper map -- Status: A.
- PM: quasi-compact, id=1642 -- WP: quasi-compact -- Status: A
- PM: regularly open, id=1954 -- WP: regular open set -- Status: A
- Regular open set redirects to topological glossary, but could have its own article.
- PM: support of function, id=4475 -- WP: support of function -- Status: NM
- Properties, particularly 5 and 6 AdamSmithee 14:31, 16 January 2006 (UTC)
- PM: topological invariant, id=4378 -- WP: topological invariant -- Status: A
- PM: triangle inequality, id=1629 -- WP: triangle inequality -- Status: A
- PM: universal covering space, id=1643 -- WP: covering space -- Status: A
- May deserve its own article. Paul August ☎ 17:11, 7 August 2007 (UTC)
- PM: zero dimensional, id=6291 -- WP: zero dimensional space -- Status: A
- PM: discrete space, id=2726 -- WP: discrete space -- Status: NM
- PM: finite and countable discrete spaces, id=7077 -- WP: discrete space -- Status: A
- PM: locally homeomorphic, id=7020 -- WP: Local homeomorphism -- Status: NM
- PM: separated, id=7064 -- WP: separated sets -- Status: A
- PM: when are balls separated, id=7066 -- WP: (none) -- Status: N
- PM: completely separated, id=9175new! -- WP guess: completely separated -- Status:
- PM: neighborhood system on a set, id=8905new! -- WP guess: neighborhood system on a set -- Status:
54A05 Topological spaces and generalizations (closure spaces, etc.)
[edit]- PM: F_\sigma set, id=6215 -- WP: F-sigma set -- Status: A
- PM: G_\delta set, id=6216 -- WP: G-delta set -- Status: A
- PM: characterization of connected compact metric spaces., id=5473 -- WP guess: characterization of connected compact metric spaces. -- Status:
- PM: classification of topological properties according to behaviour under mapping, id=6217 -- WP guess: classification of topological properties according to behaviour under mapping -- Status:
- PM: closure axioms, id=3697 -- WP guess: closure axioms -- Status:
- PM: countable complement topology, id=6214 -- WP: countable complement topology -- Status: A
- PM: finite complement topology, id=6213 -- WP: finite complement topology -- Status: M
- PM: isolated, id=1201 -- WP: isolated point -- Status: A
- PM: Jordan curve theorem, id=3587 -- WP: Jordan curve theorem -- Status: A
- PM: limit points of sequences, id=6220 -- WP guess: limit points of sequences -- Status:
- PM: neighborhood, id=1151 -- WP: neighbourhood (mathematics) -- Status: A
- PM: proof of characterization of connected compact metric spaces., id=5739 -- WP guess: proof of characterization of connected compact metric spaces. -- Status:
- PM: coercive function, id=7154 -- WP: coercive function -- Status: A
- PM: composition with coercive function, id=7155 -- WP: coercive function -- Status: A
- PM: Boolean space, id=8517new! -- WP: Boolean space -- Status: A
- PM: closed points, id=8512new! -- WP guess: closed points -- Status:
- PM: closure space, id=9036new! -- WP guess: closure space -- Status:
- PM: condensation point, id=8887new! -- WP guess: condensation point -- Status:
- PM: generic points, id=8513new! -- WP guess: generic points -- Status:
- PM: generization, id=8515new! -- WP guess: generization -- Status:
- PM: interior axioms, id=8687new! -- WP guess: interior axioms -- Status:
- PM: specialization, id=8516new! -- WP guess: specialization -- Status:
- PM: spectral spaces, id=8518new! -- WP guess: spectral spaces -- Status:
- PM: tubular neighborhood, id=9559new! -- WP guess: tubular neighborhood -- Status:
54A10 Several topologies on one set (change of topology, comparison of topologies, lattices of topologies)
[edit]- PM: lattice of topologies, id=9172new! -- WP guess: lattice of topologies -- Status:
54A15 Syntopogeneous structures
[edit]- PM: syntopogenous structure, id=9232new! -- WP guess: syntopogenous structure -- Status:
54A20 Convergence in general topology (sequences, filters, limits, convergence spaces, etc.)
[edit]- PM: alternative characterization of ultrafilter, id=6324 -- WP guess: alternative characterization of ultrafilter -- Status:
- PM: another proof of Dini's theorem, id=5437 -- WP: Dini's theorem -- Status: A
- PM: Banach fixed point theorem, id=2758 -- WP: Banach fixed point theorem -- Status: A
- PM: continuous convergence, id=5445 -- WP guess: continuous convergence -- Status:
- PM: contractive maps are uniformly continuous, id=4481 -- WP guess: contractive maps are uniformly continuous -- Status:
- PM: Dini's theorem, id=1988 -- WP: Dini's theorem -- Status: A
- PM: every filter is contained in an ultrafilter, id=6304 -- WP guess: every filter is contained in an ultrafilter -- Status:
- PM: net, id=3250 -- WP: net (mathematics) -- Status: A
- PM: proof of alternative characterization of ultrafilter, id=6325 -- WP guess: proof of alternative characterization of ultrafilter -- Status:
- PM: proof of Banach fixed point theorem, id=3581 -- WP guess: proof of Banach fixed point theorem -- Status:
- PM: proof of Dini's theorem, id=3038 -- WP: Dini's theorem -- Status: A
- PM: proof that every filter is contained in an ultrafilter, id=6305 -- WP guess: proof that every filter is contained in an ultrafilter -- Status:
- PM: theorem about continuous convergence, id=5446 -- WP guess: theorem about continuous convergence -- Status:
- PM: ultrafilter, id=1611 -- WP: ultrafilter -- Status: A
- PM: ultranet, id=3260 -- WP: ultranet (math) -- Status: A
- PM: every net has a universal subnet, id=9795new! -- WP guess: every net has a universal subnet -- Status:
- PM: nets and closures of subspaces, id=9658new! -- WP guess: nets and closures of subspaces -- Status:
- PM: topology via converging nets, id=9570new! -- WP guess: topology via converging nets -- Status:
54A25 Cardinality properties (cardinal functions and inequalities, discrete subsets)
[edit]- PM: Hewitt-Marczewski-Pondiczery theorem, id=9623new! -- WP guess: Hewitt-Marczewski-Pondiczery theorem -- Status:
- PM: topological condition for a set to be uncountable, id=8360new! -- WP guess: topological condition for a set to be uncountable -- Status:
54A99 Miscellaneous
[edit]- PM: U\cap \overline{E} \subseteq \overline{U\cap E} when U is open and E is any set, id=6266 -- WP guess: U\cap \overlineE \subseteq \overlineU\cap E when U is open and E is any set -- Status:
- PM: absolute retract, id=6253 -- WP guess: absolute retract -- Status:
- PM: adherent point, id=6224 -- WP: adherent point -- Status: C
- PM: basis (topology), id=1161 -- WP: basis (topology) -- Status: A
- PM: box topology, id=3095 -- WP: box topology -- Status: A
- PM: closure, id=1191 -- WP: Closure (topology) -- Status: A
- PM: conditions for a collection of subsets to be a basis for some topology, id=5845 -- WP guess: conditions for a collection of subsets to be a basis for some topology -- Status:
- PM: dense in-itself, id=6228 -- WP: dense-in-itself -- Status: C
- Physicistjedi 05:06, December 8 2006 (UTC)
- PM: identification topology, id=6299 -- WP: final topology -- Status: A
- PM: limit point, id=1240 -- WP: limit point -- Status: NM
- I especially like the wording where PM explains the meaning of limit in the name limit point AdamSmithee 15:11, 16 January 2006 (UTC)
- PM: neighborhood retract, id=6255 -- WP: neighborhood retract -- Status: M
- PM: nowhere dense, id=3025 -- WP: nowhere dense -- Status: A
- PM: perfect set, id=3821 -- WP guess: perfect set -- Status:
- PM: proof of properties of the closure operator, id=5638 -- WP guess: proof of properties of the closure operator -- Status:
- PM: properties of the closure operator, id=4474 -- WP guess: properties of the closure operator -- Status:
- PM: shrinking of cover, id=6258 -- WP guess: shrinking of cover -- Status:
- PM: topological sum, id=6300 -- WP: Disjoint union (topology) -- Status: A
- PM: types of limit points, id=6211 -- WP: limit point -- Status: NM
- PM: a nonempty perfect subset of \mathbb{R} that contains no rational number, id=7283 -- WP guess: a nonempty perfect subset of \mathbbR that contains no rational number -- Status:
- PM: properties of the closure operator, id=7075 -- WP guess: properties of the closure operator -- Status:
- PM: continuous relation, id=9389new! -- WP guess: continuous relation -- Status:
- PM: examples of nowhere dense sets, id=9419new! -- WP guess: examples of nowhere dense sets -- Status:
- PM: point finite, id=8398new! -- WP: point finite -- Status: A
- PM: proof that components of open sets in a locally connected space are open, id=9399new! -- WP guess: proof that components of open sets in a locally connected space are open -- Status:
- PM: star refinement, id=8959new! -- WP guess: star refinement -- Status:
- PM: the union of a locally finite collection of closed sets is closed, id=8349new! -- WP guess: the union of a locally finite collection of closed sets is closed -- Status:
54Axx Generalities
[edit]54B05 Subspaces
[edit]- PM: subspace topology, id=499 -- WP: subspace topology -- Status: A
- PM: characterization of subspace topology, id=7616 -- WP: subspace topology -- Status: A
- PM: closed set in a subspace, id=7460 -- WP: subspace topology -- Status: A
- PM: subspace of a subspace, id=7096 -- WP: subspace topology -- Status: A
- PM: subspace topology in a metric space, id=7093 -- WP: subspace topology -- Status: A
54B10 Product spaces
[edit]- PM: product topology, id=3100 -- WP: product topology -- Status: A
- PM: product topology preserves the Hausdorff property, id=4317 -- WP: product topology -- Status: A
- Article is a proof, added a link to it in product topology. linas 00:40, 22 November 2006 (UTC)
- PM: product topology and subspace topology, id=7504 -- WP: product topology -- Status: A
- Article is a proof, added a link to it in initial topology. linas 01:14, 26 November 2006 (UTC)
54B15 Quotient spaces, decompositions
[edit]- PM: cell attachment, id=3991 -- WP guess: cell attachment -- Status:
- PM: Klein bottle, id=4249 -- WP: Klein bottle -- Status: M
- PM: Möbius strip, id=3278 -- WP: Möbius strip -- Status:
- PM: quotient space, id=2930 -- WP: quotient space -- Status: A
- PM: feature of Mobius strip, id=7953new! -- WP guess: feature of Mobius strip -- Status:
54B17 Adjunction spaces and similar constructions
[edit]- PM: adjunction space, id=3992 -- WP: adjunction space -- Status: A
54B40 Presheaves and sheaves
[edit]- PM: direct image, id=1100 -- WP: direct image -- Status: C
- Copied by Jtwdog. Paul August ☎ 00:10, 28 July 2007 (UTC)
54B99 Miscellaneous
[edit]- PM: cofinite and cocountable topology, id=3464 -- WP: cofinite and cocountable topology -- Status: A
- PM: cone, id=3974 -- WP: cone (topology) -- Status: M
- WP article is missing definition of a reduced cone on pointed spaces.linas 21:49, 25 November 2006 (UTC)
- Now Merged. linas 02:10, 26 November 2006 (UTC)
- PM: join, id=3985 -- WP: join (topology) -- Status: M
- PM: order topology, id=1411 -- WP: order topology -- Status: M
- Previously merged by User:Lethe in Dec 2005.
- PM: suspension, id=3984 -- WP: suspension (topology) -- Status: M
- PM: initial topology, id=7368 -- WP: initial topology -- Status: A
54Bxx Basic constructions
[edit]54C05 Continuous maps
[edit]- PM: homeomorphism, id=912 -- WP: homeomorphism -- Status: A
- PM: Inverse Function Theorem (topological spaces), id=3965 -- WP guess: Inverse Function Theorem (topological spaces) -- Status:
- PM: proof of Inverse Function Theorem (topological spaces), id=4125 -- WP guess: proof of Inverse Function Theorem (topological spaces) -- Status:
- PM: continuity is preserved when codomain is extended, id=7078 -- WP guess: continuity is preserved when codomain is extended -- Status:
- PM: gluing together continuous functions, id=7081 -- WP guess: gluing together continuous functions -- Status:
- PM: proximity continuous, id=9203new! -- WP guess: proximity continuous -- Status:
- PM: sequentially continous implies continuous in a first-countable space, id=8700new! -- WP guess: sequentially continous implies continuous in a first-countable space -- Status:
- PM: sequentially continuous, id=8699new! -- WP guess: sequentially continuous -- Status:
- PM: uniformly continuous is proximity continuous, id=9204new! -- WP guess: uniformly continuous is proximity continuous -- Status:
54C08 Weak and generalized continuity
[edit]54C10 Special maps on topological spaces (open, closed, perfect, etc.)
[edit]- PM: open mapping, id=3676 -- WP: Open and closed maps -- Status: A
- PM: crosscap slide, id=7651new! -- WP guess: crosscap slide -- Status:
- PM: y-homeomorphism, id=7652new! -- WP guess: y-homeomorphism -- Status:
54C15 Retraction
[edit]54C20 Extension of maps
[edit]- PM: proof of Tietze extension theorem, id=5566 -- WP: Tietze extension theorem -- Status: N
- Added as link in article. linas 23:39, 24 November 2006 (UTC)
54C25 Embedding
[edit]54C30 Real-valued functions
[edit]54C35 Function spaces
[edit]- PM: ring of continuous functions, id=9176new! -- WP guess: ring of continuous functions -- Status:
- PM: zero set of a topological space, id=9201new! -- WP guess: zero set of a topological space -- Status:
54C40 Algebraic properties of function spaces
[edit]54C45 $C$- and $C^*$-embedding
[edit]- PM: C-embedding, id=9231new! -- WP guess: C-embedding -- Status:
- PM: Urysohn extension theorem, id=9314new! -- WP guess: Urysohn extension theorem -- Status:
54C50 Special sets defined by functions
[edit]54C70 Entropy
[edit]- PM: differential entropy, id=1915 -- WP guess: differential entropy -- Status:
54C99 Miscellaneous
[edit]- PM: Borsuk-Ulam theorem, id=947 -- WP guess: Borsuk-Ulam theorem -- Status:
- PM: ham sandwich theorem, id=4772 -- WP: ham sandwich theorem -- Status: A
- PM: proof of Borsuk-Ulam theorem, id=3621 -- WP guess: proof of Borsuk-Ulam theorem -- Status:
- PM: proof of ham sandwich theorem, id=8882new! -- WP guess: proof of ham sandwich theorem -- Status:
54Cxx Maps and general types of spaces defined by maps
[edit]54D05 Connected and locally connected spaces (general aspects)
[edit]- PM: clopen subset, id=3978 -- WP: clopen subset -- Status: A
- PM: connected component, id=948 -- WP: connected space -- Status: A
- PM: connected set in a topological space, id=4811 -- WP: connected space -- Status: A
- PM: connected space, id=941 -- WP: connected space -- Status: A
- PM: connectedness is preserved under a continuous map, id=4692 -- WP: connected space -- Status: A
- PM: example of a connected space that is not path-connected, id=3087 -- WP: connected space -- Status: A
- PM: example of a semilocally simply connected space which is not locally simply connected, id=3972 -- WP: semi-locally simply connected -- Status: A
- PM: example of a space that is not semilocally simply connected, id=3967 -- WP: semi-locally simply connected -- Status: A
- PM: hyperconnected space, id=5813 -- WP: hyperconnected space -- Status: A
- PM: locally connected, id=2912 -- WP: locally connected -- Status: A
- PM: locally simply connected, id=3975 -- WP: locally simply connected -- Status: A
- PM: path component, id=949 -- WP guess: path component -- Status:
- PM: products of connected spaces are connected, id=4697 -- WP guess: products of connected spaces are connected -- Status:
- PM: proof that a path connected space is connected, id=3086 -- WP guess: proof that a path connected space is connected -- Status:
- PM: proof that products of connected spaces are connected, id=5592 -- WP guess: proof that products of connected spaces are connected -- Status:
- PM: quasicomponent, id=2201 -- WP guess: quasicomponent -- Status:
- PM: semilocally simply connected, id=2911 -- WP guess: semilocally simply connected -- Status:
- PM: ultraconnected space, id=5814 -- WP: ultraconnected space -- Status: C
- PM: limit points and closure for connected sets, id=7097 -- WP guess: limit points and closure for connected sets -- Status:
- PM: union of non-disjoint connected sets is connected, id=7095 -- WP guess: union of non-disjoint connected sets is connected -- Status:
- PM: \mathbb{R}^2 \setminus C is path connected if C is countable, id=8234new! -- WP guess: \mathbbR^2 \setminus C is path connected if C is countable -- Status:
- PM: a connected and locally path connected space is path connected, id=9090new! -- WP guess: a connected and locally path connected space is path connected -- Status:
- PM: a connected normal space with more than one point is uncountable, id=9640new! -- WP guess: a connected normal space with more than one point is uncountable -- Status:
- PM: connected im kleinen, id=8000new! -- WP guess: connected im kleinen -- Status:
- PM: continuous images of path connected spaces are path connected, id=7874new! -- WP guess: continuous images of path connected spaces are path connected -- Status:
54D10 Lower separation axioms (T0--T3, etc.)
[edit]- PM: a compact set in a Hausdorff space is closed, id=4194 -- WP: Hausdorff space -- Status: A
- PM: a space \mathnormal{X} is Hausdorff if and only if \Delta(X) is closed, id=5820 -- WP: Hausdorff space -- Status: A
- PM: a space is T1 if and only if every singleton is closed, id=5808 -- WP: T1 space -- Status: A
- PM: a space is T1 if and only if every subset A is the intersection of all open sets containing A, id=5809 -- WP: T1 space -- Status: A
- PM: characterization of T2 spaces, id=6306 -- WP: Hausdorff space -- Status: A
- 21:08, 1 August 2007 (UTC)
- PM: completely Hausdorff, id=5717 -- WP: completely Hausdorff -- Status: A
- PM: Hausdorff space not completely Hausdorff, id=5718 -- WP: Hausdorff space not completely Hausdorff -- Status: NC
- Nice counterexample. linas 19:44, 24 November 2006 (UTC)
- PM: metric spaces are Hausdorff, id=5838 -- WP: metric space -- Status: N
- This is a proof of a theorem, and was linked as such in metric space. linas 18:44, 22 November 2006 (UTC)
- PM: point and a compact set in a Hausdorff space have disjoint open neighborhoods., id=4193 -- WP: Hausdorff space -- Status: N
- A proof, added as link to Hausdorff space. linas 02:32, 26 November 2006 (UTC)
- PM: proof of A compact set in a Hausdorff space is closed, id=4203 -- WP: Hausdorff space -- Status: N
- This is a proof, added link to article on Hausdorff space. linas 02:26, 26 November 2006 (UTC)
- PM: regular space, id=1863 -- WP: regular space -- Status: A
- PM: separation axioms, id=4050 -- WP: separation axioms -- Status: A
- PM: a space is T_1 if and only if distinct points are separated, id=7069 -- WP: T1 space -- Status: A
- PM: Hausdorff property is hereditary, id=7202 -- WP: Hausdorff space -- Status: N
- Its a proof, added as a link to Hausdorff space. linas 02:39, 26 November 2006 (UTC)
54D15 Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.)
[edit]- PM: normal, id=1532 -- WP: normal space -- Status: A
- PM: proof of Urysohn's lemma, id=3597 -- WP: (none) -- Status: N
- Added as link from Urysohn's lemma. linas 20:52, 24 November 2006 (UTC)
- PM: Tietze extension theorem, id=4215 -- WP: Tietze extension theorem -- Status: A
- PM: Tychonoff, id=1534 -- WP: Tychonoff space -- Status: A
- PM: Urysohn's lemma, id=1530 -- WP: Urysohn's lemma -- Status: A
- PM: How are normal and T4 spaces defined in books?, id=9462new! -- WP guess: How are normal and T4 spaces defined in books? -- Status:
54D20 Noncompact covering properties (paracompact, Lindelöf, etc.)
[edit]- PM: collectionwise normal, id=6497 -- WP guess: collectionwise normal -- Status:
- PM: countably compact, id=1233 -- WP: countably compact -- Status: A
- PM: development, id=6495 -- WP: development (topology) -- Status: C
- PM: Lindelöf, id=1226 -- WP: Lindelöf space -- Status: A
- PM: locally finite, id=1542 -- WP: locally finite -- Status: A
- PM is dictdef, WP is link to glossary. linas 22:35, 24 November 2006 (UTC)
- PM: partition of unity, id=4063 -- WP guess: partition of unity -- Status:
- PM: point finite collection, id=6256 -- WP: point finite collection -- Status: C
- PM object 6256 is "not found"; however, I did copy obj id 8398, point finite from PM. linas 14:52, 4 March 2007 (UTC)
- PM: existence of partitions of unity, id=9780new! -- WP guess: existence of partitions of unity -- Status:
- PM: strongly paracompact space, id=9459new! -- WP guess: strongly paracompact space -- Status:
54D30 Compactness
[edit]- PM: Y is compact if and only if every open cover of Y has a finite subcover, id=4179 -- WP: Compact space -- Status: N
- Proof of something that seems shallow. linas 15:37, 4 March 2007 (UTC)
- PM: a space is compact if and only if the space has the finite intersection property, id=4181 -- WP: compact space -- Status: N
- Proof, added as a reference to compact space and finite intersection property linas 15:46, 4 March 2007 (UTC)
- PM: closed set in a compact space is compact, id=4177 -- WP: compact space -- Status: N
- Proof, added as a reference to compact space. linas 16:06, 4 March 2007 (UTC)
- PM: closed subsets of a compact set are compact, id=4691 -- WP: compact space -- Status: N
- Proof, added as a reference to compact space. linas 16:16, 4 March 2007 (UTC)
- PM: compact, id=503 -- WP: compact space -- Status: A
- PM: compactness is preserved under a continuous map, id=4689 -- WP: compact space -- Status: N
- Proof, added as a reference to compact space. linas 16:25, 4 March 2007 (UTC)
- PM: examples of compact spaces, id=3133 -- WP: compact space -- Status: M
- Merged. linas 16:34, 4 March 2007 (UTC)
- PM: finite intersection property, id=4178 -- WP: finite intersection property -- Status: A
- PM: Heine-Borel theorem, id=1165 -- WP: Heine-Borel theorem -- Status: A
- PM: limit point compact, id=1234 -- WP: limit point compact -- Status: C
- PM: proof of Heine-Borel theorem, id=3328 -- WP: Heine-Borel theorem -- Status: N
- AdamSmithee 15:18, 16 January 2006 (UTC)
- Proof, added as a reference to Heine-Borel theorem linas 20:15, 4 March 2007 (UTC)
- PM: properties of compact spaces, id=3966 -- WP: compact space -- Status: A
- PM: pseudocompact space, id=5815 -- WP: pseudocompact space -- Status: A
- PM: relatively compact, id=4722 -- WP: relatively compact -- Status: A
- Actually, obj id 4722 is "not found" on PM linas 20:35, 4 March 2007 (UTC)
- PM: representation theorem for compact metric spaces, id=6265 -- WP: Cantor set -- Status: A
- PM: Stone-\v Cech compactification, id=6207 -- WP: Stone-Cech compactification -- Status: A
- PM: Tychonoff's theorem, id=1168 -- WP: Tychonoff's theorem -- Status: A
- PM: weakly countably compact, id=6212 -- WP: weakly countably compact -- Status: M
- PM: proof of Tychonoff's theorem in finite case, id=7288 -- WP: Tychonoff's theorem -- Status: N
- Linked proof to Tychonoff's theorem linas 21:29, 24 November 2006 (UTC)
- PM: alternative characterization of Stone-Čech compactification, id=7851new! -- WP guess: alternative characterization of Stone-Čech compactification -- Status:
- PM: compact subspace of a Hausdorff space is closed, id=8702new! -- WP guess: compact subspace of a Hausdorff space is closed -- Status:
- PM: continuous image of a compact set is compact, id=7888new! -- WP guess: continuous image of a compact set is compact -- Status:
- PM: proof of Tychonoff's theorem, id=9797new! -- WP guess: proof of Tychonoff's theorem -- Status:
- PM: the continuous image of a compact space is compact, id=7879new! -- WP guess: the continuous image of a compact space is compact -- Status:
- PM: tube lemma, id=9802new! -- WP guess: tube lemma -- Status:
54D35 Extensions of spaces (compactifications, supercompactifications, completions, etc.)
[edit]- PM: Alexandrov one-point compactification, id=4515 -- WP: compactification (mathematics) -- Status: A
- This content is contained in [[compactification (mathematics), but probably should have its own article. Paul August ☎ 04:56, 2 August 2007 (UTC)
- PM: compactification, id=1654 -- WP: compactification (mathematics) -- Status: A
- PM: something related to Alexandrov one-point compactification, id=9357new! -- WP guess: something related to Alexandrov one-point compactification -- Status:
54D45 Local compactness, $\sigma$-compactness
[edit]- PM: \sigma-compact, id=5503 -- WP: Sigma-compactness -- Status: A
- PM: examples of locally compact and not locally compact spaces, id=3129 -- WP: locally compact -- Status: A
- PM: locally compact, id=2904 -- WP: locally compact -- Status: A
- PM: precompact set, id=6264 -- WP: relatively compact subspace -- Status: NM
- Note what PM calls "precompact", WP calls "relatively compact". Paul August ☎ 05:56, 2 August 2007 (UTC)
54D65 Separability
[edit]- PM: separable, id=1193 -- WP: separable space -- Status: A
54D70 Base properties
[edit]- PM: second countable, id=1162 -- WP: second countable -- Status: A
- PM: second countability is hereditary, id=7208 -- WP: second-countable space -- Status: A
- PM: a compact metric space is second countable, id=9296new! -- WP guess: a compact metric space is second countable -- Status:
54D99 Miscellaneous
[edit]- PM: first countable, id=2187 -- WP: first countable -- Status: A
- PM: Lindelöf theorem, id=2118 -- WP: Second-countable space -- Status: A
- PM: proof of Lindelöf theorem, id=3299 -- WP: Second-countable space -- Status: A
- PM: totally disconnected space, id=3981 -- WP: totally disconnected space -- Status: A
- PM: homogeneous topological space, id=8428new! -- WP guess: homogeneous topological space -- Status:
54Dxx Fairly general properties
[edit]54E05 Proximity structures and generalizations
[edit]- PM: Moore space, id=6496 -- WP: Moore space (topology) -- Status: C
- PM: proximal neighborhood, id=9250new! -- WP guess: proximal neighborhood -- Status:
- PM: proximity generated by uniformity, id=9206new! -- WP guess: proximity generated by uniformity -- Status:
- PM: proximity space, id=9037new! -- WP guess: proximity space -- Status:
54E15 Uniform structures and generalizations
[edit]- PM: topology induced by uniform structure, id=3091 -- WP: uniform space -- Status: A
- PM: uniform space, id=3085 -- WP: uniform space -- Status: A
- PM: uniform structure of a metric space, id=3103 -- WP: uniform space -- Status: A
- PM: uniform structure of a topological group, id=3104 -- WP: uniform space -- Status: A
- PM: complete uniform space, id=8907new! -- WP guess: complete uniform space -- Status:
- PM: equivalent condition for being a fundamental system of entourages, id=8676new! -- WP guess: equivalent condition for being a fundamental system of entourages -- Status:
- PM: fundamental system of entourages, id=8674new! -- WP guess: fundamental system of entourages -- Status:
- PM: generalization of a uniformity, id=8937new! -- WP guess: generalization of a uniformity -- Status:
- PM: product of uniform spaces, id=8691new! -- WP guess: product of uniform spaces -- Status:
- PM: separated uniform space, id=8925new! -- WP guess: separated uniform space -- Status:
- PM: uniform continuity, id=8941new! -- WP guess: uniform continuity -- Status:
- PM: uniform neighborhood, id=8924new! -- WP guess: uniform neighborhood -- Status:
- PM: uniformizable space, id=9055new! -- WP guess: uniformizable space -- Status:
54E17 Nearness spaces
[edit]54E25 Semimetric spaces
[edit]- PM: hemimetric, id=5903 -- WP: hemimetric -- Status: C
- PM: semimetric, id=5904 -- WP: semimetric -- Status: A
- PM article is blanked, because it gave the wrong definition (it confused quasimetric with semi-metric). linas 06:19, 22 November 2006 (UTC)
- The PM article has now been fixed. Paul August ☎ 03:40, 4 August 2007 (UTC)
54E30 Moore spaces
[edit]- PM: relatively prime integer topology, id=6314 -- WP: relatively prime integer topology -- Status: NC
54E35 Metric spaces, metrizability
[edit]- PM: \varepsilon-net, id=4280 -- WP: ε-net (metric space) -- Status: NC
- PM: alternative definition of metric space, id=6903 -- WP guess: alternative definition of metric space -- Status:
- PM: ball, id=1296 -- WP: Ball (mathematics) -- Status: A
- PM: bounded, id=4826 -- WP: bounded set -- Status: A
- PM: bounded, id=1167 -- WP: bounded set -- Status: A
- PM: city-block metric, id=1552 -- WP: taxicab metric -- Status: A
- PM: completely metrizable, id=1609 -- WP: completely metrizable space -- Status: A
- PM: distance to a set, id=4294 -- WP: metric space -- Status: A
- PM: equibounded, id=3766 -- WP guess: equibounded -- Status:
- PM: example of pseudometric space, id=6275 -- WP: pseudometric space -- Status: M
- PM: examples of metric spaces, id=6833 -- WP: metric spaces -- Status: NM
- PM: Hausdorff metric, id=4046 -- WP: Hausdorff metric -- Status: NM
- PM: Hausdorff metric inherits completeness, id=5563 -- WP: Hausdorff distance -- Status: A
- PM: metric space, id=498 -- WP: metric space -- Status: A
- PM: open set in \mathbb{R}^n contains an open rectangle, id=5537 -- WP: (none) -- Status: N
- PM: point countable base, id=6499 -- WP: base (topology) -- Status: NM
- PM: pseudometric space, id=6273 -- WP: pseudometric space -- Status: C
- PM: pseudometric topology, id=6284 -- WP: pseudometric space -- Status: N
- Mostly a proof, which is now referenced in the topology subsection of pseudometric space. linas 16:33, 22 November 2006 (UTC)
- PM: quasimetric space, id=6274 -- WP: quasimetric space -- Status: A
- PM: sphere (metric space), id=6446 -- WP guess: sphere (metric space) -- Status:
- PM: totally bounded, id=3608 -- WP: totally bounded space -- Status: A
- PM: totally bounded subset of a metric space is bounded, id=7269 -- WP: totally bounded space -- Status: A
- PM: ultrametric, id=4044 -- WP: ultrametric space -- Status: NM
- PM: ultrametric space, id=6612 -- WP: ultrametric space -- Status: NM
- PM: uniform base, id=6498 -- WP: base (topology) -- Status: NM
- PM: Urysohn metrization theorem, id=1531 -- WP: Urysohn metrization theorem -- Status: A
- PM: disjoint disks property, id=9091new! -- WP guess: disjoint disks property -- Status:
- PM: generalization of a pseudometric, id=8936new! -- WP guess: generalization of a pseudometric -- Status:
- PM: product of metric spaces, id=8288new! -- WP guess: product of metric spaces -- Status:
- PM: totally bounded uniform space, id=8958new! -- WP guess: totally bounded uniform space -- Status:
54E40 Special maps on metric spaces
[edit]- PM: near operators, id=5411 -- WP guess: near operators -- Status:
54E45 Compact (locally compact) metric spaces
[edit]- PM: Lebesgue number lemma, id=3402 -- WP: Lebesgue's number lemma -- Status: A
- PM: proof of Lebesgue number lemma, id=3596 -- WP: Lebesgue's number lemma -- Status: A
- PM: Cantor's Intersection Theorem, id=6970 -- WP: Cantor intersection theorem -- Status: NC
54E50 Complete metric spaces
[edit]- PM: complete, id=603 -- WP: complete metric space -- Status: A
- PM: completeness principle, id=2171 -- WP: completeness principle -- Status: NC
- PM: nested sphere theorem, id=6648 -- WP guess: nested sphere theorem -- Status:
- PM: uniformly equicontinuous, id=3717 -- WP: uniformly equicontinuous -- Status: A
- PM: Cantor space, id=4439 -- WP: Cantor space -- Status: A
- PM: Polish space, id=6693 -- WP: Polish space -- Status: A
- PM: a closed subset of a complete metric space is complete, id=8703new! -- WP guess: a closed subset of a complete metric space is complete -- Status:
- PM: a complete subspace of a metric space is closed, id=8704new! -- WP guess: a complete subspace of a metric space is closed -- Status:
- PM: Baire space, id=8124new! -- WP guess: Baire space -- Status:
54E52 Baire category, Baire spaces
[edit]- PM: Baire category theorem, id=3024 -- WP guess: Baire category theorem -- Status:
- PM: Baire space, id=4342 -- WP: Baire space -- Status: A
- PM: equivalent statement of Baire category theorem, id=5441 -- WP guess: equivalent statement of Baire category theorem -- Status:
- PM: meager, id=3680 -- WP: meagre set -- Status: A
- PM: proof for one equivalent statement of Baire category theorem, id=5442 -- WP guess: proof for one equivalent statement of Baire category theorem -- Status:
- PM: proof of Baire category theorem, id=3543 -- WP guess: proof of Baire category theorem -- Status:
- PM: residual, id=3476 -- WP: residual set -- Status: NM
- PM: six consequences of Baire category theorem, id=5444 -- WP guess: six consequences of Baire category theorem -- Status:
- PM: \mathbb{R}^n is not a countable union of proper vector subspaces, id=6688 -- WP guess: \mathbbR^n is not a countable union of proper vector subspaces -- Status:
- PM: Banach spaces of infinite dimension don't have a countable algebraic basis, id=6691 -- WP guess: Banach spaces of infinite dimension don't have a countable algebraic basis -- Status:
- PM: no continuous function switches the rational and the irrational numbers, id=6692 -- WP guess: no continuous function switches the rational and the irrational numbers -- Status:
- PM: no countable dense subset of a complete metric space is a G_\delta, id=6689 -- WP guess: no countable dense subset of a complete metric space is a G_\delta -- Status:
- PM: there are continuous functions in the interval [0,1 which are not monotonic at any subinterval], id=6690 -- WP guess: [[there are continuous functions in the interval [0,1] which are not monotonic at any subinterval]] -- Status:
- PM: another proof of the non-existence of a continuous function that switches the rational and the irrational numbers, id=8546new! -- WP guess: another proof of the non-existence of a continuous function that switches the rational and the irrational numbers -- Status:
- PM: example of a meager set, id=9420new! -- WP guess: example of a meager set -- Status:
54E70 Probabilistic metric spaces
[edit]- PM: probabilistic metric space, id=9066new! -- WP guess: probabilistic metric space -- Status:
54E99 Miscellaneous
[edit]- PM: compactly generated, id=1688 -- WP: compactly generated space -- Status: A
- PM: Hahn-Mazurkiewicz theorem, id=3369 -- WP: Hahn-Mazurkiewicz theorem -- Status: A
- PM: Vitali covering, id=4072 -- WP: Vitali covering lemma -- Status: A
- PM: sober space, id=8950new! -- WP guess: sober space -- Status:
54Exx Spaces with richer structures
[edit]54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces
[edit]- PM: ordinal space, id=9498new! -- WP guess: ordinal space -- Status:
54F45 Dimension theory
[edit]54F65 Topological characterizations of particular spaces
[edit]54F99 Miscellaneous
[edit]- PM: partial ordering in a topological space, id=8775new! -- WP guess: partial ordering in a topological space -- Status:
54Fxx Special properties
[edit]54G05 Extremally disconnected spaces, $F$-spaces, etc.
[edit]- PM: extremally disconnected, id=2982 -- WP: extremally disconnected space -- Status: A
54G12 Scattered spaces
[edit]- PM: scattered space, id=8934new! -- WP guess: scattered space -- Status:
54G20 Counterexamples
[edit]- PM: Hedgehog space, id=6500 -- WP: Hedgehog space -- Status: C
- PM: long line, id=4069 -- WP: long line (topology) -- Status: A
- PM: Sierpinski space, id=1222 -- WP: Sierpinski space -- Status: A