Locally compact space: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 15:2715:27, 24 December 2023‎ 82.25.27.218 talk‎ 19,045 bytes +29‎ No edit summary undo

curprev 17:3317:33, 30 September 2023‎ Patar knight talk contribs‎ 19,016 bytes +63‎ Adding local short description: "Type of topological space in mathematics", overriding Wikidata description "topological space such that every point has a neighbourhood with compact closure" undo Tag: Shortdesc helper

curprev 05:0105:01, 4 September 2023‎ PatrickR2 talk contribs‎ 18,953 bytes +188‎ →‎Formal definition: add reference undo

curprev 12:5812:58, 25 March 2023‎ TakuyaMurata talk contribs‎ 18,765 bytes +25‎ →‎See also: Core-compact space undo

curprev 23:2023:20, 11 March 2023‎ JPRC talk contribs‎ 18,740 bytes +45‎ →‎Formal definition: This reference contains a survey of the various implications between the four definitions of locally compact, so I quoted it at the relevant place to make it easier for readers to find these proofs. undo

curprev 17:4517:45, 13 February 2023‎ PatrickR2 talk contribs‎ 18,695 bytes +908‎ →‎Properties: more information about subspaces of locally compact spaces; clarification for compactifications; avoid some excessive linking undo
curprev 16:3716:37, 13 February 2023‎ PatrickR2 talk contribs‎ m 17,787 bytes −53‎ →‎Non-Hausdorff examples: remove irrelevant parenthetical remark undo

curprev 05:2005:20, 30 January 2023‎ OAbot talk contribs‎ m 17,840 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

curprev 08:5808:58, 18 December 2022‎ PatrickR2 talk contribs‎ 17,824 bytes −13‎ Undid revision 1122997232 by Mgkrupa (talk) Not helful undo Tag: Undo

curprev 04:0304:03, 29 November 2022‎ Rlink2 talk contribs‎ m 17,837 bytes +292‎ →‎Formal definition: Adding archives WP:LINKROT undo Tag: AWB

curprev 04:0904:09, 21 November 2022‎ Mgkrupa talk contribs‎ m 17,545 bytes +13‎ Added {{Topology}} undo Tag: Reverted

curprev 03:0603:06, 5 November 2022‎ PatrickR2 talk contribs‎ m 17,532 bytes +19‎ →‎Formal definition: add visible anchor for weakly locally compact undo

curprev 19:1919:19, 24 October 2022‎ PatrickR2 talk contribs‎ 17,513 bytes +67‎ →‎Properties: locally compact regular spaces are Baire (with refs); simplify various links by using piped redirect syntax undo

curprev 05:5505:55, 6 October 2022‎ PatrickR2 talk contribs‎ m 17,315 bytes +19‎ →‎Formal definition: add anchor for locally compact regular undo

curprev 23:5223:52, 2 October 2022‎ PatrickR2 talk contribs‎ m 17,296 bytes +6‎ →‎Formal definition: bold for "locally compact regular" undo

curprev 18:1218:12, 13 August 2022‎ Citation bot talk contribs‎ 17,290 bytes +77‎ Alter: pages, template type. Add: eprint, s2cid, doi, isbn. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

curprev 03:1103:11, 11 August 2022‎ PatrickR2 talk contribs‎ 17,213 bytes +446‎ →‎Examples and counterexamples: add excluded point topology and Alexandrov topology; plus minor cleanup undo

curprev 08:5508:55, 1 August 2022‎ PatrickR2 talk contribs‎ 16,767 bytes +426‎ →‎Formal definition: mention the "weakly locally compact" terminology undo
curprev 08:1808:18, 1 August 2022‎ PatrickR2 talk contribs‎ 16,341 bytes +285‎ →‎Properties: add refs for completely regular property undo
curprev 08:0308:03, 1 August 2022‎ PatrickR2 talk contribs‎ m 16,056 bytes +87‎ →‎References: add Schechter undo

curprev 07:5307:53, 30 July 2022‎ PatrickR2 talk contribs‎ 15,969 bytes +407‎ →‎Non-Hausdorff examples: add info about locally compact in sense (4) undo
curprev 07:2107:21, 30 July 2022‎ PatrickR2 talk contribs‎ 15,562 bytes +971‎ add variant of the definition in terms of local base of closed compact neighborhoods undo

curprev 23:3623:36, 24 July 2022‎ PatrickR2 talk contribs‎ 14,591 bytes +183‎ →‎Non-Hausdorff examples: add cofinite topology as an example undo
curprev 23:2523:25, 24 July 2022‎ PatrickR2 talk contribs‎ 14,408 bytes −151‎ →‎Formal definition: remove condition (3') as it is a direct restatement of (3), in contrast to all the other properties in the list, which are not restatements of each other undo

curprev 20:1620:16, 13 January 2022‎ AxelBoldt talk contribs‎ 14,559 bytes −163‎ some links; removing incorrect statement about category duality undo Tag: Visual edit

curprev 01:5901:59, 4 December 2021‎ Mgkrupa talk contribs‎ 14,722 bytes +172‎ →‎See also undo

curprev 23:5323:53, 21 November 2021‎ Turgidson talk contribs‎ 14,550 bytes +97‎ →‎References: add wikilinks undo Tag: 2017 wikitext editor
curprev 21:1521:15, 21 November 2021‎ Turgidson talk contribs‎ 14,453 bytes +215‎ →‎Formal definition: complete and wikify a bare url ref undo Tag: 2017 wikitext editor

curprev 03:2103:21, 23 August 2021‎ BrownHairedGirl talk contribs‎ 14,238 bytes +40‎ →‎Formal definition: comment out unsupported citation parameter undo

curprev 22:2522:25, 8 August 2021‎ Robin S talk contribs‎ 14,198 bytes −4‎ Undid revision 1037819551 by Robin S (talk) a T0 *does* imply Hausdorff for topological vector spaces undo Tag: Undo
curprev 22:2422:24, 8 August 2021‎ Robin S talk contribs‎ 14,202 bytes +4‎ →‎Hausdorff spaces that are not locally compact: T0 does not imply Hausdorff, but "any T0" includes "any Hausdorff" undo Tag: Reverted

curprev 19:4019:40, 8 July 2021‎ Mgkrupa talk contribs‎ 14,198 bytes +77‎ Copy editing to make this article more compliant with MOS:MATH and Wikipedia:Manual of Style/Accessibility. Removed special symbols. No information was added, removed, or changed. undo
curprev 19:3519:35, 8 July 2021‎ Mgkrupa talk contribs‎ 14,121 bytes +40‎ →‎See also undo

curprev 19:2519:25, 24 June 2021‎ 198.53.108.48 talk‎ 14,081 bytes −31‎ cosmetic mostly undo

curprev 11:0811:08, 19 June 2021‎ Mojtabakd talk contribs‎ m 14,112 bytes +52‎ →‎References: Publisher for Folland undo
curprev 06:4606:46, 19 June 2021‎ Mojtabakd talk contribs‎ 14,060 bytes +664‎ Adding Desc. to the top section + Citation + Folland undo Tag: Visual edit

curprev 10:1910:19, 14 April 2021‎ 93.25.93.82 talk‎ 13,396 bytes +104‎ →‎Hausdorff spaces that are not locally compact: Small clarificatoin undo

curprev 09:1509:15, 5 March 2021‎ 143.50.47.158 talk‎ 13,292 bytes +2‎ →‎Hausdorff spaces that are not locally compact undo

curprev 00:4900:49, 15 February 2021‎ Mgkrupa talk contribs‎ 13,290 bytes +57‎ Added == See also == section undo

curprev 13:0313:03, 13 January 2021‎ Monkbot talk contribs‎ m 13,233 bytes +1‎ Task 18 (cosmetic): eval 6 templates: hyphenate params (1×); undo Tag: AWB

curprev 01:5201:52, 12 January 2021‎ Citation bot talk contribs‎ 13,232 bytes +139‎ Alter: template type. Add: class, year, title, eprint, author pars. 1-2. Converted bare reference to cite template. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Suggested by Headbomb | All pages linked from cached copy of Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | via #UCB_webform_linked 13/33 undo

curprev 02:4102:41, 30 December 2020‎ KennieBrown talk contribs‎ m 13,093 bytes 0‎ →‎Formal definition undo Tag: Manual revert

curprev 23:4923:49, 29 December 2020‎ 186.119.68.239 talk‎ 13,093 bytes 0‎ →‎Formal definition undo Tag: Reverted

curprev 11:2311:23, 22 September 2020‎ Rqndom talk contribs‎ m 13,093 bytes +17‎ →‎Formal definition undo

curprev 02:4002:40, 17 September 2020‎ PatrickR2 talk contribs‎ 13,076 bytes +331‎ →‎Formal definition: add terminology "locally relatively compact" undo

24 December 2023

30 September 2023

4 September 2023

25 March 2023

11 March 2023

13 February 2023

30 January 2023

18 December 2022

29 November 2022

21 November 2022

5 November 2022

24 October 2022

23 October 2022

6 October 2022

2 October 2022

13 August 2022

11 August 2022

1 August 2022

30 July 2022

24 July 2022

13 January 2022

4 December 2021

21 November 2021

23 August 2021

8 August 2021

8 July 2021

24 June 2021

19 June 2021

14 April 2021

5 March 2021

15 February 2021

13 January 2021

12 January 2021

30 December 2020

29 December 2020

22 September 2020

17 September 2020