22:
335:
660:
1813:
469:
193:
1435:
241:
555:
884:
1887:
151:
Finite-rank operators are matrices (of finite size) transplanted to the infinite dimensional setting. As such, these operators may be described via linear algebra techniques.
793:
504:
1849:
1126:
729:
696:
1718:
1698:
1158:
1471:
1357:
1284:
1191:
1065:
1654:
1625:
1596:
1564:
1523:
1094:
1039:
970:
921:
1907:
1491:
1324:
1304:
1251:
1231:
1211:
1010:
990:
941:
836:
816:
760:
547:
527:
398:
378:
358:
233:
213:
406:
1952:
39:
839:
105:
86:
58:
43:
65:
1530:
732:
72:
330:{\displaystyle M=\alpha \cdot uv^{*},\quad {\mbox{where}}\quad \|u\|=\|v\|=1\quad {\mbox{and}}\quad \alpha \geq 0.}
157:
32:
54:
1365:
1982:
655:{\displaystyle Th=\sum _{i=1}^{n}\alpha _{i}\langle h,v_{i}\rangle u_{i}\quad {\mbox{for all}}\quad h\in H,}
127:
1929:
852:
765:
1709:
135:
119:
79:
1854:
1808:{\displaystyle Th=\sum _{i=1}^{n}\langle u_{i},h\rangle v_{i}\quad {\mbox{for all}}\quad h\in U,}
477:
1912:
A bounded linear functional is a particular case of a finite-rank operator, namely of rank one.
1821:
1099:
701:
668:
1958:
1948:
1671:
1131:
1443:
1329:
1256:
1163:
1705:
1534:
1044:
1041:
must contain the finite-rank operators. This is not hard to prove. Take a non-zero operator
1630:
1601:
1572:
1540:
1499:
1070:
1015:
946:
897:
1712:
is finite dimensional. Just as in the
Hilbert space case, it can be written in the form
1892:
1657:
1476:
1309:
1289:
1236:
1216:
1196:
995:
975:
926:
821:
801:
745:
532:
512:
383:
363:
343:
218:
198:
992:. In fact it is the minimal element among such ideals, that is, any two-sided *-ideal
1976:
1701:
131:
886:
is convergent; a property that automatically holds for all finite-rank operators.
464:{\displaystyle Th=\alpha \langle h,v\rangle u\quad {\mbox{for all}}\quad h\in H,}
1526:
846:
795:
21:
154:
From linear algebra, we know that a rectangular matrix, with complex entries,
1962:
1566:
is dense in all three of these ideals, in their respective norms.
731:
are orthonormal bases. Notice this is essentially a restatement of
762:
is now countably infinite and the sequence of positive numbers
15:
842:, and one has the canonical form for compact operators.
1786:
855:
633:
442:
311:
275:
1895:
1857:
1824:
1721:
1674:
1633:
1604:
1575:
1543:
1502:
1479:
1446:
1368:
1332:
1312:
1292:
1259:
1239:
1219:
1199:
1166:
1134:
1102:
1073:
1047:
1018:
998:
978:
949:
929:
900:
824:
804:
768:
748:
704:
671:
558:
535:
515:
480:
409:
386:
366:
346:
244:
221:
201:
160:
46:. Unsourced material may be challenged and removed.
1901:
1881:
1843:
1807:
1692:
1648:
1619:
1590:
1558:
1517:
1485:
1465:
1429:
1351:
1318:
1298:
1278:
1245:
1225:
1205:
1185:
1152:
1120:
1088:
1059:
1033:
1004:
984:
964:
935:
915:
878:
830:
810:
787:
754:
723:
690:
654:
541:
521:
498:
463:
392:
372:
352:
329:
227:
207:
187:
340:Exactly the same argument shows that an operator
506:are the same as in the finite dimensional case.
1947:. New York: Springer-Verlag. pp. 267–268.
188:{\displaystyle M\in \mathbb {C} ^{n\times m}}
8:
1889:are bounded linear functionals on the space
1771:
1752:
782:
769:
718:
705:
685:
672:
618:
599:
434:
422:
300:
294:
288:
282:
1430:{\displaystyle S_{h,k}=S_{g,k}TS_{h,f},\,}
1894:
1862:
1856:
1829:
1823:
1785:
1778:
1759:
1746:
1735:
1720:
1673:
1660:if and only if it is finite dimensional.
1632:
1603:
1574:
1542:
1501:
1478:
1451:
1445:
1426:
1411:
1392:
1373:
1367:
1337:
1331:
1311:
1291:
1264:
1258:
1238:
1218:
1198:
1171:
1165:
1133:
1101:
1072:
1046:
1017:
997:
977:
948:
928:
899:
870:
860:
854:
823:
803:
776:
767:
747:
712:
703:
679:
670:
632:
625:
612:
593:
583:
572:
557:
534:
514:
479:
441:
408:
385:
365:
345:
310:
274:
264:
243:
220:
200:
173:
169:
168:
159:
106:Learn how and when to remove this message
142:Finite-rank operators on a Hilbert space
1921:
1664:Finite-rank operators on a Banach space
1496:Some examples of two-sided *-ideals in
972:, the algebra of bounded operators on
509:Therefore, by induction, an operator
7:
1930:"Finite Rank Operator - an overview"
1286:to be the rank-1 operator that maps
894:The family of finite-rank operators
44:adding citations to reliable sources
1128:. It suffices to have that for any
14:
879:{\textstyle \sum _{i}\alpha _{i}}
20:
1945:A course in functional analysis
1792:
1784:
788:{\displaystyle \{\alpha _{i}\}}
639:
631:
448:
440:
317:
309:
281:
273:
31:needs additional citations for
1684:
1643:
1637:
1614:
1608:
1585:
1579:
1553:
1547:
1512:
1506:
1028:
1022:
959:
953:
910:
904:
1:
1569:Since any two-sided ideal in
1493:and this verifies the claim.
122:, a branch of mathematics, a
943:form a two-sided *-ideal in
733:singular value decomposition
1882:{\displaystyle u_{i}\in U'}
735:. This can be said to be a
499:{\displaystyle \alpha ,u,v}
1999:
1844:{\displaystyle v_{i}\in V}
742:Generalizing slightly, if
739:of finite-rank operators.
1531:Hilbert–Schmidt operators
1121:{\displaystyle f,g\neq 0}
724:{\displaystyle \{v_{i}\}}
691:{\displaystyle \{u_{i}\}}
1943:Conway, John B. (1990).
1693:{\displaystyle T:U\to V}
1153:{\displaystyle h,k\in H}
474:where the conditions on
138:is finite-dimensional.
1668:A finite-rank operator
1466:{\displaystyle S_{h,k}}
1352:{\displaystyle S_{g,k}}
1279:{\displaystyle S_{h,f}}
1186:{\displaystyle S_{h,k}}
128:bounded linear operator
1903:
1883:
1845:
1809:
1751:
1694:
1650:
1621:
1592:
1560:
1519:
1487:
1467:
1431:
1353:
1320:
1300:
1280:
1247:
1227:
1207:
1187:
1160:, the rank-1 operator
1154:
1122:
1090:
1061:
1060:{\displaystyle T\in I}
1035:
1006:
986:
966:
937:
917:
880:
845:Compact operators are
832:
812:
789:
756:
725:
692:
656:
588:
543:
523:
500:
465:
394:
374:
354:
331:
229:
209:
189:
55:"Finite-rank operator"
1904:
1884:
1846:
1810:
1731:
1695:
1651:
1622:
1593:
1561:
1520:
1488:
1468:
1432:
1354:
1321:
1301:
1281:
1248:
1228:
1208:
1188:
1155:
1123:
1091:
1062:
1036:
1007:
987:
967:
938:
918:
881:
833:
813:
790:
757:
726:
693:
657:
568:
544:
524:
501:
466:
395:
375:
355:
332:
230:
210:
190:
1893:
1855:
1822:
1719:
1672:
1649:{\displaystyle L(H)}
1631:
1620:{\displaystyle F(H)}
1602:
1591:{\displaystyle L(H)}
1573:
1559:{\displaystyle F(H)}
1541:
1518:{\displaystyle L(H)}
1500:
1477:
1444:
1366:
1330:
1310:
1290:
1257:
1237:
1217:
1197:
1164:
1132:
1100:
1089:{\displaystyle Tf=g}
1071:
1045:
1034:{\displaystyle L(H)}
1016:
996:
976:
965:{\displaystyle L(H)}
947:
927:
916:{\displaystyle F(H)}
898:
853:
822:
802:
766:
746:
702:
669:
556:
533:
513:
478:
407:
384:
364:
344:
242:
219:
199:
158:
124:finite-rank operator
40:improve this article
923:on a Hilbert space
849:only if the series
360:on a Hilbert space
120:functional analysis
1899:
1879:
1841:
1805:
1790:
1690:
1646:
1617:
1588:
1556:
1515:
1483:
1463:
1427:
1359:analogously. Then
1349:
1316:
1296:
1276:
1243:
1223:
1203:
1183:
1150:
1118:
1086:
1057:
1031:
1002:
982:
962:
933:
913:
890:Algebraic property
876:
865:
828:
808:
785:
752:
721:
688:
652:
637:
539:
519:
496:
461:
446:
390:
370:
350:
327:
315:
279:
225:
205:
185:
1954:978-0-387-97245-9
1902:{\displaystyle U}
1789:
1535:compact operators
1486:{\displaystyle I}
1319:{\displaystyle f}
1299:{\displaystyle h}
1246:{\displaystyle I}
1226:{\displaystyle k}
1206:{\displaystyle h}
1005:{\displaystyle I}
985:{\displaystyle H}
936:{\displaystyle H}
856:
831:{\displaystyle T}
811:{\displaystyle 0}
755:{\displaystyle n}
636:
542:{\displaystyle n}
522:{\displaystyle T}
445:
393:{\displaystyle 1}
373:{\displaystyle H}
353:{\displaystyle T}
314:
278:
228:{\displaystyle M}
208:{\displaystyle 1}
116:
115:
108:
90:
1990:
1967:
1966:
1940:
1934:
1933:
1926:
1908:
1906:
1905:
1900:
1888:
1886:
1885:
1880:
1878:
1867:
1866:
1850:
1848:
1847:
1842:
1834:
1833:
1814:
1812:
1811:
1806:
1791:
1787:
1783:
1782:
1764:
1763:
1750:
1745:
1706:bounded operator
1699:
1697:
1696:
1691:
1655:
1653:
1652:
1647:
1626:
1624:
1623:
1618:
1597:
1595:
1594:
1589:
1565:
1563:
1562:
1557:
1524:
1522:
1521:
1516:
1492:
1490:
1489:
1484:
1472:
1470:
1469:
1464:
1462:
1461:
1436:
1434:
1433:
1428:
1422:
1421:
1403:
1402:
1384:
1383:
1358:
1356:
1355:
1350:
1348:
1347:
1325:
1323:
1322:
1317:
1305:
1303:
1302:
1297:
1285:
1283:
1282:
1277:
1275:
1274:
1252:
1250:
1249:
1244:
1232:
1230:
1229:
1224:
1212:
1210:
1209:
1204:
1192:
1190:
1189:
1184:
1182:
1181:
1159:
1157:
1156:
1151:
1127:
1125:
1124:
1119:
1095:
1093:
1092:
1087:
1066:
1064:
1063:
1058:
1040:
1038:
1037:
1032:
1011:
1009:
1008:
1003:
991:
989:
988:
983:
971:
969:
968:
963:
942:
940:
939:
934:
922:
920:
919:
914:
885:
883:
882:
877:
875:
874:
864:
840:compact operator
837:
835:
834:
829:
817:
815:
814:
809:
794:
792:
791:
786:
781:
780:
761:
759:
758:
753:
730:
728:
727:
722:
717:
716:
697:
695:
694:
689:
684:
683:
661:
659:
658:
653:
638:
634:
630:
629:
617:
616:
598:
597:
587:
582:
548:
546:
545:
540:
528:
526:
525:
520:
505:
503:
502:
497:
470:
468:
467:
462:
447:
443:
399:
397:
396:
391:
379:
377:
376:
371:
359:
357:
356:
351:
336:
334:
333:
328:
316:
312:
280:
276:
269:
268:
234:
232:
231:
226:
214:
212:
211:
206:
194:
192:
191:
186:
184:
183:
172:
147:A canonical form
111:
104:
100:
97:
91:
89:
48:
24:
16:
1998:
1997:
1993:
1992:
1991:
1989:
1988:
1987:
1983:Operator theory
1973:
1972:
1971:
1970:
1955:
1942:
1941:
1937:
1928:
1927:
1923:
1918:
1891:
1890:
1871:
1858:
1853:
1852:
1825:
1820:
1819:
1774:
1755:
1717:
1716:
1670:
1669:
1666:
1629:
1628:
1600:
1599:
1571:
1570:
1539:
1538:
1498:
1497:
1475:
1474:
1447:
1442:
1441:
1407:
1388:
1369:
1364:
1363:
1333:
1328:
1327:
1308:
1307:
1288:
1287:
1260:
1255:
1254:
1235:
1234:
1215:
1214:
1195:
1194:
1167:
1162:
1161:
1130:
1129:
1098:
1097:
1069:
1068:
1043:
1042:
1014:
1013:
994:
993:
974:
973:
945:
944:
925:
924:
896:
895:
892:
866:
851:
850:
820:
819:
800:
799:
772:
764:
763:
744:
743:
708:
700:
699:
675:
667:
666:
621:
608:
589:
554:
553:
549:takes the form
531:
530:
529:of finite rank
511:
510:
476:
475:
405:
404:
400:if and only if
382:
381:
362:
361:
342:
341:
260:
240:
239:
235:is of the form
217:
216:
215:if and only if
197:
196:
167:
156:
155:
149:
144:
112:
101:
95:
92:
49:
47:
37:
25:
12:
11:
5:
1996:
1994:
1986:
1985:
1975:
1974:
1969:
1968:
1953:
1935:
1920:
1919:
1917:
1914:
1898:
1877:
1874:
1870:
1865:
1861:
1840:
1837:
1832:
1828:
1816:
1815:
1804:
1801:
1798:
1795:
1781:
1777:
1773:
1770:
1767:
1762:
1758:
1754:
1749:
1744:
1741:
1738:
1734:
1730:
1727:
1724:
1708:such that its
1689:
1686:
1683:
1680:
1677:
1665:
1662:
1645:
1642:
1639:
1636:
1627:, the algebra
1616:
1613:
1610:
1607:
1587:
1584:
1581:
1578:
1555:
1552:
1549:
1546:
1514:
1511:
1508:
1505:
1482:
1460:
1457:
1454:
1450:
1438:
1437:
1425:
1420:
1417:
1414:
1410:
1406:
1401:
1398:
1395:
1391:
1387:
1382:
1379:
1376:
1372:
1346:
1343:
1340:
1336:
1315:
1295:
1273:
1270:
1267:
1263:
1242:
1222:
1202:
1180:
1177:
1174:
1170:
1149:
1146:
1143:
1140:
1137:
1117:
1114:
1111:
1108:
1105:
1085:
1082:
1079:
1076:
1056:
1053:
1050:
1030:
1027:
1024:
1021:
1001:
981:
961:
958:
955:
952:
932:
912:
909:
906:
903:
891:
888:
873:
869:
863:
859:
827:
807:
784:
779:
775:
771:
751:
737:canonical form
720:
715:
711:
707:
687:
682:
678:
674:
663:
662:
651:
648:
645:
642:
628:
624:
620:
615:
611:
607:
604:
601:
596:
592:
586:
581:
578:
575:
571:
567:
564:
561:
538:
518:
495:
492:
489:
486:
483:
472:
471:
460:
457:
454:
451:
439:
436:
433:
430:
427:
424:
421:
418:
415:
412:
389:
369:
349:
338:
337:
326:
323:
320:
308:
305:
302:
299:
296:
293:
290:
287:
284:
272:
267:
263:
259:
256:
253:
250:
247:
224:
204:
182:
179:
176:
171:
166:
163:
148:
145:
143:
140:
114:
113:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
1995:
1984:
1981:
1980:
1978:
1964:
1960:
1956:
1950:
1946:
1939:
1936:
1931:
1925:
1922:
1915:
1913:
1910:
1896:
1875:
1872:
1868:
1863:
1859:
1838:
1835:
1830:
1826:
1802:
1799:
1796:
1793:
1779:
1775:
1768:
1765:
1760:
1756:
1747:
1742:
1739:
1736:
1732:
1728:
1725:
1722:
1715:
1714:
1713:
1711:
1707:
1703:
1702:Banach spaces
1687:
1681:
1678:
1675:
1663:
1661:
1659:
1640:
1634:
1611:
1605:
1598:must contain
1582:
1576:
1567:
1550:
1544:
1536:
1532:
1528:
1509:
1503:
1494:
1480:
1458:
1455:
1452:
1448:
1423:
1418:
1415:
1412:
1408:
1404:
1399:
1396:
1393:
1389:
1385:
1380:
1377:
1374:
1370:
1362:
1361:
1360:
1344:
1341:
1338:
1334:
1313:
1293:
1271:
1268:
1265:
1261:
1240:
1220:
1200:
1178:
1175:
1172:
1168:
1147:
1144:
1141:
1138:
1135:
1115:
1112:
1109:
1106:
1103:
1083:
1080:
1077:
1074:
1054:
1051:
1048:
1025:
1019:
999:
979:
956:
950:
930:
907:
901:
889:
887:
871:
867:
861:
857:
848:
843:
841:
825:
805:
797:
777:
773:
749:
740:
738:
734:
713:
709:
680:
676:
649:
646:
643:
640:
626:
622:
613:
609:
605:
602:
594:
590:
584:
579:
576:
573:
569:
565:
562:
559:
552:
551:
550:
536:
516:
507:
493:
490:
487:
484:
481:
458:
455:
452:
449:
437:
431:
428:
425:
419:
416:
413:
410:
403:
402:
401:
387:
367:
347:
324:
321:
318:
306:
303:
297:
291:
285:
270:
265:
261:
257:
254:
251:
248:
245:
238:
237:
236:
222:
202:
180:
177:
174:
164:
161:
152:
146:
141:
139:
137:
133:
132:Banach spaces
129:
125:
121:
110:
107:
99:
88:
85:
81:
78:
74:
71:
67:
64:
60:
57: –
56:
52:
51:Find sources:
45:
41:
35:
34:
29:This article
27:
23:
18:
17:
1944:
1938:
1924:
1911:
1817:
1667:
1568:
1495:
1440:which means
1439:
893:
844:
741:
736:
664:
508:
473:
339:
153:
150:
123:
117:
102:
93:
83:
76:
69:
62:
50:
38:Please help
33:verification
30:
1527:trace-class
847:trace class
380:is of rank
1916:References
1818:where now
1193:that maps
838:is then a
796:accumulate
66:newspapers
1869:∈
1836:∈
1797:∈
1772:⟩
1753:⟨
1733:∑
1685:→
1253:. Define
1145:∈
1113:≠
1096:for some
1052:∈
868:α
858:∑
774:α
644:∈
619:⟩
600:⟨
591:α
570:∑
482:α
453:∈
435:⟩
423:⟨
420:α
322:≥
319:α
301:‖
295:‖
289:‖
283:‖
266:∗
255:⋅
252:α
195:has rank
178:×
165:∈
96:June 2021
1977:Category
1963:21195908
1876:′
1700:between
1525:are the
1233:lies in
798:only at
130:between
1932:. 2004.
1788:for all
1067:, then
635:for all
444:for all
80:scholar
1961:
1951:
1851:, and
1658:simple
1533:, and
1473:is in
1326:, and
665:where
134:whose
82:
75:
68:
61:
53:
1710:range
1704:is a
277:where
136:range
126:is a
87:JSTOR
73:books
1959:OCLC
1949:ISBN
698:and
59:news
1656:is
1306:to
1213:to
1012:in
313:and
118:In
42:by
1979::
1957:.
1909:.
1537:.
1529:,
818:,
325:0.
1965:.
1897:U
1873:U
1864:i
1860:u
1839:V
1831:i
1827:v
1803:,
1800:U
1794:h
1780:i
1776:v
1769:h
1766:,
1761:i
1757:u
1748:n
1743:1
1740:=
1737:i
1729:=
1726:h
1723:T
1688:V
1682:U
1679::
1676:T
1644:)
1641:H
1638:(
1635:L
1615:)
1612:H
1609:(
1606:F
1586:)
1583:H
1580:(
1577:L
1554:)
1551:H
1548:(
1545:F
1513:)
1510:H
1507:(
1504:L
1481:I
1459:k
1456:,
1453:h
1449:S
1424:,
1419:f
1416:,
1413:h
1409:S
1405:T
1400:k
1397:,
1394:g
1390:S
1386:=
1381:k
1378:,
1375:h
1371:S
1345:k
1342:,
1339:g
1335:S
1314:f
1294:h
1272:f
1269:,
1266:h
1262:S
1241:I
1221:k
1201:h
1179:k
1176:,
1173:h
1169:S
1148:H
1142:k
1139:,
1136:h
1116:0
1110:g
1107:,
1104:f
1084:g
1081:=
1078:f
1075:T
1055:I
1049:T
1029:)
1026:H
1023:(
1020:L
1000:I
980:H
960:)
957:H
954:(
951:L
931:H
911:)
908:H
905:(
902:F
872:i
862:i
826:T
806:0
783:}
778:i
770:{
750:n
719:}
714:i
710:v
706:{
686:}
681:i
677:u
673:{
650:,
647:H
641:h
627:i
623:u
614:i
610:v
606:,
603:h
595:i
585:n
580:1
577:=
574:i
566:=
563:h
560:T
537:n
517:T
494:v
491:,
488:u
485:,
459:,
456:H
450:h
438:u
432:v
429:,
426:h
417:=
414:h
411:T
388:1
368:H
348:T
307:1
304:=
298:v
292:=
286:u
271:,
262:v
258:u
249:=
246:M
223:M
203:1
181:m
175:n
170:C
162:M
109:)
103:(
98:)
94:(
84:·
77:·
70:·
63:·
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.