Wiki143: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#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

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 ☎ 20:21, 3 September 2006 (UTC)

• PM: first axiom of countability, id=2120 -- WP: first-countable space -- Status: A

Paul August ☎ 03:27, 1 September 2006 (UTC)

• PM: homotopy groups, id=1641 -- WP: homotopy groups -- Status: NM

Paul August ☎ 17:28, 17 October 2006 (UTC)

• PM: index of properties of topolological spaces, id=6251 -- WP: topological property -- Status: NM

Paul August ☎ 18:38, 23 October 2006 (UTC)

• PM: indiscrete topology, id=3120 -- WP: trivial topology -- Status: A

Paul August ☎ 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 ☎ 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 ☎ 16:26, 7 August 2007 (UTC)

• PM: local base, id=2121 -- WP: local base -- Status: A

Paul August ☎ 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 ☎ 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 ☎ 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 ☎ 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 ☎ 20:13, 1 September 2006 (UTC)

• PM: Peano space, id=8001 -- WP: Peano space -- Status: A

Paul August ☎ 02:38, 23 October 2006 (UTC)

• PM: pointed topological space, id=4965 -- WP: pointed topological space -- Status: A

Paul August ☎ 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 ☎ 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 ☎ 17:11, 7 August 2007 (UTC)

• PM: zero dimensional, id=6291 -- WP: zero dimensional space -- Status: A

Paul August ☎ 20:30, 3 September 2006 (UTC)

• PM: discrete space, id=2726 -- WP: discrete space -- Status: NM

Paul August ☎ 02:52, 23 October 2006 (UTC)

• PM: finite and countable discrete spaces, id=7077 -- WP: discrete space -- Status: A

Paul August ☎ 20:03, 23 October 2006 (UTC)

• PM: locally homeomorphic, id=7020 -- WP: Local homeomorphism -- Status: NM

Paul August ☎ 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 ☎ 03:38, 6 September 2006 (UTC)

• PM: completely separated, id=9175^new! -- WP guess: completely separated -- Status:

• PM: neighborhood system on a set, id=8905^new! -- 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 ☎ 03:04, 9 September 2006 (UTC)

• PM: G_\delta set, id=6216 -- WP: G-delta set -- Status: A

Paul August ☎ 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 ☎ 05:00, 11 August 2007 (UTC)

• PM: finite complement topology, id=6213 -- WP: finite complement topology -- Status: M

Paul August ☎ 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 ☎ 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 ☎ 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 ☎ 01:44, 13 August 2007 (UTC)

• PM: composition with coercive function, id=7155 -- WP: coercive function -- Status: A

Paul August ☎ 02:00, 13 August 2007 (UTC)

• PM: Boolean space, id=8517^new! -- WP: Boolean space -- Status: A

Paul August ☎ 02:14, 20 August 2007 (UTC)

• PM: closed points, id=8512^new! -- WP guess: closed points -- Status:

• PM: closure space, id=9036^new! -- WP guess: closure space -- Status:

• PM: condensation point, id=8887^new! -- WP guess: condensation point -- Status:

• PM: generic points, id=8513^new! -- WP guess: generic points -- Status:

• PM: generization, id=8515^new! -- WP guess: generization -- Status:

• PM: interior axioms, id=8687^new! -- WP guess: interior axioms -- Status:

• PM: specialization, id=8516^new! -- WP guess: specialization -- Status:

• PM: spectral spaces, id=8518^new! -- WP guess: spectral spaces -- Status:

• PM: tubular neighborhood, id=9559^new! -- 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=9172^new! -- WP guess: lattice of topologies -- Status:

54A15 Syntopogeneous structures

• PM: syntopogenous structure, id=9232^new! -- 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 ☎ 02:36, 14 August 2007 (UTC)

• PM: Banach fixed point theorem, id=2758 -- WP: Banach fixed point theorem -- Status: A

Paul August ☎ 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 ☎ 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 ☎ 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 ☎ 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=9795^new! -- WP guess: every net has a universal subnet -- Status:

• PM: nets and closures of subspaces, id=9658^new! -- WP guess: nets and closures of subspaces -- Status:

• PM: topology via converging nets, id=9570^new! -- WP guess: topology via converging nets -- Status:

54A25 Cardinality properties (cardinal functions and inequalities, discrete subsets)

• PM: Hewitt-Marczewski-Pondiczery theorem, id=9623^new! -- WP guess: Hewitt-Marczewski-Pondiczery theorem -- Status:

• PM: topological condition for a set to be uncountable, id=8360^new! -- 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 ☎ 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 ☎ 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=9389^new! -- WP guess: continuous relation -- Status:

• PM: examples of nowhere dense sets, id=9419^new! -- WP guess: examples of nowhere dense sets -- Status:

• PM: point finite, id=8398^new! -- WP: point finite -- Status: A

Paul August ☎ 02:21, 20 August 2007 (UTC)

• PM: proof that components of open sets in a locally connected space are open, id=9399^new! -- WP guess: proof that components of open sets in a locally connected space are open -- Status:

• PM: star refinement, id=8959^new! -- WP guess: star refinement -- Status:

• PM: the union of a locally finite collection of closed sets is closed, id=8349^new! -- 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 ☎ 02:47, 14 August 2007 (UTC)

• PM: characterization of subspace topology, id=7616 -- WP: subspace topology -- Status: A

Paul August ☎ 02:48, 14 August 2007 (UTC)

• PM: closed set in a subspace, id=7460 -- WP: subspace topology -- Status: A

Paul August ☎ 02:51, 14 August 2007 (UTC)

• PM: subspace of a subspace, id=7096 -- WP: subspace topology -- Status: A

Paul August ☎ 02:54, 14 August 2007 (UTC)

• PM: subspace topology in a metric space, id=7093 -- WP: subspace topology -- Status: A

Paul August ☎ 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 ☎ 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=7953^new! -- 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 ☎ 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 ☎ 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=9203^new! -- WP guess: proximity continuous -- Status:

• PM: sequentially continous implies continuous in a first-countable space, id=8700^new! -- WP guess: sequentially continous implies continuous in a first-countable space -- Status:

• PM: sequentially continuous, id=8699^new! -- WP guess: sequentially continuous -- Status:

• PM: uniformly continuous is proximity continuous, id=9204^new! -- 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 ☎ 02:54, 28 July 2007 (UTC)

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

• PM: y-homeomorphism, id=7652^new! -- 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=9176^new! -- WP guess: ring of continuous functions -- Status:

• PM: zero set of a topological space, id=9201^new! -- WP guess: zero set of a topological space -- Status:

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

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

• PM: Urysohn extension theorem, id=9314^new! -- 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 ☎ 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=8882^new! -- 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 ☎ 03:00, 30 July 2007 (UTC)

• PM: connected component, id=948 -- WP: connected space -- Status: A

Paul August ☎ 03:02, 30 July 2007 (UTC)

• PM: connected set in a topological space, id=4811 -- WP: connected space -- Status: A

Paul August ☎ 04:48, 30 July 2007 (UTC)

• PM: connected space, id=941 -- WP: connected space -- Status: A

Paul August ☎ 04:49, 30 July 2007 (UTC)

• PM: connectedness is preserved under a continuous map, id=4692 -- WP: connected space -- Status: A

Paul August ☎ 04:52, 30 July 2007 (UTC)

• PM: cut-point, id=4706 -- WP: cut-point -- Status: A

Paul August ☎ 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 ☎ 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 ☎ 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 ☎ 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 ☎ 00:34, 1 August 2007 (UTC)

• PM: locally simply connected, id=3975 -- WP: locally simply connected -- Status: A

Paul August ☎ 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=8234^new! -- 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=9090^new! -- 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=9640^new! -- WP guess: a connected normal space with more than one point is uncountable -- Status:

• PM: connected im kleinen, id=8000^new! -- WP guess: connected im kleinen -- Status:

• PM: continuous images of path connected spaces are path connected, id=7874^new! -- 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 ☎ 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 ☎ 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 ☎ 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 ☎ 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 ☎ 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=9473^new! -- WP guess: fully T4 -- Status:

• PM: How are normal and T4 spaces defined in books?, id=9462^new! -- 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=9780^new! -- WP guess: existence of partitions of unity -- Status:

• PM: strongly paracompact space, id=9459^new! -- 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=7851^new! -- WP guess: alternative characterization of Stone-Čech compactification -- Status:

• PM: compact subspace of a Hausdorff space is closed, id=8702^new! -- WP guess: compact subspace of a Hausdorff space is closed -- Status:

• PM: continuous image of a compact set is compact, id=7888^new! -- WP guess: continuous image of a compact set is compact -- Status:

• PM: proof of Tychonoff's theorem, id=9797^new! -- WP guess: proof of Tychonoff's theorem -- Status:

• PM: the continuous image of a compact space is compact, id=7879^new! -- WP guess: the continuous image of a compact space is compact -- Status:

• PM: tube lemma, id=9802^new! -- 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 ☎ 04:56, 2 August 2007 (UTC)

• PM: compactification, id=1654 -- WP: compactification (mathematics) -- Status: A

Paul August ☎ 05:19, 2 August 2007 (UTC)

• PM: something related to Alexandrov one-point compactification, id=9357^new! -- 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 ☎ 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 ☎ 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 ☎ 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=9296^new! -- 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 ☎ 22:36, 2 August 2007 (UTC)

• PM: proof of Lindelöf theorem, id=3299 -- WP: Second-countable space -- Status: A

Paul August ☎ 22:36, 2 August 2007 (UTC)

• PM: totally disconnected space, id=3981 -- WP: totally disconnected space -- Status: A

Paul August ☎ 16:11, 7 August 2007 (UTC)

• PM: homogeneous topological space, id=8428^new! -- 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=9250^new! -- WP guess: proximal neighborhood -- Status:

• PM: proximity generated by uniformity, id=9206^new! -- WP guess: proximity generated by uniformity -- Status:

• PM: proximity space, id=9037^new! -- 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 ☎ 03:29, 4 August 2007 (UTC)

• PM: uniform space, id=3085 -- WP: uniform space -- Status: A

Paul August ☎ 03:24, 4 August 2007 (UTC)

• PM: uniform structure of a metric space, id=3103 -- WP: uniform space -- Status: A

Paul August ☎ 03:36, 4 August 2007 (UTC)

• PM: uniform structure of a topological group, id=3104 -- WP: uniform space -- Status: A

Paul August ☎ 03:36, 4 August 2007 (UTC)

• PM: complete uniform space, id=8907^new! -- WP guess: complete uniform space -- Status:

• PM: equivalent condition for being a fundamental system of entourages, id=8676^new! -- WP guess: equivalent condition for being a fundamental system of entourages -- Status:

• PM: fundamental system of entourages, id=8674^new! -- WP guess: fundamental system of entourages -- Status:

• PM: generalization of a uniformity, id=8937^new! -- WP guess: generalization of a uniformity -- Status:

• PM: product of uniform spaces, id=8691^new! -- WP guess: product of uniform spaces -- Status:

• PM: separated uniform space, id=8925^new! -- WP guess: separated uniform space -- Status:

• PM: uniform continuity, id=8941^new! -- WP guess: uniform continuity -- Status:

• PM: uniform neighborhood, id=8924^new! -- WP guess: uniform neighborhood -- Status:

• PM: uniformizable space, id=9055^new! -- 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 ☎ 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 ☎ 04:01, 4 August 2007 (UTC)

54E35 Metric spaces, metrizability

• PM: \varepsilon-net, id=4280 -- WP: ε-net (metric space) -- Status: NC

Paul August ☎ 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 ☎ 04:31, 4 August 2007 (UTC)

• PM: bounded, id=4826 -- WP: bounded set -- Status: A

Paul August ☎ 04:38, 4 August 2007 (UTC)

• PM: bounded, id=1167 -- WP: bounded set -- Status: A

Paul August ☎ 04:37, 4 August 2007 (UTC)

• PM: city-block metric, id=1552 -- WP: taxicab metric -- Status: A

Paul August ☎ 04:39, 4 August 2007 (UTC)

• PM: completely metrizable, id=1609 -- WP: completely metrizable space -- Status: A

Paul August ☎ 05:00, 4 August 2007 (UTC)

• PM: distance to a set, id=4294 -- WP: metric space -- Status: A

Paul August ☎ 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 ☎ 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 ☎ 02:33, 17 August 2007 (UTC)

• PM: isometry, id=1931 -- WP: isometry -- Status: NM

Paul August ☎ 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 ☎ 05:31, 4 August 2007 (UTC)

• PM: point countable base, id=6499 -- WP: base (topology) -- Status: NM

Paul August ☎ 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 ☎ 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 ☎ 04:58, 5 August 2007 (UTC)

• PM: ultrametric, id=4044 -- WP: ultrametric space -- Status: NM

Paul August ☎ 05:20, 5 August 2007 (UTC)

• PM: ultrametric space, id=6612 -- WP: ultrametric space -- Status: NM

Paul August ☎ 01:28, 6 August 2007 (UTC)

• PM: uniform base, id=6498 -- WP: base (topology) -- Status: NM

Paul August ☎ 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=9091^new! -- WP guess: disjoint disks property -- Status:

• PM: generalization of a pseudometric, id=8936^new! -- WP guess: generalization of a pseudometric -- Status:

• PM: product of metric spaces, id=8288^new! -- WP guess: product of metric spaces -- Status:

• PM: totally bounded uniform space, id=8958^new! -- 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 ☎ 01:43, 6 August 2007 (UTC)

• PM: proof of Lebesgue number lemma, id=3596 -- WP: Lebesgue's number lemma -- Status: A

Paul August ☎ 01:43, 6 August 2007 (UTC)

• PM: Cantor's Intersection Theorem, id=6970 -- WP: Cantor intersection theorem -- Status: NC

Paul August ☎ 01:55, 6 August 2007 (UTC)

54E50 Complete metric spaces

• PM: complete, id=603 -- WP: complete metric space -- Status: A

Paul August ☎ 01:58, 6 August 2007 (UTC)

• PM: completeness principle, id=2171 -- WP: completeness principle -- Status: NC

Paul August ☎ 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 ☎ 02:15, 6 August 2007 (UTC)

• PM: Cantor space, id=4439 -- WP: Cantor space -- Status: A

Paul August ☎ 03:32, 27 August 2006 (UTC)

• PM: Polish space, id=6693 -- WP: Polish space -- Status: A

Paul August ☎ 03:28, 27 August 2006 (UTC)

• PM: a closed subset of a complete metric space is complete, id=8703^new! -- WP guess: a closed subset of a complete metric space is complete -- Status:

• PM: a complete subspace of a metric space is closed, id=8704^new! -- WP guess: a complete subspace of a metric space is closed -- Status:

• PM: Baire space, id=8124^new! -- 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 ☎ 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 ☎ 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=8546^new! -- 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=9420^new! -- WP guess: example of a meager set -- Status:

54E70 Probabilistic metric spaces

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

• PM: probabilistic metric space, id=9066^new! -- 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 ☎ 03:13, 27 August 2006 (UTC)

• PM: Vitali covering, id=4072 -- WP: Vitali covering lemma -- Status: A

Paul August ☎ 01:16, 25 July 2007 (UTC)

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

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

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

54F99 Miscellaneous

• PM: partial ordering in a topological space, id=8775^new! -- 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 ☎ 03:20, 27 August 2006 (UTC)

54G12 Scattered spaces

• PM: scattered space, id=8934^new! -- 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 ☎ 02:58, 27 August 2006 (UTC)

• PM: Sierpinski space, id=1222 -- WP: Sierpinski space -- Status: A

Paul August ☎ 01:54, 27 August 2006 (UTC)