Wikipedia:WikiProject Mathematics/PlanetMath Exchange/54-XX General topology

54-00 General reference works (handbooks, dictionaries, bibliographies, etc.)

 * PM: bibliography for topology, id=6260 -- WP: List of publications in mathematics -- Status: NC
 * Do we want to start creating Bibliograhies? Paul August &#9742; 20:15, Feb 1, 2005 (UTC)


 * PM: boundary / frontier, id=4200 -- WP: boundary (topology), manifold -- Status: A
 * Paul August &#9742; 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 &#9742; 04:35, Feb 2, 2005 (UTC)


 * PM: closed set, id=2739 -- WP: closed set -- Status: NM
 * Paul August &#9742; 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 &#9742; 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 &#9742; 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
 * AdamSmithee 14:31, 16 January 2006 (UTC)


 * PM: diameter, id=1989 -- WP: diameter -- Status: NM
 * AdamSmithee 14:31, 16 January 2006 (UTC)


 * PM: every second countable space is separable, id=2119 -- WP: second countable space -- Status: A
 * Paul August &#9742; 20:21, 3 September 2006 (UTC)


 * PM: first axiom of countability, id=2120 -- WP: first-countable space -- Status: A
 * Paul August &#9742; 03:27, 1 September 2006 (UTC)


 * PM: homotopy groups, id=1641 -- WP: homotopy groups -- Status: NM
 * Paul August &#9742; 17:28, 17 October 2006 (UTC)


 * PM: index of properties of topolological spaces, id=6251 -- WP: topological property -- Status: NM
 * Paul August &#9742; 18:38, 23 October 2006 (UTC)


 * PM: indiscrete topology, id=3120 -- WP: trivial topology -- Status: A
 * Paul August &#9742; 04:11, 1 September 2006 (UTC)


 * PM: interior, id=3123 -- WP: interior -- Status: NM
 * 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
 * Paul August &#9742; 04:11, 7 August 2007 (UTC)


 * PM: ladder connected, id=4867 -- WP (none) -- Status: N
 * I can't find this anywhere else, so probably not particularly notable. Paul August &#9742; 16:26, 7 August 2007 (UTC)


 * PM: local base, id=2121 -- WP: local base -- Status: A
 * Paul August &#9742; 19:22, 1 September 2006 (UTC)


 * 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 &#9742; 19:52, 1 September 2006 (UTC)


 * PM: loop space, id=1640 -- WP: loop space -- Status: A
 * linas 13:43, 4 March 2007 (UTC)


 * PM: metacompact, id=8170 -- WP: metacompact space -- Status: A
 * Paul August &#9742; 01:45, 23 October 2006 (UTC)


 * PM: neighborhood system, id=2124 -- WP: neighbourhood system -- Status: A
 * AdamSmithee 14:31, 16 January 2006 (UTC)


 * PM: Niemytzki plane, id=4247 -- WP: Niemytzki plane -- Status: A
 * Paul August &#9742; 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
 * Paul August &#9742; 20:13, 1 September 2006 (UTC)


 * PM: Peano space, id=8001 -- WP: Peano space -- Status: A
 * Paul August &#9742; 02:38, 23 October 2006 (UTC)


 * PM: pointed topological space, id=4965 -- WP: pointed topological space -- Status: A
 * Paul August &#9742; 03:57, 3 September 2006 (UTC)


 * PM: proper map, id=4801 -- WP: proper map -- Status: A.
 * Oleg Alexandrov (talk) 02:05, 24 July 2006 (UTC)


 * PM: quasi-compact, id=1642 -- WP: quasi-compact -- Status: A
 * Paul August &#9742; 03:54, 3 September 2006 (UTC)


 * 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
 * AdamSmithee 14:31, 16 January 2006 (UTC)


 * PM: triangle inequality, id=1629 -- WP: triangle inequality -- Status: A
 * AdamSmithee 14:31, 16 January 2006 (UTC)


 * PM: universal covering space, id=1643 -- WP: covering space -- Status: A
 * May deserve its own article. Paul August &#9742; 17:11, 7 August 2007 (UTC)


 * PM: zero dimensional, id=6291 -- WP: zero dimensional space -- Status: A
 * Paul August &#9742; 20:30, 3 September 2006 (UTC)


 * PM: discrete space, id=2726 -- WP: discrete space -- Status: NM
 * Paul August &#9742; 02:52, 23 October 2006 (UTC)


 * PM: finite and countable discrete spaces, id=7077 -- WP: discrete space -- Status: A
 * Paul August &#9742; 20:03, 23 October 2006 (UTC)


 * PM: locally homeomorphic, id=7020 -- WP: Local homeomorphism -- Status: NM
 * Paul August &#9742; 20:17, 23 October 2006 (UTC)


 * PM: separated, id=7064 -- WP: separated sets -- Status: A


 * PM: when are balls separated, id=7066 -- WP: (none) -- Status: N
 * Paul August &#9742; 03:38, 6 September 2006 (UTC)


 * 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.)

 * PM: F_\sigma set, id=6215 -- WP: F-sigma set -- Status: A
 * Paul August &#9742; 03:04, 9 September 2006 (UTC)


 * PM: G_\delta set, id=6216 -- WP: G-delta set -- Status: A
 * Paul August &#9742; 03:04, 9 September 2006 (UTC)


 * 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
 * Paul August &#9742; 05:00, 11 August 2007 (UTC)


 * PM: finite complement topology, id=6213 -- WP: finite complement topology -- Status: M
 * Paul August &#9742; 23:19, 28 October 2006 (UTC)


 * PM: isolated, id=1201 -- WP: isolated point -- Status: A
 * AdamSmithee 14:51, 16 January 2006 (UTC)


 * PM: Jordan curve theorem, id=3587 -- WP: Jordan curve theorem -- Status: A
 * Paul August &#9742; 05:00, 24 October 2006 (UTC)


 * PM: limit points of sequences, id=6220 -- WP guess: limit points of sequences -- Status:


 * PM: neighborhood, id=1151 -- WP: neighbourhood (mathematics) -- Status: A
 * AdamSmithee 14:51, 16 January 2006 (UTC)


 * PM: open set, id=2925 -- WP: open set -- Status: A
 * Paul August &#9742; 03:22, 11 August 2007 (UTC)


 * 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
 * Paul August &#9742; 01:44, 13 August 2007 (UTC)


 * PM: composition with coercive function, id=7155 -- WP: coercive function -- Status: A
 * Paul August &#9742; 02:00, 13 August 2007 (UTC)


 * PM: Boolean space, id=8517new! -- WP: Boolean space -- Status: A
 * Paul August &#9742; 02:14, 20 August 2007 (UTC)


 * 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)

 * PM: lattice of topologies, id=9172new! -- WP guess: lattice of topologies -- Status:

54A15 Syntopogeneous structures

 * PM: syntopogenous structure, id=9232new! -- WP guess: syntopogenous structure -- Status:

54A20 Convergence in general topology (sequences, filters, limits, convergence spaces, etc.)

 * 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
 * Paul August &#9742; 02:36, 14 August 2007 (UTC)


 * PM: Banach fixed point theorem, id=2758 -- WP: Banach fixed point theorem -- Status: A
 * Paul August &#9742; 05:06, 24 October 2006 (UTC)


 * 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
 * Paul August &#9742; 02:33, 14 August 2007 (UTC)


 * 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
 * linas 00:06, 22 November 2006 (UTC)


 * 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
 * Paul August &#9742; 02:37, 14 August 2007 (UTC)


 * 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
 * Paul August &#9742; 01:40, 13 August 2007 (UTC)


 * PM: ultranet, id=3260 -- WP: ultranet (math) -- Status: A
 * linas 00:09, 22 November 2006 (UTC)


 * 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)

 * 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

 * 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
 * linas 04:08, 27 November 2006 (UTC)


 * PM: basis (topology), id=1161 -- WP: basis (topology) -- Status: A
 * linas 21:49, 24 November 2006 (UTC)


 * PM: box topology, id=3095 -- WP: box topology -- Status: A
 * linas 00:36, 22 November 2006 (UTC)


 * PM: closure, id=1191 -- WP: Closure (topology) -- Status: A
 * AdamSmithee 15:11, 16 January 2006 (UTC)


 * 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: cover, id=1224 -- WP: cover -- Status: A
 * Paul August &#9742; 01:32, 8 August 2007 (UTC)


 * PM: dense, id=1192 -- WP: Dense set -- Status: A
 * AdamSmithee 15:11, 16 January 2006 (UTC)


 * 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
 * Paul August &#9742; 01:42, 8 August 2007 (UTC)


 * 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
 * linas 23:48, 24 November 2006 (UTC)


 * PM: nowhere dense, id=3025 -- WP: nowhere dense -- Status: A
 * AdamSmithee 15:11, 16 January 2006 (UTC)


 * 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: subbasis, id=1409 -- WP: subbasis -- Status: A
 * linas 21:54, 24 November 2006 (UTC)


 * PM: topological sum, id=6300 -- WP: Disjoint union (topology) -- Status: A


 * PM: types of limit points, id=6211 -- WP: limit point -- Status: NM
 * AdamSmithee 15:11, 16 January 2006 (UTC)


 * 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
 * Paul August &#9742; 02:21, 20 August 2007 (UTC)


 * 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:

54B05 Subspaces

 * PM: subspace topology, id=499 -- WP: subspace topology -- Status: A
 * Paul August &#9742; 02:47, 14 August 2007 (UTC)


 * PM: characterization of subspace topology, id=7616 -- WP: subspace topology -- Status: A
 * Paul August &#9742; 02:48, 14 August 2007 (UTC)


 * PM: closed set in a subspace, id=7460 -- WP: subspace topology -- Status: A
 * Paul August &#9742; 02:51, 14 August 2007 (UTC)


 * PM: subspace of a subspace, id=7096 -- WP: subspace topology -- Status: A
 * Paul August &#9742; 02:54, 14 August 2007 (UTC)


 * PM: subspace topology in a metric space, id=7093 -- WP: subspace topology -- Status: A
 * Paul August &#9742; 02:56, 14 August 2007 (UTC)

54B10 Product spaces

 * PM: product topology, id=3100 -- WP: product topology -- Status: A
 * linas 00:28, 22 November 2006 (UTC)


 * 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

 * PM: cell attachment, id=3991 -- WP guess: cell attachment -- Status:


 * PM: Klein bottle, id=4249 -- WP: Klein bottle -- Status: M
 * Paul August &#9742; 03:05, 27 July 2007 (UTC)


 * PM: MÃ¶bius strip, id=3278 -- WP: Möbius strip -- Status:


 * PM: quotient space, id=2930 -- WP: quotient space -- Status: A
 * linas 20:38, 25 November 2006 (UTC)


 * PM: feature of Mobius strip, id=7953new! -- WP guess: feature of Mobius strip -- Status:

54B17 Adjunction spaces and similar constructions

 * PM: adjunction space, id=3992 -- WP: adjunction space -- Status: A
 * linas 01:34, 26 November 2006 (UTC)

54B40 Presheaves and sheaves

 * PM: direct image, id=1100 -- WP: direct image -- Status: C
 * Copied by Jtwdog. Paul August &#9742; 00:10, 28 July 2007 (UTC)

54B99 Miscellaneous

 * PM: cofinite and cocountable topology, id=3464 -- WP: cofinite and cocountable topology -- Status: A
 * linas 19:03, 24 November 2006 (UTC)


 * 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
 * linas 22:00, 25 November 2006 (UTC)


 * 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
 * linas 02:02, 26 November 2006 (UTC)


 * PM: initial topology, id=7368 -- WP: initial topology -- Status: A
 * linas 17:02, 25 November 2006 (UTC)

54C05 Continuous maps

 * PM: homeomorphism, id=912 -- WP: homeomorphism -- Status: A
 * Paul August &#9742; 00:20, 28 July 2007 (UTC)


 * 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:

54C10 Special maps on topological spaces (open, closed, perfect, etc.)

 * PM: open mapping, id=3676 -- WP: Open and closed maps -- Status: A
 * Paul August &#9742; 02:54, 28 July 2007 (UTC)


 * PM: crosscap slide, id=7651new! -- WP guess: crosscap slide -- Status:


 * PM: y-homeomorphism, id=7652new! -- WP guess: y-homeomorphism -- Status:

54C15 Retraction

 * PM: retract, id=1693 -- WP: retract -- Status: A
 * linas 23:36, 24 November 2006 (UTC)

54C20 Extension of maps

 * 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)

54C35 Function spaces

 * 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:

54C45 $C$- and $C^*$-embedding

 * PM: C-embedding, id=9231new! -- WP guess: C-embedding -- Status:


 * PM: Urysohn extension theorem, id=9314new! -- WP guess: Urysohn extension theorem -- Status:

54C70 Entropy

 * PM: differential entropy, id=1915 -- WP guess: differential entropy -- Status:

54C99 Miscellaneous

 * PM: Borsuk-Ulam theorem, id=947 -- WP guess: Borsuk-Ulam theorem -- Status:


 * PM: ham sandwich theorem, id=4772 -- WP: ham sandwich theorem -- Status: A
 * Paul August &#9742; 02:57, 30 July 2007 (UTC)


 * 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:

54D05 Connected and locally connected spaces (general aspects)

 * PM: clopen subset, id=3978 -- WP: clopen subset -- Status: A
 * Paul August &#9742; 03:00, 30 July 2007 (UTC)


 * PM: connected component, id=948 -- WP: connected space -- Status: A
 * Paul August &#9742; 03:02, 30 July 2007 (UTC)


 * PM: connected set in a topological space, id=4811 -- WP: connected space -- Status: A
 * Paul August &#9742; 04:48, 30 July 2007 (UTC)


 * PM: connected space, id=941 -- WP: connected space -- Status: A
 * Paul August &#9742; 04:49, 30 July 2007 (UTC)


 * PM: connectedness is preserved under a continuous map, id=4692 -- WP: connected space -- Status: A
 * Paul August &#9742; 04:52, 30 July 2007 (UTC)


 * PM: cut-point, id=4706 -- WP: cut-point -- Status: A
 * Paul August &#9742; 00:14, 1 August 2007 (UTC)


 * PM: example of a connected space that is not path-connected, id=3087 -- WP: connected space -- Status: A
 * Paul August &#9742; 00:44, 1 August 2007 (UTC)


 * PM: example of a semilocally simply connected space which is not locally simply connected, id=3972 -- WP: semi-locally simply connected -- Status: A
 * Paul August &#9742; 00:51, 1 August 2007 (UTC)


 * PM: example of a space that is not semilocally simply connected, id=3967 -- WP: semi-locally simply connected -- Status: A
 * Paul August &#9742; 01:01, 1 August 2007 (UTC)


 * PM: hyperconnected space, id=5813 -- WP: hyperconnected space -- Status: A
 * linas 17:17, 24 November 2006 (UTC)


 * PM: locally connected, id=2912 -- WP: locally connected -- Status: A
 * Paul August &#9742; 00:34, 1 August 2007 (UTC)


 * PM: locally simply connected, id=3975 -- WP: locally simply connected -- Status: A
 * Paul August &#9742; 00:39, 1 August 2007 (UTC)


 * PM: path, id=942 -- WP guess: path -- Status:


 * 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
 * linas 17:27, 24 November 2006 (UTC)


 * 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.)

 * PM: a compact set in a Hausdorff space is closed, id=4194 -- WP: Hausdorff space -- Status: A
 * Paul August &#9742; 03:41, 1 August 2007 (UTC)


 * PM: a space \mathnormal{X} is Hausdorff if and only if \Delta(X) is closed, id=5820 -- WP: Hausdorff space -- Status: A
 * Paul August &#9742; 03:44, 1 August 2007 (UTC)


 * PM: a space is T1 if and only if every singleton is closed, id=5808 -- WP: T1 space -- Status: A
 * Paul August &#9742; 03:46, 1 August 2007 (UTC)


 * 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
 * Paul August &#9742; 03:54, 1 August 2007 (UTC)


 * 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
 * linas 19:35, 24 November 2006 (UTC)


 * 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
 * linas 20:18, 24 November 2006 (UTC)


 * PM: separation axioms, id=4050 -- WP: separation axioms -- Status: A
 * linas 02:35, 26 November 2006 (UTC)


 * PM: T0 space, id=1850 -- WP: T0 space -- Status: A
 * linas 19:53, 24 November 2006 (UTC)


 * PM: T1 space, id=1852 -- WP: T1 space -- Status: A
 * linas 20:01, 24 November 2006 (UTC)


 * PM: T2 space, id=1855 -- WP guess: T2 space -- Status: A
 * linas 20:05, 24 November 2006 (UTC)


 * PM: T3 space, id=1866 -- WP: T3 space -- Status: A
 * linas 20:07, 24 November 2006 (UTC)


 * PM: a space is T_1 if and only if distinct points are separated, id=7069 -- WP: T1 space -- Status: A
 * Paul August &#9742; 21:15, 1 August 2007 (UTC)


 * 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.)

 * PM: T4 space, id=6318 -- WP: T4 space -- Status: A
 * linas 20:26, 24 November 2006 (UTC)


 * PM: normal, id=1532 -- WP: normal space -- Status: A
 * linas 20:27, 24 November 2006 (UTC)


 * 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
 * linas 20:58, 24 November 2006 (UTC)


 * PM: Tychonoff, id=1534 -- WP: Tychonoff space -- Status: A
 * linas 21:19, 24 November 2006 (UTC)


 * PM: Urysohn's lemma, id=1530 -- WP: Urysohn's lemma -- Status: A
 * linas 20:41, 24 November 2006 (UTC)


 * PM: fully T4, id=9473new! -- WP guess: fully T4 -- Status:


 * 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.)

 * PM: collectionwise normal, id=6497 -- WP guess: collectionwise normal -- Status:


 * PM: countably compact, id=1233 -- WP: countably compact -- Status: A
 * linas 15:26, 4 March 2007 (UTC)


 * PM: development, id=6495 -- WP: development (topology) -- Status: C
 * linas 17:25, 19 November 2006 (UTC)


 * PM: LindelÃ¶f, id=1226 -- WP: Lindelöf space -- Status: A
 * linas 15:19, 4 March 2007 (UTC)


 * 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

 * 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
 * linas 15:28, 4 March 2007 (UTC)


 * 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
 * linas 16:03, 4 March 2007 (UTC)


 * PM: Heine-Borel theorem, id=1165 -- WP: Heine-Borel theorem -- Status: A
 * AdamSmithee 15:18, 16 January 2006 (UTC)


 * PM: limit point compact, id=1234 -- WP: limit point compact -- Status: C
 * linas 20:08, 4 March 2007 (UTC)


 * 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
 * linas 20:17, 4 March 2007 (UTC)


 * PM: pseudocompact space, id=5815 -- WP: pseudocompact space -- Status: A
 * linas 20:26, 4 March 2007 (UTC)


 * 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
 * linas 21:00, 4 March 2007 (UTC)


 * PM: Stone-\v Cech compactification, id=6207 -- WP: Stone-Cech compactification -- Status: A
 * linas 21:39, 4 March 2007 (UTC)


 * PM: Tychonoff's theorem, id=1168 -- WP: Tychonoff's theorem -- Status: A
 * linas 21:22, 24 November 2006 (UTC)


 * PM: weakly countably compact, id=6212 -- WP: weakly countably compact -- Status: M
 * linas 20:46, 4 March 2007 (UTC)


 * 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.)

 * 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 &#9742; 04:56, 2 August 2007 (UTC)


 * PM: compactification, id=1654 -- WP: compactification (mathematics) -- Status: A
 * Paul August &#9742; 05:19, 2 August 2007 (UTC)


 * 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

 * PM: \sigma-compact, id=5503 -- WP: Sigma-compactness -- Status: A
 * Paul August &#9742; 05:26, 2 August 2007 (UTC)


 * 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
 * Paul August &#9742; 05:33, 2 August 2007 (UTC)


 * PM: precompact set, id=6264 -- WP: relatively compact subspace -- Status: NM
 * Note what PM calls "precompact", WP calls "relatively compact". Paul August &#9742; 05:56, 2 August 2007 (UTC)

54D65 Separability

 * PM: separable, id=1193 -- WP: separable space -- Status: A
 * linas 18:35, 22 November 2006 (UTC)

54D70 Base properties

 * PM: second countable, id=1162 -- WP: second countable -- Status: A
 * linas 22:07, 24 November 2006 (UTC)


 * PM: second countability is hereditary, id=7208 -- WP: second-countable space -- Status: A
 * linas 22:09, 24 November 2006 (UTC)


 * PM: a compact metric space is second countable, id=9296new! -- WP guess: a compact metric space is second countable -- Status:

54D99 Miscellaneous

 * PM: first countable, id=2187 -- WP: first countable -- Status: A
 * linas 18:33, 22 November 2006 (UTC)


 * PM: LindelÃ¶f theorem, id=2118 -- WP: Second-countable space -- Status: A
 * Paul August &#9742; 22:36, 2 August 2007 (UTC)


 * PM: proof of LindelÃ¶f theorem, id=3299 -- WP: Second-countable space -- Status: A
 * Paul August &#9742; 22:36, 2 August 2007 (UTC)


 * PM: totally disconnected space, id=3981 -- WP: totally disconnected space -- Status: A
 * Paul August &#9742; 16:11, 7 August 2007 (UTC)


 * PM: homogeneous topological space, id=8428new! -- WP guess: homogeneous topological space -- Status:

54E05 Proximity structures and generalizations

 * PM: Moore space, id=6496 -- WP: Moore space (topology) -- Status: C
 * linas 16:12, 19 November 2006 (UTC)


 * 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

 * PM: topology induced by uniform structure, id=3091 -- WP: uniform space -- Status: A
 * Paul August &#9742; 03:29, 4 August 2007 (UTC)


 * PM: uniform space, id=3085 -- WP: uniform space -- Status: A
 * Paul August &#9742; 03:24, 4 August 2007 (UTC)


 * PM: uniform structure of a metric space, id=3103 -- WP: uniform space -- Status: A
 * Paul August &#9742; 03:36, 4 August 2007 (UTC)


 * PM: uniform structure of a topological group, id=3104 -- WP: uniform space -- Status: A
 * Paul August &#9742; 03:36, 4 August 2007 (UTC)


 * 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:

54E25 Semimetric spaces

 * PM: hemimetric, id=5903 -- WP: hemimetric -- Status: C
 * linas 06:37, 22 November 2006 (UTC)


 * 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 &#9742; 03:40, 4 August 2007 (UTC)

54E30 Moore spaces

 * PM: relatively prime integer topology, id=6314 -- WP: relatively prime integer topology -- Status: NC
 * Paul August &#9742; 04:01, 4 August 2007 (UTC)

54E35 Metric spaces, metrizability

 * PM: \varepsilon-net, id=4280 -- WP: ε-net (metric space) -- Status: NC
 * Paul August &#9742; 04:24, 4 August 2007 (UTC)


 * 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
 * Paul August &#9742; 04:31, 4 August 2007 (UTC)


 * PM: bounded, id=4826 -- WP: bounded set -- Status: A
 * Paul August &#9742; 04:38, 4 August 2007 (UTC)


 * PM: bounded, id=1167 -- WP: bounded set -- Status: A
 * Paul August &#9742; 04:37, 4 August 2007 (UTC)


 * PM: city-block metric, id=1552 -- WP: taxicab metric -- Status: A
 * Paul August &#9742; 04:39, 4 August 2007 (UTC)


 * PM: completely metrizable, id=1609 -- WP: completely metrizable space -- Status: A
 * Paul August &#9742; 05:00, 4 August 2007 (UTC)


 * PM: distance to a set, id=4294 -- WP: metric space -- Status: A
 * Paul August &#9742; 05:04, 4 August 2007 (UTC)


 * PM: equibounded, id=3766 -- WP guess: equibounded -- Status:


 * PM: example of pseudometric space, id=6275 -- WP: pseudometric space -- Status: M
 * linas 18:24, 22 November 2006 (UTC)


 * PM: examples of metric spaces, id=6833 -- WP: metric spaces -- Status: NM
 * Paul August &#9742; 05:17, 4 August 2007 (UTC)


 * PM: Hausdorff metric, id=4046 -- WP: Hausdorff metric -- Status: NM
 * linas 17:07, 24 November 2006 (UTC)


 * PM: Hausdorff metric inherits completeness, id=5563 -- WP: Hausdorff distance -- Status: A
 * Paul August &#9742; 02:33, 17 August 2007 (UTC)


 * PM: isometry, id=1931 -- WP: isometry -- Status: NM
 * Paul August &#9742; 05:28, 4 August 2007 (UTC)


 * PM: metric space, id=498 -- WP: metric space -- Status: A
 * linas 18:27, 22 November 2006 (UTC)


 * PM: open set in \mathbb{R}^n contains an open rectangle, id=5537 -- WP: (none) -- Status: N
 * Paul August &#9742; 05:31, 4 August 2007 (UTC)


 * PM: point countable base, id=6499 -- WP: base (topology) -- Status: NM
 * Paul August &#9742; 01:35, 6 August 2007 (UTC)


 * PM: pseudometric space, id=6273 -- WP: pseudometric space -- Status: C
 * linas 16:20, 22 November 2006 (UTC)


 * 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
 * linas 06:46, 22 November 2006 (UTC)


 * PM: sphere (metric space), id=6446 -- WP guess: sphere (metric space) -- Status:


 * PM: totally bounded, id=3608 -- WP: totally bounded space -- Status: A
 * Paul August &#9742; 04:31, 5 August 2007 (UTC)


 * PM: totally bounded subset of a metric space is bounded, id=7269 -- WP: totally bounded space -- Status: A
 * Paul August &#9742; 04:58, 5 August 2007 (UTC)


 * PM: ultrametric, id=4044 -- WP: ultrametric space -- Status: NM
 * Paul August &#9742; 05:20, 5 August 2007 (UTC)


 * PM: ultrametric space, id=6612 -- WP: ultrametric space -- Status: NM
 * Paul August &#9742; 01:28, 6 August 2007 (UTC)


 * PM: uniform base, id=6498 -- WP: base (topology) -- Status: NM
 * Paul August &#9742; 01:38, 6 August 2007 (UTC)


 * PM: Urysohn metrization theorem, id=1531 -- WP: Urysohn metrization theorem -- Status: A
 * linas 19:29, 22 November 2006 (UTC)


 * 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

 * PM: near operators, id=5411 -- WP guess: near operators -- Status:


 * PM: real tree, id=7071 -- WP: real tree -- Status: A
 * linas 22:12, 24 November 2006 (UTC)

54E45 Compact (locally compact) metric spaces

 * PM: Lebesgue number lemma, id=3402 -- WP: Lebesgue's number lemma -- Status: A
 * Paul August &#9742; 01:43, 6 August 2007 (UTC)


 * PM: proof of Lebesgue number lemma, id=3596 -- WP: Lebesgue's number lemma -- Status: A
 * Paul August &#9742; 01:43, 6 August 2007 (UTC)


 * PM: Cantor's Intersection Theorem, id=6970 -- WP: Cantor intersection theorem -- Status: NC
 * Paul August &#9742; 01:55, 6 August 2007 (UTC)

54E50 Complete metric spaces

 * PM: complete, id=603 -- WP: complete metric space -- Status: A
 * Paul August &#9742; 01:58, 6 August 2007 (UTC)


 * PM: completeness principle, id=2171 -- WP: completeness principle -- Status: NC
 * Paul August &#9742; 02:08, 6 August 2007 (UTC)


 * PM: nested sphere theorem, id=6648 -- WP guess: nested sphere theorem -- Status:


 * PM: uniformly equicontinuous, id=3717 -- WP: uniformly equicontinuous -- Status: A
 * Paul August &#9742; 02:15, 6 August 2007 (UTC)


 * PM: Cantor space, id=4439 -- WP: Cantor space -- Status: A
 * Paul August &#9742; 03:32, 27 August 2006 (UTC)


 * PM: Polish space, id=6693 -- WP: Polish space -- Status: A
 * Paul August &#9742; 03:28, 27 August 2006 (UTC)


 * 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

 * PM: Baire category theorem, id=3024 -- WP guess: Baire category theorem -- Status:


 * PM: Baire space, id=4342 -- WP: Baire space -- Status: A
 * linas 18:13, 19 November 2006 (UTC)


 * PM: equivalent statement of Baire category theorem, id=5441 -- WP guess: equivalent statement of Baire category theorem -- Status:


 * PM: generic, id=4341 -- WP guess: generic -- Status:


 * PM: meager, id=3680 -- WP: meagre set -- Status: A
 * Paul August &#9742; 02:22, 6 August 2007 (UTC)


 * 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
 * Paul August &#9742; 02:51, 6 August 2007 (UTC)


 * 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

 * PM: copula, id=8750new! -- WP guess: copula -- Status:


 * PM: probabilistic metric space, id=9066new! -- WP guess: probabilistic metric space -- Status:

54E99 Miscellaneous

 * PM: compactly generated, id=1688 -- WP: compactly generated space -- Status: A
 * Kompik 11:32, 22 February 2006 (UTC)


 * PM: Hahn-Mazurkiewicz theorem, id=3369 -- WP: Hahn-Mazurkiewicz theorem -- Status: A
 * Paul August &#9742; 03:13, 27 August 2006 (UTC)


 * PM: Vitali covering, id=4072 -- WP: Vitali covering lemma -- Status: A
 * Paul August &#9742; 01:16, 25 July 2007 (UTC)


 * PM: sober space, id=8950new! -- WP guess: sober space -- Status:

54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces

 * PM: ordinal space, id=9498new! -- WP guess: ordinal space -- Status:

54F99 Miscellaneous

 * PM: partial ordering in a topological space, id=8775new! -- WP guess: partial ordering in a topological space -- Status:

54G05 Extremally disconnected spaces, $F$-spaces, etc.

 * PM: extremally disconnected, id=2982 -- WP: extremally disconnected space -- Status: A
 * Paul August &#9742; 03:20, 27 August 2006 (UTC)

54G12 Scattered spaces

 * PM: scattered space, id=8934new! -- WP guess: scattered space -- Status:

54G20 Counterexamples

 * PM: Hedgehog space, id=6500 -- WP: Hedgehog space -- Status: C
 * linas 15:51, 19 November 2006 (UTC)


 * PM: long line, id=4069 -- WP: long line (topology) -- Status: A
 * Paul August &#9742; 02:58, 27 August 2006 (UTC)


 * PM: Sierpinski space, id=1222 -- WP: Sierpinski space -- Status: A
 * Paul August &#9742; 01:54, 27 August 2006 (UTC)