Knowledge

Min-max theorem

Source 📝

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

Index

Minimax theorem
variational principle

verification
improve this article
adding citations to reliable sources
"Min-max theorem"
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message
linear algebra
functional analysis
eigenvalues
compact
Hilbert spaces
singular values
self-adjoint operators
Hermitian matrix
Rayleigh–Ritz quotient
Euclidean inner product
singular values
Poincaré separation theorem
compression
orthogonal projection
compact
Hermitian
spectrum

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

↑