Knowledge (XXG)

Projection-valued measure

Source 📝

7626: 4512: 2598: 2320: 735: 2720: 4766: 4977: 5065: 5145:(POVM), where the need for the orthogonality implied by projection operators is replaced by the idea of a set of operators that are a non-orthogonal partition of unity. This generalization is motivated by applications to 1564: 3881: 3776: 1679: 3230: 7744: 830: 7662: 2954: 4396: 1928: 3662: 3400: 2130: 1115: 3960: 2876: 2199: 3522: 1865: 1335: 1177: 7013: 2501: 982: 570: 2385: 6358: 2839: 3156: 2163: 425: 1606: 879: 4202: 7655: 4052: 1439: 4348: 2042: 6436: 2014: 1377: 7515: 7115: 91: 6453: 2628: 1054: 1018: 3063: 2761: 2207: 1754: 480: 627: 460: 4691: 4648: 4608: 4388: 4292: 4228: 4096: 3253: 3118: 3030: 2493: 4564: 2080: 1214: 389: 356: 1789: 1465: 616: 6748: 1961: 1404: 1241: 936: 909: 190: 5088: 4859: 4812: 4142: 1706: 280: 7648: 7178: 5131: 5108: 4899: 4879: 4839: 4789: 4668: 4628: 4588: 4535: 4368: 4316: 4272: 4252: 4170: 4119: 4072: 4014: 3994: 3273: 3087: 2988: 2829: 2809: 2789: 2640: 2458: 2438: 1489: 1281: 1261: 590: 504: 324: 300: 257: 237: 214: 148: 4699: 4907: 7341: 6753: 6526: 4988: 7468: 7323: 7100: 5761: 5620: 7969: 7824: 7299: 6993: 1497: 6276: 3787: 7959: 6846: 6644: 6107: 5574: 5530: 5504: 5485: 5433: 5399: 5380: 5362: 5168: 3971: 5418:
Spectral Theory and Quantum Mechanics Mathematical Foundations of Quantum Theories, Symmetries and Introduction to the Algebraic Formulation
7716: 6841: 5647: 5163: 3714: 7749: 1618: 6268: 3164: 6448: 64:, except that its values are self-adjoint projections rather than real numbers. As in the case of ordinary measures, it is possible to 8085: 7191: 6054: 5451: 3708:
taking values in the projections of a separable Hilbert space is an orthogonal direct sum of homogeneous projection-valued measures:
7783: 7280: 7171: 6998: 6405: 745: 7550: 6816: 6395: 5142: 8018: 7793: 7195: 6785: 6205: 5878: 4507:{\displaystyle P_{\pi }(\varphi )(E)=\langle \varphi \mid \pi (E)(\varphi )\rangle =\langle \varphi |\pi (E)|\varphi \rangle .} 2884: 8013: 6775: 6770: 6763: 6699: 6583: 3066: 6443: 5734: 1876: 7346: 7008: 6519: 6390: 6284: 6190: 5522: 7954: 7402: 3604: 3342: 7870: 7629: 7351: 7336: 7164: 6634: 6309: 6289: 6253: 6177: 5897: 5613: 2085: 1066: 7366: 7145: 6619: 6431: 7862: 7065: 6210: 6172: 6124: 359: 7937: 7611: 7371: 7120: 7018: 6898: 6336: 3892: 2845: 2593:{\displaystyle \langle T\xi \mid \xi \rangle =\int _{X}f(\lambda )\,d\mu _{\xi }(\lambda ),\quad \forall \xi \in H.} 2168: 7866: 7565: 7489: 6304: 6294: 6215: 6182: 5813: 5722: 5146: 7921: 7606: 6614: 6353: 3469: 1797: 1289: 1123: 8008: 7422: 7125: 6988: 6806: 6034: 2835: 95: 65: 7356: 6707: 6343: 941: 8090: 7942: 7829: 7675: 7458: 7259: 6717: 6588: 6512: 6426: 5872: 5803: 4021: 516: 50: 7331: 5739: 2348: 8080: 8044: 7555: 7080: 7055: 6873: 6862: 6573: 6195: 5953: 5913: 5606: 1184: 68: 7947: 6931: 6921: 6916: 7776: 7694: 7586: 7530: 7494: 6624: 6478: 6378: 6200: 5922: 5768: 3126: 7836: 7766: 7689: 7671: 6676: 6114: 6039: 5992: 5987: 5982: 5824: 5707: 5665: 4567: 4075: 3033: 2965: 2135: 1609: 1118: 395: 303: 111: 87: 61: 7754: 5562: 1576: 835: 4178: 7964: 7878: 7819: 7711: 7569: 7090: 7069: 6983: 6868: 6831: 6348: 6314: 6222: 5932: 5887: 5729: 5652: 5421: 4026: 2764: 1412: 4321: 2019: 8054: 8000: 7990: 7873: 7788: 7535: 7473: 7187: 6893: 6629: 6331: 6321: 6167: 6131: 6009: 5957: 5686: 5643: 2403: 2315:{\displaystyle \int _{E}f\,d\mu _{\phi ,\psi }=\int _{0}^{1}f(x)\psi (x){\overline {\phi }}(x)\,dx} 1977: 1685: 1340: 1180: 103: 35: 730:{\displaystyle \pi \left(\bigcup _{j=1}^{\infty }E_{j}\right)v=\sum _{j=1}^{\infty }\pi (E_{j})v.} 7916: 7771: 7560: 7427: 7023: 6952: 6883: 6727: 6689: 6483: 6243: 6228: 5927: 5808: 5786: 5514: 5340: 2606: 1934: 1023: 987: 3039: 2728: 1721: 465: 430: 7540: 7130: 7105: 6790: 6712: 6400: 6136: 6097: 6092: 5999: 5917: 5702: 5675: 5580: 5570: 5536: 5526: 5500: 5481: 5457: 5447: 5429: 5395: 5376: 5358: 4676: 4633: 4593: 4373: 4277: 4213: 4081: 3238: 3096: 3003: 2466: 2399: 507: 99: 4540: 2047: 1190: 365: 332: 8059: 7906: 7896: 7845: 7798: 7759: 7545: 7463: 7432: 7412: 7397: 7392: 7387: 7224: 7135: 6836: 6684: 6639: 6563: 6417: 6326: 6102: 6087: 6077: 6062: 6029: 6024: 6014: 5892: 5867: 5682: 5350: 5335:
Ashtekar, Abhay; Schilling, Troy A. (1999). "Geometrical Formulation of Quantum Mechanics".
5264: 5158: 3090: 2461: 1768: 1444: 595: 193: 83: 27:
Mathematical operator-value measure of interest in quantum mechanics and functional analysis
1939: 1382: 1219: 914: 887: 163: 8034: 7911: 7901: 7726: 7721: 7407: 7361: 7309: 7304: 7275: 7156: 7110: 7095: 7003: 6966: 6962: 6926: 6888: 6826: 6811: 6780: 6722: 6681: 6668: 6593: 6535: 6493: 6473: 6248: 6146: 6141: 6119: 5977: 5942: 5862: 5756: 5469: 5073: 4844: 4797: 4127: 3284: 2991: 2715:{\displaystyle \mu _{\xi }(E):=\langle \pi (E)\xi \mid \xi \rangle ,\quad \forall E\in M.} 1691: 1570: 1468: 265: 151: 79: 72: 7234: 4210:
the 2-point set "true" and "false" for the truth-value of an arbitrary proposition about
7640: 5555: 5425: 4761:{\displaystyle P_{\pi }(\varphi ):E\mapsto \langle \varphi \mid \pi (E)\varphi \rangle } 8049: 7855: 7596: 7448: 7249: 7060: 7039: 6957: 6947: 6758: 6665: 6598: 6558: 6383: 6238: 6233: 6044: 6019: 5972: 5902: 5882: 5842: 5832: 5629: 5116: 5093: 4884: 4864: 4824: 4774: 4653: 4613: 4573: 4520: 4353: 4301: 4257: 4237: 4155: 4104: 4057: 3999: 3979: 3569:
Hilbert space, there is a Borel measure Ό and a Ό-measurable family of Hilbert spaces {
3448: 3258: 3072: 2994: 2973: 2814: 2794: 2774: 2443: 2423: 1474: 1266: 1246: 575: 489: 309: 285: 242: 222: 199: 154: 133: 115: 3667:
The measure class of Ό and the measure equivalence class of the multiplicity function
8074: 8038: 7814: 7706: 7701: 7601: 7525: 7254: 7239: 7229: 6488: 6151: 6072: 6067: 5967: 5937: 5907: 5857: 5852: 5847: 5837: 5751: 5670: 5547: 4295: 3550: 2997: 2631: 2391: 1757: 157: 54: 5552:
Mathematical Methods in Quantum Mechanics with Applications to Schrödinger Operators
4972:{\displaystyle A(\varphi )=\int _{\mathbb {R} }\lambda \,d\pi (\lambda )(\varphi ),} 98:
for self-adjoint operators is constructed using integrals with respect to PVMs. In
7985: 7840: 7591: 7244: 7214: 6878: 6732: 6673: 6082: 6004: 5744: 5525:. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. 47: 5781: 6504: 3680:
completely characterize the projection-valued measure up to unitary equivalence.
7520: 7510: 7417: 7219: 7075: 6660: 5947: 5473: 5354: 1709: 58: 31: 17: 5060:{\displaystyle A(\varphi )=\sum _{i}\lambda _{i}\pi ({\lambda _{i}})(\varphi )} 46:) is a function defined on certain subsets of a fixed set and whose values are 7736: 7453: 7293: 7289: 7285: 6568: 5791: 4145: 3976:
In quantum mechanics, given a projection-valued measure of a measurable space
1057: 119: 5584: 5540: 5461: 5446:. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. 4121:
is the value space for some quantum property of the system (an "observable"),
6553: 6539: 5773: 5717: 5712: 3121: 483: 217: 1559:{\displaystyle \mu _{\xi ,\eta }(E):=\langle \pi (E)\xi \mid \eta \rangle } 7888: 7140: 7085: 5798: 5657: 3283:
First we provide a general example of projection-valued measure based on
1964: 3876:{\displaystyle H_{n}=\int _{X_{n}}^{\oplus }H_{x}\ d(\mu \mid X_{n})(x)} 5345: 5499:. Boston, Mass.: McGraw-Hill Science, Engineering & Mathematics. 4207:
a discrete set (for angular momentum, energy of a bound state, etc.),
3771:{\displaystyle \pi =\bigoplus _{1\leq n\leq \omega }(\pi \mid H_{n})} 2402:. This map extends in a canonical way to all bounded complex-valued 1674:{\displaystyle \mu _{\xi }(E):=\langle \pi (E)\xi \mid \xi \rangle } 4794:
A measurement that can be performed by a projection-valued measure
5478:
Methods of Modern Mathematical Physics: Vol 1: Functional analysis
3225:{\displaystyle A=\int _{\sigma (A)}\lambda \,d\pi ^{A}(\lambda ),} 5598: 3314:
be a Ό-measurable family of separable Hilbert spaces. For every
2878:
is a measurable function, then a unique measure exists such that
2838:
for such operators and then pass to measurable functions via the
107: 7644: 7160: 6508: 5602: 5133:
is called the observable associated with the spectral measure.
2771:
The theorem is also correct for unbounded measurable functions
5141:
The idea of a projection-valued measure is generalized by the
3996:
to the space of continuous endomorphisms upon a Hilbert space
71:
with respect to a PVM; the result of such an integration is a
57:. A projection-valued measure (PVM) is formally similar to a 4791:
making the values of the observable into a random variable.
3694:
if and only if the multiplicity function has constant value
825:{\displaystyle \pi (E_{1}\cap E_{2})=\pi (E_{1})\pi (E_{2})} 7745:
Differentiable vector–valued functions from Euclidean space
3093:
says that there exists a unique projection-valued measure
2811:
will be an unbounded linear operator on the Hilbert space
78:
Projection-valued measures are used to express results in
4350:. The probability that the observable takes its value in 2949:{\displaystyle g(T):=\int _{\mathbb {R} }g(x)\,d\pi (x).} 90:, in which case the PVM is sometimes referred to as the 5246: 5244: 2334:
is a projection-valued measure on a measurable space (
5556:
https://www.mat.univie.ac.at/~gerald/ftp/book-schroe/
5119: 5096: 5076: 4991: 4910: 4887: 4867: 4847: 4841:
is the real number line, there exists, associated to
4827: 4800: 4777: 4702: 4679: 4656: 4636: 4616: 4610:
for which the value of the observable always lies in
4596: 4576: 4543: 4523: 4517:
We can parse this in two ways. First, for each fixed
4399: 4376: 4356: 4324: 4304: 4280: 4260: 4240: 4216: 4181: 4158: 4130: 4107: 4084: 4060: 4029: 4002: 3982: 3895: 3790: 3717: 3607: 3472: 3345: 3261: 3241: 3167: 3129: 3099: 3075: 3042: 3006: 2976: 2887: 2848: 2817: 2797: 2777: 2731: 2643: 2609: 2504: 2469: 2446: 2426: 2351: 2210: 2171: 2138: 2088: 2050: 2022: 2016:
defines a projection-valued measure. For example, if
1980: 1942: 1923:{\displaystyle \psi \mapsto \pi (E)\psi =1_{E}\psi ,} 1879: 1800: 1771: 1724: 1694: 1621: 1579: 1500: 1477: 1447: 1415: 1385: 1343: 1292: 1269: 1249: 1222: 1193: 1126: 1069: 1026: 990: 944: 917: 890: 838: 748: 630: 598: 578: 519: 492: 468: 433: 398: 368: 335: 312: 288: 268: 245: 225: 202: 166: 136: 5567:
Topological Vector Spaces, Distributions and Kernels
5375:. Providence (R.I.): American mathematical society. 4650:
for which the value of the observable never lies in
3235:
where the integral extends to an unbounded function
8027: 7999: 7978: 7930: 7887: 7807: 7735: 7682: 7579: 7503: 7482: 7441: 7380: 7322: 7268: 7203: 7048: 7032: 6976: 6940: 6909: 6855: 6799: 6741: 6698: 6653: 6607: 6546: 6466: 6414: 6367: 6267: 6160: 6053: 5822: 5695: 5636: 5394:. New York: Springer Science & Business Media. 3657:{\displaystyle \int _{X}^{\oplus }H_{x}\ d\mu (x).} 3395:{\displaystyle \int _{X}^{\oplus }H_{x}\ d\mu (x).} 2398:. In fact, it is easy to check that this map is a 7516:Spectral theory of ordinary differential equations 7116:Spectral theory of ordinary differential equations 5125: 5102: 5082: 5059: 4971: 4893: 4873: 4853: 4833: 4806: 4783: 4760: 4685: 4662: 4642: 4622: 4602: 4582: 4558: 4529: 4506: 4382: 4362: 4342: 4310: 4286: 4266: 4246: 4222: 4196: 4164: 4136: 4113: 4090: 4066: 4046: 4008: 3988: 3954: 3875: 3770: 3656: 3516: 3394: 3267: 3247: 3224: 3150: 3112: 3081: 3057: 3024: 2982: 2948: 2870: 2823: 2803: 2783: 2755: 2714: 2622: 2592: 2487: 2452: 2432: 2379: 2314: 2193: 2157: 2125:{\displaystyle \phi ,\psi \in L^{2}(\mathbb {R} )} 2124: 2074: 2036: 2008: 1955: 1922: 1859: 1783: 1748: 1700: 1673: 1600: 1558: 1483: 1459: 1433: 1398: 1371: 1329: 1275: 1255: 1235: 1208: 1171: 1110:{\displaystyle V_{E}=\operatorname {im} (\pi (E))} 1109: 1048: 1012: 976: 930: 903: 873: 824: 729: 610: 584: 564: 498: 474: 454: 419: 383: 350: 318: 294: 274: 251: 231: 208: 184: 142: 7014:Schröder–Bernstein theorems for operator algebras 5318: 4204:(for position or momentum in three dimensions ), 4673:Second, for each fixed normalized vector state 2390:extends to a linear map on the vector space of 5442:Narici, Lawrence; Beckenstein, Edward (2011). 3955:{\displaystyle X_{n}=\{x\in X:\dim H_{x}=n\}.} 3592:is unitarily equivalent to multiplication by 1 2871:{\displaystyle g:\mathbb {R} \to \mathbb {C} } 2194:{\displaystyle f:\mathbb {R} \to \mathbb {R} } 7656: 7172: 6520: 5614: 2966:Self-adjoint operator § Spectral theorem 2132:there is then the associated complex measure 8: 6359:Riesz–Markov–Kakutani representation theorem 4755: 4731: 4498: 4467: 4461: 4431: 4331: 4325: 3946: 3909: 3517:{\displaystyle \pi (E)=U^{*}\rho (E)U\quad } 2840:Riesz–Markov–Kakutani representation theorem 2690: 2666: 2520: 2505: 1860:{\displaystyle \pi (E):L^{2}(X)\to L^{2}(X)} 1668: 1644: 1595: 1589: 1586: 1580: 1553: 1529: 1330:{\displaystyle H=V_{E}\oplus V_{E}^{\perp }} 1172:{\displaystyle V_{E}^{\perp }=\ker(\pi (E))} 884:The second and fourth property show that if 5410:The Theory of Unitary Group Representations 3553:, then for every projection-valued measure 2414: 102:, PVMs are the mathematical description of 7663: 7649: 7641: 7207: 7179: 7165: 7157: 6527: 6513: 6505: 6454:Vitale's random Brunn–Minkowski inequality 6371: 5621: 5607: 5599: 977:{\displaystyle E_{1}\cap E_{2}=\emptyset } 5344: 5294: 5282: 5211: 5118: 5095: 5075: 5038: 5033: 5021: 5011: 4990: 4941: 4932: 4931: 4930: 4909: 4886: 4866: 4846: 4826: 4799: 4776: 4707: 4701: 4678: 4655: 4635: 4615: 4595: 4575: 4542: 4522: 4490: 4473: 4404: 4398: 4375: 4355: 4323: 4303: 4279: 4259: 4239: 4215: 4188: 4184: 4183: 4180: 4157: 4129: 4106: 4083: 4059: 4030: 4028: 4001: 3981: 3934: 3900: 3894: 3855: 3830: 3820: 3813: 3808: 3795: 3789: 3759: 3728: 3716: 3627: 3617: 3612: 3606: 3492: 3471: 3424:, ρ are projection-valued measures on ( 3365: 3355: 3350: 3344: 3260: 3240: 3204: 3196: 3178: 3166: 3128: 3104: 3098: 3074: 3041: 3005: 2975: 2927: 2909: 2908: 2907: 2886: 2864: 2863: 2856: 2855: 2847: 2816: 2796: 2776: 2730: 2648: 2642: 2614: 2608: 2556: 2548: 2530: 2503: 2468: 2445: 2425: 2356: 2350: 2305: 2286: 2256: 2251: 2232: 2224: 2215: 2209: 2187: 2186: 2179: 2178: 2170: 2143: 2137: 2115: 2114: 2105: 2087: 2049: 2030: 2029: 2021: 2000: 1979: 1947: 1941: 1908: 1878: 1842: 1820: 1799: 1770: 1723: 1693: 1626: 1620: 1578: 1505: 1499: 1476: 1446: 1414: 1390: 1384: 1363: 1342: 1321: 1316: 1303: 1291: 1268: 1248: 1227: 1221: 1192: 1136: 1131: 1125: 1074: 1068: 1037: 1025: 1001: 989: 962: 949: 943: 922: 916: 895: 889: 856: 843: 837: 813: 794: 772: 759: 747: 712: 696: 685: 664: 654: 643: 629: 597: 577: 565:{\displaystyle E_{1},E_{2},E_{3},\dotsc } 550: 537: 524: 518: 491: 467: 432: 397: 367: 334: 311: 287: 267: 244: 224: 201: 165: 135: 7960:No infinite-dimensional Lebesgue measure 7469:Group algebra of a locally compact group 4630:, and whose 0-eigenspace are the states 3565:) taking values in the projections of a 3330:) be the operator of multiplication by 1 2380:{\displaystyle \chi _{E}\mapsto \pi (E)} 2326:Extensions of projection-valued measures 7970:Structure theorem for Gaussian measures 5412:, The University of Chicago Press, 1976 5180: 4318:, so that its Hilbert norm is unitary, 4074:is interpreted as the set of possible ( 5558:, American Mathematical Society, 2009. 5272:, ETH ZĂŒrich lecture notes, p. 50 5250: 5187: 4172:is the real line, but it may also be 1467:the projection-valued measure forms a 7846:infinite-dimensional Gaussian measure 6847:Spectral theory of normal C*-algebras 6645:Spectral theory of normal C*-algebras 5569:. Mineola, N.Y.: Dover Publications. 5223: 5169:Spectral theory of normal C*-algebras 3972:Expectation value (quantum mechanics) 326:satisfying the following properties: 7: 7717:Infinite-dimensional vector function 6842:Spectral theory of compact operators 6467:Applications & related 5306: 5235: 5199: 5164:Spectral theory of compact operators 3432:) with values in the projections of 5339:. New York, NY: Springer New York. 4144:expresses the probability that the 3409:is a projection-valued measure on ( 3151:{\displaystyle E\subset \sigma (A)} 1379:is the unique identity operator on 6994:Cohen–Hewitt factorization theorem 4590:whose 1-eigenspace are the states 2697: 2575: 2165:which takes a measurable function 2158:{\displaystyle \mu _{\phi ,\psi }} 971: 697: 655: 469: 420:{\displaystyle \pi (\emptyset )=0} 405: 25: 7784:Generalizations of the derivative 7750:Differentiation in FrĂ©chet spaces 6999:Extensions of symmetric operators 5392:Quantum Theory for Mathematicians 5266:Spectral theory in Hilbert spaces 3704:. Any projection-valued measure 3295:, ÎŒ) is a measure space and let { 1601:{\displaystyle \|\xi \|\|\eta \|} 874:{\displaystyle E_{1},E_{2}\in M.} 110:(POVMs) in the same sense that a 108:positive operator valued measures 7625: 7624: 7551:Topological quantum field theory 6817:Positive operator-valued measure 6396:Lebesgue differentiation theorem 6277:CarathĂ©odory's extension theorem 5143:positive operator-valued measure 4197:{\displaystyle \mathbb {R} ^{3}} 4031: 3966:Application in quantum mechanics 1406:satisfying all four properties. 8019:Holomorphic functional calculus 7101:Rayleigh–Faber–Krahn inequality 4047:{\displaystyle \mathbf {P} (H)} 3513: 2696: 2574: 2420:For any bounded Borel function 1933:i.e., as multiplication by the 1434:{\displaystyle \xi ,\eta \in H} 8014:Continuous functional calculus 5054: 5048: 5045: 5030: 5001: 4995: 4963: 4957: 4954: 4948: 4920: 4914: 4749: 4743: 4728: 4719: 4713: 4553: 4547: 4491: 4487: 4481: 4474: 4458: 4452: 4449: 4443: 4425: 4419: 4416: 4410: 4343:{\displaystyle \|\varphi \|=1} 4124:the projection-valued measure 4041: 4035: 3870: 3864: 3861: 3842: 3765: 3746: 3648: 3642: 3507: 3501: 3482: 3476: 3386: 3380: 3216: 3210: 3188: 3182: 3145: 3139: 3052: 3046: 3016: 2940: 2934: 2924: 2918: 2897: 2891: 2860: 2750: 2732: 2678: 2672: 2660: 2654: 2568: 2562: 2545: 2539: 2479: 2374: 2368: 2362: 2302: 2296: 2283: 2277: 2271: 2265: 2183: 2119: 2111: 2069: 2057: 2037:{\displaystyle X=\mathbb {R} } 1990: 1984: 1895: 1889: 1883: 1854: 1848: 1835: 1832: 1826: 1810: 1804: 1743: 1725: 1656: 1650: 1638: 1632: 1608:. It reduces to a real-valued 1541: 1535: 1523: 1517: 1353: 1347: 1203: 1197: 1166: 1163: 1157: 1151: 1104: 1101: 1095: 1089: 1043: 1030: 1007: 994: 819: 806: 800: 787: 778: 752: 718: 705: 443: 437: 408: 402: 345: 339: 304:bounded self-adjoint operators 179: 167: 1: 7347:Uniform boundedness principle 7009:Limiting absorption principle 5319:Ashtekar & Schilling 1999 2410:, and we have the following. 2009:{\displaystyle \pi (E)=1_{E}} 1372:{\displaystyle \pi (E)=I_{E}} 6635:Singular value decomposition 5517:; Wolff, Manfred P. (1999). 4771:is a probability measure on 4370:, given the system in state 3683:A projection-valued measure 3451:there is a unitary operator 2291: 118:generalizes the notion of a 75:on the given Hilbert space. 7066:Hearing the shape of a drum 6749:Decomposition of a spectrum 6449:PrĂ©kopa–Leindler inequality 5420:, vol. 110, Springer, 5373:A course in operator theory 5355:10.1007/978-1-4612-1422-9_3 5263:Kowalski, Emmanuel (2009), 3689:homogeneous of multiplicity 2623:{\displaystyle \mu _{\xi }} 1049:{\displaystyle \pi (E_{2})} 1013:{\displaystyle \pi (E_{1})} 592:are disjoint, then for all 106:. They are generalized by 8107: 7490:Invariant subspace problem 6654:Special Elements/Operators 6391:Lebesgue's density theorem 5595:V2, Springer Verlag, 1970. 5593:Geometry of Quantum Theory 5147:quantum information theory 4861:, a self-adjoint operator 4254:be a measurable subset of 3969: 3058:{\displaystyle \sigma (A)} 2963: 2834:This allows to define the 2756:{\displaystyle (X,M,\mu )} 1749:{\displaystyle (X,M,\mu )} 475:{\displaystyle \emptyset } 8086:Measures (measure theory) 8009:Borel functional calculus 7676:topological vector spaces 7620: 7210: 7126:Superstrong approximation 6989:Banach algebra cohomology 6822:Projection-valued measure 6807:Borel functional calculus 6579:Projection-valued measure 6444:Minkowski–Steiner formula 6374: 6259:Projection-valued measure 5519:Topological Vector Spaces 5444:Topological Vector Spaces 2836:Borel functional calculus 455:{\displaystyle \pi (X)=I} 261:projection-valued measure 96:Borel functional calculus 40:projection-valued measure 7943:Inverse function theorem 7830:Classical Wiener measure 7459:Spectrum of a C*-algebra 6718:Spectrum of a C*-algebra 6589:Spectrum of a C*-algebra 6427:Isoperimetric inequality 6406:Vitali–Hahn–Saks theorem 5735:CarathĂ©odory's criterion 5416:Moretti, Valter (2017), 5371:Conway, John B. (2000). 5090:is a discrete subset of 4686:{\displaystyle \varphi } 4643:{\displaystyle \varphi } 4603:{\displaystyle \varphi } 4383:{\displaystyle \varphi } 4287:{\displaystyle \varphi } 4223:{\displaystyle \varphi } 4148:takes on various values. 4091:{\displaystyle \varphi } 3248:{\displaystyle \lambda } 3113:{\displaystyle \pi ^{A}} 3025:{\displaystyle A:H\to H} 2488:{\displaystyle T:H\to H} 2460:, there exists a unique 1285:orthogonal decomposition 1283:can be wrtitten as the 1243:is a closed subspace of 82:, such as the important 69:complex-valued functions 8045:Convenient vector space 7556:Noncommutative geometry 7146:Wiener–Khinchin theorem 7081:Kuznetsov trace formula 7056:Almost Mathieu operator 6874:Banach function algebra 6863:Amenable Banach algebra 6620:Gelfand–Naimark theorem 6574:Noncommutative topology 6432:Brunn–Minkowski theorem 6301:Decomposition theorems 5390:Hall, Brian C. (2013). 4559:{\displaystyle \pi (E)} 2201:and gives the integral 2075:{\displaystyle E=(0,1)} 1209:{\displaystyle \pi (E)} 384:{\displaystyle E\in M.} 351:{\displaystyle \pi (E)} 104:projective measurements 7938:Cameron–Martin theorem 7695:Classical Wiener space 7612:Tomita–Takesaki theory 7587:Approximation property 7531:Calculus of variations 7121:Sturm–Liouville theory 7019:Sherman–Takeda theorem 6899:Tomita–Takesaki theory 6674:Hermitian/Self-adjoint 6625:Gelfand representation 6479:Descriptive set theory 6379:Disintegration theorem 5814:Universally measurable 5495:Rudin, Walter (1991). 5127: 5104: 5084: 5061: 4973: 4895: 4875: 4855: 4835: 4816:projective measurement 4808: 4785: 4762: 4687: 4664: 4644: 4624: 4604: 4584: 4560: 4531: 4508: 4384: 4364: 4344: 4312: 4288: 4268: 4248: 4224: 4198: 4166: 4138: 4115: 4092: 4068: 4048: 4010: 3990: 3956: 3877: 3772: 3658: 3518: 3396: 3269: 3249: 3226: 3152: 3114: 3083: 3059: 3026: 2984: 2950: 2872: 2825: 2805: 2785: 2757: 2716: 2624: 2594: 2489: 2454: 2434: 2381: 2316: 2195: 2159: 2126: 2076: 2038: 2010: 1957: 1924: 1861: 1785: 1784:{\displaystyle E\in M} 1750: 1702: 1675: 1602: 1560: 1485: 1469:complex-valued measure 1461: 1460:{\displaystyle E\in M} 1435: 1400: 1373: 1331: 1277: 1257: 1237: 1210: 1173: 1111: 1050: 1014: 978: 932: 905: 875: 826: 731: 701: 659: 612: 611:{\displaystyle v\in H} 586: 566: 500: 476: 456: 421: 385: 352: 320: 296: 276: 253: 233: 210: 186: 144: 88:self-adjoint operators 7955:Feldman–HĂĄjek theorem 7767:Functional derivative 7690:Abstract Wiener space 7607:Banach–Mazur distance 7570:Generalized functions 6615:Gelfand–Mazur theorem 6281:Convergence theorems 5740:Cylindrical σ-algebra 5295:Reed & Simon 1980 5283:Reed & Simon 1980 5212:Reed & Simon 1980 5128: 5105: 5085: 5062: 4974: 4896: 4876: 4856: 4836: 4809: 4786: 4763: 4688: 4665: 4645: 4625: 4605: 4585: 4568:self-adjoint operator 4561: 4532: 4509: 4385: 4365: 4345: 4313: 4289: 4269: 4249: 4225: 4199: 4167: 4139: 4116: 4101:the measurable space 4093: 4069: 4054:of the Hilbert space 4049: 4011: 3991: 3957: 3878: 3773: 3659: 3598:on the Hilbert space 3519: 3397: 3336:on the Hilbert space 3270: 3255:when the spectrum of 3250: 3227: 3153: 3115: 3084: 3060: 3034:self-adjoint operator 3027: 2985: 2951: 2873: 2826: 2806: 2786: 2758: 2717: 2625: 2595: 2490: 2455: 2435: 2382: 2317: 2196: 2160: 2127: 2077: 2039: 2011: 1958: 1956:{\displaystyle 1_{E}} 1925: 1862: 1786: 1763:-finite measure space 1751: 1703: 1676: 1603: 1561: 1486: 1462: 1436: 1401: 1399:{\displaystyle V_{E}} 1374: 1332: 1278: 1258: 1238: 1236:{\displaystyle V_{E}} 1211: 1174: 1119:orthogonal complement 1112: 1051: 1015: 979: 933: 931:{\displaystyle E_{2}} 906: 904:{\displaystyle E_{1}} 876: 827: 732: 681: 639: 613: 587: 567: 501: 477: 457: 422: 386: 360:orthogonal projection 353: 321: 297: 277: 254: 234: 211: 187: 185:{\displaystyle (X,M)} 145: 7879:Radonifying function 7820:Cylinder set measure 7712:Cylinder set measure 7352:Kakutani fixed-point 7337:Riesz representation 7091:Proto-value function 7070:Dirichlet eigenvalue 6984:Abstract index group 6869:Approximate identity 6832:Rigged Hilbert space 6708:Krein–Rutman theorem 6554:Involution/*-algebra 6349:Minkowski inequality 6223:Cylinder set measure 6108:Infinite-dimensional 5723:equivalence relation 5653:Lebesgue integration 5591:Varadarajan, V. S., 5117: 5094: 5083:{\displaystyle \pi } 5074: 4989: 4908: 4885: 4865: 4854:{\displaystyle \pi } 4845: 4825: 4807:{\displaystyle \pi } 4798: 4775: 4700: 4677: 4654: 4634: 4614: 4594: 4574: 4541: 4521: 4397: 4374: 4354: 4322: 4302: 4296:vector quantum state 4278: 4258: 4238: 4214: 4179: 4156: 4152:A common choice for 4137:{\displaystyle \pi } 4128: 4105: 4098:of a quantum system, 4082: 4058: 4027: 4000: 3980: 3893: 3788: 3715: 3605: 3551:standard Borel space 3470: 3446:unitarily equivalent 3343: 3259: 3239: 3165: 3127: 3097: 3073: 3040: 3004: 2974: 2885: 2846: 2815: 2795: 2775: 2765:finite measure space 2729: 2641: 2607: 2502: 2467: 2444: 2424: 2404:measurable functions 2349: 2208: 2169: 2136: 2086: 2048: 2020: 1978: 1940: 1877: 1798: 1769: 1722: 1701:{\displaystyle \xi } 1692: 1619: 1577: 1498: 1475: 1445: 1413: 1383: 1341: 1290: 1267: 1247: 1220: 1191: 1124: 1067: 1024: 988: 942: 938:are disjoint, i.e., 915: 888: 836: 746: 628: 596: 576: 517: 490: 466: 431: 396: 366: 333: 310: 286: 275:{\displaystyle \pi } 266: 243: 223: 200: 196:consisting of a set 164: 134: 8001:Functional calculus 7991:Covariance operator 7912:Gelfand–Pettis/Weak 7874:measurable function 7789:Hadamard derivative 7536:Functional calculus 7495:Mahler's conjecture 7474:Von Neumann algebra 7188:Functional analysis 6894:Von Neumann algebra 6630:Polar decomposition 6344:Hölder's inequality 6206:of random variables 6168:Measurable function 6055:Particular measures 5644:Absolute continuity 5515:Schaefer, Helmut H. 5497:Functional Analysis 5426:2017stqm.book.....M 5113:The above operator 4693:, the association 3825: 3622: 3360: 2418: —  2261: 1686:probability measure 1326: 1187:, respectively, of 1141: 36:functional analysis 7948:Nash–Moser theorem 7825:Canonical Gaussian 7772:Gateaux derivative 7755:FrĂ©chet derivative 7561:Riemann hypothesis 7260:Topological vector 7024:Unbounded operator 6953:Essential spectrum 6932:Schur–Horn theorem 6922:Bauer–Fike theorem 6917:Alon–Boppana bound 6910:Finite-Dimensional 6884:Nuclear C*-algebra 6728:Spectral asymmetry 6484:Probability theory 5809:Transverse measure 5787:Non-measurable set 5769:Locally measurable 5480:. Academic Press. 5337:On Einstein's Path 5285:, p. 227,235. 5123: 5100: 5080: 5070:if the support of 5057: 5016: 4969: 4891: 4871: 4851: 4831: 4804: 4781: 4758: 4683: 4660: 4640: 4620: 4600: 4580: 4556: 4527: 4504: 4380: 4360: 4340: 4308: 4284: 4264: 4244: 4220: 4194: 4162: 4134: 4111: 4088: 4064: 4044: 4006: 3986: 3952: 3873: 3804: 3768: 3745: 3654: 3608: 3514: 3392: 3346: 3265: 3245: 3222: 3148: 3110: 3079: 3055: 3022: 2980: 2946: 2868: 2821: 2801: 2781: 2753: 2712: 2620: 2590: 2485: 2450: 2430: 2416: 2377: 2312: 2247: 2191: 2155: 2122: 2072: 2034: 2006: 1953: 1935:indicator function 1920: 1857: 1781: 1746: 1698: 1671: 1598: 1556: 1481: 1457: 1431: 1396: 1369: 1327: 1312: 1273: 1253: 1233: 1206: 1169: 1127: 1107: 1046: 1010: 974: 928: 901: 871: 822: 727: 608: 582: 562: 496: 472: 452: 417: 381: 348: 316: 292: 272: 249: 229: 206: 182: 140: 34:, particularly in 8068: 8067: 7965:Sazonov's theorem 7851:Projection-valued 7638: 7637: 7541:Integral operator 7318: 7317: 7154: 7153: 7131:Transfer operator 7106:Spectral geometry 6791:Spectral abscissa 6771:Approximate point 6713:Normal eigenvalue 6502: 6501: 6462: 6461: 6191:almost everywhere 6137:Spherical measure 6035:Strictly positive 5963:Projection-valued 5703:Almost everywhere 5676:Probability space 5576:978-0-486-45352-1 5532:978-1-4612-7155-0 5506:978-0-07-054236-5 5487:978-0-12-585050-6 5435:978-3-319-70705-1 5401:978-1-4614-7116-5 5382:978-0-8218-2065-0 5364:978-1-4612-7137-6 5321:, pp. 23–65. 5126:{\displaystyle A} 5103:{\displaystyle X} 5007: 4982:which reduces to 4894:{\displaystyle H} 4874:{\displaystyle A} 4834:{\displaystyle X} 4784:{\displaystyle X} 4663:{\displaystyle E} 4623:{\displaystyle E} 4583:{\displaystyle H} 4537:, the projection 4530:{\displaystyle E} 4363:{\displaystyle E} 4311:{\displaystyle H} 4267:{\displaystyle X} 4247:{\displaystyle E} 4165:{\displaystyle X} 4114:{\displaystyle X} 4067:{\displaystyle H} 4009:{\displaystyle H} 3989:{\displaystyle X} 3838: 3724: 3635: 3373: 3268:{\displaystyle A} 3082:{\displaystyle A} 2983:{\displaystyle H} 2824:{\displaystyle H} 2804:{\displaystyle T} 2784:{\displaystyle f} 2453:{\displaystyle X} 2433:{\displaystyle f} 2400:ring homomorphism 2294: 1484:{\displaystyle H} 1276:{\displaystyle H} 1256:{\displaystyle H} 585:{\displaystyle M} 508:identity operator 499:{\displaystyle I} 319:{\displaystyle H} 295:{\displaystyle M} 252:{\displaystyle X} 232:{\displaystyle M} 209:{\displaystyle X} 143:{\displaystyle H} 100:quantum mechanics 16:(Redirected from 8098: 8060:Hilbert manifold 8055:FrĂ©chet manifold 7839: like  7799:Quasi-derivative 7665: 7658: 7651: 7642: 7628: 7627: 7546:Jones polynomial 7464:Operator algebra 7208: 7181: 7174: 7167: 7158: 7136:Transform theory 6856:Special algebras 6837:Spectral theorem 6800:Spectral Theorem 6640:Spectral theorem 6529: 6522: 6515: 6506: 6437:Milman's reverse 6420: 6418:Lebesgue measure 6372: 5776: 5762:infimum/supremum 5683:Measurable space 5623: 5616: 5609: 5600: 5588: 5563:TrĂšves, François 5544: 5510: 5491: 5465: 5438: 5405: 5386: 5368: 5348: 5322: 5316: 5310: 5304: 5298: 5292: 5286: 5280: 5274: 5273: 5271: 5260: 5254: 5248: 5239: 5233: 5227: 5221: 5215: 5209: 5203: 5197: 5191: 5185: 5159:Spectral theorem 5132: 5130: 5129: 5124: 5109: 5107: 5106: 5101: 5089: 5087: 5086: 5081: 5066: 5064: 5063: 5058: 5044: 5043: 5042: 5026: 5025: 5015: 4978: 4976: 4975: 4970: 4937: 4936: 4935: 4900: 4898: 4897: 4892: 4880: 4878: 4877: 4872: 4860: 4858: 4857: 4852: 4840: 4838: 4837: 4832: 4813: 4811: 4810: 4805: 4790: 4788: 4787: 4782: 4767: 4765: 4764: 4759: 4712: 4711: 4692: 4690: 4689: 4684: 4669: 4667: 4666: 4661: 4649: 4647: 4646: 4641: 4629: 4627: 4626: 4621: 4609: 4607: 4606: 4601: 4589: 4587: 4586: 4581: 4565: 4563: 4562: 4557: 4536: 4534: 4533: 4528: 4513: 4511: 4510: 4505: 4494: 4477: 4409: 4408: 4389: 4387: 4386: 4381: 4369: 4367: 4366: 4361: 4349: 4347: 4346: 4341: 4317: 4315: 4314: 4309: 4293: 4291: 4290: 4285: 4273: 4271: 4270: 4265: 4253: 4251: 4250: 4245: 4229: 4227: 4226: 4221: 4203: 4201: 4200: 4195: 4193: 4192: 4187: 4171: 4169: 4168: 4163: 4143: 4141: 4140: 4135: 4120: 4118: 4117: 4112: 4097: 4095: 4094: 4089: 4073: 4071: 4070: 4065: 4053: 4051: 4050: 4045: 4034: 4022:projective space 4015: 4013: 4012: 4007: 3995: 3993: 3992: 3987: 3961: 3959: 3958: 3953: 3939: 3938: 3905: 3904: 3882: 3880: 3879: 3874: 3860: 3859: 3836: 3835: 3834: 3824: 3819: 3818: 3817: 3800: 3799: 3777: 3775: 3774: 3769: 3764: 3763: 3744: 3707: 3686: 3663: 3661: 3660: 3655: 3633: 3632: 3631: 3621: 3616: 3591: 3556: 3523: 3521: 3520: 3515: 3497: 3496: 3443: 3423: 3408: 3401: 3399: 3398: 3393: 3371: 3370: 3369: 3359: 3354: 3325: 3285:direct integrals 3279:Direct integrals 3274: 3272: 3271: 3266: 3254: 3252: 3251: 3246: 3231: 3229: 3228: 3223: 3209: 3208: 3192: 3191: 3157: 3155: 3154: 3149: 3119: 3117: 3116: 3111: 3109: 3108: 3091:spectral theorem 3088: 3086: 3085: 3080: 3064: 3062: 3061: 3056: 3031: 3029: 3028: 3023: 2989: 2987: 2986: 2981: 2960:Spectral theorem 2955: 2953: 2952: 2947: 2914: 2913: 2912: 2877: 2875: 2874: 2869: 2867: 2859: 2830: 2828: 2827: 2822: 2810: 2808: 2807: 2802: 2790: 2788: 2787: 2782: 2762: 2760: 2759: 2754: 2721: 2719: 2718: 2713: 2653: 2652: 2629: 2627: 2626: 2621: 2619: 2618: 2599: 2597: 2596: 2591: 2561: 2560: 2535: 2534: 2494: 2492: 2491: 2486: 2462:bounded operator 2459: 2457: 2456: 2451: 2439: 2437: 2436: 2431: 2419: 2386: 2384: 2383: 2378: 2361: 2360: 2342:), then the map 2333: 2321: 2319: 2318: 2313: 2295: 2287: 2260: 2255: 2243: 2242: 2220: 2219: 2200: 2198: 2197: 2192: 2190: 2182: 2164: 2162: 2161: 2156: 2154: 2153: 2131: 2129: 2128: 2123: 2118: 2110: 2109: 2081: 2079: 2078: 2073: 2043: 2041: 2040: 2035: 2033: 2015: 2013: 2012: 2007: 2005: 2004: 1962: 1960: 1959: 1954: 1952: 1951: 1929: 1927: 1926: 1921: 1913: 1912: 1866: 1864: 1863: 1858: 1847: 1846: 1825: 1824: 1790: 1788: 1787: 1782: 1762: 1755: 1753: 1752: 1747: 1707: 1705: 1704: 1699: 1680: 1678: 1677: 1672: 1631: 1630: 1607: 1605: 1604: 1599: 1565: 1563: 1562: 1557: 1516: 1515: 1490: 1488: 1487: 1482: 1466: 1464: 1463: 1458: 1440: 1438: 1437: 1432: 1405: 1403: 1402: 1397: 1395: 1394: 1378: 1376: 1375: 1370: 1368: 1367: 1336: 1334: 1333: 1328: 1325: 1320: 1308: 1307: 1282: 1280: 1279: 1274: 1262: 1260: 1259: 1254: 1242: 1240: 1239: 1234: 1232: 1231: 1215: 1213: 1212: 1207: 1178: 1176: 1175: 1170: 1140: 1135: 1116: 1114: 1113: 1108: 1079: 1078: 1060:to each other. 1055: 1053: 1052: 1047: 1042: 1041: 1019: 1017: 1016: 1011: 1006: 1005: 983: 981: 980: 975: 967: 966: 954: 953: 937: 935: 934: 929: 927: 926: 910: 908: 907: 902: 900: 899: 880: 878: 877: 872: 861: 860: 848: 847: 831: 829: 828: 823: 818: 817: 799: 798: 777: 776: 764: 763: 736: 734: 733: 728: 717: 716: 700: 695: 674: 670: 669: 668: 658: 653: 617: 615: 614: 609: 591: 589: 588: 583: 571: 569: 568: 563: 555: 554: 542: 541: 529: 528: 505: 503: 502: 497: 481: 479: 478: 473: 461: 459: 458: 453: 426: 424: 423: 418: 390: 388: 387: 382: 357: 355: 354: 349: 325: 323: 322: 317: 301: 299: 298: 293: 281: 279: 278: 273: 258: 256: 255: 250: 238: 236: 235: 230: 215: 213: 212: 207: 194:measurable space 191: 189: 188: 183: 149: 147: 146: 141: 92:spectral measure 84:spectral theorem 44:spectral measure 21: 18:Spectral measure 8106: 8105: 8101: 8100: 8099: 8097: 8096: 8095: 8091:Spectral theory 8071: 8070: 8069: 8064: 8035:Banach manifold 8023: 7995: 7974: 7926: 7902:Direct integral 7883: 7803: 7731: 7727:Vector calculus 7722:Matrix calculus 7678: 7669: 7639: 7634: 7616: 7580:Advanced topics 7575: 7499: 7478: 7437: 7403:Hilbert–Schmidt 7376: 7367:Gelfand–Naimark 7314: 7264: 7199: 7185: 7155: 7150: 7111:Spectral method 7096:Ramanujan graph 7044: 7028: 7004:Fredholm theory 6972: 6967:Shilov boundary 6963:Structure space 6941:Generalizations 6936: 6927:Numerical range 6905: 6889:Uniform algebra 6851: 6827:Riesz projector 6812:Min-max theorem 6795: 6781:Direct integral 6737: 6723:Spectral radius 6694: 6649: 6603: 6594:Spectral radius 6542: 6536:Spectral theory 6533: 6503: 6498: 6494:Spectral theory 6474:Convex analysis 6458: 6415: 6410: 6363: 6263: 6211:in distribution 6156: 6049: 5879:Logarithmically 5818: 5774: 5757:Essential range 5691: 5632: 5627: 5577: 5561: 5533: 5513: 5507: 5494: 5488: 5468: 5454: 5441: 5436: 5415: 5408:Mackey, G. W., 5402: 5389: 5383: 5370: 5365: 5334: 5331: 5326: 5325: 5317: 5313: 5305: 5301: 5293: 5289: 5281: 5277: 5269: 5262: 5261: 5257: 5249: 5242: 5234: 5230: 5222: 5218: 5210: 5206: 5198: 5194: 5186: 5182: 5177: 5155: 5139: 5137:Generalizations 5115: 5114: 5092: 5091: 5072: 5071: 5034: 5017: 4987: 4986: 4926: 4906: 4905: 4883: 4882: 4863: 4862: 4843: 4842: 4823: 4822: 4796: 4795: 4773: 4772: 4703: 4698: 4697: 4675: 4674: 4652: 4651: 4632: 4631: 4612: 4611: 4592: 4591: 4572: 4571: 4539: 4538: 4519: 4518: 4400: 4395: 4394: 4372: 4371: 4352: 4351: 4320: 4319: 4300: 4299: 4276: 4275: 4256: 4255: 4236: 4235: 4212: 4211: 4182: 4177: 4176: 4154: 4153: 4126: 4125: 4103: 4102: 4080: 4079: 4056: 4055: 4025: 4024: 3998: 3997: 3978: 3977: 3974: 3968: 3930: 3896: 3891: 3890: 3851: 3826: 3809: 3791: 3786: 3785: 3755: 3713: 3712: 3705: 3684: 3679: 3623: 3603: 3602: 3597: 3589: 3587: 3577: 3554: 3488: 3468: 3467: 3441: 3421: 3406: 3361: 3341: 3340: 3335: 3323: 3313: 3303: 3281: 3257: 3256: 3237: 3236: 3200: 3174: 3163: 3162: 3125: 3124: 3120:, defined on a 3100: 3095: 3094: 3071: 3070: 3038: 3037: 3002: 3001: 2972: 2971: 2968: 2962: 2903: 2883: 2882: 2844: 2843: 2813: 2812: 2793: 2792: 2773: 2772: 2769: 2727: 2726: 2644: 2639: 2638: 2610: 2605: 2604: 2552: 2526: 2500: 2499: 2465: 2464: 2442: 2441: 2422: 2421: 2417: 2352: 2347: 2346: 2331: 2328: 2228: 2211: 2206: 2205: 2167: 2166: 2139: 2134: 2133: 2101: 2084: 2083: 2046: 2045: 2018: 2017: 1996: 1976: 1975: 1943: 1938: 1937: 1904: 1875: 1874: 1838: 1816: 1796: 1795: 1767: 1766: 1758: 1720: 1719: 1690: 1689: 1622: 1617: 1616: 1575: 1574: 1571:total variation 1501: 1496: 1495: 1473: 1472: 1443: 1442: 1411: 1410: 1386: 1381: 1380: 1359: 1339: 1338: 1299: 1288: 1287: 1265: 1264: 1245: 1244: 1223: 1218: 1217: 1189: 1188: 1122: 1121: 1070: 1065: 1064: 1033: 1022: 1021: 997: 986: 985: 958: 945: 940: 939: 918: 913: 912: 891: 886: 885: 852: 839: 834: 833: 809: 790: 768: 755: 744: 743: 708: 660: 638: 634: 626: 625: 594: 593: 574: 573: 546: 533: 520: 515: 514: 488: 487: 464: 463: 429: 428: 394: 393: 364: 363: 331: 330: 308: 307: 284: 283: 264: 263: 241: 240: 221: 220: 218:Borel σ-algebra 198: 197: 162: 161: 132: 131: 128: 80:spectral theory 73:linear operator 28: 23: 22: 15: 12: 11: 5: 8104: 8102: 8094: 8093: 8088: 8083: 8081:Linear algebra 8073: 8072: 8066: 8065: 8063: 8062: 8057: 8052: 8050:Choquet theory 8047: 8042: 8031: 8029: 8025: 8024: 8022: 8021: 8016: 8011: 8005: 8003: 7997: 7996: 7994: 7993: 7988: 7982: 7980: 7976: 7975: 7973: 7972: 7967: 7962: 7957: 7952: 7951: 7950: 7940: 7934: 7932: 7928: 7927: 7925: 7924: 7919: 7914: 7909: 7904: 7899: 7893: 7891: 7885: 7884: 7882: 7881: 7876: 7860: 7859: 7858: 7853: 7848: 7834: 7833: 7832: 7827: 7817: 7811: 7809: 7805: 7804: 7802: 7801: 7796: 7791: 7786: 7781: 7780: 7779: 7769: 7764: 7763: 7762: 7752: 7747: 7741: 7739: 7733: 7732: 7730: 7729: 7724: 7719: 7714: 7709: 7704: 7699: 7698: 7697: 7686: 7684: 7683:Basic concepts 7680: 7679: 7670: 7668: 7667: 7660: 7653: 7645: 7636: 7635: 7633: 7632: 7621: 7618: 7617: 7615: 7614: 7609: 7604: 7599: 7597:Choquet theory 7594: 7589: 7583: 7581: 7577: 7576: 7574: 7573: 7563: 7558: 7553: 7548: 7543: 7538: 7533: 7528: 7523: 7518: 7513: 7507: 7505: 7501: 7500: 7498: 7497: 7492: 7486: 7484: 7480: 7479: 7477: 7476: 7471: 7466: 7461: 7456: 7451: 7449:Banach algebra 7445: 7443: 7439: 7438: 7436: 7435: 7430: 7425: 7420: 7415: 7410: 7405: 7400: 7395: 7390: 7384: 7382: 7378: 7377: 7375: 7374: 7372:Banach–Alaoglu 7369: 7364: 7359: 7354: 7349: 7344: 7339: 7334: 7328: 7326: 7320: 7319: 7316: 7315: 7313: 7312: 7307: 7302: 7300:Locally convex 7297: 7283: 7278: 7272: 7270: 7266: 7265: 7263: 7262: 7257: 7252: 7247: 7242: 7237: 7232: 7227: 7222: 7217: 7211: 7205: 7201: 7200: 7186: 7184: 7183: 7176: 7169: 7161: 7152: 7151: 7149: 7148: 7143: 7138: 7133: 7128: 7123: 7118: 7113: 7108: 7103: 7098: 7093: 7088: 7083: 7078: 7073: 7063: 7061:Corona theorem 7058: 7052: 7050: 7046: 7045: 7043: 7042: 7040:Wiener algebra 7036: 7034: 7030: 7029: 7027: 7026: 7021: 7016: 7011: 7006: 7001: 6996: 6991: 6986: 6980: 6978: 6974: 6973: 6971: 6970: 6960: 6958:Pseudospectrum 6955: 6950: 6948:Dirac spectrum 6944: 6942: 6938: 6937: 6935: 6934: 6929: 6924: 6919: 6913: 6911: 6907: 6906: 6904: 6903: 6902: 6901: 6891: 6886: 6881: 6876: 6871: 6865: 6859: 6857: 6853: 6852: 6850: 6849: 6844: 6839: 6834: 6829: 6824: 6819: 6814: 6809: 6803: 6801: 6797: 6796: 6794: 6793: 6788: 6783: 6778: 6773: 6768: 6767: 6766: 6761: 6756: 6745: 6743: 6739: 6738: 6736: 6735: 6730: 6725: 6720: 6715: 6710: 6704: 6702: 6696: 6695: 6693: 6692: 6687: 6679: 6671: 6663: 6657: 6655: 6651: 6650: 6648: 6647: 6642: 6637: 6632: 6627: 6622: 6617: 6611: 6609: 6605: 6604: 6602: 6601: 6599:Operator space 6596: 6591: 6586: 6581: 6576: 6571: 6566: 6561: 6559:Banach algebra 6556: 6550: 6548: 6547:Basic concepts 6544: 6543: 6534: 6532: 6531: 6524: 6517: 6509: 6500: 6499: 6497: 6496: 6491: 6486: 6481: 6476: 6470: 6468: 6464: 6463: 6460: 6459: 6457: 6456: 6451: 6446: 6441: 6440: 6439: 6429: 6423: 6421: 6412: 6411: 6409: 6408: 6403: 6401:Sard's theorem 6398: 6393: 6388: 6387: 6386: 6384:Lifting theory 6375: 6369: 6365: 6364: 6362: 6361: 6356: 6351: 6346: 6341: 6340: 6339: 6337:Fubini–Tonelli 6329: 6324: 6319: 6318: 6317: 6312: 6307: 6299: 6298: 6297: 6292: 6287: 6279: 6273: 6271: 6265: 6264: 6262: 6261: 6256: 6251: 6246: 6241: 6236: 6231: 6225: 6220: 6219: 6218: 6216:in probability 6213: 6203: 6198: 6193: 6187: 6186: 6185: 6180: 6175: 6164: 6162: 6158: 6157: 6155: 6154: 6149: 6144: 6139: 6134: 6129: 6128: 6127: 6117: 6112: 6111: 6110: 6100: 6095: 6090: 6085: 6080: 6075: 6070: 6065: 6059: 6057: 6051: 6050: 6048: 6047: 6042: 6037: 6032: 6027: 6022: 6017: 6012: 6007: 6002: 5997: 5996: 5995: 5990: 5985: 5975: 5970: 5965: 5960: 5950: 5945: 5940: 5935: 5930: 5925: 5923:Locally finite 5920: 5910: 5905: 5900: 5895: 5890: 5885: 5875: 5870: 5865: 5860: 5855: 5850: 5845: 5840: 5835: 5829: 5827: 5820: 5819: 5817: 5816: 5811: 5806: 5801: 5796: 5795: 5794: 5784: 5779: 5771: 5766: 5765: 5764: 5754: 5749: 5748: 5747: 5737: 5732: 5727: 5726: 5725: 5715: 5710: 5705: 5699: 5697: 5693: 5692: 5690: 5689: 5680: 5679: 5678: 5668: 5663: 5655: 5650: 5640: 5638: 5637:Basic concepts 5634: 5633: 5630:Measure theory 5628: 5626: 5625: 5618: 5611: 5603: 5597: 5596: 5589: 5575: 5559: 5545: 5531: 5511: 5505: 5492: 5486: 5466: 5453:978-1584888666 5452: 5439: 5434: 5413: 5406: 5400: 5387: 5381: 5363: 5330: 5327: 5324: 5323: 5311: 5309:, p. 205. 5299: 5297:, p. 235. 5287: 5275: 5255: 5240: 5238:, p. 541. 5228: 5226:, p. 308. 5216: 5214:, p. 234. 5204: 5202:, p. 138. 5192: 5179: 5178: 5176: 5173: 5172: 5171: 5166: 5161: 5154: 5151: 5138: 5135: 5122: 5099: 5079: 5068: 5067: 5056: 5053: 5050: 5047: 5041: 5037: 5032: 5029: 5024: 5020: 5014: 5010: 5006: 5003: 5000: 4997: 4994: 4980: 4979: 4968: 4965: 4962: 4959: 4956: 4953: 4950: 4947: 4944: 4940: 4934: 4929: 4925: 4922: 4919: 4916: 4913: 4890: 4870: 4850: 4830: 4803: 4780: 4769: 4768: 4757: 4754: 4751: 4748: 4745: 4742: 4739: 4736: 4733: 4730: 4727: 4724: 4721: 4718: 4715: 4710: 4706: 4682: 4659: 4639: 4619: 4599: 4579: 4555: 4552: 4549: 4546: 4526: 4515: 4514: 4503: 4500: 4497: 4493: 4489: 4486: 4483: 4480: 4476: 4472: 4469: 4466: 4463: 4460: 4457: 4454: 4451: 4448: 4445: 4442: 4439: 4436: 4433: 4430: 4427: 4424: 4421: 4418: 4415: 4412: 4407: 4403: 4379: 4359: 4339: 4336: 4333: 4330: 4327: 4307: 4283: 4263: 4243: 4232: 4231: 4219: 4208: 4205: 4191: 4186: 4161: 4150: 4149: 4133: 4122: 4110: 4099: 4087: 4063: 4043: 4040: 4037: 4033: 4005: 3985: 3967: 3964: 3963: 3962: 3951: 3948: 3945: 3942: 3937: 3933: 3929: 3926: 3923: 3920: 3917: 3914: 3911: 3908: 3903: 3899: 3884: 3883: 3872: 3869: 3866: 3863: 3858: 3854: 3850: 3847: 3844: 3841: 3833: 3829: 3823: 3816: 3812: 3807: 3803: 3798: 3794: 3779: 3778: 3767: 3762: 3758: 3754: 3751: 3748: 3743: 3740: 3737: 3734: 3731: 3727: 3723: 3720: 3675: 3665: 3664: 3653: 3650: 3647: 3644: 3641: 3638: 3630: 3626: 3620: 3615: 3611: 3593: 3579: 3573: 3525: 3524: 3512: 3509: 3506: 3503: 3500: 3495: 3491: 3487: 3484: 3481: 3478: 3475: 3449:if and only if 3403: 3402: 3391: 3388: 3385: 3382: 3379: 3376: 3368: 3364: 3358: 3353: 3349: 3331: 3305: 3299: 3280: 3277: 3275:is unbounded. 3264: 3244: 3233: 3232: 3221: 3218: 3215: 3212: 3207: 3203: 3199: 3195: 3190: 3187: 3184: 3181: 3177: 3173: 3170: 3147: 3144: 3141: 3138: 3135: 3132: 3107: 3103: 3078: 3054: 3051: 3048: 3045: 3021: 3018: 3015: 3012: 3009: 2979: 2961: 2958: 2957: 2956: 2945: 2942: 2939: 2936: 2933: 2930: 2926: 2923: 2920: 2917: 2911: 2906: 2902: 2899: 2896: 2893: 2890: 2866: 2862: 2858: 2854: 2851: 2842:. That is, if 2820: 2800: 2780: 2752: 2749: 2746: 2743: 2740: 2737: 2734: 2723: 2722: 2711: 2708: 2705: 2702: 2699: 2695: 2692: 2689: 2686: 2683: 2680: 2677: 2674: 2671: 2668: 2665: 2662: 2659: 2656: 2651: 2647: 2617: 2613: 2601: 2600: 2589: 2586: 2583: 2580: 2577: 2573: 2570: 2567: 2564: 2559: 2555: 2551: 2547: 2544: 2541: 2538: 2533: 2529: 2525: 2522: 2519: 2516: 2513: 2510: 2507: 2484: 2481: 2478: 2475: 2472: 2449: 2429: 2412: 2392:step functions 2388: 2387: 2376: 2373: 2370: 2367: 2364: 2359: 2355: 2327: 2324: 2323: 2322: 2311: 2308: 2304: 2301: 2298: 2293: 2290: 2285: 2282: 2279: 2276: 2273: 2270: 2267: 2264: 2259: 2254: 2250: 2246: 2241: 2238: 2235: 2231: 2227: 2223: 2218: 2214: 2189: 2185: 2181: 2177: 2174: 2152: 2149: 2146: 2142: 2121: 2117: 2113: 2108: 2104: 2100: 2097: 2094: 2091: 2071: 2068: 2065: 2062: 2059: 2056: 2053: 2032: 2028: 2025: 2003: 1999: 1995: 1992: 1989: 1986: 1983: 1950: 1946: 1931: 1930: 1919: 1916: 1911: 1907: 1903: 1900: 1897: 1894: 1891: 1888: 1885: 1882: 1870:be defined as 1868: 1867: 1856: 1853: 1850: 1845: 1841: 1837: 1834: 1831: 1828: 1823: 1819: 1815: 1812: 1809: 1806: 1803: 1780: 1777: 1774: 1745: 1742: 1739: 1736: 1733: 1730: 1727: 1697: 1682: 1681: 1670: 1667: 1664: 1661: 1658: 1655: 1652: 1649: 1646: 1643: 1640: 1637: 1634: 1629: 1625: 1597: 1594: 1591: 1588: 1585: 1582: 1567: 1566: 1555: 1552: 1549: 1546: 1543: 1540: 1537: 1534: 1531: 1528: 1525: 1522: 1519: 1514: 1511: 1508: 1504: 1480: 1456: 1453: 1450: 1430: 1427: 1424: 1421: 1418: 1393: 1389: 1366: 1362: 1358: 1355: 1352: 1349: 1346: 1324: 1319: 1315: 1311: 1306: 1302: 1298: 1295: 1272: 1252: 1230: 1226: 1205: 1202: 1199: 1196: 1168: 1165: 1162: 1159: 1156: 1153: 1150: 1147: 1144: 1139: 1134: 1130: 1106: 1103: 1100: 1097: 1094: 1091: 1088: 1085: 1082: 1077: 1073: 1045: 1040: 1036: 1032: 1029: 1009: 1004: 1000: 996: 993: 973: 970: 965: 961: 957: 952: 948: 925: 921: 898: 894: 882: 881: 870: 867: 864: 859: 855: 851: 846: 842: 821: 816: 812: 808: 805: 802: 797: 793: 789: 786: 783: 780: 775: 771: 767: 762: 758: 754: 751: 740: 739: 738: 737: 726: 723: 720: 715: 711: 707: 704: 699: 694: 691: 688: 684: 680: 677: 673: 667: 663: 657: 652: 649: 646: 642: 637: 633: 620: 619: 607: 604: 601: 581: 561: 558: 553: 549: 545: 540: 536: 532: 527: 523: 511: 495: 471: 451: 448: 445: 442: 439: 436: 416: 413: 410: 407: 404: 401: 391: 380: 377: 374: 371: 347: 344: 341: 338: 315: 302:to the set of 291: 282:is a map from 271: 248: 228: 205: 181: 178: 175: 172: 169: 139: 127: 124: 116:density matrix 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 8103: 8092: 8089: 8087: 8084: 8082: 8079: 8078: 8076: 8061: 8058: 8056: 8053: 8051: 8048: 8046: 8043: 8040: 8036: 8033: 8032: 8030: 8026: 8020: 8017: 8015: 8012: 8010: 8007: 8006: 8004: 8002: 7998: 7992: 7989: 7987: 7984: 7983: 7981: 7977: 7971: 7968: 7966: 7963: 7961: 7958: 7956: 7953: 7949: 7946: 7945: 7944: 7941: 7939: 7936: 7935: 7933: 7929: 7923: 7920: 7918: 7915: 7913: 7910: 7908: 7905: 7903: 7900: 7898: 7895: 7894: 7892: 7890: 7886: 7880: 7877: 7875: 7872: 7868: 7864: 7861: 7857: 7854: 7852: 7849: 7847: 7844: 7843: 7842: 7841:set functions 7838: 7835: 7831: 7828: 7826: 7823: 7822: 7821: 7818: 7816: 7815:Besov measure 7813: 7812: 7810: 7808:Measurability 7806: 7800: 7797: 7795: 7792: 7790: 7787: 7785: 7782: 7778: 7775: 7774: 7773: 7770: 7768: 7765: 7761: 7758: 7757: 7756: 7753: 7751: 7748: 7746: 7743: 7742: 7740: 7738: 7734: 7728: 7725: 7723: 7720: 7718: 7715: 7713: 7710: 7708: 7707:Convex series 7705: 7703: 7702:Bochner space 7700: 7696: 7693: 7692: 7691: 7688: 7687: 7685: 7681: 7677: 7673: 7666: 7661: 7659: 7654: 7652: 7647: 7646: 7643: 7631: 7623: 7622: 7619: 7613: 7610: 7608: 7605: 7603: 7602:Weak topology 7600: 7598: 7595: 7593: 7590: 7588: 7585: 7584: 7582: 7578: 7571: 7567: 7564: 7562: 7559: 7557: 7554: 7552: 7549: 7547: 7544: 7542: 7539: 7537: 7534: 7532: 7529: 7527: 7526:Index theorem 7524: 7522: 7519: 7517: 7514: 7512: 7509: 7508: 7506: 7502: 7496: 7493: 7491: 7488: 7487: 7485: 7483:Open problems 7481: 7475: 7472: 7470: 7467: 7465: 7462: 7460: 7457: 7455: 7452: 7450: 7447: 7446: 7444: 7440: 7434: 7431: 7429: 7426: 7424: 7421: 7419: 7416: 7414: 7411: 7409: 7406: 7404: 7401: 7399: 7396: 7394: 7391: 7389: 7386: 7385: 7383: 7379: 7373: 7370: 7368: 7365: 7363: 7360: 7358: 7355: 7353: 7350: 7348: 7345: 7343: 7340: 7338: 7335: 7333: 7330: 7329: 7327: 7325: 7321: 7311: 7308: 7306: 7303: 7301: 7298: 7295: 7291: 7287: 7284: 7282: 7279: 7277: 7274: 7273: 7271: 7267: 7261: 7258: 7256: 7253: 7251: 7248: 7246: 7243: 7241: 7238: 7236: 7233: 7231: 7228: 7226: 7223: 7221: 7218: 7216: 7213: 7212: 7209: 7206: 7202: 7197: 7193: 7189: 7182: 7177: 7175: 7170: 7168: 7163: 7162: 7159: 7147: 7144: 7142: 7139: 7137: 7134: 7132: 7129: 7127: 7124: 7122: 7119: 7117: 7114: 7112: 7109: 7107: 7104: 7102: 7099: 7097: 7094: 7092: 7089: 7087: 7084: 7082: 7079: 7077: 7074: 7071: 7067: 7064: 7062: 7059: 7057: 7054: 7053: 7051: 7047: 7041: 7038: 7037: 7035: 7031: 7025: 7022: 7020: 7017: 7015: 7012: 7010: 7007: 7005: 7002: 7000: 6997: 6995: 6992: 6990: 6987: 6985: 6982: 6981: 6979: 6977:Miscellaneous 6975: 6968: 6964: 6961: 6959: 6956: 6954: 6951: 6949: 6946: 6945: 6943: 6939: 6933: 6930: 6928: 6925: 6923: 6920: 6918: 6915: 6914: 6912: 6908: 6900: 6897: 6896: 6895: 6892: 6890: 6887: 6885: 6882: 6880: 6877: 6875: 6872: 6870: 6866: 6864: 6861: 6860: 6858: 6854: 6848: 6845: 6843: 6840: 6838: 6835: 6833: 6830: 6828: 6825: 6823: 6820: 6818: 6815: 6813: 6810: 6808: 6805: 6804: 6802: 6798: 6792: 6789: 6787: 6784: 6782: 6779: 6777: 6774: 6772: 6769: 6765: 6762: 6760: 6757: 6755: 6752: 6751: 6750: 6747: 6746: 6744: 6742:Decomposition 6740: 6734: 6731: 6729: 6726: 6724: 6721: 6719: 6716: 6714: 6711: 6709: 6706: 6705: 6703: 6701: 6697: 6691: 6688: 6686: 6683: 6680: 6678: 6675: 6672: 6670: 6667: 6664: 6662: 6659: 6658: 6656: 6652: 6646: 6643: 6641: 6638: 6636: 6633: 6631: 6628: 6626: 6623: 6621: 6618: 6616: 6613: 6612: 6610: 6606: 6600: 6597: 6595: 6592: 6590: 6587: 6585: 6582: 6580: 6577: 6575: 6572: 6570: 6567: 6565: 6562: 6560: 6557: 6555: 6552: 6551: 6549: 6545: 6541: 6537: 6530: 6525: 6523: 6518: 6516: 6511: 6510: 6507: 6495: 6492: 6490: 6489:Real analysis 6487: 6485: 6482: 6480: 6477: 6475: 6472: 6471: 6469: 6465: 6455: 6452: 6450: 6447: 6445: 6442: 6438: 6435: 6434: 6433: 6430: 6428: 6425: 6424: 6422: 6419: 6413: 6407: 6404: 6402: 6399: 6397: 6394: 6392: 6389: 6385: 6382: 6381: 6380: 6377: 6376: 6373: 6370: 6368:Other results 6366: 6360: 6357: 6355: 6354:Radon–Nikodym 6352: 6350: 6347: 6345: 6342: 6338: 6335: 6334: 6333: 6330: 6328: 6327:Fatou's lemma 6325: 6323: 6320: 6316: 6313: 6311: 6308: 6306: 6303: 6302: 6300: 6296: 6293: 6291: 6288: 6286: 6283: 6282: 6280: 6278: 6275: 6274: 6272: 6270: 6266: 6260: 6257: 6255: 6252: 6250: 6247: 6245: 6242: 6240: 6237: 6235: 6232: 6230: 6226: 6224: 6221: 6217: 6214: 6212: 6209: 6208: 6207: 6204: 6202: 6199: 6197: 6194: 6192: 6189:Convergence: 6188: 6184: 6181: 6179: 6176: 6174: 6171: 6170: 6169: 6166: 6165: 6163: 6159: 6153: 6150: 6148: 6145: 6143: 6140: 6138: 6135: 6133: 6130: 6126: 6123: 6122: 6121: 6118: 6116: 6113: 6109: 6106: 6105: 6104: 6101: 6099: 6096: 6094: 6091: 6089: 6086: 6084: 6081: 6079: 6076: 6074: 6071: 6069: 6066: 6064: 6061: 6060: 6058: 6056: 6052: 6046: 6043: 6041: 6038: 6036: 6033: 6031: 6028: 6026: 6023: 6021: 6018: 6016: 6013: 6011: 6008: 6006: 6003: 6001: 5998: 5994: 5993:Outer regular 5991: 5989: 5988:Inner regular 5986: 5984: 5983:Borel regular 5981: 5980: 5979: 5976: 5974: 5971: 5969: 5966: 5964: 5961: 5959: 5955: 5951: 5949: 5946: 5944: 5941: 5939: 5936: 5934: 5931: 5929: 5926: 5924: 5921: 5919: 5915: 5911: 5909: 5906: 5904: 5901: 5899: 5896: 5894: 5891: 5889: 5886: 5884: 5880: 5876: 5874: 5871: 5869: 5866: 5864: 5861: 5859: 5856: 5854: 5851: 5849: 5846: 5844: 5841: 5839: 5836: 5834: 5831: 5830: 5828: 5826: 5821: 5815: 5812: 5810: 5807: 5805: 5802: 5800: 5797: 5793: 5790: 5789: 5788: 5785: 5783: 5780: 5778: 5772: 5770: 5767: 5763: 5760: 5759: 5758: 5755: 5753: 5750: 5746: 5743: 5742: 5741: 5738: 5736: 5733: 5731: 5728: 5724: 5721: 5720: 5719: 5716: 5714: 5711: 5709: 5706: 5704: 5701: 5700: 5698: 5694: 5688: 5684: 5681: 5677: 5674: 5673: 5672: 5671:Measure space 5669: 5667: 5664: 5662: 5660: 5656: 5654: 5651: 5649: 5645: 5642: 5641: 5639: 5635: 5631: 5624: 5619: 5617: 5612: 5610: 5605: 5604: 5601: 5594: 5590: 5586: 5582: 5578: 5572: 5568: 5564: 5560: 5557: 5553: 5549: 5546: 5542: 5538: 5534: 5528: 5524: 5520: 5516: 5512: 5508: 5502: 5498: 5493: 5489: 5483: 5479: 5475: 5471: 5467: 5463: 5459: 5455: 5449: 5445: 5440: 5437: 5431: 5427: 5423: 5419: 5414: 5411: 5407: 5403: 5397: 5393: 5388: 5384: 5378: 5374: 5366: 5360: 5356: 5352: 5347: 5346:gr-qc/9706069 5342: 5338: 5333: 5332: 5328: 5320: 5315: 5312: 5308: 5303: 5300: 5296: 5291: 5288: 5284: 5279: 5276: 5268: 5267: 5259: 5256: 5253:, p. 42. 5252: 5247: 5245: 5241: 5237: 5232: 5229: 5225: 5220: 5217: 5213: 5208: 5205: 5201: 5196: 5193: 5190:, p. 41. 5189: 5184: 5181: 5174: 5170: 5167: 5165: 5162: 5160: 5157: 5156: 5152: 5150: 5148: 5144: 5136: 5134: 5120: 5111: 5097: 5077: 5051: 5039: 5035: 5027: 5022: 5018: 5012: 5008: 5004: 4998: 4992: 4985: 4984: 4983: 4966: 4960: 4951: 4945: 4942: 4938: 4927: 4923: 4917: 4911: 4904: 4903: 4902: 4888: 4868: 4848: 4828: 4819: 4817: 4801: 4792: 4778: 4752: 4746: 4740: 4737: 4734: 4725: 4722: 4716: 4708: 4704: 4696: 4695: 4694: 4680: 4671: 4657: 4637: 4617: 4597: 4577: 4569: 4550: 4544: 4524: 4501: 4495: 4484: 4478: 4470: 4464: 4455: 4446: 4440: 4437: 4434: 4428: 4422: 4413: 4405: 4401: 4393: 4392: 4391: 4377: 4357: 4337: 4334: 4328: 4305: 4297: 4294:a normalized 4281: 4261: 4241: 4217: 4209: 4206: 4189: 4175: 4174: 4173: 4159: 4147: 4131: 4123: 4108: 4100: 4085: 4077: 4061: 4038: 4023: 4019: 4018: 4017: 4003: 3983: 3973: 3965: 3949: 3943: 3940: 3935: 3931: 3927: 3924: 3921: 3918: 3915: 3912: 3906: 3901: 3897: 3889: 3888: 3887: 3867: 3856: 3852: 3848: 3845: 3839: 3831: 3827: 3821: 3814: 3810: 3805: 3801: 3796: 3792: 3784: 3783: 3782: 3760: 3756: 3752: 3749: 3741: 3738: 3735: 3732: 3729: 3725: 3721: 3718: 3711: 3710: 3709: 3703: 3699: 3697: 3693: 3690: 3681: 3678: 3674: 3670: 3651: 3645: 3639: 3636: 3628: 3624: 3618: 3613: 3609: 3601: 3600: 3599: 3596: 3586: 3582: 3576: 3572: 3568: 3564: 3560: 3552: 3548: 3544: 3540: 3536: 3534: 3530: 3510: 3504: 3498: 3493: 3489: 3485: 3479: 3473: 3466: 3465: 3464: 3462: 3458: 3454: 3450: 3447: 3439: 3435: 3431: 3427: 3418: 3416: 3412: 3389: 3383: 3377: 3374: 3366: 3362: 3356: 3351: 3347: 3339: 3338: 3337: 3334: 3329: 3321: 3317: 3312: 3308: 3302: 3298: 3294: 3290: 3286: 3278: 3276: 3262: 3242: 3219: 3213: 3205: 3201: 3197: 3193: 3185: 3179: 3175: 3171: 3168: 3161: 3160: 3159: 3142: 3136: 3133: 3130: 3123: 3105: 3101: 3092: 3076: 3068: 3049: 3043: 3035: 3032:be a bounded 3019: 3013: 3010: 3007: 2999: 2998:Hilbert space 2996: 2993: 2977: 2967: 2959: 2943: 2937: 2931: 2928: 2921: 2915: 2904: 2900: 2894: 2888: 2881: 2880: 2879: 2852: 2849: 2841: 2837: 2832: 2818: 2798: 2778: 2768: 2766: 2747: 2744: 2741: 2738: 2735: 2709: 2706: 2703: 2700: 2693: 2687: 2684: 2681: 2675: 2669: 2663: 2657: 2649: 2645: 2637: 2636: 2635: 2633: 2632:Borel measure 2615: 2611: 2587: 2584: 2581: 2578: 2571: 2565: 2557: 2553: 2549: 2542: 2536: 2531: 2527: 2523: 2517: 2514: 2511: 2508: 2498: 2497: 2496: 2482: 2476: 2473: 2470: 2463: 2447: 2427: 2411: 2409: 2405: 2401: 2397: 2393: 2371: 2365: 2357: 2353: 2345: 2344: 2343: 2341: 2337: 2325: 2309: 2306: 2299: 2288: 2280: 2274: 2268: 2262: 2257: 2252: 2248: 2244: 2239: 2236: 2233: 2229: 2225: 2221: 2216: 2212: 2204: 2203: 2202: 2175: 2172: 2150: 2147: 2144: 2140: 2106: 2102: 2098: 2095: 2092: 2089: 2066: 2063: 2060: 2054: 2051: 2026: 2023: 2001: 1997: 1993: 1987: 1981: 1973: 1971: 1967: 1948: 1944: 1936: 1917: 1914: 1909: 1905: 1901: 1898: 1892: 1886: 1880: 1873: 1872: 1871: 1851: 1843: 1839: 1829: 1821: 1817: 1813: 1807: 1801: 1794: 1793: 1792: 1778: 1775: 1772: 1765:and, for all 1764: 1761: 1740: 1737: 1734: 1731: 1728: 1717: 1713: 1711: 1695: 1687: 1665: 1662: 1659: 1653: 1647: 1641: 1635: 1627: 1623: 1615: 1614: 1613: 1611: 1592: 1583: 1572: 1550: 1547: 1544: 1538: 1532: 1526: 1520: 1512: 1509: 1506: 1502: 1494: 1493: 1492: 1478: 1470: 1454: 1451: 1448: 1428: 1425: 1422: 1419: 1416: 1407: 1391: 1387: 1364: 1360: 1356: 1350: 1344: 1322: 1317: 1313: 1309: 1304: 1300: 1296: 1293: 1286: 1270: 1250: 1228: 1224: 1200: 1194: 1186: 1182: 1160: 1154: 1148: 1145: 1142: 1137: 1132: 1128: 1120: 1098: 1092: 1086: 1083: 1080: 1075: 1071: 1061: 1059: 1038: 1034: 1027: 1002: 998: 991: 984:, the images 968: 963: 959: 955: 950: 946: 923: 919: 896: 892: 868: 865: 862: 857: 853: 849: 844: 840: 814: 810: 803: 795: 791: 784: 781: 773: 769: 765: 760: 756: 749: 742: 741: 724: 721: 713: 709: 702: 692: 689: 686: 682: 678: 675: 671: 665: 661: 650: 647: 644: 640: 635: 631: 624: 623: 622: 621: 605: 602: 599: 579: 559: 556: 551: 547: 543: 538: 534: 530: 525: 521: 512: 509: 493: 485: 449: 446: 440: 434: 414: 411: 399: 392: 378: 375: 372: 369: 361: 342: 336: 329: 328: 327: 313: 305: 289: 269: 262: 246: 226: 219: 203: 195: 176: 173: 170: 159: 158:Hilbert space 156: 153: 137: 125: 123: 121: 117: 113: 109: 105: 101: 97: 93: 89: 85: 81: 76: 74: 70: 67: 63: 60: 56: 55:Hilbert space 52: 49: 45: 41: 37: 33: 19: 8028:Applications 7986:Crinkled arc 7922:Paley–Wiener 7850: 7592:Balanced set 7566:Distribution 7504:Applications 7357:Krein–Milman 7342:Closed graph 7049:Applications 6879:Disk algebra 6821: 6733:Spectral gap 6608:Main results 6578: 6269:Main results 6258: 6005:Set function 5962: 5933:Metric outer 5888:Decomposable 5745:Cylinder set 5658: 5592: 5566: 5551: 5518: 5496: 5477: 5443: 5417: 5409: 5391: 5372: 5336: 5314: 5302: 5290: 5278: 5265: 5258: 5231: 5219: 5207: 5195: 5183: 5140: 5112: 5069: 4981: 4820: 4815: 4814:is called a 4793: 4770: 4672: 4516: 4233: 4151: 4076:normalizable 3975: 3885: 3780: 3701: 3700: 3698:. Clearly, 3695: 3691: 3688: 3682: 3676: 3672: 3668: 3666: 3594: 3588:, such that 3584: 3580: 3574: 3570: 3566: 3562: 3558: 3546: 3542: 3538: 3537: 3532: 3528: 3526: 3460: 3456: 3452: 3445: 3437: 3433: 3429: 3425: 3419: 3414: 3410: 3404: 3332: 3327: 3319: 3315: 3310: 3306: 3300: 3296: 3292: 3288: 3282: 3234: 3158:, such that 3122:Borel subset 2969: 2833: 2770: 2724: 2630:is a finite 2602: 2413: 2407: 2395: 2389: 2339: 2335: 2329: 1969: 1965: 1932: 1869: 1759: 1715: 1714: 1683: 1568: 1408: 1284: 1062: 883: 260: 129: 77: 48:self-adjoint 43: 39: 29: 7794:Holomorphic 7777:Directional 7737:Derivatives 7521:Heat kernel 7511:Hardy space 7418:Trace class 7332:Hahn–Banach 7294:Topological 7076:Heat kernel 6776:Compression 6661:Isospectral 6229:compact set 6196:of measures 6132:Pushforward 6125:Projections 6115:Logarithmic 5958:Probability 5948:Pre-measure 5730:Borel space 5648:of measures 5251:Conway 2000 5188:Conway 2000 4881:defined on 3287:. Suppose ( 3089:. Then the 1710:unit vector 1491:defined as 1179:denote the 112:mixed state 59:real-valued 53:on a fixed 51:projections 32:mathematics 8075:Categories 7454:C*-algebra 7269:Properties 6754:Continuous 6569:C*-algebra 6564:B*-algebra 6201:in measure 5928:Maximising 5898:Equivalent 5792:Vitali set 5329:References 5224:Rudin 1991 4146:observable 3970:See also: 3527:for every 3463:such that 3444:, ρ are 2964:See also: 2495:such that 1409:For every 1058:orthogonal 126:Definition 120:pure state 7917:Regulated 7889:Integrals 7428:Unbounded 7423:Transpose 7381:Operators 7310:Separable 7305:Reflexive 7290:Algebraic 7276:Barrelled 6540:-algebras 6315:Maharam's 6285:Dominated 6098:Intensity 6093:Hausdorff 6000:Saturated 5918:Invariant 5823:Types of 5782:σ-algebra 5752:𝜆-system 5718:Borel set 5713:Baire set 5585:853623322 5565:(2006) . 5548:G. Teschl 5541:840278135 5474:Simon, B. 5462:144216834 5307:Hall 2013 5236:Hall 2013 5200:Hall 2013 5078:π 5052:φ 5036:λ 5028:π 5019:λ 5009:∑ 4999:φ 4961:φ 4952:λ 4946:π 4939:λ 4928:∫ 4918:φ 4849:π 4802:π 4756:⟩ 4753:φ 4741:π 4738:∣ 4735:φ 4732:⟨ 4729:↦ 4717:φ 4709:π 4681:φ 4638:φ 4598:φ 4545:π 4499:⟩ 4496:φ 4479:π 4471:φ 4468:⟨ 4462:⟩ 4456:φ 4441:π 4438:∣ 4435:φ 4432:⟨ 4414:φ 4406:π 4378:φ 4332:‖ 4329:φ 4326:‖ 4282:φ 4218:φ 4132:π 4086:φ 4078:) states 3928:⁡ 3916:∈ 3849:∣ 3846:μ 3822:⊕ 3806:∫ 3753:∣ 3750:π 3742:ω 3739:≤ 3733:≤ 3726:⨁ 3719:π 3640:μ 3619:⊕ 3610:∫ 3567:separable 3499:ρ 3494:∗ 3474:π 3378:μ 3357:⊕ 3348:∫ 3243:λ 3214:λ 3202:π 3194:λ 3180:σ 3176:∫ 3137:σ 3134:⊂ 3102:π 3044:σ 3017:→ 2992:separable 2932:π 2905:∫ 2861:→ 2791:but then 2748:μ 2704:∈ 2698:∀ 2691:⟩ 2688:ξ 2685:∣ 2682:ξ 2670:π 2667:⟨ 2650:ξ 2646:μ 2634:given by 2616:ξ 2612:μ 2582:∈ 2579:ξ 2576:∀ 2566:λ 2558:ξ 2554:μ 2543:λ 2528:∫ 2521:⟩ 2518:ξ 2515:∣ 2512:ξ 2506:⟨ 2480:→ 2366:π 2363:↦ 2354:χ 2292:¯ 2289:ϕ 2275:ψ 2249:∫ 2240:ψ 2234:ϕ 2230:μ 2213:∫ 2184:→ 2151:ψ 2145:ϕ 2141:μ 2099:∈ 2096:ψ 2090:ϕ 1982:π 1915:ψ 1899:ψ 1887:π 1884:↦ 1881:ψ 1836:→ 1802:π 1776:∈ 1741:μ 1696:ξ 1669:⟩ 1666:ξ 1663:∣ 1660:ξ 1648:π 1645:⟨ 1628:ξ 1624:μ 1596:‖ 1593:η 1590:‖ 1587:‖ 1584:ξ 1581:‖ 1554:⟩ 1551:η 1548:∣ 1545:ξ 1533:π 1530:⟨ 1513:η 1507:ξ 1503:μ 1452:∈ 1426:∈ 1423:η 1417:ξ 1345:π 1323:⊥ 1310:⊕ 1195:π 1155:π 1149:⁡ 1138:⊥ 1093:π 1087:⁡ 1028:π 992:π 972:∅ 956:∩ 863:∈ 804:π 785:π 766:∩ 750:π 703:π 698:∞ 683:∑ 656:∞ 641:⋃ 632:π 603:∈ 560:… 484:empty set 470:∅ 435:π 406:∅ 400:π 373:∈ 337:π 270:π 152:separable 150:denote a 66:integrate 7871:Strongly 7672:Analysis 7630:Category 7442:Algebras 7324:Theorems 7281:Complete 7250:Schwartz 7196:glossary 7141:Weyl law 7086:Lax pair 7033:Examples 6867:With an 6786:Discrete 6764:Residual 6700:Spectrum 6685:operator 6677:operator 6669:operator 6584:Spectrum 6332:Fubini's 6322:Egorov's 6290:Monotone 6249:variable 6227:Random: 6178:Strongly 6103:Lebesgue 6088:Harmonic 6078:Gaussian 6063:Counting 6030:Spectral 6025:Singular 6015:s-finite 6010:σ-finite 5893:Discrete 5868:Complete 5825:Measures 5799:Null set 5687:function 5476:(1980). 5470:Reed, M. 5153:See also 3420:Suppose 3067:spectrum 1573:at most 1117:and its 832:for all 462:, where 362:for all 8037: ( 7979:Related 7931:Results 7907:Dunford 7897:Bochner 7863:Bochner 7837:Measure 7433:Unitary 7413:Nuclear 7398:Compact 7393:Bounded 7388:Adjoint 7362:Min–max 7255:Sobolev 7240:Nuclear 7230:Hilbert 7225:FrĂ©chet 7190: ( 6682:Unitary 6244:process 6239:measure 6234:element 6173:Bochner 6147:Trivial 6142:Tangent 6120:Product 5978:Regular 5956:)  5943:Perfect 5916:)  5881:)  5873:Content 5863:Complex 5804:Support 5777:-system 5666:Measure 5422:Bibcode 3702:Theorem 3549:) is a 3539:Theorem 2995:complex 2725:Hence, 2415:Theorem 1974:. Then 1791:, let 1716:Example 1610:measure 482:is the 155:complex 62:measure 8039:bundle 7867:Weakly 7856:Vector 7408:Normal 7245:Orlicz 7235:Hölder 7215:Banach 7204:Spaces 7192:topics 6666:Normal 6310:Jordan 6295:Vitali 6254:vector 6183:Weakly 6045:Vector 6020:Signed 5973:Random 5914:Quasi- 5903:Finite 5883:Convex 5843:Banach 5833:Atomic 5661:spaces 5646:  5583:  5573:  5539:  5529:  5503:  5484:  5460:  5450:  5432:  5398:  5379:  5361:  3837:  3781:where 3671:→ dim 3634:  3541:. If ( 3372:  3322:, let 2603:where 2082:, and 1760:σ 1684:and a 1185:kernel 358:is an 216:and a 94:. The 7760:Total 7220:Besov 6759:Point 6152:Young 6073:Euler 6068:Dirac 6040:Tight 5968:Radon 5938:Outer 5908:Inner 5858:Brown 5853:Borel 5848:Besov 5838:Baire 5341:arXiv 5270:(PDF) 5175:Notes 4566:is a 4390:, is 3405:Then 2990:be a 2763:is a 1756:be a 1708:is a 1688:when 1612:when 1569:with 1263:then 1216:. If 1183:and 1181:image 160:and 38:, a 7568:(or 7286:Dual 6690:Unit 6538:and 6416:For 6305:Hahn 6161:Maps 6083:Haar 5954:Sub- 5708:Atom 5696:Sets 5581:OCLC 5571:ISBN 5537:OCLC 5527:ISBN 5501:ISBN 5482:ISBN 5458:OCLC 5448:ISBN 5430:ISBN 5396:ISBN 5377:ISBN 5359:ISBN 4670:. 4274:and 4234:Let 4020:the 3886:and 3557:on ( 3440:. 3065:the 3036:and 2970:Let 1718:Let 1441:and 1337:and 1063:Let 1056:are 1020:and 911:and 506:the 486:and 427:and 259:. A 130:Let 86:for 42:(or 7674:in 5523:GTM 5351:doi 5110:. 4901:by 4821:If 4818:. 4570:on 4298:in 3925:dim 3687:is 3417:). 3069:of 2440:on 2406:on 2394:on 2330:If 1963:on 1471:on 1146:ker 572:in 513:If 306:on 239:on 114:or 30:In 8077:: 7869:/ 7865:/ 7194:– 5579:. 5554:, 5550:, 5535:. 5521:. 5472:; 5456:. 5428:, 5369:* 5357:. 5349:. 5243:^ 5149:. 4016:, 3583:∈ 3561:, 3545:, 3535:. 3531:∈ 3459:→ 3436:, 3428:, 3413:, 3318:∈ 3309:∈ 3291:, 3000:, 2901::= 2831:. 2767:. 2664::= 2338:, 2044:, 1712:. 1642::= 1527::= 1084:im 192:a 122:. 8041:) 7664:e 7657:t 7650:v 7572:) 7296:) 7292:/ 7288:( 7198:) 7180:e 7173:t 7166:v 7072:) 7068:( 6969:) 6965:( 6528:e 6521:t 6514:v 5952:( 5912:( 5877:( 5775:π 5685:/ 5659:L 5622:e 5615:t 5608:v 5587:. 5543:. 5509:. 5490:. 5464:. 5424:: 5404:. 5385:. 5367:. 5353:: 5343:: 5121:A 5098:X 5055:) 5049:( 5046:) 5040:i 5031:( 5023:i 5013:i 5005:= 5002:) 4996:( 4993:A 4967:, 4964:) 4958:( 4955:) 4949:( 4943:d 4933:R 4924:= 4921:) 4915:( 4912:A 4889:H 4869:A 4829:X 4779:X 4750:) 4747:E 4744:( 4726:E 4723:: 4720:) 4714:( 4705:P 4658:E 4618:E 4578:H 4554:) 4551:E 4548:( 4525:E 4502:. 4492:| 4488:) 4485:E 4482:( 4475:| 4465:= 4459:) 4453:( 4450:) 4447:E 4444:( 4429:= 4426:) 4423:E 4420:( 4417:) 4411:( 4402:P 4358:E 4338:1 4335:= 4306:H 4262:X 4242:E 4230:. 4190:3 4185:R 4160:X 4109:X 4062:H 4042:) 4039:H 4036:( 4032:P 4004:H 3984:X 3950:. 3947:} 3944:n 3941:= 3936:x 3932:H 3922:: 3919:X 3913:x 3910:{ 3907:= 3902:n 3898:X 3871:) 3868:x 3865:( 3862:) 3857:n 3853:X 3843:( 3840:d 3832:x 3828:H 3815:n 3811:X 3802:= 3797:n 3793:H 3766:) 3761:n 3757:H 3747:( 3736:n 3730:1 3722:= 3706:π 3696:n 3692:n 3685:π 3677:x 3673:H 3669:x 3652:. 3649:) 3646:x 3643:( 3637:d 3629:x 3625:H 3614:X 3595:E 3590:π 3585:X 3581:x 3578:} 3575:x 3571:H 3563:M 3559:X 3555:π 3547:M 3543:X 3533:M 3529:E 3511:U 3508:) 3505:E 3502:( 3490:U 3486:= 3483:) 3480:E 3477:( 3461:K 3457:H 3455:: 3453:U 3442:π 3438:K 3434:H 3430:M 3426:X 3422:π 3415:M 3411:X 3407:π 3390:. 3387:) 3384:x 3381:( 3375:d 3367:x 3363:H 3352:X 3333:E 3328:E 3326:( 3324:π 3320:M 3316:E 3311:X 3307:x 3304:} 3301:x 3297:H 3293:M 3289:X 3263:A 3220:, 3217:) 3211:( 3206:A 3198:d 3189:) 3186:A 3183:( 3172:= 3169:A 3146:) 3143:A 3140:( 3131:E 3106:A 3077:A 3053:) 3050:A 3047:( 3020:H 3014:H 3011:: 3008:A 2978:H 2944:. 2941:) 2938:x 2935:( 2929:d 2925:) 2922:x 2919:( 2916:g 2910:R 2898:) 2895:T 2892:( 2889:g 2865:C 2857:R 2853:: 2850:g 2819:H 2799:T 2779:f 2751:) 2745:, 2742:M 2739:, 2736:X 2733:( 2710:. 2707:M 2701:E 2694:, 2679:) 2676:E 2673:( 2661:) 2658:E 2655:( 2588:. 2585:H 2572:, 2569:) 2563:( 2550:d 2546:) 2540:( 2537:f 2532:X 2524:= 2509:T 2483:H 2477:H 2474:: 2471:T 2448:X 2428:f 2408:X 2396:X 2375:) 2372:E 2369:( 2358:E 2340:M 2336:X 2332:π 2310:x 2307:d 2303:) 2300:x 2297:( 2284:) 2281:x 2278:( 2272:) 2269:x 2266:( 2263:f 2258:1 2253:0 2245:= 2237:, 2226:d 2222:f 2217:E 2188:R 2180:R 2176:: 2173:f 2148:, 2120:) 2116:R 2112:( 2107:2 2103:L 2093:, 2070:) 2067:1 2064:, 2061:0 2058:( 2055:= 2052:E 2031:R 2027:= 2024:X 2002:E 1998:1 1994:= 1991:) 1988:E 1985:( 1972:) 1970:X 1968:( 1966:L 1949:E 1945:1 1918:, 1910:E 1906:1 1902:= 1896:) 1893:E 1890:( 1855:) 1852:X 1849:( 1844:2 1840:L 1833:) 1830:X 1827:( 1822:2 1818:L 1814:: 1811:) 1808:E 1805:( 1779:M 1773:E 1744:) 1738:, 1735:M 1732:, 1729:X 1726:( 1657:) 1654:E 1651:( 1639:) 1636:E 1633:( 1542:) 1539:E 1536:( 1524:) 1521:E 1518:( 1510:, 1479:H 1455:M 1449:E 1429:H 1420:, 1392:E 1388:V 1365:E 1361:I 1357:= 1354:) 1351:E 1348:( 1318:E 1314:V 1305:E 1301:V 1297:= 1294:H 1271:H 1251:H 1229:E 1225:V 1204:) 1201:E 1198:( 1167:) 1164:) 1161:E 1158:( 1152:( 1143:= 1133:E 1129:V 1105:) 1102:) 1099:E 1096:( 1090:( 1081:= 1076:E 1072:V 1044:) 1039:2 1035:E 1031:( 1008:) 1003:1 999:E 995:( 969:= 964:2 960:E 951:1 947:E 924:2 920:E 897:1 893:E 869:. 866:M 858:2 854:E 850:, 845:1 841:E 820:) 815:2 811:E 807:( 801:) 796:1 792:E 788:( 782:= 779:) 774:2 770:E 761:1 757:E 753:( 725:. 722:v 719:) 714:j 710:E 706:( 693:1 690:= 687:j 679:= 676:v 672:) 666:j 662:E 651:1 648:= 645:j 636:( 618:, 606:H 600:v 580:M 557:, 552:3 548:E 544:, 539:2 535:E 531:, 526:1 522:E 510:. 494:I 450:I 447:= 444:) 441:X 438:( 415:0 412:= 409:) 403:( 379:. 376:M 370:E 346:) 343:E 340:( 314:H 290:M 247:X 227:M 204:X 180:) 177:M 174:, 171:X 168:( 138:H 20:)

Index

Spectral measure
mathematics
functional analysis
self-adjoint
projections
Hilbert space
real-valued
measure
integrate
complex-valued functions
linear operator
spectral theory
spectral theorem
self-adjoint operators
spectral measure
Borel functional calculus
quantum mechanics
projective measurements
positive operator valued measures
mixed state
density matrix
pure state
separable
complex
Hilbert space
measurable space
Borel σ-algebra
bounded self-adjoint operators
orthogonal projection
empty set

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

↑