Von Neumann bicommutant theorem: 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 14:4314:43, 22 July 2024 TakuyaMurata talk contribs 7,236 bytes +122 →References: further reading undo
curprev 14:4014:40, 22 July 2024 TakuyaMurata talk contribs 7,114 bytes +106 →References: +Takesaki undo

curprev 08:0608:06, 29 May 2024 2a00:23c8:7401:f501:7171:bdf8:23a0:2dd5 talk 7,008 bytes −12 →Proof of (i) undo
curprev 07:5107:51, 29 May 2024 2a00:23c8:7401:f501:7171:bdf8:23a0:2dd5 talk 7,020 bytes −144 →Proof of (i): Tidied up the argument a bit. Cut confusing comment about "substituting" undo
curprev 07:1607:16, 29 May 2024 2a00:23c8:7401:f501:7171:bdf8:23a0:2dd5 talk 7,164 bytes −745 →Proof of (iii): Clarified as requested. The description of the SOT closure in terms of subbasic sets was unnecessary and confusing, so was cut. Some streamlining of the English to make it more readable. Reference link provided for cyclic subspace. undo

curprev 07:1507:15, 12 November 2023 98.216.49.228 talk 7,909 bytes +117 →Proof of (iii): Minor expository changes undo

curprev 19:4519:45, 27 January 2022 1234qwer1234qwer4 talk contribs m 7,792 bytes 0 decapitalise undo

curprev 03:0603:06, 5 November 2020 Gsquaredxc talk contribs m 7,792 bytes −9 v2.03b - WP:WCW project (Template contains useless word template:) undo Tag: WPCleaner

curprev 14:1414:14, 4 April 2020 Mgkrupa talk contribs 8,313 bytes +34 Added {{Template:Functional analysis}} undo

curprev 15:2515:25, 29 July 2019 Pauli133 talk contribs m 8,279 bytes +2 proper prime marks undo

curprev 19:4419:44, 16 November 2018 Feynmanliang talk contribs 8,277 bytes +4 No edit summary undo

curprev 16:0416:04, 21 September 2018 2607:f010:2e9:19:28eb:4f46:fcdb:8b30 talk 8,273 bytes +112 No edit summary undo

curprev 06:3206:32, 25 April 2017 I dream of horses talk contribs m 8,161 bytes +4 clean up, typo(s) fixed: Therefore → Therefore, using AWB undo

curprev 13:2013:20, 6 October 2016 Deniz Stiegemann talk contribs m 8,157 bytes +1 →Proof undo

curprev 10:2010:20, 1 August 2014 2001:690:2100:140:29aa:91ed:af0b:214e talk 7,897 bytes 0 →Proof of (iii) undo

curprev 07:4507:45, 12 July 2014 99.241.166.168 talk 7,897 bytes +41 →Proof: more formatting improvs undo

curprev 13:1713:17, 8 July 2014 99.241.166.168 talk 7,856 bytes +83 html math to {{math|...}} undo
curprev 04:3104:31, 8 July 2014 99.241.166.168 talk 7,773 bytes +138 formatting improvements undo

curprev 23:0023:00, 7 July 2014 99.241.166.168 talk 7,635 bytes +528 html math to {{math|...}} undo

curprev 12:5912:59, 11 June 2014 KateHolligan** talk contribs 7,107 bytes +1 No edit summary undo

curprev 17:1117:11, 3 May 2014 Dan Gluck talk contribs 7,106 bytes +173 →Proof: added: why P exists undo
curprev 11:4711:47, 3 May 2014 Dan Gluck talk contribs m 6,933 bytes +4 →Proof: enter whole statememnt into <math> form undo
curprev 11:4411:44, 3 May 2014 Dan Gluck talk contribs 6,929 bytes +1,003 →Proof: correction of end of the proof (see talk page). cleanup and more precise statements (e.g. proving closures are identical to bicommutant) undo

curprev 19:1719:17, 1 May 2014 Dan Gluck talk contribs 5,926 bytes +818 →Proof: more standard notation and much more elaboration on part 3. Also a correction is needed for the end (see talk page) undo
curprev 09:1909:19, 1 May 2014 Dan Gluck talk contribs 5,108 bytes +444 →Proof: elaborate more on i) => ii) undo

curprev 03:1603:16, 4 October 2013 Mark viking talk contribs 4,664 bytes +66 Added wl undo

curprev 03:0803:08, 13 March 2013 Addbot talk contribs m 4,598 bytes −49 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q528987 undo

curprev 01:0501:05, 22 February 2013 AnomieBOT talk contribs m 4,647 bytes +19 Dating maintenance tags: {{Clarify}} undo
curprev 00:4400:44, 22 February 2013 LokiClock talk contribs 4,628 bytes +55 →Intro: L(H) is undefined undo

curprev 18:5718:57, 16 October 2011 Sodin talk contribs 4,573 bytes +45 added Category:Theorems in functional analysis using HotCat undo
curprev 18:5718:57, 16 October 2011 Sodin talk contribs 4,528 bytes −35 removed Category:Mathematical theorems using HotCat undo

curprev 00:1100:11, 29 July 2011 Yobot talk contribs m 4,563 bytes −18 WP:CHECKWIKI error fixes (category with space) + general fixes using AWB (7796) undo

22 July 2024

29 May 2024

12 November 2023

27 January 2022

5 November 2020

24 April 2020

4 April 2020

29 July 2019

16 November 2018

21 September 2018

25 April 2017

6 October 2016

16 September 2015

1 August 2014

12 July 2014

8 July 2014

7 July 2014

11 June 2014

3 May 2014

1 May 2014

4 October 2013

13 March 2013

22 February 2013

16 October 2011

29 July 2011