Knowledge

Talk:Strong operator topology

Source πŸ“

84: 74: 53: 22: 162:
The article page says "... SOT, is the weakest topology on the set of bounded operators on a Hilbert space (or, more generally, on a Banach space) such that the evaluation map sending an operator T to the real number \|Tx\| is continuous for each vector x in the Hilbert space."
166:
So defined topology is not translation invariant, nor locally convex, nor even Hausdorff, nor satisfies most claims of the article. For example it is not Hausdorff since there is no open set distinguishing the right shift S and its power
896: 1078: 512: 197:
Please, correct the article (provisional correction done by adding 'locally convex' to include the translational invariance ad hock). Remember that no information is much better than wrong information.
140: 663: 577: 989: 353: 747: 408: 932: 296: 444: 780: 192: 606: 1013: 686: 260: 1119: 130: 242:
I removed the text (example) below from the article, since it is affected by correcting the definition. First to be said, the example claims to show
106: 1114: 207: 615:β€”β€”β€”β€”β€”β€”β€” As an example of this lack of nicer properties, let us mention that the involution map is not continuous in this topology: fix an 788: 97: 58: 1021: 455: 33: 201:
Copy the definition correctly from the source, usually no word (such as 'locally convex' for example) can be ommited.
621: 211: 1096: 520: 228: 39: 940: 304: 83: 694: 224: 21: 365: 105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
194:. (The zero operator is the only one separated by its neighborhoods from the rest of the space.) 89: 73: 52: 1092: 904: 616: 265: 753: 666: 416: 1083:
in the SOT topology. This means that the adjoint operation is not SOT-continuous. β€”β€”β€”β€”β€”β€”β€”β€”
1091:
There are other uses for SOT as an acronym. e.g. Small Outline Transistor. Sound on tape.
758: 170: 582: 998: 671: 245: 1108: 1100: 232: 215: 298:
converges in SOT to identity (while the adjoints do not), supporting it by formula
102: 79: 204:(Note that also the example turned affected by correcting the definition.) 262:
is not continuous, for which it (silently) argues (or it seems to) that
1087:
SOT as an acronym should be a disambiguation page, not a redirect.
891:{\displaystyle S^{*}(e_{n})=e_{n-1},n\geq 1,\ \ S^{*}(e_{0})=0.} 15: 1073:{\displaystyle \lim _{n\rightarrow \infty }(S^{*})^{n}=0} 611:
Please would you check that and reformulate the example?
507:{\displaystyle \lim _{n\rightarrow \infty }(S^{*})^{n}=0} 221:
I corrected the definition and added an equivalent one.
359:
After the correction of definition, we would need that
1024: 1001: 943: 907: 791: 761: 697: 674: 624: 585: 523: 458: 419: 368: 307: 268: 248: 173: 101:, a collaborative effort to improve the coverage of 449:Well, it looks like the example could be reversed: 1072: 1007: 983: 926: 890: 774: 741: 680: 657: 600: 571: 506: 438: 402: 347: 290: 254: 186: 1026: 460: 8: 978: 972: 966: 944: 921: 908: 652: 625: 397: 369: 342: 336: 330: 308: 658:{\displaystyle \{e_{n}:n\in \mathbb {N} \}} 413:converge to 0 which is not true, e.g. for 47: 1058: 1048: 1029: 1023: 1000: 951: 942: 915: 906: 873: 860: 825: 809: 796: 790: 766: 760: 724: 708: 696: 673: 648: 647: 632: 623: 584: 563: 544: 534: 522: 492: 482: 463: 457: 430: 418: 376: 367: 315: 306: 273: 267: 247: 178: 172: 517:in the SOT topology while its adjoints 49: 19: 7: 665:of a Hilbert space and consider the 572:{\displaystyle ((S^{*})^{n})*=S^{n}} 95:This article is within the scope of 38:It is of interest to the following 1036: 984:{\displaystyle \|S^{n}(x)\|=\|x\|} 470: 348:{\displaystyle \|S^{n}(x)\|=\|x\|} 14: 1120:Low-priority mathematics articles 742:{\displaystyle S(e_{n})=e_{n+1}.} 115:Knowledge:WikiProject Mathematics 118:Template:WikiProject Mathematics 82: 72: 51: 20: 135:This article has been rated as 1055: 1041: 1033: 963: 957: 879: 866: 815: 802: 714: 701: 550: 541: 527: 524: 489: 475: 467: 403:{\displaystyle \|S^{n}(x)-x\|} 388: 382: 327: 321: 285: 279: 233:11:04, 16 September 2014 (UTC) 1: 109:and see a list of open tasks. 1115:C-Class mathematics articles 238:The example about * removed 1136: 927:{\displaystyle \{S^{n}\}} 216:16:44, 2 April 2010 (UTC) 134: 67: 46: 1101:18:22, 25 May 2010 (UTC) 291:{\displaystyle S^{n}(x)} 158:The definition is wrong. 141:project's priority scale 439:{\displaystyle x=e_{1}} 98:WikiProject Mathematics 1074: 1009: 985: 928: 892: 776: 743: 682: 659: 602: 573: 508: 440: 404: 349: 292: 256: 188: 28:This article is rated 1075: 1010: 986: 929: 893: 777: 775:{\displaystyle S^{*}} 744: 683: 660: 603: 574: 509: 441: 405: 350: 293: 257: 189: 187:{\displaystyle S^{2}} 1022: 999: 941: 905: 789: 759: 695: 672: 622: 601:{\displaystyle 0*=0} 583: 521: 456: 417: 366: 305: 266: 246: 171: 121:mathematics articles 579:do not converge to 1070: 1040: 1005: 981: 924: 888: 772: 739: 678: 655: 598: 569: 504: 474: 436: 400: 345: 288: 252: 184: 90:Mathematics portal 34:content assessment 1025: 1008:{\displaystyle x} 995:for every vector 855: 853: 681:{\displaystyle S} 617:orthonormal basis 459: 255:{\displaystyle *} 155: 154: 151: 150: 147: 146: 1127: 1079: 1077: 1076: 1071: 1063: 1062: 1053: 1052: 1039: 1014: 1012: 1011: 1006: 990: 988: 987: 982: 956: 955: 933: 931: 930: 925: 920: 919: 897: 895: 894: 889: 878: 877: 865: 864: 854: 852: 836: 835: 814: 813: 801: 800: 781: 779: 778: 773: 771: 770: 748: 746: 745: 740: 735: 734: 713: 712: 687: 685: 684: 679: 667:unilateral shift 664: 662: 661: 656: 651: 637: 636: 607: 605: 604: 599: 578: 576: 575: 570: 568: 567: 549: 548: 539: 538: 513: 511: 510: 505: 497: 496: 487: 486: 473: 445: 443: 442: 437: 435: 434: 409: 407: 406: 401: 381: 380: 354: 352: 351: 346: 320: 319: 297: 295: 294: 289: 278: 277: 261: 259: 258: 253: 193: 191: 190: 185: 183: 182: 123: 122: 119: 116: 113: 92: 87: 86: 76: 69: 68: 63: 55: 48: 31: 25: 24: 16: 1135: 1134: 1130: 1129: 1128: 1126: 1125: 1124: 1105: 1104: 1089: 1054: 1044: 1020: 1019: 997: 996: 947: 939: 938: 911: 903: 902: 869: 856: 821: 805: 792: 787: 786: 762: 757: 756: 720: 704: 693: 692: 670: 669: 628: 620: 619: 581: 580: 559: 540: 530: 519: 518: 488: 478: 454: 453: 426: 415: 414: 372: 364: 363: 311: 303: 302: 269: 264: 263: 244: 243: 240: 174: 169: 168: 160: 120: 117: 114: 111: 110: 88: 81: 61: 32:on Knowledge's 29: 12: 11: 5: 1133: 1131: 1123: 1122: 1117: 1107: 1106: 1088: 1085: 1081: 1080: 1069: 1066: 1061: 1057: 1051: 1047: 1043: 1038: 1035: 1032: 1028: 1004: 993: 992: 980: 977: 974: 971: 968: 965: 962: 959: 954: 950: 946: 923: 918: 914: 910: 899: 898: 887: 884: 881: 876: 872: 868: 863: 859: 851: 848: 845: 842: 839: 834: 831: 828: 824: 820: 817: 812: 808: 804: 799: 795: 769: 765: 750: 749: 738: 733: 730: 727: 723: 719: 716: 711: 707: 703: 700: 677: 654: 650: 646: 643: 640: 635: 631: 627: 614: 597: 594: 591: 588: 566: 562: 558: 555: 552: 547: 543: 537: 533: 529: 526: 515: 514: 503: 500: 495: 491: 485: 481: 477: 472: 469: 466: 462: 433: 429: 425: 422: 411: 410: 399: 396: 393: 390: 387: 384: 379: 375: 371: 357: 356: 344: 341: 338: 335: 332: 329: 326: 323: 318: 314: 310: 287: 284: 281: 276: 272: 251: 239: 236: 220: 208:90.180.192.165 181: 177: 159: 156: 153: 152: 149: 148: 145: 144: 133: 127: 126: 124: 107:the discussion 94: 93: 77: 65: 64: 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 1132: 1121: 1118: 1116: 1113: 1112: 1110: 1103: 1102: 1098: 1094: 1086: 1084: 1067: 1064: 1059: 1049: 1045: 1030: 1018: 1017: 1016: 1002: 975: 969: 960: 952: 948: 937: 936: 935: 916: 912: 901:The sequence 885: 882: 874: 870: 861: 857: 849: 846: 843: 840: 837: 832: 829: 826: 822: 818: 810: 806: 797: 793: 785: 784: 783: 782:is given by 767: 763: 755: 736: 731: 728: 725: 721: 717: 709: 705: 698: 691: 690: 689: 675: 668: 644: 641: 638: 633: 629: 618: 612: 609: 595: 592: 589: 586: 564: 560: 556: 553: 545: 535: 531: 501: 498: 493: 483: 479: 464: 452: 451: 450: 447: 431: 427: 423: 420: 394: 391: 385: 377: 373: 362: 361: 360: 339: 333: 324: 316: 312: 301: 300: 299: 282: 274: 270: 249: 237: 235: 234: 230: 226: 222: 218: 217: 213: 209: 205: 202: 199: 195: 179: 175: 164: 157: 142: 138: 132: 129: 128: 125: 108: 104: 100: 99: 91: 85: 80: 78: 75: 71: 70: 66: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 1090: 1082: 994: 900: 751: 613: 610: 516: 448: 412: 358: 241: 223: 219: 206: 203: 200: 196: 165: 161: 137:Low-priority 136: 96: 62:Low‑priority 40:WikiProjects 934:satisfies 112:Mathematics 103:mathematics 59:Mathematics 1109:Categories 752:Then the 688:given by 225:Kappaenne 754:adjoint 139:on the 30:C-class 1015:, but 36:scale. 1097:talk 229:talk 212:talk 1093:DFH 1027:lim 608:. 461:lim 131:Low 1111:: 1099:) 1050:βˆ— 1037:∞ 1034:β†’ 979:β€– 973:β€– 967:β€– 945:β€– 886:0. 862:βˆ— 844:β‰₯ 830:βˆ’ 798:βˆ— 768:βˆ— 645:∈ 590:βˆ— 554:βˆ— 536:βˆ— 484:βˆ— 471:∞ 468:β†’ 446:. 398:β€– 392:βˆ’ 370:β€– 343:β€– 337:β€– 331:β€– 309:β€– 250:βˆ— 231:) 214:) 1095:( 1068:0 1065:= 1060:n 1056:) 1046:S 1042:( 1031:n 1003:x 991:, 976:x 970:= 964:) 961:x 958:( 953:n 949:S 922:} 917:n 913:S 909:{ 883:= 880:) 875:0 871:e 867:( 858:S 850:, 847:1 841:n 838:, 833:1 827:n 823:e 819:= 816:) 811:n 807:e 803:( 794:S 764:S 737:. 732:1 729:+ 726:n 722:e 718:= 715:) 710:n 706:e 702:( 699:S 676:S 653:} 649:N 642:n 639:: 634:n 630:e 626:{ 596:0 593:= 587:0 565:n 561:S 557:= 551:) 546:n 542:) 532:S 528:( 525:( 502:0 499:= 494:n 490:) 480:S 476:( 465:n 432:1 428:e 424:= 421:x 395:x 389:) 386:x 383:( 378:n 374:S 355:. 340:x 334:= 328:) 325:x 322:( 317:n 313:S 286:) 283:x 280:( 275:n 271:S 227:( 210:( 180:2 176:S 143:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
Low
project's priority scale
90.180.192.165
talk
16:44, 2 April 2010 (UTC)
Kappaenne
talk
11:04, 16 September 2014 (UTC)
orthonormal basis
unilateral shift
adjoint
DFH
talk
18:22, 25 May 2010 (UTC)
Categories
C-Class mathematics articles
Low-priority mathematics articles

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑