1026:
standard, and even an obvious algebraic fact following from (real or complex) Hilbert space axioms. (The argument that it doesn't appear in the
Japanese WP carries little force for me; WP in any language is imperfect and ongoing as you know.) As for its being peculiar to Hilbert spaces: sure, but that's the context for the present discussion of normal operators, and anyway I note that the proof of the trick you gave above seems to depend on complex Hilbert space axioms as well (and in basic conception is not far removed from the proof of the complex polarization identity). If you'd like the last word on this matter, be my guest, but I think I'm done. Peace.
84:
74:
53:
1055:
especially since there are some nice classes of non-normal operators with interesting algebraic structure and perhaps special numerical routines in the case of non-normal matrices. It would be nice to create a separate page for non-normal operators, or at minimum a new section in this article to signpost readers to other articles on special classes of non-normal operators so they can gain some intuition.
22:
889:
standardly known than numerical radius.) I understand the point that the extra generality is not of earth-shaking importance , but sometimes it's good to know in what generality statements hold true. Conceptually clear proofs often make such generality manifest. :-) Thanks for the advice on places to discuss.
915:
an argument in favor of mine? What's wrong with the polarization identity is that it holds only for a
Hilbert space. It is preferable to work with more general concepts like norms. Also, I disagree that the identity is standardly known. It probably depends on your educational background, but I have
888:
The assertion that your proof is conceptually simpler is, as I see it, mere opinion, and I disagree with it, especially since both proofs are so short. (What is this "doesn't even have to" -- what's wrong with invoking the polarization identity? That's also used all the time, and arguably even more
1054:
redirects to this page on normal operators. However, the text "non-normal" does not appear anywhere on this page. Readers are left to re-derive the properties of non-normal operators in the negative space left by the discussion of normal operators. This is not good, from a didactic standpoint ---
743:
Okay, thanks. Yes, I made the observation over at my talk page that it fails for real
Hilbert spaces. I view this as an argument in favor of the proof I gave, which I thought was conceptually clear and works either in the real or complex setting. But if you won't revert back, then I don't plan to
848:
is a fairly standard fact that is used for all the time. Yes, your proof does work for a real
Hilbert space, but is such a generality really important? It seems normal operators are usually discussed in the context of a complex Hilbert space, probably because many things could go wrong in a real
1025:
It's probably silly to continue arguing about this, since I've already agreed not to revert. But FWIW, I agree that taste in these matters depends on educational background, and the fact that you consider the polarization identity "obscure" tells me something about yours. To me it's completely
240:
Please excuse my contacting you in this way, but I am a newcomer to
Knowledge editing and am not yet familiar with proper Knowledge protocol. I am trying to understand why you felt the need to undo my (first and so far only edit) at
776:
Sorry, I missed your comment at your talkpage. It's usually not a good idea to put a comment at your talkpage since other editors are probably not paying attention to it. As for the issue at hand, actually I thought my proof was
215:
In full generality it's false, otherwise any nilpotent operator would be normal. Besides, I think any statement involving paranormal operators should appear in the article about paranormal operators rather than this one.
598:
299:
184:
normal" implies "N normal"? I think I heard that the answer is affirmative when N is assumed to be, say, paranormal or something. I want to know the precise statement (so we can put in the article). --
753:
Is this the place to be having this type of conversation in your opinion? I thought since it's a side issue, we could iron it out away from the discussion page, but I wasn't sure of the proper venue.
487:
140:
1002:
long before learning about the identity. (I don't remember my teacher in my
Hilbert space course ever invoking the identity. Also, it is telling that there is no Japanese version of the
820:
725:
Hilbert space. If I remember correctly, the analogous fact fails for a real
Hilbert space. Finally, please don't get discouraged. In Knowledge, edits get reverted all the time. --
974:
645:
386:
182:
715:
686:
1000:
846:
325:
1090:
130:
911:
Perhaps I don't have to respond any more, but about this "Conceptually clear proofs often make such generality manifest." Right, but isn't that
106:
1085:
1062:
97:
58:
493:
248:
397:
33:
862:
Finally, about a place to discuss. You probably don't have to worry, but this talkpage is probably a right place. --
1066:
784:
1015:
867:
730:
190:
1003:
39:
83:
1058:
21:
919:
217:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
609:
350:
89:
1006:
article.) So, I think now you can imagine my reaction to your change. I thought: of course, you
73:
52:
1031:
1011:
894:
863:
758:
726:
332:
221:
205:
186:
344:
242:
160:
691:
662:
979:
825:
304:
1051:
245:, which was made in response to what I believed was an invalid argument, claiming that
1079:
1027:
890:
754:
328:
201:
102:
849:
Hilbert space like a numerical radius, as you pointed out, fails to be a norm.
79:
1070:
1035:
1019:
898:
871:
762:
734:
336:
225:
209:
194:
781:. It doesn't even have to use the polarization identity, and I thought
343:
It's actually not an invalid argument. It follows from the fact that a
200:
don't know. nice to have someone interested in operator theory around.
1010:
use the identity, but why wouldya? Why invoke an obscure identity? --
721:. As you can see, what is essential is that we're working with a
347:
is a norm. In fact, let me show you the proof quickly. Suppose
236:
The following was moved from the talkpage of User:TakuyaMurata.
15:
593:{\displaystyle 0=(Tx+iy\mid x+iy)=-i(Tx\mid y)+i(Ty\mid x)}
294:{\displaystyle \langle Sx,x\rangle =\langle Tx,x\rangle }
482:{\displaystyle 0=(Tx+y\mid x+y)=(Tx\mid y)+(Ty\mid x)}
982:
922:
828:
787:
694:
665:
612:
496:
400:
353:
307:
251:
163:
101:, a collaborative effort to improve the coverage of
994:
968:
840:
814:
709:
680:
639:
592:
481:
380:
319:
293:
176:
327:. I can explain further at my talk page. Thanks.
1050:The link for non-normal operators on the page
8:
803:
788:
288:
273:
267:
252:
1056:
47:
981:
955:
932:
921:
827:
786:
693:
664:
611:
495:
399:
352:
306:
250:
168:
162:
49:
19:
815:{\displaystyle \langle Tx,x\rangle =0}
7:
95:This article is within the scope of
38:It is of interest to the following
14:
1091:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
963:
956:
946:
940:
933:
923:
916:been using a trick that shows
628:
613:
587:
572:
563:
548:
536:
503:
476:
461:
455:
440:
434:
407:
369:
354:
1:
969:{\displaystyle (Tx|x)=(Sx|x)}
210:03:18, 12 February 2009 (UTC)
195:23:52, 11 February 2009 (UTC)
109:and see a list of open tasks.
1086:C-Class mathematics articles
640:{\displaystyle (Tx\mid y)=0}
381:{\displaystyle (Tx\mid x)=0}
1036:20:02, 15 August 2009 (UTC)
1107:
1020:22:53, 8 August 2009 (UTC)
899:14:50, 8 August 2009 (UTC)
872:01:31, 8 August 2009 (UTC)
763:22:51, 7 August 2009 (UTC)
735:18:06, 7 August 2009 (UTC)
337:14:38, 7 August 2009 (UTC)
1071:09:32, 12 July 2024 (UTC)
226:11:07, 3 April 2009 (UTC)
134:
67:
46:
604:Combing the two we get:
141:project's priority scale
98:WikiProject Mathematics
996:
970:
842:
816:
711:
682:
641:
594:
483:
382:
321:
295:
178:
28:This article is rated
1004:polarization identity
997:
971:
843:
817:
712:
683:
642:
595:
484:
383:
322:
296:
179:
177:{\displaystyle N^{2}}
1046:Non-normal operators
980:
920:
826:
785:
779:conceptually simpler
710:{\displaystyle Tx=0}
692:
681:{\displaystyle y=Tx}
663:
610:
494:
398:
351:
305:
249:
231:Proof of equivalence
161:
121:mathematics articles
995:{\displaystyle T=S}
841:{\displaystyle T=0}
320:{\displaystyle S=T}
992:
966:
838:
812:
707:
678:
637:
590:
479:
378:
317:
291:
174:
90:Mathematics portal
34:content assessment
1073:
1061:comment added by
392:. In particular,
155:
154:
151:
150:
147:
146:
1098:
1001:
999:
998:
993:
975:
973:
972:
967:
959:
936:
847:
845:
844:
839:
821:
819:
818:
813:
744:press the point.
716:
714:
713:
708:
687:
685:
684:
679:
646:
644:
643:
638:
599:
597:
596:
591:
488:
486:
485:
480:
387:
385:
384:
379:
345:numerical radius
326:
324:
323:
318:
300:
298:
297:
292:
183:
181:
180:
175:
173:
172:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
1106:
1105:
1101:
1100:
1099:
1097:
1096:
1095:
1076:
1075:
1048:
978:
977:
918:
917:
824:
823:
783:
782:
690:
689:
661:
660:
608:
607:
492:
491:
396:
395:
349:
348:
303:
302:
247:
246:
243:Normal operator
233:
164:
159:
158:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
1104:
1102:
1094:
1093:
1088:
1078:
1077:
1052:pseudospectrum
1047:
1044:
1042:
1040:
1039:
991:
988:
985:
965:
962:
958:
954:
951:
948:
945:
942:
939:
935:
931:
928:
925:
909:
908:
907:
906:
905:
904:
903:
902:
879:
878:
877:
876:
875:
874:
855:
854:
853:
852:
851:
850:
837:
834:
831:
811:
808:
805:
802:
799:
796:
793:
790:
769:
768:
767:
766:
748:
747:
746:
745:
738:
737:
706:
703:
700:
697:
677:
674:
671:
668:
649:
648:
647:
636:
633:
630:
627:
624:
621:
618:
615:
602:
601:
600:
589:
586:
583:
580:
577:
574:
571:
568:
565:
562:
559:
556:
553:
550:
547:
544:
541:
538:
535:
532:
529:
526:
523:
520:
517:
514:
511:
508:
505:
502:
499:
489:
478:
475:
472:
469:
466:
463:
460:
457:
454:
451:
448:
445:
442:
439:
436:
433:
430:
427:
424:
421:
418:
415:
412:
409:
406:
403:
377:
374:
371:
368:
365:
362:
359:
356:
316:
313:
310:
290:
287:
284:
281:
278:
275:
272:
269:
266:
263:
260:
257:
254:
232:
229:
213:
212:
171:
167:
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:
1103:
1092:
1089:
1087:
1084:
1083:
1081:
1074:
1072:
1068:
1064:
1060:
1053:
1045:
1043:
1037:
1033:
1029:
1024:
1023:
1022:
1021:
1017:
1013:
1009:
1005:
989:
986:
983:
960:
952:
949:
943:
937:
929:
926:
914:
900:
896:
892:
887:
886:
885:
884:
883:
882:
881:
880:
873:
869:
865:
861:
860:
859:
858:
857:
856:
835:
832:
829:
809:
806:
800:
797:
794:
791:
780:
775:
774:
773:
772:
771:
770:
764:
760:
756:
752:
751:
750:
749:
742:
741:
740:
739:
736:
732:
728:
724:
720:
704:
701:
698:
695:
675:
672:
669:
666:
658:
654:
650:
634:
631:
625:
622:
619:
616:
606:
605:
603:
584:
581:
578:
575:
569:
566:
560:
557:
554:
551:
545:
542:
539:
533:
530:
527:
524:
521:
518:
515:
512:
509:
506:
500:
497:
490:
473:
470:
467:
464:
458:
452:
449:
446:
443:
437:
431:
428:
425:
422:
419:
416:
413:
410:
404:
401:
394:
393:
391:
375:
372:
366:
363:
360:
357:
346:
342:
341:
340:
338:
334:
330:
314:
311:
308:
285:
282:
279:
276:
270:
264:
261:
258:
255:
244:
238:
237:
230:
228:
227:
223:
219:
211:
207:
203:
199:
198:
197:
196:
192:
188:
169:
165:
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:
1063:82.37.42.187
1057:— Preceding
1049:
1041:
1007:
912:
910:
778:
722:
718:
656:
652:
389:
239:
235:
234:
214:
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
688:and we get
112:Mathematics
103:mathematics
59:Mathematics
1080:Categories
1059:unsigned
976:to show
822:implies
717:for all
651:for all
388:for all
339:Duffifi
301:implies
1038:Duffifi
1028:Duffifi
913:exactly
901:Duffifi
891:Duffifi
765:Duffifi
755:Duffifi
723:complex
659:. Take
329:Duffifi
218:Gamesou
202:Mct mht
139:on the
30:C-class
157:Does "
36:scale.
1067:talk
1032:talk
1016:talk
1012:Taku
895:talk
868:talk
864:Taku
759:talk
731:talk
727:Taku
655:and
333:talk
222:talk
206:talk
191:talk
187:Taku
1008:can
131:Mid
1082::
1069:)
1034:)
1018:)
897:)
870:)
804:⟩
789:⟨
761:)
733:)
623:∣
582:∣
558:∣
543:−
522:∣
471:∣
450:∣
423:∣
364:∣
335:)
289:⟩
274:⟨
268:⟩
253:⟨
224:)
208:)
193:)
1065:(
1030:(
1014:(
990:S
987:=
984:T
964:)
961:x
957:|
953:x
950:S
947:(
944:=
941:)
938:x
934:|
930:x
927:T
924:(
893:(
866:(
836:0
833:=
830:T
810:0
807:=
801:x
798:,
795:x
792:T
757:(
729:(
719:x
705:0
702:=
699:x
696:T
676:x
673:T
670:=
667:y
657:y
653:x
635:0
632:=
629:)
626:y
620:x
617:T
614:(
588:)
585:x
579:y
576:T
573:(
570:i
567:+
564:)
561:y
555:x
552:T
549:(
546:i
540:=
537:)
534:y
531:i
528:+
525:x
519:y
516:i
513:+
510:x
507:T
504:(
501:=
498:0
477:)
474:x
468:y
465:T
462:(
459:+
456:)
453:y
447:x
444:T
441:(
438:=
435:)
432:y
429:+
426:x
420:y
417:+
414:x
411:T
408:(
405:=
402:0
390:x
376:0
373:=
370:)
367:x
361:x
358:T
355:(
331:(
315:T
312:=
309:S
286:x
283:,
280:x
277:T
271:=
265:x
262:,
259:x
256:S
220:(
204:(
189:(
170:2
166:N
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.