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

From Wikipedia, the free encyclopedia

This page provides a list of all articles available at PlanetMath in the following topic:

54-XX General topology.

This list will be periodically updated. Each entry in the list has three fields:

  1. PM : The first field is the link to the PlanetMath article, along with the article's object ID.
  2. WP : The second field is either a "guessed" link to a correspondingly named Wikipedia article, produced by the script which generated the list, or one or more manually entered links to the corresponding Wikipedia articles on the subject.
  3. Status : The third field is the status field, which explains the current status of the entry. The recommended status entries are:
Status means PM article
N not needed
A adequately covered
C copied
M merged
NC needs copying
NM needs merging
  • Please update the WP and Status fields as appropriate.
  • if the WP field is correct please remove the qualifier "guess".
  • If the corresponding Wikipedia article exists, but the link to it is wrong, please fix the link.
  • If you copy or merge an article from PlanetMath, please update the WP and Status fields for that entry.
  • If you have any comments, for example, thoughts on how the PlanetMath article compares to the corresponding Wikipedia article(s), please place such comments on a new indented line following the entry. Comments of this kind are very valuable.

Don't forget to include the relevant template if you copy over text or feel like an external link is warranted

  • {{planetmath|id=|title=}} for copied over text
  • {{planetmath reference|id=|title=}} for an external link

See the main page for examples and usage criteria.

One can use the web-based program Pmform to convert PlanetMath articles to the Wikipedia format. As a side benefit, this tool will place the PlanetMath template for you.

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

Do we want to start creating Bibliograhies? Paul August 20:15, Feb 1, 2005 (UTC)
Paul August 20:15, Feb 1, 2005 (UTC)
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)
Paul August 04:08, Mar 14, 2005 (UTC)
Paul August 04:53, Feb 2, 2005 (UTC)
still A linas (talk) 04:20, 11 June 2009 (UTC)[reply]
Completely normal redirects to normal space, but I think it could have its own article. Paul August 03:21, 1 September 2006 (UTC)[reply]
AdamSmithee 14:31, 16 January 2006 (UTC)[reply]
AdamSmithee 14:31, 16 January 2006 (UTC)[reply]
Paul August 20:21, 3 September 2006 (UTC)[reply]
Paul August 03:27, 1 September 2006 (UTC)[reply]
Paul August 17:28, 17 October 2006 (UTC)[reply]
Paul August 18:38, 23 October 2006 (UTC)[reply]
Paul August 04:11, 1 September 2006 (UTC)[reply]
The interior operator stuff uses a nicer notation in PM AdamSmithee 14:31, 16 January 2006 (UTC)[reply]
Change to NM, the nicer PM layout should be merged in. linas 16:36, 26 November 2006 (UTC)[reply]
Paul August 04:11, 7 August 2007 (UTC)[reply]
I can't find this anywhere else, so probably not particularly notable. Paul August 16:26, 7 August 2007 (UTC)[reply]
Paul August 19:22, 1 September 2006 (UTC)[reply]
Loop (topology) redirects to Path (topology), but it could have it's own article. Paul August 19:52, 1 September 2006 (UTC)[reply]
linas 13:43, 4 March 2007 (UTC)[reply]
Paul August 01:45, 23 October 2006 (UTC)[reply]
AdamSmithee 14:31, 16 January 2006 (UTC)[reply]
Paul August 04:22, 3 September 2006 (UTC)[reply]
WP article has materialized. linas 14:42, 4 March 2007 (UTC)[reply]
Paul August 20:13, 1 September 2006 (UTC)[reply]
Paul August 02:38, 23 October 2006 (UTC)[reply]
Paul August 03:57, 3 September 2006 (UTC)[reply]
Oleg Alexandrov (talk) 02:05, 24 July 2006 (UTC)[reply]
Paul August 03:54, 3 September 2006 (UTC)[reply]
Regular open set redirects to topological glossary, but could have its own article.
Properties, particularly 5 and 6 AdamSmithee 14:31, 16 January 2006 (UTC)[reply]
AdamSmithee 14:31, 16 January 2006 (UTC)[reply]
AdamSmithee 14:31, 16 January 2006 (UTC)[reply]
May deserve its own article. Paul August 17:11, 7 August 2007 (UTC)[reply]
Paul August 20:30, 3 September 2006 (UTC)[reply]
Paul August 02:52, 23 October 2006 (UTC)[reply]
Paul August 20:03, 23 October 2006 (UTC)[reply]
Paul August 20:17, 23 October 2006 (UTC)[reply]
Paul August 03:38, 6 September 2006 (UTC)[reply]

54A05 Topological spaces and generalizations (closure spaces, etc.)[edit]

Paul August 03:04, 9 September 2006 (UTC)[reply]
Paul August 03:04, 9 September 2006 (UTC)[reply]
Paul August 05:00, 11 August 2007 (UTC)[reply]
Paul August 23:19, 28 October 2006 (UTC)[reply]
AdamSmithee 14:51, 16 January 2006 (UTC)[reply]
Paul August 05:00, 24 October 2006 (UTC)[reply]
AdamSmithee 14:51, 16 January 2006 (UTC)[reply]
Paul August 03:22, 11 August 2007 (UTC)[reply]
Paul August 01:44, 13 August 2007 (UTC)[reply]
Paul August 02:00, 13 August 2007 (UTC)[reply]
Paul August 02:14, 20 August 2007 (UTC)[reply]

54A10 Several topologies on one set (change of topology, comparison of topologies, lattices of topologies)[edit]

54A15 Syntopogeneous structures[edit]

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

Paul August 02:36, 14 August 2007 (UTC)[reply]
Paul August 05:06, 24 October 2006 (UTC)[reply]
Paul August 02:33, 14 August 2007 (UTC)[reply]
linas 00:06, 22 November 2006 (UTC)[reply]
Paul August 02:37, 14 August 2007 (UTC)[reply]
Paul August 01:40, 13 August 2007 (UTC)[reply]
linas 00:09, 22 November 2006 (UTC)[reply]

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

54A99 Miscellaneous[edit]

linas 04:08, 27 November 2006 (UTC)[reply]
linas 21:49, 24 November 2006 (UTC)[reply]
linas 00:36, 22 November 2006 (UTC)[reply]
AdamSmithee 15:11, 16 January 2006 (UTC)[reply]
Paul August 01:32, 8 August 2007 (UTC)[reply]
AdamSmithee 15:11, 16 January 2006 (UTC)[reply]
Physicistjedi 05:06, December 8 2006 (UTC)
Paul August 01:42, 8 August 2007 (UTC)[reply]
I especially like the wording where PM explains the meaning of limit in the name limit point AdamSmithee 15:11, 16 January 2006 (UTC)[reply]
linas 23:48, 24 November 2006 (UTC)[reply]
AdamSmithee 15:11, 16 January 2006 (UTC)[reply]
linas 21:54, 24 November 2006 (UTC)[reply]
AdamSmithee 15:11, 16 January 2006 (UTC)[reply]
Paul August 02:21, 20 August 2007 (UTC)[reply]

54Axx Generalities[edit]

54B05 Subspaces[edit]

Paul August 02:47, 14 August 2007 (UTC)[reply]
Paul August 02:48, 14 August 2007 (UTC)[reply]
Paul August 02:51, 14 August 2007 (UTC)[reply]
Paul August 02:54, 14 August 2007 (UTC)[reply]
Paul August 02:56, 14 August 2007 (UTC)[reply]

54B10 Product spaces[edit]

linas 00:28, 22 November 2006 (UTC)[reply]
Article is a proof, added a link to it in product topology. linas 00:40, 22 November 2006 (UTC)[reply]
Article is a proof, added a link to it in initial topology. linas 01:14, 26 November 2006 (UTC)[reply]

54B15 Quotient spaces, decompositions[edit]

Paul August 03:05, 27 July 2007 (UTC)[reply]
linas 20:38, 25 November 2006 (UTC)[reply]

54B17 Adjunction spaces and similar constructions[edit]

linas 01:34, 26 November 2006 (UTC)[reply]

54B40 Presheaves and sheaves[edit]

Copied by Jtwdog. Paul August 00:10, 28 July 2007 (UTC)[reply]

54B99 Miscellaneous[edit]

linas 19:03, 24 November 2006 (UTC)[reply]
WP article is missing definition of a reduced cone on pointed spaces.linas 21:49, 25 November 2006 (UTC)[reply]
Now Merged. linas 02:10, 26 November 2006 (UTC)[reply]
linas 22:00, 25 November 2006 (UTC)[reply]
Previously merged by User:Lethe in Dec 2005.
linas 02:02, 26 November 2006 (UTC)[reply]
linas 17:02, 25 November 2006 (UTC)[reply]

54Bxx Basic constructions[edit]

54C05 Continuous maps[edit]

Paul August 00:20, 28 July 2007 (UTC)[reply]

54C08 Weak and generalized continuity[edit]

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

Paul August 02:54, 28 July 2007 (UTC)[reply]

54C15 Retraction[edit]

linas 23:36, 24 November 2006 (UTC)[reply]

54C20 Extension of maps[edit]

Added as link in article. linas 23:39, 24 November 2006 (UTC)[reply]

54C25 Embedding[edit]

54C30 Real-valued functions[edit]

54C35 Function spaces[edit]

54C40 Algebraic properties of function spaces[edit]

54C45 $C$- and $C^*$-embedding[edit]

54C50 Special sets defined by functions[edit]

54C70 Entropy[edit]

54C99 Miscellaneous[edit]

Paul August 02:57, 30 July 2007 (UTC)[reply]

54Cxx Maps and general types of spaces defined by maps[edit]

54D05 Connected and locally connected spaces (general aspects)[edit]

Paul August 03:00, 30 July 2007 (UTC)[reply]
Paul August 03:02, 30 July 2007 (UTC)[reply]
Paul August 04:48, 30 July 2007 (UTC)[reply]
Paul August 04:49, 30 July 2007 (UTC)[reply]
Paul August 04:52, 30 July 2007 (UTC)[reply]
Paul August 00:14, 1 August 2007 (UTC)[reply]
Paul August 00:44, 1 August 2007 (UTC)[reply]
Paul August 00:51, 1 August 2007 (UTC)[reply]
Paul August 01:01, 1 August 2007 (UTC)[reply]
linas 17:17, 24 November 2006 (UTC)[reply]
Paul August 00:34, 1 August 2007 (UTC)[reply]
Paul August 00:39, 1 August 2007 (UTC)[reply]
  • PM: path, id=942 -- WP guess: path -- Status:
linas 17:27, 24 November 2006 (UTC)[reply]

54D10 Lower separation axioms (T0--T3, etc.)[edit]

Paul August 03:41, 1 August 2007 (UTC)[reply]
Paul August 03:44, 1 August 2007 (UTC)[reply]
Paul August 03:46, 1 August 2007 (UTC)[reply]
Paul August 03:54, 1 August 2007 (UTC)[reply]
21:08, 1 August 2007 (UTC)
linas 19:35, 24 November 2006 (UTC)[reply]
Nice counterexample. linas 19:44, 24 November 2006 (UTC)[reply]
This is a proof of a theorem, and was linked as such in metric space. linas 18:44, 22 November 2006 (UTC)[reply]
A proof, added as link to Hausdorff space. linas 02:32, 26 November 2006 (UTC)[reply]
This is a proof, added link to article on Hausdorff space. linas 02:26, 26 November 2006 (UTC)[reply]
linas 20:18, 24 November 2006 (UTC)[reply]
linas 02:35, 26 November 2006 (UTC)[reply]
linas 19:53, 24 November 2006 (UTC)[reply]
linas 20:01, 24 November 2006 (UTC)[reply]
linas 20:05, 24 November 2006 (UTC)[reply]
linas 20:07, 24 November 2006 (UTC)[reply]
Paul August 21:15, 1 August 2007 (UTC)[reply]
Its a proof, added as a link to Hausdorff space. linas 02:39, 26 November 2006 (UTC)[reply]

54D15 Higher separation axioms (completely regular, normal, perfectly or collectionwise normal, etc.)[edit]

linas 20:26, 24 November 2006 (UTC)[reply]
linas 20:27, 24 November 2006 (UTC)[reply]
Added as link from Urysohn's lemma. linas 20:52, 24 November 2006 (UTC)[reply]
linas 20:58, 24 November 2006 (UTC)[reply]
linas 21:19, 24 November 2006 (UTC)[reply]
linas 20:41, 24 November 2006 (UTC)[reply]

54D20 Noncompact covering properties (paracompact, Lindelöf, etc.)[edit]

linas 15:26, 4 March 2007 (UTC)[reply]
linas 17:25, 19 November 2006 (UTC)[reply]
linas 15:19, 4 March 2007 (UTC)[reply]
PM is dictdef, WP is link to glossary. linas 22:35, 24 November 2006 (UTC)[reply]
PM object 6256 is "not found"; however, I did copy obj id 8398, point finite from PM. linas 14:52, 4 March 2007 (UTC)[reply]

54D30 Compactness[edit]

Proof of something that seems shallow. linas 15:37, 4 March 2007 (UTC)[reply]
Proof, added as a reference to compact space and finite intersection property linas 15:46, 4 March 2007 (UTC)[reply]
Proof, added as a reference to compact space. linas 16:06, 4 March 2007 (UTC)[reply]
Proof, added as a reference to compact space. linas 16:16, 4 March 2007 (UTC)[reply]
linas 15:28, 4 March 2007 (UTC)[reply]
Proof, added as a reference to compact space. linas 16:25, 4 March 2007 (UTC)[reply]
Merged. linas 16:34, 4 March 2007 (UTC)[reply]
linas 16:03, 4 March 2007 (UTC)[reply]
AdamSmithee 15:18, 16 January 2006 (UTC)[reply]
linas 20:08, 4 March 2007 (UTC)[reply]
AdamSmithee 15:18, 16 January 2006 (UTC)[reply]
Proof, added as a reference to Heine-Borel theorem linas 20:15, 4 March 2007 (UTC)[reply]
linas 20:17, 4 March 2007 (UTC)[reply]
linas 20:26, 4 March 2007 (UTC)[reply]
Actually, obj id 4722 is "not found" on PM linas 20:35, 4 March 2007 (UTC)[reply]
linas 21:00, 4 March 2007 (UTC)[reply]
linas 21:39, 4 March 2007 (UTC)[reply]
linas 21:22, 24 November 2006 (UTC)[reply]
linas 20:46, 4 March 2007 (UTC)[reply]
Linked proof to Tychonoff's theorem linas 21:29, 24 November 2006 (UTC)[reply]

54D35 Extensions of spaces (compactifications, supercompactifications, completions, etc.)[edit]

This content is contained in [[compactification (mathematics), but probably should have its own article. Paul August 04:56, 2 August 2007 (UTC)[reply]
Paul August 05:19, 2 August 2007 (UTC)[reply]

54D45 Local compactness, $\sigma$-compactness[edit]

Paul August 05:26, 2 August 2007 (UTC)[reply]
Paul August 05:33, 2 August 2007 (UTC)[reply]
Note what PM calls "precompact", WP calls "relatively compact". Paul August 05:56, 2 August 2007 (UTC)[reply]

54D65 Separability[edit]

linas 18:35, 22 November 2006 (UTC)[reply]

54D70 Base properties[edit]

linas 22:07, 24 November 2006 (UTC)[reply]
linas 22:09, 24 November 2006 (UTC)[reply]

54D99 Miscellaneous[edit]

linas 18:33, 22 November 2006 (UTC)[reply]
Paul August 22:36, 2 August 2007 (UTC)[reply]
Paul August 22:36, 2 August 2007 (UTC)[reply]
Paul August 16:11, 7 August 2007 (UTC)[reply]

54Dxx Fairly general properties[edit]

54E05 Proximity structures and generalizations[edit]

linas 16:12, 19 November 2006 (UTC)[reply]

54E15 Uniform structures and generalizations[edit]

Paul August 03:29, 4 August 2007 (UTC)[reply]
Paul August 03:24, 4 August 2007 (UTC)[reply]
Paul August 03:36, 4 August 2007 (UTC)[reply]
Paul August 03:36, 4 August 2007 (UTC)[reply]

54E17 Nearness spaces[edit]

54E25 Semimetric spaces[edit]

linas 06:37, 22 November 2006 (UTC)[reply]
PM article is blanked, because it gave the wrong definition (it confused quasimetric with semi-metric). linas 06:19, 22 November 2006 (UTC)[reply]
The PM article has now been fixed. Paul August 03:40, 4 August 2007 (UTC)[reply]

54E30 Moore spaces[edit]

Paul August 04:01, 4 August 2007 (UTC)[reply]

54E35 Metric spaces, metrizability[edit]

Paul August 04:24, 4 August 2007 (UTC)[reply]
Paul August 04:31, 4 August 2007 (UTC)[reply]
Paul August 04:38, 4 August 2007 (UTC)[reply]
Paul August 04:37, 4 August 2007 (UTC)[reply]
Paul August 04:39, 4 August 2007 (UTC)[reply]
Paul August 05:00, 4 August 2007 (UTC)[reply]
Paul August 05:04, 4 August 2007 (UTC)[reply]
linas 18:24, 22 November 2006 (UTC)[reply]
Paul August 05:17, 4 August 2007 (UTC)[reply]
linas 17:07, 24 November 2006 (UTC)[reply]
Paul August 02:33, 17 August 2007 (UTC)[reply]
Paul August 05:28, 4 August 2007 (UTC)[reply]
linas 18:27, 22 November 2006 (UTC)[reply]
Paul August 05:31, 4 August 2007 (UTC)[reply]
Paul August 01:35, 6 August 2007 (UTC)[reply]
linas 16:20, 22 November 2006 (UTC)[reply]
Mostly a proof, which is now referenced in the topology subsection of pseudometric space. linas 16:33, 22 November 2006 (UTC)[reply]
linas 06:46, 22 November 2006 (UTC)[reply]
Paul August 04:31, 5 August 2007 (UTC)[reply]
Paul August 04:58, 5 August 2007 (UTC)[reply]
Paul August 05:20, 5 August 2007 (UTC)[reply]
Paul August 01:28, 6 August 2007 (UTC)[reply]
Paul August 01:38, 6 August 2007 (UTC)[reply]
linas 19:29, 22 November 2006 (UTC)[reply]

54E40 Special maps on metric spaces[edit]

linas 22:12, 24 November 2006 (UTC)[reply]

54E45 Compact (locally compact) metric spaces[edit]

Paul August 01:43, 6 August 2007 (UTC)[reply]
Paul August 01:43, 6 August 2007 (UTC)[reply]
Paul August 01:55, 6 August 2007 (UTC)[reply]

54E50 Complete metric spaces[edit]

Paul August 01:58, 6 August 2007 (UTC)[reply]
Paul August 02:08, 6 August 2007 (UTC)[reply]
Paul August 02:15, 6 August 2007 (UTC)[reply]
Paul August 03:32, 27 August 2006 (UTC)[reply]
Paul August 03:28, 27 August 2006 (UTC)[reply]

54E52 Baire category, Baire spaces[edit]

linas 18:13, 19 November 2006 (UTC)[reply]
Paul August 02:22, 6 August 2007 (UTC)[reply]
Paul August 02:51, 6 August 2007 (UTC)[reply]

54E70 Probabilistic metric spaces[edit]

54E99 Miscellaneous[edit]

Kompik 11:32, 22 February 2006 (UTC)[reply]
Paul August 03:13, 27 August 2006 (UTC)[reply]
Paul August 01:16, 25 July 2007 (UTC)[reply]

54Exx Spaces with richer structures[edit]

54F05 Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces[edit]

54F45 Dimension theory[edit]

54F65 Topological characterizations of particular spaces[edit]

54F99 Miscellaneous[edit]

54Fxx Special properties[edit]

54G05 Extremally disconnected spaces, $F$-spaces, etc.[edit]

Paul August 03:20, 27 August 2006 (UTC)[reply]

54G12 Scattered spaces[edit]

54G20 Counterexamples[edit]

linas 15:51, 19 November 2006 (UTC)[reply]
Paul August 02:58, 27 August 2006 (UTC)[reply]
Paul August 01:54, 27 August 2006 (UTC)[reply]

54G99 Miscellaneous[edit]

54Gxx Peculiar spaces[edit]

54H05 Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)[edit]

54H11 Topological groups[edit]

54H12 Topological lattices, etc.[edit]

54H13 Topological fields, rings, etc.[edit]

54H15 Transformation groups and semigroups[edit]

54H20 Topological dynamics[edit]

54H25 Fixed-point and coincidence theorems[edit]

54H99 Miscellaneous[edit]

54Hxx Connections with other structures, applications[edit]