4694:
4135:
4689:{\displaystyle {\begin{alignedat}{4}\|\mathbf {u} +\mathbf {v} \|^{2}&=\langle \mathbf {u} +\mathbf {v} ,\mathbf {u} +\mathbf {v} \rangle &&\\&=\|\mathbf {u} \|^{2}+\langle \mathbf {u} ,\mathbf {v} \rangle +\langle \mathbf {v} ,\mathbf {u} \rangle +\|\mathbf {v} \|^{2}~&&~{\text{ where }}\langle \mathbf {v} ,\mathbf {u} \rangle ={\overline {\langle \mathbf {u} ,\mathbf {v} \rangle }}\\&=\|\mathbf {u} \|^{2}+2\operatorname {Re} \langle \mathbf {u} ,\mathbf {v} \rangle +\|\mathbf {v} \|^{2}&&\\&\leq \|\mathbf {u} \|^{2}+2|\langle \mathbf {u} ,\mathbf {v} \rangle |+\|\mathbf {v} \|^{2}&&\\&\leq \|\mathbf {u} \|^{2}+2\|\mathbf {u} \|\|\mathbf {v} \|+\|\mathbf {v} \|^{2}~&&~{\text{ using CS}}\\&=(\|\mathbf {u} \|+\|\mathbf {v} \|)^{2}.&&\end{alignedat}}}
9146:
8768:
8121:
9141:{\displaystyle {\begin{aligned}p(t)&=\langle t\alpha \mathbf {u} ,t\alpha \mathbf {u} \rangle +\langle t\alpha \mathbf {u} ,\mathbf {v} \rangle +\langle \mathbf {v} ,t\alpha \mathbf {u} \rangle +\langle \mathbf {v} ,\mathbf {v} \rangle \\&=t\alpha t{\overline {\alpha }}\langle \mathbf {u} ,\mathbf {u} \rangle +t\alpha \langle \mathbf {u} ,\mathbf {v} \rangle +t{\overline {\alpha }}\langle \mathbf {v} ,\mathbf {u} \rangle +\langle \mathbf {v} ,\mathbf {v} \rangle \\&=\lVert \mathbf {u} \rVert ^{2}t^{2}+2|\langle \mathbf {u} ,\mathbf {v} \rangle |t+\lVert \mathbf {v} \rVert ^{2}\end{aligned}}}
1300:
7716:
7504:
5659:
3628:
1141:
11625:
8116:{\displaystyle \|\mathbf {u} \|^{2}=\left|{\frac {\langle \mathbf {u} ,\mathbf {v} \rangle }{\langle \mathbf {v} ,\mathbf {v} \rangle }}\right|^{2}\|\mathbf {v} \|^{2}+\|\mathbf {z} \|^{2}={\frac {|\langle \mathbf {u} ,\mathbf {v} \rangle |^{2}}{(\|\mathbf {v} \|^{2})^{2}}}\,\|\mathbf {v} \|^{2}+\|\mathbf {z} \|^{2}={\frac {|\langle \mathbf {u} ,\mathbf {v} \rangle |^{2}}{\|\mathbf {v} \|^{2}}}+\|\mathbf {z} \|^{2}\geq {\frac {|\langle \mathbf {u} ,\mathbf {v} \rangle |^{2}}{\|\mathbf {v} \|^{2}}}.}
7297:
5288:
13927:
3248:
772:
11141:
7499:{\displaystyle \langle \mathbf {z} ,\mathbf {v} \rangle =\left\langle \mathbf {u} -{\frac {\langle \mathbf {u} ,\mathbf {v} \rangle }{\langle \mathbf {v} ,\mathbf {v} \rangle }}\mathbf {v} ,\mathbf {v} \right\rangle =\langle \mathbf {u} ,\mathbf {v} \rangle -{\frac {\langle \mathbf {u} ,\mathbf {v} \rangle }{\langle \mathbf {v} ,\mathbf {v} \rangle }}\langle \mathbf {v} ,\mathbf {v} \rangle =0.}
6774:
5654:{\displaystyle {\begin{aligned}|\operatorname {Cov} (X,Y)|^{2}&=|\operatorname {E} ((X-\mu )(Y-\nu ))|^{2}\\&=|\langle X-\mu ,Y-\nu \rangle |^{2}\\&\leq \langle X-\mu ,X-\mu \rangle \langle Y-\nu ,Y-\nu \rangle \\&=\operatorname {E} \left((X-\mu )^{2}\right)\operatorname {E} \left((Y-\nu )^{2}\right)\\&=\operatorname {Var} (X)\operatorname {Var} (Y),\end{aligned}}}
3623:{\displaystyle |\langle \mathbf {u} ,\mathbf {v} \rangle |^{2}=\left|\sum _{k=1}^{n}u_{k}{\bar {v}}_{k}\right|^{2}\leq \langle \mathbf {u} ,\mathbf {u} \rangle \langle \mathbf {v} ,\mathbf {v} \rangle =\left(\sum _{k=1}^{n}u_{k}{\bar {u}}_{k}\right)\left(\sum _{k=1}^{n}v_{k}{\bar {v}}_{k}\right)=\sum _{j=1}^{n}\left|u_{j}\right|^{2}\sum _{k=1}^{n}\left|v_{k}\right|^{2}.}
1136:{\displaystyle {\frac {\left(\displaystyle \sum _{i=1}^{n}u_{i}\right)^{2}}{\displaystyle \sum _{i=1}^{n}v_{i}}}\leq \sum _{i=1}^{n}{\frac {u_{i}^{2}}{v_{i}}}\quad {\text{ or equivalently, }}\quad {\frac {\left(u_{1}+u_{2}+\cdots +u_{n}\right)^{2}}{v_{1}+v_{2}+\cdots +v_{n}}}\leq {\frac {u_{1}^{2}}{v_{1}}}+{\frac {u_{2}^{2}}{v_{2}}}+\cdots +{\frac {u_{n}^{2}}{v_{n}}}.}
11620:{\displaystyle \left(\sum _{i=1}^{n}a_{i}b_{i}\right)^{2}~\leqslant ~\left(\sum _{i=1}^{n}a_{i}^{1+s}b_{i}^{1-s}\right)\left(\sum _{i=1}^{n}a_{i}^{1-s}b_{i}^{1+s}\right)~\leqslant ~\left(\sum _{i=1}^{n}a_{i}^{1+t}b_{i}^{1-t}\right)\left(\sum _{i=1}^{n}a_{i}^{1-t}b_{i}^{1+t}\right)~\leqslant ~\left(\sum _{i=1}^{n}a_{i}^{2}\right)\left(\sum _{i=1}^{n}b_{i}^{2}\right).}
3875:
6572:
2655:
259:
4103:
3635:
1590:
9354:
7290:
11083:
7711:
4880:
2265:
6941:
2808:
1939:
10370:
10163:
9631:
2420:
3239:
6260:
10955:
1663:
The form above is perhaps the easiest in which to understand the inequality, since the square of the cosine can be at most 1, which occurs when the vectors are in the same or opposite directions. It can also be restated in terms of the vector coordinates
6769:{\displaystyle |\langle \mathbf {u} ,\mathbf {v} \rangle |=|\langle c\mathbf {v} ,\mathbf {v} \rangle |=|c\langle \mathbf {v} ,\mathbf {v} \rangle |=|c|\|\mathbf {v} \|\|\mathbf {v} \|=\|c\mathbf {v} \|\|\mathbf {v} \|=\|\mathbf {u} \|\|\mathbf {v} \|}
5042:
8620:
3899:
6000:
8493:
6431:
1463:
10712:
5202:
479:
is always a non-negative real number (even if the inner product is complex-valued). By taking the square root of both sides of the above inequality, the Cauchy–Schwarz inequality can be written in its more familiar form in terms of the norm:
9242:
557:
164:
7208:
10959:
6152:
7632:
10591:
2390:
441:
4790:
4763:
2097:
6840:
9459:
9988:
3870:{\displaystyle \left|u_{1}{\bar {v}}_{1}+\cdots +u_{n}{\bar {v}}_{n}\right|^{2}\leq \left(\left|u_{1}\right|^{2}+\cdots +\left|u_{n}\right|^{2}\right)\left(\left|v_{1}\right|^{2}+\cdots +\left|v_{n}\right|^{2}\right).}
10509:
9522:
2666:
1775:
10050:
2997:
2933:
2869:
5100:
8682:
1235:
477:
10857:
9680:
5717:
There are many different proofs of the Cauchy–Schwarz inequality other than those given below. When consulting other sources, there are often two sources of confusion. First, some authors define
1458:
1400:
4958:
11137:
8773:
5293:
3105:
3051:
6309:
9861:
10257:
9527:
8414:
7203:
6182:
307:
3139:
5283:
5105:
1282:
8252:
7094:
6815:
6547:
6187:
5242:
8378:
7170:
7061:
2039:
1989:
767:
708:
8219:
8158:
5703:
5679:
8554:
5934:
3134:
2650:{\displaystyle \left(u_{1}x+v_{1}\right)^{2}+\cdots +\left(u_{n}x+v_{n}\right)^{2}=\left(\sum _{i}u_{i}^{2}\right)x^{2}+2\left(\sum _{i}u_{i}v_{i}\right)x+\sum _{i}v_{i}^{2}.}
2088:
1334:
1176:
9217:
8419:
6362:
8341:
8321:
7623:
5924:
5855:
5770:
2272:
389:
8296:
8274:
7598:
7572:
7550:
7528:
7031:
7009:
6987:
6965:
6514:
6492:
6460:
6357:
6335:
6074:
6052:
5899:
5877:
5826:
5804:
5745:
1658:
1636:
617:
595:
384:
151:
129:
13155:
10599:
8549:
4701:
9791:
10253:
9383:
254:{\displaystyle \left|\langle \mathbf {u} ,\mathbf {v} \rangle \right|^{2}\leq \langle \mathbf {u} ,\mathbf {u} \rangle \cdot \langle \mathbf {v} ,\mathbf {v} \rangle ,}
10826:
10788:
10732:
10411:
10195:
9917:
9881:
9811:
488:
8702:
8640:
8513:
4884:
The Cauchy–Schwarz inequality proves that this definition is sensible, by showing that the right-hand side lies in the interval and justifies the notion that (real)
1610:
4098:{\displaystyle \left|\int _{\mathbb {R} ^{n}}f(x){\overline {g(x)}}\,dx\right|^{2}\leq \int _{\mathbb {R} ^{n}}|f(x)|^{2}\,dx\int _{\mathbb {R} ^{n}}|g(x)|^{2}\,dx.}
10015:
9718:
8178:
1770:
1743:
1716:
1689:
346:
8763:
8734:
10852:
7120:
6086:
10218:
10045:
10752:
10434:
9237:
9186:
9166:
6835:
6567:
4949:
4929:
4140:
2416:
2269:
The Cauchy–Schwarz inequality can be proved using only elementary algebra in this case by observing that the difference of the right and the left hand side is
12614:
Liu, Shuangzhe; Trenkler, Götz; Kollo, Tõnu; von Rosen, Dietrich; Baksalary, Oskar Maria (2023). "Professor Heinz
Neudecker and matrix differential calculus".
12704:
11946:
Equality holds iff <c|c>=0 or |c>=0. From the definition of |c>, we conclude that |a> and |b> must be proportional.
1585:{\displaystyle \langle \mathbf {u} ,\mathbf {v} \rangle ^{2}=(\|\mathbf {u} \|\|\mathbf {v} \|\cos \theta )^{2}\leq \|\mathbf {u} \|^{2}\|\mathbf {v} \|^{2},}
10514:
12873:
9349:{\displaystyle \Delta =4\left(|\langle \mathbf {u} ,\mathbf {v} \rangle |^{2}-\Vert \mathbf {u} \Vert ^{2}\Vert \mathbf {v} \Vert ^{2}\right)\leqslant 0.}
13816:
13362:
12238:
7285:{\displaystyle \mathbf {z} :=\mathbf {u} -{\frac {\langle \mathbf {u} ,\mathbf {v} \rangle }{\langle \mathbf {v} ,\mathbf {v} \rangle }}\mathbf {v} .}
13379:
11078:{\displaystyle \Vert \varphi \left(a^{*}b\right)\Vert ^{2}\leq \Vert \varphi \left(a^{*}a\right)\Vert \cdot \Vert \varphi \left(b^{*}b\right)\Vert .}
9388:
7706:{\displaystyle \mathbf {u} ={\frac {\langle \mathbf {u} ,\mathbf {v} \rangle }{\langle \mathbf {v} ,\mathbf {v} \rangle }}\mathbf {v} +\mathbf {z} }
9922:
5049:
12715:
Cauchy, A.-L. (1821), "Sur les formules qui résultent de l'emploie du signe et sur > ou <, et sur les moyennes entre plusieurs quantités",
13652:
10439:
9464:
6266:
In both of the proofs given below, the proof in the trivial case where at least one of the vectors is zero (or equivalently, in the case where
12934:
4875:{\displaystyle \cos \theta _{\mathbf {u} \mathbf {v} }={\frac {\langle \mathbf {u} ,\mathbf {v} \rangle }{\|\mathbf {u} \|\|\mathbf {v} \|}}.}
13479:
7130:
Consequently, the Cauchy–Schwarz inequality only needs to be proven only for non-zero vectors and also only the non-trivial direction of the
2260:{\displaystyle \left(\sum _{i=1}^{n}u_{i}v_{i}\right)^{2}\leq \left(\sum _{i=1}^{n}u_{i}^{2}\right)\left(\sum _{i=1}^{n}v_{i}^{2}\right).}
6936:{\displaystyle |\langle \mathbf {u} ,\mathbf {v} \rangle |=|\langle \mathbf {v} ,\mathbf {u} \rangle |=\|\mathbf {v} \|\|\mathbf {u} \|.}
5722:
13642:
6311:) is the same. It is presented immediately below only once to reduce repetition. It also includes the easy part of the proof of the
14070:
13769:
13624:
13179:
2938:
2874:
2829:
13963:
13600:
8645:
11766:
11796:
446:
2803:{\displaystyle \left(\sum _{i}u_{i}v_{i}\right)^{2}-\left(\sum _{i}{u_{i}^{2}}\right)\left(\sum _{i}{v_{i}^{2}}\right)\leq 0.}
12786:
12224:
11969:
9636:
1934:{\displaystyle \left(u_{1}v_{1}+u_{2}v_{2}\right)^{2}\leq \left(u_{1}^{2}+u_{2}^{2}\right)\left(v_{1}^{2}+v_{2}^{2}\right),}
1405:
1347:
1181:
14212:
13311:
12962:
11101:
3056:
3002:
12724:
11088:
Another generalization is a refinement obtained by interpolating between both sides of the Cauchy–Schwarz inequality:
10365:{\displaystyle \left|\varphi \left(b^{*}a\right)\right|^{2}\leq \varphi \left(b^{*}b\right)\varphi \left(a^{*}a\right).}
10158:{\displaystyle \left|\varphi \left(g^{*}f\right)\right|^{2}\leq \varphi \left(f^{*}f\right)\varphi \left(g^{*}g\right),}
6269:
13492:
13237:
11857:
11829:
9720:
norms. More generally, it can be interpreted as a special case of the definition of the norm of a linear operator on a
9626:{\displaystyle p(t_{0})=\langle t_{0}\alpha \mathbf {u} +\mathbf {v} ,t_{0}\alpha \mathbf {u} +\mathbf {v} \rangle =0,}
13374:
9816:
14087:
13581:
13472:
13293:
12913:
12469:
12423:
Kadison, Richard V. (1952-01-01). "A Generalized
Schwarz Inequality and Algebraic Invariants for Operator Algebras".
12407:
12380:
12353:
12326:
12274:
12188:
12161:
12134:
12107:
12080:
12053:
12026:
11999:
11939:
11914:
11887:
3234:{\displaystyle \langle \mathbf {u} ,\mathbf {v} \rangle :=u_{1}{\overline {v_{1}}}+\cdots +u_{n}{\overline {v_{n}}},}
12903:
12689:
11836:...there is no doubt that this is one of the most widely used and most important inequalities in all of mathematics.
11819:
8383:
7175:
13851:
6255:{\displaystyle \mathbf {u} ={\frac {\langle \mathbf {u} ,\mathbf {v} \rangle }{\|\mathbf {v} \|^{2}}}\mathbf {v} .}
6157:
280:
43:
13496:
5247:
4899:, by taking the absolute value or the real part of the right-hand side, as is done when extracting a metric from
12858:
12579:
Liu, Shuangzhe; Neudecker, Heinz (1999). "A survey of Cauchy-Schwarz and
Kantorovich-type matrix inequalities".
10950:{\displaystyle \varphi (a)^{*}\varphi (a)\leq \Vert \varphi (1)\Vert \varphi \left(a^{*}a\right),{\text{ and }}}
8224:
7066:
6787:
6519:
5209:
14207:
14187:
13273:
13253:
12685:
12299:
11673:
8353:
7145:
7036:
86:
17:
7626:
1994:
1944:
713:
654:
13647:
13369:
13303:
13207:
12895:
12774:
12205:
11752:
11742:
5037:{\displaystyle \operatorname {Var} (X)\geq {\frac {\operatorname {Cov} (X,Y)^{2}}{\operatorname {Var} (Y)}}.}
8615:{\displaystyle \alpha \langle \mathbf {u} ,\mathbf {v} \rangle =|\langle \mathbf {u} ,\mathbf {v} \rangle |}
8183:
1240:
14102:
14040:
13930:
13703:
13637:
13465:
12518:
11688:
5995:{\displaystyle \left|\langle \mathbf {u} ,\mathbf {v} \rangle \right|\leq \|\mathbf {u} \|\|\mathbf {v} \|}
644:
8128:
5688:
5664:
13956:
13667:
13357:
13227:
12890:
11747:
8488:{\displaystyle p(t)=\langle t\alpha \mathbf {u} +\mathbf {v} ,t\alpha \mathbf {u} +\mathbf {v} \rangle }
6426:{\displaystyle \left|\langle \mathbf {u} ,\mathbf {v} \rangle \right|=\|\mathbf {u} \|\|\mathbf {v} \|.}
14143:
14056:
13912:
13866:
13790:
13672:
13321:
13263:
13120:
12885:
9748:
5046:
After defining an inner product on the set of random variables using the expectation of their product,
4900:
3110:
2064:
1310:
1152:
13907:
13723:
13326:
13258:
9191:
636:
14097:
13278:
11656:
11631:
10707:{\displaystyle \varphi \left(a^{*}a\right)\cdot 1\geq \varphi (a)^{*}\varphi (a)=|\varphi (a)|^{2},}
9690:
5197:{\displaystyle |\operatorname {E} (XY)|^{2}\leq \operatorname {E} (X^{2})\operatorname {E} (Y^{2}).}
4783:
The Cauchy–Schwarz inequality allows one to extend the notion of "angle between two vectors" to any
14202:
14163:
14092:
13759:
13657:
13560:
13352:
13331:
13268:
12464:. Cambridge Studies in Advanced Mathematics. Vol. 78. Cambridge University Press. p. 40.
11722:
8326:
8301:
7603:
5904:
5835:
5750:
51:
8279:
8257:
7581:
7555:
7533:
7511:
7014:
6992:
6970:
6948:
6497:
6475:
6443:
6340:
6318:
6057:
6035:
5882:
5860:
5809:
5787:
5728:
1641:
1619:
1284:. This form is especially helpful when the inequality involves fractions where the numerator is a
600:
578:
367:
318:
267:
134:
112:
14197:
13856:
13632:
13133:
12955:
8518:
552:{\displaystyle |\langle \mathbf {u} ,\mathbf {v} \rangle |\leq \|\mathbf {u} \|\|\mathbf {v} \|.}
9754:
14061:
14030:
13949:
13887:
13831:
13795:
13283:
13212:
13105:
13085:
11668:
11662:
11650:
11638:
10223:
9362:
3893:
1299:
10811:
10757:
10717:
10396:
10180:
9886:
9866:
9796:
356:
14192:
14112:
14066:
14009:
13594:
13110:
13002:
12935:
Example of application of Cauchy–Schwarz inequality to determine
Linearly Independent Vectors
12459:
11717:
8687:
8625:
8498:
1595:
78:
13590:
12534:
Moslehian, M.S.; Matharu, J.S.; Aujla, J.S. (2011). "Non-commutative
Callebaut inequality".
11976:
This inequality is an equality if and only if one of u, v is a scalar multiple of the other.
6147:{\displaystyle |\langle \mathbf {u} ,\mathbf {v} \rangle |=\|\mathbf {u} \|\|\mathbf {v} \|}
13995:
13870:
13288:
13174:
13059:
12807:(1952), "A generalized Schwarz inequality and algebraic invariants for operator algebras",
11678:
9993:
9696:
8163:
2395:
1748:
1721:
1694:
1667:
324:
13457:
12930:
Earliest Uses: The entry on the Cauchy–Schwarz inequality has some historical information.
8739:
8710:
7122:), so the above computation shows that the Cauchy-Schwarz inequality holds in this case.
4108:
565:
8:
13991:
13836:
13774:
13488:
13444:
13232:
13115:
13054:
13023:
12778:
12766:
11634:. There are also non-commutative versions for operators and tensor products of matrices.
10831:
7099:
6077:
5829:
4896:
4768:
4129:
4125:
620:
154:
39:
11821:
The Cauchy–Schwarz Master Class: an
Introduction to the Art of Mathematical Inequalities
10200:
10027:
640:
13861:
13728:
13414:
13316:
13222:
13169:
13095:
13028:
12948:
12859:"Über ein Flächen kleinsten Flächeninhalts betreffendes Problem der Variationsrechnung"
12824:
12804:
12674:
12631:
12596:
12561:
12543:
12440:
10737:
10419:
9793:
being a finite measure, the standard inner product gives rise to a positive functional
9222:
9171:
9151:
6820:
6552:
4934:
4914:
2401:
348:
47:
10586:{\displaystyle \varphi \left(a^{*}a\right)\geq \varphi (a)\varphi \left(a^{*}\right).}
2385:{\displaystyle {\frac {1}{2}}\sum _{i,j=1,\ldots ,n}(u_{i}v_{j}-u_{j}v_{i})^{2}\geq 0}
436:{\displaystyle \|\mathbf {u} \|:={\sqrt {\langle \mathbf {u} ,\mathbf {u} \rangle }},}
14117:
14014:
13986:
13841:
13202:
12909:
12792:
12782:
12678:
12635:
12600:
12565:
12503:
12486:
12465:
12403:
12376:
12349:
12322:
12295:
12270:
12230:
12220:
12184:
12157:
12130:
12103:
12076:
12049:
12022:
11995:
11965:
11935:
11910:
11883:
11853:
11825:
11785:
10021:
10018:
7575:
3889:
3242:
8323:
The converse was proved at the beginning of this section, so the proof is complete.
4758:{\displaystyle \|\mathbf {u} +\mathbf {v} \|\leq \|\mathbf {u} \|+\|\mathbf {v} \|.}
2659:
Since the latter polynomial is nonnegative, it has at most one real root, hence its
14127:
14004:
13846:
13764:
13733:
13713:
13698:
13693:
13688:
13404:
13343:
13164:
13064:
13019:
13007:
12816:
12753:
12666:
12623:
12588:
12553:
12498:
12432:
9733:
1145:
It is a direct consequence of the Cauchy–Schwarz inequality, obtained by using the
13525:
14107:
13708:
13662:
13610:
13605:
13576:
12744:
Grinshpan, A. Z. (2005), "General inequalities, consequences, and applications",
12654:
12397:
12370:
12343:
12316:
12264:
12178:
12151:
12124:
12097:
12070:
12043:
12016:
11989:
11959:
11904:
11877:
10414:
10385:
9729:
6516:
are linearly dependent if and only if one is a scalar multiple of the other. If
4952:
4893:
4889:
2059:
1337:
94:
62:
13535:
13897:
13749:
13550:
13217:
13033:
12717:
Cours d'Analyse, 1er Partie: Analyse Algébrique 1821; OEuvres Ser.2 III 373-377
12627:
7294:
It follows from the linearity of the inner product in its first argument that:
6030:
648:
66:
12758:
12557:
9454:{\displaystyle p(t)=(t\Vert \mathbf {u} \Vert +\Vert \mathbf {v} \Vert )^{2}.}
14181:
14000:
13972:
13902:
13826:
13555:
13540:
13530:
13429:
13424:
13409:
13399:
13100:
13014:
12989:
12736:
12402:. Springer Monographs in Mathematics. Springer Science & Business Media.
12234:
9725:
5725:
rather than the first. Second, some proofs are only valid when the field is
4885:
1285:
310:
74:
12837:
9983:{\displaystyle \langle f,g\rangle _{\varphi }:=\varphi \left(g^{*}f\right),}
5206:
To prove the covariance inequality using the Cauchy–Schwarz inequality, let
13892:
13545:
13515:
13186:
12985:
12796:
12670:
9721:
9239:
does not change, the discriminant of this polynomial must be non-positive:
4784:
4767:
The Cauchy–Schwarz inequality is used to prove that the inner product is a
2660:
12690:"Sur quelques inegalités concernant les intégrales aux différences finies"
10504:{\displaystyle \varphi (a^{*}a)\geq \varphi \left(a^{*}\right)\varphi (a)}
14122:
13821:
13811:
13718:
13520:
9517:{\displaystyle t_{0}=-\Vert \mathbf {v} \Vert /\Vert \mathbf {u} \Vert ,}
2091:
1341:
1146:
314:
13754:
13586:
13439:
13130:
12828:
12592:
12444:
9741:
9737:
5706:
58:
11903:
Bachmann, George; Narici, Lawrence; Beckenstein, Edward (2012-12-06).
13434:
13419:
12655:"Advances in Operator Cauchy—Schwarz inequalities and their reverses"
4132:
is a consequence of the Cauchy–Schwarz inequality, as is now shown:
12820:
12436:
3245:), then the inequality may be restated more explicitly as follows:
13074:
13043:
12994:
12971:
12929:
12725:"A survey on Cauchy–Bunyakovsky–Schwarz type discrete inequalities"
7131:
6463:
6312:
5682:
4772:
70:
12548:
11852:(4th ed.). Stamford, CT: Cengage Learning. pp. 154–155.
10172:
Cauchy–Schwarz inequality for positive functionals on C*-algebras
13941:
1303:
Cauchy-Schwarz inequality in a unit circle of the
Euclidean plane
10375:
The next two theorems are further examples in operator algebra.
9689:
Various generalizations of the Cauchy–Schwarz inequality exist.
46:
in an inner product space in terms of the product of the vector
11691: – inequality applying to finite variance random variables
10167:
which extends verbatim to positive functionals on C*-algebras:
85:). The corresponding inequality for integrals was published by
12578:
11932:
Mathematical
Physics: A Modern Introduction to Its Foundations
1336:
denotes the 2-dimensional plane. It is also the 2-dimensional
12653:
Aldaz, J. M.; Barza, S.; Fujii, M.; Moslehian, M. S. (2015),
12345:
An
Introduction to the Classification of Amenable C*-algebras
11637:
Several matrix versions of the Cauchy–Schwarz inequality and
9219:
which is a case that was checked earlier). Since the sign of
2992:{\displaystyle \mathbf {v} =\left(v_{1},\ldots ,v_{n}\right)}
2928:{\displaystyle \mathbf {u} =\left(u_{1},\ldots ,u_{n}\right)}
2864:{\displaystyle \mathbf {u} ,\mathbf {v} \in \mathbb {C} ^{n}}
1613:
50:. It is considered one of the most important and widely used
12940:
8765:
can be expanded using the bilinearity of the inner product:
8160:
and then taking the square root. Moreover, if the relation
5095:{\displaystyle \langle X,Y\rangle :=\operatorname {E} (XY),}
631:
13487:
8677:{\displaystyle \langle \mathbf {u} ,\mathbf {v} \rangle =0}
313:. Examples of inner products include the real and complex
109:
The Cauchy–Schwarz inequality states that for all vectors
101:). Schwarz gave the modern proof of the integral version.
12613:
12263:
Aliprantis, Charalambos D.; Border, Kim C. (2007-05-02).
11902:
8276:
then establishes a relation of linear dependence between
651:'s lemma (or the T2 lemma), states that for real numbers
472:{\displaystyle \langle \mathbf {u} ,\mathbf {u} \rangle }
27:
Mathematical inequality relating inner products and norms
12652:
10047:
In this language, the Cauchy–Schwarz inequality becomes
8736:
only takes non-negative real values. On the other hand,
8125:
The Cauchy–Schwarz inequality follows by multiplying by
5774:
This section gives two proofs of the following theorem:
12729:
12099:
Linear Algebra: An Introduction to Abstract Mathematics
9675:{\displaystyle \mathbf {v} =-t_{0}\alpha \mathbf {u} .}
12102:. Springer Science & Business Media. p. 146.
11824:. The Mathematical Association of America. p. 1.
8180:
in the above expression is actually an equality, then
13136:
12533:
12375:. Springer Science & Business Media. p. 28.
12183:. Springer Science & Business Media. p. 71.
11909:. Springer Science & Business Media. p. 14.
11144:
11104:
10962:
10860:
10834:
10814:
10760:
10740:
10720:
10602:
10517:
10442:
10422:
10399:
10260:
10226:
10203:
10183:
10053:
10030:
9996:
9925:
9889:
9869:
9819:
9799:
9757:
9699:
9639:
9530:
9467:
9391:
9365:
9245:
9225:
9194:
9174:
9154:
8771:
8742:
8713:
8690:
8648:
8628:
8557:
8521:
8501:
8422:
8386:
8356:
8329:
8304:
8282:
8260:
8227:
8186:
8166:
8131:
7719:
7635:
7606:
7584:
7558:
7536:
7514:
7300:
7211:
7178:
7148:
7102:
7069:
7039:
7017:
6995:
6973:
6951:
6843:
6823:
6790:
6575:
6555:
6522:
6500:
6478:
6446:
6365:
6343:
6321:
6272:
6190:
6160:
6089:
6060:
6038:
5937:
5907:
5885:
5863:
5838:
5812:
5790:
5753:
5731:
5691:
5667:
5291:
5250:
5212:
5108:
5052:
4961:
4937:
4917:
4793:
4704:
4138:
3902:
3638:
3251:
3142:
3113:
3059:
3005:
2941:
2877:
2832:
2669:
2423:
2404:
2275:
2100:
2067:
1997:
1947:
1778:
1751:
1724:
1697:
1670:
1644:
1622:
1598:
1466:
1453:{\displaystyle \mathbf {v} =\left(v_{1},v_{2}\right)}
1408:
1395:{\displaystyle \mathbf {u} =\left(u_{1},u_{2}\right)}
1350:
1313:
1243:
1230:{\displaystyle u_{i}'={\frac {u_{i}}{\sqrt {v_{i}}}}}
1184:
1155:
826:
783:
775:
716:
657:
603:
581:
491:
449:
392:
370:
327:
283:
167:
137:
115:
11736:
11734:
11693:
Pages displaying wikidata descriptions as a fallback
7137:
7033:
are necessarily linearly dependent (for example, if
2044:
12266:
Infinite Dimensional Analysis: A Hitchhiker's Guide
11132:{\displaystyle 0\leqslant s\leqslant t\leqslant 1,}
6780:
6440:Proof of the trivial parts: Case where a vector is
6026:
6008:
4698:Taking square roots gives the triangle inequality:
3136:is the canonical complex inner product (defined by
3100:{\displaystyle v_{1},\ldots ,v_{n}\in \mathbb {C} }
3046:{\displaystyle u_{1},\ldots ,u_{n}\in \mathbb {C} }
1991:is in the same or opposite direction as the vector
13817:Spectral theory of ordinary differential equations
13149:
12315:Faria, Edson de; Melo, Welington de (2010-08-12).
11964:. Springer International Publishing. p. 172.
11875:
11791:. Department of Mathematics and Computer Science.
11619:
11131:
11077:
10949:
10846:
10820:
10782:
10746:
10726:
10706:
10585:
10503:
10428:
10405:
10364:
10247:
10212:
10189:
10157:
10039:
10009:
9982:
9911:
9875:
9855:
9805:
9785:
9736:, where the domain and/or range are replaced by a
9728:). Further generalizations are in the context of
9712:
9674:
9625:
9516:
9453:
9377:
9348:
9231:
9211:
9180:
9160:
9140:
8757:
8728:
8696:
8676:
8634:
8614:
8543:
8507:
8487:
8408:
8372:
8335:
8315:
8290:
8268:
8246:
8213:
8172:
8152:
8115:
7705:
7617:
7592:
7566:
7544:
7522:
7498:
7284:
7197:
7172:was proven above so it is henceforth assumed that
7164:
7114:
7088:
7055:
7025:
7003:
6981:
6959:
6935:
6829:
6809:
6768:
6561:
6541:
6508:
6486:
6454:
6425:
6351:
6329:
6304:{\displaystyle \|\mathbf {u} \|\|\mathbf {v} \|=0}
6303:
6254:
6176:
6146:
6068:
6046:
5994:
5918:
5893:
5871:
5849:
5820:
5798:
5764:
5739:
5697:
5673:
5653:
5277:
5236:
5196:
5094:
5036:
4943:
4923:
4874:
4757:
4688:
4097:
3869:
3622:
3233:
3128:
3099:
3045:
2991:
2927:
2863:
2812:
2802:
2649:
2410:
2384:
2259:
2082:
2033:
1983:
1933:
1764:
1737:
1710:
1683:
1652:
1630:
1604:
1584:
1452:
1394:
1328:
1276:
1229:
1170:
1135:
761:
702:
611:
589:
551:
471:
435:
378:
340:
301:
253:
145:
123:
12487:"Generalization of the Cauchy–Schwarz inequality"
12206:"Various proofs of the Cauchy-Schwarz inequality"
12072:Linear Algebra and Matrix Analysis for Statistics
11731:
11715:
11659: – Inequality between integrals in Lp spaces
10803:(Modified Schwarz inequality for 2-positive maps)
8345:
575:Moreover, the two sides are equal if and only if
14179:
12262:
12180:Theoretical Statistics: Topics for a Core Course
11988:Bachman, George; Narici, Lawrence (2012-09-26).
10197:is a positive linear functional on a C*-algebra
9856:{\displaystyle \varphi (g)=\langle g,1\rangle .}
321:. Every inner product gives rise to a Euclidean
3107:) and if the inner product on the vector space
1941:where equality holds if and only if the vector
12069:Banerjee, Sudipto; Roy, Anindya (2014-06-06).
8707:Since the inner product is positive-definite,
8409:{\displaystyle p:\mathbb {R} \to \mathbb {R} }
7198:{\displaystyle \mathbf {v} \neq \mathbf {0} .}
4955:. Then the covariance inequality is given by:
2090:with the standard inner product, which is the
104:
13957:
13473:
12956:
12849:Completely Bounded Maps and Operator Algebras
12461:Completely Bounded Maps and Operator Algebras
11987:
11876:Hunter, John K.; Nachtergaele, Bruno (2001).
9863:Conversely, every positive linear functional
6177:{\displaystyle \mathbf {v} \neq \mathbf {0} }
302:{\displaystyle \langle \cdot ,\cdot \rangle }
12318:Mathematical Aspects of Quantum Field Theory
12149:
11069:
11040:
11034:
11005:
10993:
10963:
10910:
10895:
9939:
9926:
9847:
9835:
9611:
9553:
9508:
9500:
9492:
9484:
9435:
9427:
9421:
9413:
9326:
9317:
9308:
9299:
9281:
9265:
9125:
9116:
9102:
9086:
9056:
9047:
9034:
9018:
9012:
8996:
8977:
8961:
8949:
8933:
8901:
8885:
8879:
8857:
8851:
8829:
8823:
8795:
8665:
8649:
8604:
8588:
8577:
8561:
8482:
8438:
8196:
8187:
8141:
8132:
8098:
8089:
8072:
8056:
8036:
8027:
8012:
8003:
7986:
7970:
7950:
7941:
7929:
7920:
7897:
7888:
7868:
7852:
7832:
7823:
7811:
7802:
7786:
7770:
7765:
7749:
7729:
7720:
7684:
7668:
7663:
7647:
7487:
7471:
7465:
7449:
7444:
7428:
7419:
7403:
7376:
7360:
7355:
7339:
7317:
7301:
7268:
7252:
7247:
7231:
6927:
6919:
6916:
6908:
6897:
6881:
6865:
6849:
6763:
6755:
6752:
6744:
6738:
6730:
6727:
6716:
6710:
6702:
6699:
6691:
6667:
6651:
6632:
6613:
6597:
6581:
6417:
6409:
6406:
6398:
6387:
6371:
6292:
6284:
6281:
6273:
6232:
6223:
6218:
6202:
6141:
6133:
6130:
6122:
6111:
6095:
5989:
5981:
5978:
5970:
5959:
5943:
5515:
5491:
5488:
5464:
5439:
5415:
5065:
5053:
4892:. It can also be used to define an angle in
4863:
4855:
4852:
4844:
4839:
4823:
4749:
4741:
4735:
4727:
4721:
4705:
4664:
4656:
4650:
4642:
4606:
4597:
4591:
4583:
4580:
4572:
4557:
4548:
4527:
4518:
4507:
4491:
4471:
4462:
4441:
4432:
4426:
4410:
4389:
4380:
4361:
4345:
4336:
4320:
4297:
4288:
4282:
4266:
4260:
4244:
4232:
4223:
4208:
4176:
4160:
4143:
3396:
3380:
3377:
3361:
3273:
3257:
3159:
3143:
1570:
1561:
1552:
1543:
1518:
1510:
1507:
1499:
1484:
1467:
1460:then the Cauchy–Schwarz inequality becomes:
543:
535:
532:
524:
513:
497:
466:
450:
425:
409:
401:
393:
296:
284:
245:
229:
223:
207:
190:
174:
77:). The inequality for sums was published by
12883:
12684:
12321:. Cambridge University Press. p. 273.
12068:
5278:{\displaystyle \nu =\operatorname {E} (Y),}
90:
13964:
13950:
13480:
13466:
13380:Vitale's random Brunn–Minkowski inequality
12963:
12949:
12129:. Cambridge University Press. p. 74.
12122:
11740:
8247:{\displaystyle \mathbf {z} =\mathbf {0} ;}
7089:{\displaystyle \mathbf {u} =c\mathbf {v} }
6810:{\displaystyle \mathbf {v} =c\mathbf {u} }
6542:{\displaystyle \mathbf {u} =c\mathbf {v} }
5237:{\displaystyle \mu =\operatorname {E} (X)}
12777:. Vol. 19 (2nd ed.). New York:
12757:
12743:
12547:
12502:
12484:
12399:Positive Linear Maps of Operator Algebras
12314:
12269:. Springer Science & Business Media.
11641:are applied to linear regression models.
10413:is a unital positive map, then for every
9747:An inner product can be used to define a
9732:, e.g. for operator-convex functions and
8402:
8394:
8373:{\displaystyle \mathbf {u} ,\mathbf {v} }
7919:
7165:{\displaystyle \mathbf {v} =\mathbf {0} }
7056:{\displaystyle \mathbf {u} =\mathbf {0} }
5909:
5887:
5865:
5840:
5755:
5733:
4085:
4044:
4030:
3989:
3961:
3916:
3116:
3093:
3039:
2851:
2094:, the Cauchy–Schwarz inequality becomes:
2070:
1316:
1158:
632:Sedrakyan's lemma - Positive real numbers
13770:Group algebra of a locally compact group
12835:
12722:
12018:Measure, Integration and Function Spaces
11813:
11811:
11809:
11653: – Theorem on orthonormal sequences
9919:can be used to define an inner product
6315:given above; that is, it proves that if
2663:is less than or equal to zero. That is,
2041:, or if one of them is the zero vector.
2034:{\displaystyle \left(v_{1},v_{2}\right)}
1984:{\displaystyle \left(u_{1},u_{2}\right)}
1298:
762:{\displaystyle v_{1},v_{2},\dots ,v_{n}}
703:{\displaystyle u_{1},u_{2},\dots ,u_{n}}
61:(via finite-dimensional vector spaces),
12856:
12846:
12803:
12457:
12422:
12395:
12368:
12294:(3rd ed.). New York: McGraw-Hill.
12095:
12045:A Modern Introduction to Linear Algebra
12041:
11929:
11848:Strang, Gilbert (19 July 2005). "3.2".
11767:"Cauchy-Bunyakovsky-Schwarz inequality"
6778:which shows that equality holds in the
98:
57:Inner products of vectors can describe
14:
14180:
12901:
12765:
12714:
12204:Wu, Hui-Hua; Wu, Shanhe (April 2009).
12176:
12014:
11847:
11841:
11817:
10734:is a linear functional. The case when
8350:Consider an arbitrary pair of vectors
8214:{\displaystyle \|\mathbf {z} \|^{2}=0}
5102:the Cauchy–Schwarz inequality becomes
1277:{\displaystyle v_{i}'={\sqrt {v_{i}}}}
82:
13945:
13461:
12944:
12289:
12153:Probability and Statistical Inference
11957:
11806:
9751:. For example, given a Hilbert space
7530:is a vector orthogonal to the vector
4906:
4775:induced by the inner product itself.
36:Cauchy–Bunyakovsky–Schwarz inequality
13393:Applications & related
12866:Acta Societatis Scientiarum Fennicae
12203:
11994:. Courier Corporation. p. 141.
11871:
11869:
11681: – Inequality that established
8153:{\displaystyle \|\mathbf {v} \|^{2}}
5928:
5698:{\displaystyle \operatorname {Cov} }
5674:{\displaystyle \operatorname {Var} }
482:
158:
13312:Marcinkiewicz interpolation theorem
12536:Linear Algebra and Its Applications
12341:
11850:Linear Algebra and its Applications
11665: – Theorem of convex functions
9359:For the equality case, notice that
3241:where the bar notation is used for
24:
13971:
13238:Symmetric decreasing rearrangement
13142:
12150:Mukhopadhyay, Nitis (2000-03-22).
12126:Fourier Analysis with Applications
11764:
9684:
9366:
9246:
6945:In particular, if at least one of
5566:
5528:
5346:
5257:
5219:
5169:
5147:
5114:
5071:
4888:are simply generalizations of the
3896:, the following inequality holds.
25:
14224:
14088:Compact operator on Hilbert space
12937:Tutorial and Interactive program.
12923:
12123:Constantin, Adrian (2016-05-21).
12096:Valenza, Robert J. (2012-12-06).
12021:. World Scientific. p. 236.
11961:Linear Algebra Done Right, 3rd Ed
11866:
11783:
11630:This theorem can be deduced from
7138:Proof via the Pythagorean theorem
4787:inner-product space by defining:
1291:
13926:
13925:
13852:Topological quantum field theory
12348:. World Scientific. p. 27.
12177:Keener, Robert W. (2010-09-08).
11802:from the original on 2022-10-09.
11716:O'Connor, J.J.; Robertson, E.F.
9665:
9641:
9607:
9599:
9578:
9570:
9504:
9488:
9431:
9417:
9321:
9303:
9277:
9269:
9196:
9120:
9098:
9090:
9051:
9030:
9022:
9008:
9000:
8973:
8965:
8945:
8937:
8897:
8889:
8875:
8861:
8847:
8839:
8819:
8805:
8661:
8653:
8600:
8592:
8573:
8565:
8478:
8470:
8456:
8448:
8366:
8358:
8306:
8284:
8262:
8237:
8229:
8191:
8136:
8093:
8068:
8060:
8031:
8007:
7982:
7974:
7945:
7924:
7892:
7864:
7856:
7827:
7806:
7782:
7774:
7761:
7753:
7724:
7699:
7691:
7680:
7672:
7659:
7651:
7637:
7608:
7586:
7560:
7538:
7516:
7483:
7475:
7461:
7453:
7440:
7432:
7415:
7407:
7391:
7383:
7372:
7364:
7351:
7343:
7329:
7313:
7305:
7275:
7264:
7256:
7243:
7235:
7221:
7213:
7188:
7180:
7158:
7150:
7082:
7071:
7049:
7041:
7019:
6997:
6975:
6953:
6923:
6912:
6893:
6885:
6861:
6853:
6837:follows from the previous case:
6803:
6792:
6759:
6748:
6734:
6723:
6706:
6695:
6663:
6655:
6628:
6620:
6593:
6585:
6535:
6524:
6502:
6480:
6448:
6413:
6402:
6383:
6375:
6345:
6323:
6288:
6277:
6245:
6227:
6214:
6206:
6192:
6170:
6162:
6137:
6126:
6107:
6099:
6062:
6040:
5985:
5974:
5955:
5947:
5814:
5792:
4859:
4848:
4835:
4827:
4811:
4806:
4745:
4731:
4717:
4709:
4660:
4646:
4601:
4587:
4576:
4552:
4522:
4503:
4495:
4466:
4436:
4422:
4414:
4384:
4357:
4349:
4332:
4324:
4292:
4278:
4270:
4256:
4248:
4227:
4204:
4196:
4188:
4180:
4155:
4147:
3392:
3384:
3373:
3365:
3269:
3261:
3155:
3147:
3129:{\displaystyle \mathbb {C} ^{n}}
2943:
2879:
2842:
2834:
2394:or by considering the following
2083:{\displaystyle \mathbb {R} ^{n}}
1646:
1624:
1565:
1547:
1514:
1503:
1479:
1471:
1410:
1352:
1329:{\displaystyle \mathbb {R} ^{2}}
1171:{\displaystyle \mathbb {R} ^{n}}
626:
605:
583:
539:
528:
509:
501:
462:
454:
421:
413:
397:
372:
241:
233:
219:
211:
186:
178:
139:
117:
12905:The Cauchy–Schwarz Master Class
12879:from the original on 2022-10-09
12746:Advances in Applied Mathematics
12710:from the original on 2022-10-09
12697:Mem. Acad. Sci. St. Petersbourg
12607:
12572:
12527:
12511:
12478:
12451:
12416:
12389:
12362:
12335:
12308:
12283:
12256:
12244:from the original on 2022-10-09
12197:
12170:
12143:
12116:
12089:
12062:
12035:
12008:
11981:
11951:
11685:spaces are normed vector spaces
9212:{\displaystyle \mathbf {u} =0,}
8515:is a complex number satisfying
4114:
3888:For the inner product space of
1340:where the inner product is the
920:
914:
12908:, Cambridge University Press,
12396:Størmer, Erling (2012-12-13).
12015:Swartz, Charles (1994-02-21).
11923:
11896:
11777:
11758:
11709:
10907:
10901:
10889:
10883:
10871:
10864:
10691:
10686:
10680:
10673:
10666:
10660:
10648:
10641:
10556:
10550:
10498:
10492:
10462:
10446:
9906:
9900:
9829:
9823:
9774:
9768:
9547:
9534:
9439:
9407:
9401:
9395:
9286:
9261:
9106:
9082:
8785:
8779:
8752:
8746:
8723:
8717:
8608:
8584:
8531:
8523:
8432:
8426:
8398:
8346:Proof by analyzing a quadratic
8077:
8052:
7991:
7966:
7907:
7885:
7873:
7848:
6901:
6877:
6869:
6845:
6687:
6679:
6671:
6644:
6636:
6609:
6601:
6577:
6462:and also one direction of the
6115:
6091:
5641:
5635:
5626:
5620:
5590:
5577:
5552:
5539:
5444:
5411:
5390:
5385:
5382:
5370:
5367:
5355:
5352:
5342:
5324:
5319:
5307:
5297:
5269:
5263:
5231:
5225:
5188:
5175:
5166:
5153:
5134:
5129:
5120:
5110:
5086:
5077:
5025:
5019:
5002:
4989:
4974:
4968:
4668:
4639:
4511:
4487:
4075:
4070:
4064:
4057:
4020:
4015:
4009:
4002:
3952:
3946:
3937:
3931:
3700:
3662:
3505:
3445:
3335:
3278:
3253:
2367:
2320:
1531:
1496:
517:
493:
13:
1:
13648:Uniform boundedness principle
13208:Convergence almost everywhere
12970:
12842:, Online e-book in PDF format
12775:Graduate Texts in Mathematics
12659:Annals of Functional Analysis
12645:
12213:Octogon Mathematical Magazine
12042:Ricardo, Henry (2009-10-21).
11771:Western Washington University
11769:. Department of Mathematics.
10828:between C*-algebras, for all
9724:(Namely, when the space is a
8336:{\displaystyle \blacksquare }
8316:{\displaystyle \mathbf {v} .}
7618:{\displaystyle \mathbf {v} .}
7600:onto the plane orthogonal to
5919:{\displaystyle \mathbb {C} .}
5879:is the field of real numbers
5850:{\displaystyle \mathbb {F} ,}
5765:{\displaystyle \mathbb {C} .}
4111:is a generalization of this.
364:, where the norm of a vector
12884:Solomentsev, E. D. (2001) ,
12851:, Cambridge University Press
12839:Introduction to Inequalities
12771:A Hilbert Space Problem Book
12504:10.1016/0022-247X(65)90016-8
12372:An Invitation to C*-Algebras
11906:Fourier and Wavelet Analysis
11703:
8991:
8928:
8291:{\displaystyle \mathbf {u} }
8269:{\displaystyle \mathbf {z} }
7593:{\displaystyle \mathbf {u} }
7567:{\displaystyle \mathbf {z} }
7545:{\displaystyle \mathbf {v} }
7523:{\displaystyle \mathbf {z} }
7026:{\displaystyle \mathbf {v} }
7004:{\displaystyle \mathbf {u} }
6982:{\displaystyle \mathbf {v} }
6960:{\displaystyle \mathbf {u} }
6509:{\displaystyle \mathbf {v} }
6487:{\displaystyle \mathbf {u} }
6455:{\displaystyle \mathbf {0} }
6359:are linearly dependent then
6352:{\displaystyle \mathbf {v} }
6330:{\displaystyle \mathbf {u} }
6069:{\displaystyle \mathbf {v} }
6047:{\displaystyle \mathbf {u} }
5894:{\displaystyle \mathbb {R} }
5872:{\displaystyle \mathbb {F} }
5821:{\displaystyle \mathbf {v} }
5799:{\displaystyle \mathbf {u} }
5740:{\displaystyle \mathbb {R} }
4365:
3956:
3223:
3187:
2054:-dimensional Euclidean space
1653:{\displaystyle \mathbf {v} }
1631:{\displaystyle \mathbf {u} }
917: or equivalently,
612:{\displaystyle \mathbf {v} }
590:{\displaystyle \mathbf {u} }
379:{\displaystyle \mathbf {u} }
146:{\displaystyle \mathbf {v} }
124:{\displaystyle \mathbf {u} }
7:
13375:Prékopa–Leindler inequality
13228:Locally integrable function
13150:{\displaystyle L^{\infty }}
12891:Encyclopedia of Mathematics
12735:(3): 142 pp, archived from
11818:Steele, J. Michael (2004).
11748:Encyclopedia of Mathematics
11741:Bityutskov, V. I. (2001) ,
11644:
8544:{\displaystyle |\alpha |=1}
5828:be arbitrary vectors in an
4778:
4119:
105:Statement of the inequality
38:) is an upper bound on the
10:
14229:
14213:Probabilistic inequalities
14057:Hilbert projection theorem
13791:Invariant subspace problem
13121:Square-integrable function
12628:10.1007/s00362-023-01499-w
12369:Arveson, W. (2012-12-06).
12342:Lin, Huaxin (2001-01-01).
12156:. CRC Press. p. 150.
12075:. CRC Press. p. 181.
11674:Kunita–Watanabe inequality
10754:is self-adjoint, that is,
10380:Kadison–Schwarz inequality
9786:{\displaystyle L^{2}(m),m}
9749:positive linear functional
9168:is a polynomial of degree
2822:-dimensional Complex space
710:and positive real numbers
386:is denoted and defined by
14136:
14080:
14049:
14036:Cauchy–Schwarz inequality
14023:
13979:
13921:
13880:
13804:
13783:
13742:
13681:
13623:
13569:
13511:
13504:
13392:
13370:Minkowski–Steiner formula
13340:
13302:
13246:
13195:
13129:
13073:
13042:
12978:
12836:Lohwater, Arthur (1982),
12759:10.1016/j.aam.2004.05.001
12558:10.1016/j.laa.2011.11.024
12523:. Entry in the AoPS Wiki.
12292:Real and Complex Analysis
12048:. CRC Press. p. 18.
11743:"Bunyakovskii inequality"
11718:"Hermann Amandus Schwarz"
10799:Cauchy–Schwarz inequality
10248:{\displaystyle a,b\in A,}
9378:{\displaystyle \Delta =0}
7132:Equality Characterization
6781:Cauchy–Schwarz Inequality
6464:Equality Characterization
6313:Equality Characterization
6027:Cauchy–Schwarz Inequality
6009:Cauchy–Schwarz Inequality
5779:Cauchy–Schwarz inequality
5712:
319:examples in inner product
79:Augustin-Louis Cauchy
32:Cauchy–Schwarz inequality
13760:Spectrum of a C*-algebra
13353:Isoperimetric inequality
12723:Dragomir, S. S. (2003),
12485:Callebaut, D.K. (1965).
11934:. Springer. p. 29.
11723:University of St Andrews
11698:
11689:Paley–Zygmund inequality
10821:{\displaystyle \varphi }
10783:{\displaystyle a=a^{*},}
10727:{\displaystyle \varphi }
10406:{\displaystyle \varphi }
10190:{\displaystyle \varphi }
9912:{\displaystyle L^{2}(m)}
9876:{\displaystyle \varphi }
9806:{\displaystyle \varphi }
9356:The conclusion follows.
7625:) We can thus apply the
6989:is the zero vector then
13857:Noncommutative geometry
13358:Brunn–Minkowski theorem
12857:Schwarz, H. A. (1888),
12290:Rudin, Walter (1987) .
11958:Axler, Sheldon (2015).
11930:Hassani, Sadri (1999).
10436:in its domain, we have
9385:happens if and only if
8697:{\displaystyle \alpha }
8635:{\displaystyle \alpha }
8508:{\displaystyle \alpha }
8380:. Define the function
1605:{\displaystyle \theta }
13913:Tomita–Takesaki theory
13888:Approximation property
13832:Calculus of variations
13213:Convergence in measure
13151:
12902:Steele, J. M. (2004),
12520:Callebaut's inequality
12458:Paulsen, Vern (2002).
11669:Kantorovich inequality
11639:Kantorovich inequality
11621:
11593:
11547:
11465:
11392:
11310:
11237:
11171:
11133:
11093:Callebaut's Inequality
11079:
10951:
10848:
10822:
10790:is sometimes known as
10784:
10748:
10728:
10708:
10596:This extends the fact
10587:
10505:
10430:
10407:
10366:
10249:
10214:
10191:
10159:
10041:
10011:
9984:
9913:
9877:
9857:
9807:
9787:
9714:
9676:
9627:
9518:
9455:
9379:
9350:
9233:
9213:
9182:
9162:
9142:
8759:
8730:
8704:can be taken to be 1.
8698:
8678:
8636:
8616:
8545:
8509:
8489:
8410:
8374:
8337:
8317:
8292:
8270:
8248:
8215:
8174:
8154:
8117:
7707:
7619:
7594:
7568:
7546:
7524:
7500:
7286:
7199:
7166:
7116:
7090:
7057:
7027:
7005:
6983:
6961:
6937:
6831:
6811:
6770:
6563:
6543:
6510:
6488:
6456:
6427:
6353:
6331:
6305:
6256:
6178:
6148:
6070:
6048:
5996:
5920:
5895:
5873:
5851:
5832:over the scalar field
5822:
5800:
5766:
5741:
5699:
5675:
5655:
5279:
5238:
5198:
5096:
5038:
4945:
4925:
4876:
4759:
4690:
4099:
3871:
3624:
3591:
3545:
3487:
3427:
3317:
3235:
3130:
3101:
3047:
2993:
2929:
2865:
2804:
2651:
2412:
2386:
2261:
2233:
2187:
2127:
2084:
2035:
1985:
1935:
1766:
1739:
1712:
1685:
1654:
1632:
1606:
1586:
1454:
1396:
1330:
1307:The real vector space
1304:
1278:
1231:
1172:
1137:
884:
847:
804:
763:
704:
637:Sedrakyan's inequality
613:
591:
553:
473:
437:
380:
342:
303:
255:
147:
125:
87:Viktor Bunyakovsky
14208:Mathematical analysis
14188:Augustin-Louis Cauchy
14067:Polarization identity
14010:Orthogonal complement
13908:Banach–Mazur distance
13871:Generalized functions
13327:Riesz–Fischer theorem
13152:
13111:Polarization identity
12809:Annals of Mathematics
12425:Annals of Mathematics
11786:"Cauchy's inequality"
11622:
11573:
11527:
11445:
11372:
11290:
11217:
11151:
11134:
11080:
10952:
10849:
10823:
10808:For a 2-positive map
10785:
10749:
10729:
10709:
10588:
10506:
10431:
10408:
10367:
10250:
10215:
10192:
10160:
10042:
10012:
10010:{\displaystyle g^{*}}
9985:
9914:
9878:
9858:
9808:
9788:
9715:
9713:{\displaystyle L^{p}}
9677:
9628:
9519:
9456:
9380:
9351:
9234:
9214:
9183:
9163:
9143:
8760:
8731:
8699:
8679:
8637:
8617:
8546:
8510:
8490:
8411:
8375:
8338:
8318:
8293:
8271:
8249:
8216:
8175:
8173:{\displaystyle \geq }
8155:
8118:
7708:
7620:
7595:
7569:
7547:
7525:
7501:
7287:
7200:
7167:
7117:
7091:
7058:
7028:
7006:
6984:
6962:
6938:
6832:
6812:
6771:
6569:is some scalar then
6564:
6544:
6511:
6489:
6457:
6428:
6354:
6332:
6306:
6257:
6179:
6149:
6071:
6049:
5997:
5921:
5896:
5874:
5852:
5823:
5801:
5767:
5742:
5700:
5676:
5656:
5280:
5239:
5199:
5097:
5039:
4946:
4926:
4877:
4760:
4691:
4100:
3879:
3872:
3625:
3571:
3525:
3467:
3407:
3297:
3236:
3131:
3102:
3048:
2994:
2930:
2866:
2805:
2652:
2413:
2387:
2262:
2213:
2167:
2107:
2085:
2036:
1986:
1936:
1767:
1765:{\displaystyle v_{2}}
1740:
1738:{\displaystyle v_{1}}
1713:
1711:{\displaystyle u_{2}}
1686:
1684:{\displaystyle u_{1}}
1655:
1633:
1607:
1587:
1455:
1397:
1331:
1302:
1279:
1232:
1173:
1138:
864:
827:
784:
764:
705:
614:
592:
554:
474:
438:
381:
343:
341:{\displaystyle l_{2}}
304:
256:
148:
126:
14041:Riesz representation
13996:L-semi-inner product
13653:Kakutani fixed-point
13638:Riesz representation
13332:Riesz–Thorin theorem
13175:Infimum and supremum
13134:
13060:Lebesgue integration
12847:Paulsen, V. (2003),
12671:10.15352/afa/06-3-20
11882:. World Scientific.
11679:Minkowski inequality
11142:
11102:
10960:
10858:
10832:
10812:
10792:Kadison's inequality
10758:
10738:
10718:
10600:
10515:
10440:
10420:
10397:
10258:
10224:
10201:
10181:
10051:
10028:
9994:
9923:
9887:
9867:
9817:
9797:
9755:
9697:
9637:
9528:
9465:
9389:
9363:
9243:
9223:
9192:
9172:
9152:
8769:
8758:{\displaystyle p(t)}
8740:
8729:{\displaystyle p(t)}
8711:
8688:
8646:
8626:
8555:
8519:
8499:
8420:
8384:
8354:
8327:
8302:
8280:
8258:
8225:
8184:
8164:
8129:
7717:
7633:
7604:
7582:
7556:
7534:
7512:
7298:
7209:
7176:
7146:
7142:The special case of
7100:
7067:
7037:
7015:
6993:
6971:
6949:
6841:
6821:
6788:
6573:
6553:
6520:
6498:
6476:
6444:
6363:
6341:
6319:
6270:
6188:
6158:
6087:
6058:
6036:
5935:
5905:
5883:
5861:
5836:
5810:
5788:
5751:
5729:
5721:to be linear in the
5689:
5665:
5289:
5248:
5210:
5106:
5050:
4959:
4935:
4915:
4897:inner-product spaces
4791:
4771:with respect to the
4702:
4136:
3900:
3636:
3249:
3140:
3111:
3057:
3003:
2939:
2875:
2830:
2667:
2421:
2402:
2396:quadratic polynomial
2273:
2098:
2065:
1995:
1945:
1776:
1749:
1722:
1695:
1668:
1642:
1620:
1596:
1464:
1406:
1348:
1311:
1241:
1182:
1153:
773:
714:
655:
601:
579:
489:
447:
390:
368:
325:
281:
165:
135:
113:
14062:Parseval's identity
14031:Bessel's inequality
13837:Functional calculus
13796:Mahler's conjecture
13775:Von Neumann algebra
13489:Functional analysis
13294:Young's convolution
13233:Measurable function
13116:Pythagorean theorem
13106:Parseval's identity
13055:Integrable function
12886:"Cauchy inequality"
12769:(8 November 1982).
12686:Bunyakovsky, Viktor
12491:J. Math. Anal. Appl
11991:Functional Analysis
11663:Jensen's inequality
11657:Hölder's inequality
11651:Bessel's inequality
11632:Hölder's inequality
11608:
11562:
11507:
11486:
11434:
11413:
11352:
11331:
11279:
11258:
11096: —
10847:{\displaystyle a,b}
10806: —
10391: —
10175: —
9691:Hölder's inequality
7627:Pythagorean theorem
7115:{\displaystyle c=0}
5901:or complex numbers
5830:inner product space
5782: —
4769:continuous function
4130:triangle inequality
4126:inner product space
3243:complex conjugation
2787:
2750:
2643:
2551:
2248:
2202:
1922:
1904:
1879:
1861:
1256:
1197:
1117:
1079:
1047:
901:
155:inner product space
95:Hermann Schwarz
13862:Riemann hypothesis
13561:Topological vector
13415:Probability theory
13317:Plancherel theorem
13223:Integral transform
13170:Chebyshev distance
13147:
13096:Euclidean distance
13029:Minkowski distance
12616:Statistical Papers
12593:10.1007/BF02927110
12581:Statistical Papers
11617:
11594:
11548:
11487:
11466:
11414:
11393:
11332:
11311:
11259:
11238:
11129:
11094:
11075:
10947:
10844:
10818:
10800:
10780:
10744:
10724:
10704:
10583:
10501:
10426:
10403:
10381:
10362:
10245:
10213:{\displaystyle A,}
10210:
10187:
10173:
10155:
10040:{\displaystyle g.}
10037:
10007:
9980:
9909:
9873:
9853:
9803:
9783:
9710:
9693:generalizes it to
9672:
9623:
9514:
9451:
9375:
9346:
9229:
9209:
9178:
9158:
9138:
9136:
8755:
8726:
8694:
8674:
8632:
8612:
8541:
8505:
8485:
8406:
8370:
8333:
8313:
8288:
8266:
8254:the definition of
8244:
8211:
8170:
8150:
8113:
7703:
7615:
7590:
7564:
7542:
7520:
7496:
7282:
7195:
7162:
7112:
7086:
7053:
7023:
7001:
6979:
6957:
6933:
6827:
6807:
6784:. The case where
6766:
6559:
6539:
6506:
6484:
6452:
6423:
6349:
6327:
6301:
6252:
6174:
6144:
6078:linearly dependent
6066:
6044:
5992:
5916:
5891:
5869:
5847:
5818:
5796:
5780:
5762:
5737:
5695:
5671:
5651:
5649:
5275:
5234:
5194:
5092:
5034:
4941:
4921:
4907:Probability theory
4872:
4755:
4686:
4684:
4095:
3867:
3620:
3231:
3126:
3097:
3043:
2989:
2925:
2861:
2800:
2773:
2771:
2736:
2734:
2685:
2647:
2629:
2628:
2587:
2537:
2536:
2408:
2382:
2319:
2257:
2234:
2188:
2080:
2031:
1981:
1931:
1908:
1890:
1865:
1847:
1762:
1735:
1708:
1681:
1650:
1628:
1602:
1582:
1450:
1392:
1326:
1305:
1274:
1244:
1227:
1185:
1178:upon substituting
1168:
1133:
1103:
1065:
1033:
887:
858:
815:
759:
700:
621:linearly dependent
609:
587:
549:
469:
433:
376:
338:
299:
251:
143:
121:
14175:
14174:
14118:Sesquilinear form
14071:Parallelogram law
14015:Orthonormal basis
13939:
13938:
13842:Integral operator
13619:
13618:
13455:
13454:
13388:
13387:
13203:Almost everywhere
12988: &
12788:978-0-387-90685-0
12226:978-973-88255-5-0
11971:978-3-319-11079-0
11521:
11515:
11366:
11360:
11211:
11205:
11092:
10945:
10798:
10747:{\displaystyle a}
10429:{\displaystyle a}
10379:
10171:
10022:complex conjugate
9734:operator algebras
9232:{\displaystyle p}
9181:{\displaystyle 2}
9161:{\displaystyle p}
8994:
8931:
8108:
8022:
7917:
7790:
7688:
7469:
7380:
7272:
7127:
7126:
6830:{\displaystyle c}
6562:{\displaystyle c}
6242:
6016:
6015:
5778:
5029:
4944:{\displaystyle Y}
4924:{\displaystyle X}
4867:
4627:
4623:
4617:
4368:
4318:
4317: where
4314:
4308:
4109:Hölder inequality
3959:
3890:square-integrable
3703:
3665:
3508:
3448:
3338:
3226:
3190:
2762:
2725:
2676:
2619:
2578:
2527:
2411:{\displaystyle x}
2286:
2284:
1272:
1225:
1224:
1128:
1090:
1058:
1026:
918:
912:
859:
573:
572:
428:
275:
274:
16:(Redirected from
14220:
14005:Prehilbert space
13966:
13959:
13952:
13943:
13942:
13929:
13928:
13847:Jones polynomial
13765:Operator algebra
13509:
13508:
13482:
13475:
13468:
13459:
13458:
13405:Fourier analysis
13363:Milman's reverse
13346:
13344:Lebesgue measure
13338:
13337:
13322:Riemann–Lebesgue
13165:Bounded function
13156:
13154:
13153:
13148:
13146:
13145:
13065:Taxicab geometry
13020:Measurable space
12965:
12958:
12951:
12942:
12941:
12918:
12898:
12880:
12878:
12863:
12852:
12843:
12831:
12800:
12762:
12761:
12740:
12719:
12711:
12709:
12694:
12681:
12640:
12639:
12622:(4): 2605–2639.
12611:
12605:
12604:
12576:
12570:
12569:
12551:
12542:(9): 3347–3353.
12531:
12525:
12524:
12515:
12509:
12508:
12506:
12482:
12476:
12475:
12455:
12449:
12448:
12420:
12414:
12413:
12393:
12387:
12386:
12366:
12360:
12359:
12339:
12333:
12332:
12312:
12306:
12305:
12287:
12281:
12280:
12260:
12254:
12253:
12251:
12249:
12243:
12210:
12201:
12195:
12194:
12174:
12168:
12167:
12147:
12141:
12140:
12120:
12114:
12113:
12093:
12087:
12086:
12066:
12060:
12059:
12039:
12033:
12032:
12012:
12006:
12005:
11985:
11979:
11978:
11955:
11949:
11948:
11927:
11921:
11920:
11900:
11894:
11893:
11879:Applied Analysis
11873:
11864:
11863:
11845:
11839:
11838:
11815:
11804:
11803:
11801:
11793:Clark University
11790:
11784:Joyce, David E.
11781:
11775:
11774:
11765:Ćurgus, Branko.
11762:
11756:
11755:
11738:
11729:
11728:
11713:
11694:
11626:
11624:
11623:
11618:
11613:
11609:
11607:
11602:
11592:
11587:
11567:
11563:
11561:
11556:
11546:
11541:
11519:
11513:
11512:
11508:
11506:
11495:
11485:
11474:
11464:
11459:
11439:
11435:
11433:
11422:
11412:
11401:
11391:
11386:
11364:
11358:
11357:
11353:
11351:
11340:
11330:
11319:
11309:
11304:
11284:
11280:
11278:
11267:
11257:
11246:
11236:
11231:
11209:
11203:
11202:
11201:
11196:
11192:
11191:
11190:
11181:
11180:
11170:
11165:
11138:
11136:
11135:
11130:
11097:
11084:
11082:
11081:
11076:
11068:
11064:
11060:
11059:
11033:
11029:
11025:
11024:
11001:
11000:
10991:
10987:
10983:
10982:
10956:
10954:
10953:
10948:
10946:
10943:
10938:
10934:
10930:
10929:
10879:
10878:
10853:
10851:
10850:
10845:
10827:
10825:
10824:
10819:
10807:
10804:
10789:
10787:
10786:
10781:
10776:
10775:
10753:
10751:
10750:
10745:
10733:
10731:
10730:
10725:
10713:
10711:
10710:
10705:
10700:
10699:
10694:
10676:
10656:
10655:
10628:
10624:
10620:
10619:
10592:
10590:
10589:
10584:
10579:
10575:
10574:
10543:
10539:
10535:
10534:
10510:
10508:
10507:
10502:
10488:
10484:
10483:
10458:
10457:
10435:
10433:
10432:
10427:
10412:
10410:
10409:
10404:
10392:
10389:
10371:
10369:
10368:
10363:
10358:
10354:
10350:
10349:
10332:
10328:
10324:
10323:
10303:
10302:
10297:
10293:
10292:
10288:
10284:
10283:
10254:
10252:
10251:
10246:
10219:
10217:
10216:
10211:
10196:
10194:
10193:
10188:
10176:
10164:
10162:
10161:
10156:
10151:
10147:
10143:
10142:
10125:
10121:
10117:
10116:
10096:
10095:
10090:
10086:
10085:
10081:
10077:
10076:
10046:
10044:
10043:
10038:
10016:
10014:
10013:
10008:
10006:
10005:
9989:
9987:
9986:
9981:
9976:
9972:
9968:
9967:
9947:
9946:
9918:
9916:
9915:
9910:
9899:
9898:
9882:
9880:
9879:
9874:
9862:
9860:
9859:
9854:
9812:
9810:
9809:
9804:
9792:
9790:
9789:
9784:
9767:
9766:
9719:
9717:
9716:
9711:
9709:
9708:
9681:
9679:
9678:
9673:
9668:
9660:
9659:
9644:
9632:
9630:
9629:
9624:
9610:
9602:
9594:
9593:
9581:
9573:
9565:
9564:
9546:
9545:
9523:
9521:
9520:
9515:
9507:
9499:
9491:
9477:
9476:
9460:
9458:
9457:
9452:
9447:
9446:
9434:
9420:
9384:
9382:
9381:
9376:
9355:
9353:
9352:
9347:
9339:
9335:
9334:
9333:
9324:
9316:
9315:
9306:
9295:
9294:
9289:
9280:
9272:
9264:
9238:
9236:
9235:
9230:
9218:
9216:
9215:
9210:
9199:
9187:
9185:
9184:
9179:
9167:
9165:
9164:
9159:
9147:
9145:
9144:
9139:
9137:
9133:
9132:
9123:
9109:
9101:
9093:
9085:
9074:
9073:
9064:
9063:
9054:
9040:
9033:
9025:
9011:
9003:
8995:
8987:
8976:
8968:
8948:
8940:
8932:
8924:
8907:
8900:
8892:
8878:
8864:
8850:
8842:
8822:
8808:
8764:
8762:
8761:
8756:
8735:
8733:
8732:
8727:
8703:
8701:
8700:
8695:
8683:
8681:
8680:
8675:
8664:
8656:
8642:exists since if
8641:
8639:
8638:
8633:
8621:
8619:
8618:
8613:
8611:
8603:
8595:
8587:
8576:
8568:
8550:
8548:
8547:
8542:
8534:
8526:
8514:
8512:
8511:
8506:
8494:
8492:
8491:
8486:
8481:
8473:
8459:
8451:
8415:
8413:
8412:
8407:
8405:
8397:
8379:
8377:
8376:
8371:
8369:
8361:
8342:
8340:
8339:
8334:
8322:
8320:
8319:
8314:
8309:
8297:
8295:
8294:
8289:
8287:
8275:
8273:
8272:
8267:
8265:
8253:
8251:
8250:
8245:
8240:
8232:
8220:
8218:
8217:
8212:
8204:
8203:
8194:
8179:
8177:
8176:
8171:
8159:
8157:
8156:
8151:
8149:
8148:
8139:
8122:
8120:
8119:
8114:
8109:
8107:
8106:
8105:
8096:
8087:
8086:
8085:
8080:
8071:
8063:
8055:
8049:
8044:
8043:
8034:
8023:
8021:
8020:
8019:
8010:
8001:
8000:
7999:
7994:
7985:
7977:
7969:
7963:
7958:
7957:
7948:
7937:
7936:
7927:
7918:
7916:
7915:
7914:
7905:
7904:
7895:
7883:
7882:
7881:
7876:
7867:
7859:
7851:
7845:
7840:
7839:
7830:
7819:
7818:
7809:
7801:
7800:
7795:
7791:
7789:
7785:
7777:
7768:
7764:
7756:
7747:
7737:
7736:
7727:
7712:
7710:
7709:
7704:
7702:
7694:
7689:
7687:
7683:
7675:
7666:
7662:
7654:
7645:
7640:
7624:
7622:
7621:
7616:
7611:
7599:
7597:
7596:
7591:
7589:
7573:
7571:
7570:
7565:
7563:
7551:
7549:
7548:
7543:
7541:
7529:
7527:
7526:
7521:
7519:
7505:
7503:
7502:
7497:
7486:
7478:
7470:
7468:
7464:
7456:
7447:
7443:
7435:
7426:
7418:
7410:
7399:
7395:
7394:
7386:
7381:
7379:
7375:
7367:
7358:
7354:
7346:
7337:
7332:
7316:
7308:
7291:
7289:
7288:
7283:
7278:
7273:
7271:
7267:
7259:
7250:
7246:
7238:
7229:
7224:
7216:
7204:
7202:
7201:
7196:
7191:
7183:
7171:
7169:
7168:
7163:
7161:
7153:
7134:must be shown.
7121:
7119:
7118:
7113:
7095:
7093:
7092:
7087:
7085:
7074:
7062:
7060:
7059:
7054:
7052:
7044:
7032:
7030:
7029:
7024:
7022:
7010:
7008:
7007:
7002:
7000:
6988:
6986:
6985:
6980:
6978:
6966:
6964:
6963:
6958:
6956:
6942:
6940:
6939:
6934:
6926:
6915:
6904:
6896:
6888:
6880:
6872:
6864:
6856:
6848:
6836:
6834:
6833:
6828:
6817:for some scalar
6816:
6814:
6813:
6808:
6806:
6795:
6775:
6773:
6772:
6767:
6762:
6751:
6737:
6726:
6709:
6698:
6690:
6682:
6674:
6666:
6658:
6647:
6639:
6631:
6623:
6612:
6604:
6596:
6588:
6580:
6568:
6566:
6565:
6560:
6548:
6546:
6545:
6540:
6538:
6527:
6515:
6513:
6512:
6507:
6505:
6493:
6491:
6490:
6485:
6483:
6461:
6459:
6458:
6453:
6451:
6436:
6435:
6432:
6430:
6429:
6424:
6416:
6405:
6394:
6390:
6386:
6378:
6358:
6356:
6355:
6350:
6348:
6336:
6334:
6333:
6328:
6326:
6310:
6308:
6307:
6302:
6291:
6280:
6261:
6259:
6258:
6253:
6248:
6243:
6241:
6240:
6239:
6230:
6221:
6217:
6209:
6200:
6195:
6183:
6181:
6180:
6175:
6173:
6165:
6153:
6151:
6150:
6145:
6140:
6129:
6118:
6110:
6102:
6094:
6075:
6073:
6072:
6067:
6065:
6053:
6051:
6050:
6045:
6043:
6023:
6022:
6021:equality holding
6010:
6001:
5999:
5998:
5993:
5988:
5977:
5966:
5962:
5958:
5950:
5929:
5925:
5923:
5922:
5917:
5912:
5900:
5898:
5897:
5892:
5890:
5878:
5876:
5875:
5870:
5868:
5856:
5854:
5853:
5848:
5843:
5827:
5825:
5824:
5819:
5817:
5805:
5803:
5802:
5797:
5795:
5783:
5771:
5769:
5768:
5763:
5758:
5746:
5744:
5743:
5738:
5736:
5720:
5704:
5702:
5701:
5696:
5680:
5678:
5677:
5672:
5660:
5658:
5657:
5652:
5650:
5607:
5603:
5599:
5598:
5597:
5565:
5561:
5560:
5559:
5521:
5457:
5453:
5452:
5447:
5414:
5403:
5399:
5398:
5393:
5345:
5333:
5332:
5327:
5300:
5284:
5282:
5281:
5276:
5243:
5241:
5240:
5235:
5203:
5201:
5200:
5195:
5187:
5186:
5165:
5164:
5143:
5142:
5137:
5113:
5101:
5099:
5098:
5093:
5043:
5041:
5040:
5035:
5030:
5028:
5011:
5010:
5009:
4981:
4953:random variables
4950:
4948:
4947:
4942:
4930:
4928:
4927:
4922:
4901:quantum fidelity
4881:
4879:
4878:
4873:
4868:
4866:
4862:
4851:
4842:
4838:
4830:
4821:
4816:
4815:
4814:
4809:
4764:
4762:
4761:
4756:
4748:
4734:
4720:
4712:
4695:
4693:
4692:
4687:
4685:
4682:
4681:
4676:
4675:
4663:
4649:
4632:
4628:
4625:
4621:
4619:
4615:
4614:
4613:
4604:
4590:
4579:
4565:
4564:
4555:
4541:
4538:
4537:
4535:
4534:
4525:
4514:
4506:
4498:
4490:
4479:
4478:
4469:
4455:
4452:
4451:
4449:
4448:
4439:
4425:
4417:
4397:
4396:
4387:
4373:
4369:
4364:
4360:
4352:
4343:
4335:
4327:
4319:
4316:
4312:
4310:
4306:
4305:
4304:
4295:
4281:
4273:
4259:
4251:
4240:
4239:
4230:
4216:
4213:
4212:
4207:
4199:
4191:
4183:
4168:
4167:
4158:
4150:
4104:
4102:
4101:
4096:
4084:
4083:
4078:
4060:
4055:
4054:
4053:
4052:
4047:
4029:
4028:
4023:
4005:
4000:
3999:
3998:
3997:
3992:
3978:
3977:
3972:
3968:
3960:
3955:
3941:
3927:
3926:
3925:
3924:
3919:
3884:
3876:
3874:
3873:
3868:
3863:
3859:
3858:
3857:
3852:
3848:
3847:
3824:
3823:
3818:
3814:
3813:
3794:
3790:
3789:
3788:
3783:
3779:
3778:
3755:
3754:
3749:
3745:
3744:
3722:
3721:
3716:
3712:
3711:
3710:
3705:
3704:
3696:
3692:
3691:
3673:
3672:
3667:
3666:
3658:
3654:
3653:
3629:
3627:
3626:
3621:
3616:
3615:
3610:
3606:
3605:
3590:
3585:
3570:
3569:
3564:
3560:
3559:
3544:
3539:
3521:
3517:
3516:
3515:
3510:
3509:
3501:
3497:
3496:
3486:
3481:
3461:
3457:
3456:
3455:
3450:
3449:
3441:
3437:
3436:
3426:
3421:
3395:
3387:
3376:
3368:
3357:
3356:
3351:
3347:
3346:
3345:
3340:
3339:
3331:
3327:
3326:
3316:
3311:
3287:
3286:
3281:
3272:
3264:
3256:
3240:
3238:
3237:
3232:
3227:
3222:
3221:
3212:
3210:
3209:
3191:
3186:
3185:
3176:
3174:
3173:
3158:
3150:
3135:
3133:
3132:
3127:
3125:
3124:
3119:
3106:
3104:
3103:
3098:
3096:
3088:
3087:
3069:
3068:
3052:
3050:
3049:
3044:
3042:
3034:
3033:
3015:
3014:
2998:
2996:
2995:
2990:
2988:
2984:
2983:
2982:
2964:
2963:
2946:
2934:
2932:
2931:
2926:
2924:
2920:
2919:
2918:
2900:
2899:
2882:
2870:
2868:
2867:
2862:
2860:
2859:
2854:
2845:
2837:
2817:
2809:
2807:
2806:
2801:
2793:
2789:
2788:
2786:
2781:
2770:
2756:
2752:
2751:
2749:
2744:
2733:
2716:
2715:
2710:
2706:
2705:
2704:
2695:
2694:
2684:
2656:
2654:
2653:
2648:
2642:
2637:
2627:
2612:
2608:
2607:
2606:
2597:
2596:
2586:
2566:
2565:
2556:
2552:
2550:
2545:
2535:
2518:
2517:
2512:
2508:
2507:
2506:
2491:
2490:
2466:
2465:
2460:
2456:
2455:
2454:
2439:
2438:
2417:
2415:
2414:
2409:
2391:
2389:
2388:
2383:
2375:
2374:
2365:
2364:
2355:
2354:
2342:
2341:
2332:
2331:
2318:
2285:
2277:
2266:
2264:
2263:
2258:
2253:
2249:
2247:
2242:
2232:
2227:
2207:
2203:
2201:
2196:
2186:
2181:
2158:
2157:
2152:
2148:
2147:
2146:
2137:
2136:
2126:
2121:
2089:
2087:
2086:
2081:
2079:
2078:
2073:
2049:
2040:
2038:
2037:
2032:
2030:
2026:
2025:
2024:
2012:
2011:
1990:
1988:
1987:
1982:
1980:
1976:
1975:
1974:
1962:
1961:
1940:
1938:
1937:
1932:
1927:
1923:
1921:
1916:
1903:
1898:
1884:
1880:
1878:
1873:
1860:
1855:
1838:
1837:
1832:
1828:
1827:
1826:
1817:
1816:
1804:
1803:
1794:
1793:
1771:
1769:
1768:
1763:
1761:
1760:
1744:
1742:
1741:
1736:
1734:
1733:
1717:
1715:
1714:
1709:
1707:
1706:
1690:
1688:
1687:
1682:
1680:
1679:
1659:
1657:
1656:
1651:
1649:
1637:
1635:
1634:
1629:
1627:
1611:
1609:
1608:
1603:
1591:
1589:
1588:
1583:
1578:
1577:
1568:
1560:
1559:
1550:
1539:
1538:
1517:
1506:
1492:
1491:
1482:
1474:
1459:
1457:
1456:
1451:
1449:
1445:
1444:
1443:
1431:
1430:
1413:
1401:
1399:
1398:
1393:
1391:
1387:
1386:
1385:
1373:
1372:
1355:
1335:
1333:
1332:
1327:
1325:
1324:
1319:
1294:
1283:
1281:
1280:
1275:
1273:
1271:
1270:
1261:
1252:
1236:
1234:
1233:
1228:
1226:
1223:
1222:
1213:
1212:
1211:
1202:
1193:
1177:
1175:
1174:
1169:
1167:
1166:
1161:
1142:
1140:
1139:
1134:
1129:
1127:
1126:
1116:
1111:
1102:
1091:
1089:
1088:
1078:
1073:
1064:
1059:
1057:
1056:
1046:
1041:
1032:
1027:
1025:
1024:
1023:
1005:
1004:
992:
991:
981:
980:
975:
971:
970:
969:
951:
950:
938:
937:
922:
919:
916:
913:
911:
910:
900:
895:
886:
883:
878:
860:
857:
856:
846:
841:
825:
824:
819:
814:
813:
803:
798:
777:
768:
766:
765:
760:
758:
757:
739:
738:
726:
725:
709:
707:
706:
701:
699:
698:
680:
679:
667:
666:
639:, also known as
618:
616:
615:
610:
608:
596:
594:
593:
588:
586:
567:
558:
556:
555:
550:
542:
531:
520:
512:
504:
496:
483:
478:
476:
475:
470:
465:
457:
442:
440:
439:
434:
429:
424:
416:
408:
400:
385:
383:
382:
377:
375:
347:
345:
344:
339:
337:
336:
308:
306:
305:
300:
269:
260:
258:
257:
252:
244:
236:
222:
214:
203:
202:
197:
193:
189:
181:
159:
152:
150:
149:
144:
142:
130:
128:
127:
122:
120:
73:(via vectors in
65:(via vectors in
54:in mathematics.
21:
14228:
14227:
14223:
14222:
14221:
14219:
14218:
14217:
14203:Operator theory
14178:
14177:
14176:
14171:
14164:Segal–Bargmann
14132:
14103:Hilbert–Schmidt
14093:Densely defined
14076:
14045:
14019:
13975:
13970:
13940:
13935:
13917:
13881:Advanced topics
13876:
13800:
13779:
13738:
13704:Hilbert–Schmidt
13677:
13668:Gelfand–Naimark
13615:
13565:
13500:
13486:
13456:
13451:
13384:
13341:
13336:
13298:
13274:Hausdorff–Young
13254:Babenko–Beckner
13242:
13191:
13141:
13137:
13135:
13132:
13131:
13125:
13069:
13038:
13034:Sequence spaces
12974:
12969:
12926:
12921:
12916:
12876:
12861:
12821:10.2307/1969657
12789:
12779:Springer-Verlag
12767:Halmos, Paul R.
12707:
12692:
12648:
12643:
12612:
12608:
12577:
12573:
12532:
12528:
12517:
12516:
12512:
12483:
12479:
12472:
12456:
12452:
12437:10.2307/1969657
12421:
12417:
12410:
12394:
12390:
12383:
12367:
12363:
12356:
12340:
12336:
12329:
12313:
12309:
12302:
12288:
12284:
12277:
12261:
12257:
12247:
12245:
12241:
12227:
12208:
12202:
12198:
12191:
12175:
12171:
12164:
12148:
12144:
12137:
12121:
12117:
12110:
12094:
12090:
12083:
12067:
12063:
12056:
12040:
12036:
12029:
12013:
12009:
12002:
11986:
11982:
11972:
11956:
11952:
11942:
11928:
11924:
11917:
11901:
11897:
11890:
11874:
11867:
11860:
11846:
11842:
11832:
11816:
11807:
11799:
11788:
11782:
11778:
11763:
11759:
11739:
11732:
11714:
11710:
11706:
11701:
11692:
11647:
11628:
11603:
11598:
11588:
11577:
11572:
11568:
11557:
11552:
11542:
11531:
11526:
11522:
11496:
11491:
11475:
11470:
11460:
11449:
11444:
11440:
11423:
11418:
11402:
11397:
11387:
11376:
11371:
11367:
11341:
11336:
11320:
11315:
11305:
11294:
11289:
11285:
11268:
11263:
11247:
11242:
11232:
11221:
11216:
11212:
11197:
11186:
11182:
11176:
11172:
11166:
11155:
11150:
11146:
11145:
11143:
11140:
11139:
11103:
11100:
11099:
11095:
11086:
11055:
11051:
11050:
11046:
11020:
11016:
11015:
11011:
10996:
10992:
10978:
10974:
10973:
10969:
10961:
10958:
10957:
10944: and
10942:
10925:
10921:
10920:
10916:
10874:
10870:
10859:
10856:
10855:
10854:in its domain,
10833:
10830:
10829:
10813:
10810:
10809:
10805:
10802:
10771:
10767:
10759:
10756:
10755:
10739:
10736:
10735:
10719:
10716:
10715:
10695:
10690:
10689:
10672:
10651:
10647:
10615:
10611:
10610:
10606:
10601:
10598:
10597:
10594:
10570:
10566:
10562:
10530:
10526:
10525:
10521:
10516:
10513:
10512:
10479:
10475:
10471:
10453:
10449:
10441:
10438:
10437:
10421:
10418:
10417:
10398:
10395:
10394:
10390:
10386:Richard Kadison
10383:
10373:
10345:
10341:
10340:
10336:
10319:
10315:
10314:
10310:
10298:
10279:
10275:
10274:
10270:
10266:
10262:
10261:
10259:
10256:
10255:
10225:
10222:
10221:
10202:
10199:
10198:
10182:
10179:
10178:
10174:
10138:
10134:
10133:
10129:
10112:
10108:
10107:
10103:
10091:
10072:
10068:
10067:
10063:
10059:
10055:
10054:
10052:
10049:
10048:
10029:
10026:
10025:
10001:
9997:
9995:
9992:
9991:
9963:
9959:
9958:
9954:
9942:
9938:
9924:
9921:
9920:
9894:
9890:
9888:
9885:
9884:
9868:
9865:
9864:
9818:
9815:
9814:
9798:
9795:
9794:
9762:
9758:
9756:
9753:
9752:
9730:operator theory
9704:
9700:
9698:
9695:
9694:
9687:
9685:Generalizations
9664:
9655:
9651:
9640:
9638:
9635:
9634:
9606:
9598:
9589:
9585:
9577:
9569:
9560:
9556:
9541:
9537:
9529:
9526:
9525:
9503:
9495:
9487:
9472:
9468:
9466:
9463:
9462:
9442:
9438:
9430:
9416:
9390:
9387:
9386:
9364:
9361:
9360:
9329:
9325:
9320:
9311:
9307:
9302:
9290:
9285:
9284:
9276:
9268:
9260:
9259:
9255:
9244:
9241:
9240:
9224:
9221:
9220:
9195:
9193:
9190:
9189:
9173:
9170:
9169:
9153:
9150:
9149:
9135:
9134:
9128:
9124:
9119:
9105:
9097:
9089:
9081:
9069:
9065:
9059:
9055:
9050:
9038:
9037:
9029:
9021:
9007:
8999:
8986:
8972:
8964:
8944:
8936:
8923:
8905:
8904:
8896:
8888:
8874:
8860:
8846:
8838:
8818:
8804:
8788:
8772:
8770:
8767:
8766:
8741:
8738:
8737:
8712:
8709:
8708:
8689:
8686:
8685:
8660:
8652:
8647:
8644:
8643:
8627:
8624:
8623:
8607:
8599:
8591:
8583:
8572:
8564:
8556:
8553:
8552:
8530:
8522:
8520:
8517:
8516:
8500:
8497:
8496:
8477:
8469:
8455:
8447:
8421:
8418:
8417:
8401:
8393:
8385:
8382:
8381:
8365:
8357:
8355:
8352:
8351:
8348:
8328:
8325:
8324:
8305:
8303:
8300:
8299:
8283:
8281:
8278:
8277:
8261:
8259:
8256:
8255:
8236:
8228:
8226:
8223:
8222:
8199:
8195:
8190:
8185:
8182:
8181:
8165:
8162:
8161:
8144:
8140:
8135:
8130:
8127:
8126:
8101:
8097:
8092:
8088:
8081:
8076:
8075:
8067:
8059:
8051:
8050:
8048:
8039:
8035:
8030:
8015:
8011:
8006:
8002:
7995:
7990:
7989:
7981:
7973:
7965:
7964:
7962:
7953:
7949:
7944:
7932:
7928:
7923:
7910:
7906:
7900:
7896:
7891:
7884:
7877:
7872:
7871:
7863:
7855:
7847:
7846:
7844:
7835:
7831:
7826:
7814:
7810:
7805:
7796:
7781:
7773:
7769:
7760:
7752:
7748:
7746:
7742:
7741:
7732:
7728:
7723:
7718:
7715:
7714:
7698:
7690:
7679:
7671:
7667:
7658:
7650:
7646:
7644:
7636:
7634:
7631:
7630:
7607:
7605:
7602:
7601:
7585:
7583:
7580:
7579:
7559:
7557:
7554:
7553:
7537:
7535:
7532:
7531:
7515:
7513:
7510:
7509:
7482:
7474:
7460:
7452:
7448:
7439:
7431:
7427:
7425:
7414:
7406:
7390:
7382:
7371:
7363:
7359:
7350:
7342:
7338:
7336:
7328:
7327:
7323:
7312:
7304:
7299:
7296:
7295:
7274:
7263:
7255:
7251:
7242:
7234:
7230:
7228:
7220:
7212:
7210:
7207:
7206:
7187:
7179:
7177:
7174:
7173:
7157:
7149:
7147:
7144:
7143:
7140:
7128:
7101:
7098:
7097:
7081:
7070:
7068:
7065:
7064:
7048:
7040:
7038:
7035:
7034:
7018:
7016:
7013:
7012:
6996:
6994:
6991:
6990:
6974:
6972:
6969:
6968:
6952:
6950:
6947:
6946:
6922:
6911:
6900:
6892:
6884:
6876:
6868:
6860:
6852:
6844:
6842:
6839:
6838:
6822:
6819:
6818:
6802:
6791:
6789:
6786:
6785:
6758:
6747:
6733:
6722:
6705:
6694:
6686:
6678:
6670:
6662:
6654:
6643:
6635:
6627:
6619:
6608:
6600:
6592:
6584:
6576:
6574:
6571:
6570:
6554:
6551:
6550:
6534:
6523:
6521:
6518:
6517:
6501:
6499:
6496:
6495:
6479:
6477:
6474:
6473:
6472:By definition,
6466:
6447:
6445:
6442:
6441:
6412:
6401:
6382:
6374:
6370:
6366:
6364:
6361:
6360:
6344:
6342:
6339:
6338:
6322:
6320:
6317:
6316:
6287:
6276:
6271:
6268:
6267:
6265:
6263:
6244:
6235:
6231:
6226:
6222:
6213:
6205:
6201:
6199:
6191:
6189:
6186:
6185:
6169:
6161:
6159:
6156:
6155:
6136:
6125:
6114:
6106:
6098:
6090:
6088:
6085:
6084:
6061:
6059:
6056:
6055:
6039:
6037:
6034:
6033:
6020:
6019:
5984:
5973:
5954:
5946:
5942:
5938:
5936:
5933:
5932:
5908:
5906:
5903:
5902:
5886:
5884:
5881:
5880:
5864:
5862:
5859:
5858:
5839:
5837:
5834:
5833:
5813:
5811:
5808:
5807:
5791:
5789:
5786:
5785:
5781:
5754:
5752:
5749:
5748:
5732:
5730:
5727:
5726:
5723:second argument
5718:
5715:
5690:
5687:
5686:
5666:
5663:
5662:
5648:
5647:
5605:
5604:
5593:
5589:
5576:
5572:
5555:
5551:
5538:
5534:
5519:
5518:
5455:
5454:
5448:
5443:
5442:
5410:
5401:
5400:
5394:
5389:
5388:
5341:
5334:
5328:
5323:
5322:
5296:
5292:
5290:
5287:
5286:
5249:
5246:
5245:
5211:
5208:
5207:
5182:
5178:
5160:
5156:
5138:
5133:
5132:
5109:
5107:
5104:
5103:
5051:
5048:
5047:
5012:
5005:
5001:
4982:
4980:
4960:
4957:
4956:
4936:
4933:
4932:
4916:
4913:
4912:
4909:
4890:Euclidean space
4858:
4847:
4843:
4834:
4826:
4822:
4820:
4810:
4805:
4804:
4800:
4792:
4789:
4788:
4781:
4744:
4730:
4716:
4708:
4703:
4700:
4699:
4683:
4680:
4671:
4667:
4659:
4645:
4630:
4629:
4624:
4618:
4609:
4605:
4600:
4586:
4575:
4560:
4556:
4551:
4539:
4536:
4530:
4526:
4521:
4510:
4502:
4494:
4486:
4474:
4470:
4465:
4453:
4450:
4444:
4440:
4435:
4421:
4413:
4392:
4388:
4383:
4371:
4370:
4356:
4348:
4344:
4342:
4331:
4323:
4315:
4309:
4300:
4296:
4291:
4277:
4269:
4255:
4247:
4235:
4231:
4226:
4214:
4211:
4203:
4195:
4187:
4179:
4169:
4163:
4159:
4154:
4146:
4139:
4137:
4134:
4133:
4122:
4117:
4079:
4074:
4073:
4056:
4048:
4043:
4042:
4041:
4037:
4024:
4019:
4018:
4001:
3993:
3988:
3987:
3986:
3982:
3973:
3942:
3940:
3920:
3915:
3914:
3913:
3909:
3908:
3904:
3903:
3901:
3898:
3897:
3892:complex-valued
3886:
3880:
3853:
3843:
3839:
3835:
3834:
3819:
3809:
3805:
3801:
3800:
3799:
3795:
3784:
3774:
3770:
3766:
3765:
3750:
3740:
3736:
3732:
3731:
3730:
3726:
3717:
3706:
3695:
3694:
3693:
3687:
3683:
3668:
3657:
3656:
3655:
3649:
3645:
3644:
3640:
3639:
3637:
3634:
3633:
3611:
3601:
3597:
3593:
3592:
3586:
3575:
3565:
3555:
3551:
3547:
3546:
3540:
3529:
3511:
3500:
3499:
3498:
3492:
3488:
3482:
3471:
3466:
3462:
3451:
3440:
3439:
3438:
3432:
3428:
3422:
3411:
3406:
3402:
3391:
3383:
3372:
3364:
3352:
3341:
3330:
3329:
3328:
3322:
3318:
3312:
3301:
3296:
3292:
3291:
3282:
3277:
3276:
3268:
3260:
3252:
3250:
3247:
3246:
3217:
3213:
3211:
3205:
3201:
3181:
3177:
3175:
3169:
3165:
3154:
3146:
3141:
3138:
3137:
3120:
3115:
3114:
3112:
3109:
3108:
3092:
3083:
3079:
3064:
3060:
3058:
3055:
3054:
3038:
3029:
3025:
3010:
3006:
3004:
3001:
3000:
2978:
2974:
2959:
2955:
2954:
2950:
2942:
2940:
2937:
2936:
2914:
2910:
2895:
2891:
2890:
2886:
2878:
2876:
2873:
2872:
2855:
2850:
2849:
2841:
2833:
2831:
2828:
2827:
2824:
2813:
2782:
2777:
2772:
2766:
2761:
2757:
2745:
2740:
2735:
2729:
2724:
2720:
2711:
2700:
2696:
2690:
2686:
2680:
2675:
2671:
2670:
2668:
2665:
2664:
2638:
2633:
2623:
2602:
2598:
2592:
2588:
2582:
2577:
2573:
2561:
2557:
2546:
2541:
2531:
2526:
2522:
2513:
2502:
2498:
2486:
2482:
2481:
2477:
2476:
2461:
2450:
2446:
2434:
2430:
2429:
2425:
2424:
2422:
2419:
2418:
2403:
2400:
2399:
2370:
2366:
2360:
2356:
2350:
2346:
2337:
2333:
2327:
2323:
2290:
2276:
2274:
2271:
2270:
2243:
2238:
2228:
2217:
2212:
2208:
2197:
2192:
2182:
2171:
2166:
2162:
2153:
2142:
2138:
2132:
2128:
2122:
2111:
2106:
2102:
2101:
2099:
2096:
2095:
2074:
2069:
2068:
2066:
2063:
2062:
2060:Euclidean space
2056:
2045:
2020:
2016:
2007:
2003:
2002:
1998:
1996:
1993:
1992:
1970:
1966:
1957:
1953:
1952:
1948:
1946:
1943:
1942:
1917:
1912:
1899:
1894:
1889:
1885:
1874:
1869:
1856:
1851:
1846:
1842:
1833:
1822:
1818:
1812:
1808:
1799:
1795:
1789:
1785:
1784:
1780:
1779:
1777:
1774:
1773:
1756:
1752:
1750:
1747:
1746:
1729:
1725:
1723:
1720:
1719:
1702:
1698:
1696:
1693:
1692:
1675:
1671:
1669:
1666:
1665:
1645:
1643:
1640:
1639:
1623:
1621:
1618:
1617:
1597:
1594:
1593:
1573:
1569:
1564:
1555:
1551:
1546:
1534:
1530:
1513:
1502:
1487:
1483:
1478:
1470:
1465:
1462:
1461:
1439:
1435:
1426:
1422:
1421:
1417:
1409:
1407:
1404:
1403:
1381:
1377:
1368:
1364:
1363:
1359:
1351:
1349:
1346:
1345:
1338:Euclidean space
1320:
1315:
1314:
1312:
1309:
1308:
1297:
1292:
1266:
1262:
1260:
1248:
1242:
1239:
1238:
1218:
1214:
1207:
1203:
1201:
1189:
1183:
1180:
1179:
1162:
1157:
1156:
1154:
1151:
1150:
1122:
1118:
1112:
1107:
1101:
1084:
1080:
1074:
1069:
1063:
1052:
1048:
1042:
1037:
1031:
1019:
1015:
1000:
996:
987:
983:
982:
976:
965:
961:
946:
942:
933:
929:
928:
924:
923:
921:
915:
906:
902:
896:
891:
885:
879:
868:
852:
848:
842:
831:
820:
809:
805:
799:
788:
779:
778:
776:
774:
771:
770:
753:
749:
734:
730:
721:
717:
715:
712:
711:
694:
690:
675:
671:
662:
658:
656:
653:
652:
643:'s inequality,
634:
629:
604:
602:
599:
598:
582:
580:
577:
576:
538:
527:
516:
508:
500:
492:
490:
487:
486:
461:
453:
448:
445:
444:
420:
412:
407:
396:
391:
388:
387:
371:
369:
366:
365:
332:
328:
326:
323:
322:
282:
279:
278:
240:
232:
218:
210:
198:
185:
177:
173:
169:
168:
166:
163:
162:
138:
136:
133:
132:
116:
114:
111:
110:
107:
67:sequence spaces
63:infinite series
28:
23:
22:
15:
12:
11:
5:
14226:
14216:
14215:
14210:
14205:
14200:
14198:Linear algebra
14195:
14190:
14173:
14172:
14170:
14169:
14161:
14155:compact &
14140:
14138:
14134:
14133:
14131:
14130:
14125:
14120:
14115:
14110:
14105:
14100:
14098:Hermitian form
14095:
14090:
14084:
14082:
14078:
14077:
14075:
14074:
14064:
14059:
14053:
14051:
14047:
14046:
14044:
14043:
14038:
14033:
14027:
14025:
14021:
14020:
14018:
14017:
14012:
14007:
13998:
13989:
13983:
13981:
13980:Basic concepts
13977:
13976:
13973:Hilbert spaces
13969:
13968:
13961:
13954:
13946:
13937:
13936:
13934:
13933:
13922:
13919:
13918:
13916:
13915:
13910:
13905:
13900:
13898:Choquet theory
13895:
13890:
13884:
13882:
13878:
13877:
13875:
13874:
13864:
13859:
13854:
13849:
13844:
13839:
13834:
13829:
13824:
13819:
13814:
13808:
13806:
13802:
13801:
13799:
13798:
13793:
13787:
13785:
13781:
13780:
13778:
13777:
13772:
13767:
13762:
13757:
13752:
13750:Banach algebra
13746:
13744:
13740:
13739:
13737:
13736:
13731:
13726:
13721:
13716:
13711:
13706:
13701:
13696:
13691:
13685:
13683:
13679:
13678:
13676:
13675:
13673:Banach–Alaoglu
13670:
13665:
13660:
13655:
13650:
13645:
13640:
13635:
13629:
13627:
13621:
13620:
13617:
13616:
13614:
13613:
13608:
13603:
13601:Locally convex
13598:
13584:
13579:
13573:
13571:
13567:
13566:
13564:
13563:
13558:
13553:
13548:
13543:
13538:
13533:
13528:
13523:
13518:
13512:
13506:
13502:
13501:
13485:
13484:
13477:
13470:
13462:
13453:
13452:
13450:
13449:
13448:
13447:
13442:
13432:
13427:
13422:
13417:
13412:
13407:
13402:
13396:
13394:
13390:
13389:
13386:
13385:
13383:
13382:
13377:
13372:
13367:
13366:
13365:
13355:
13349:
13347:
13335:
13334:
13329:
13324:
13319:
13314:
13308:
13306:
13300:
13299:
13297:
13296:
13291:
13286:
13281:
13276:
13271:
13266:
13261:
13256:
13250:
13248:
13244:
13243:
13241:
13240:
13235:
13230:
13225:
13220:
13218:Function space
13215:
13210:
13205:
13199:
13197:
13193:
13192:
13190:
13189:
13184:
13183:
13182:
13172:
13167:
13161:
13159:
13144:
13140:
13127:
13126:
13124:
13123:
13118:
13113:
13108:
13103:
13098:
13093:
13091:Cauchy–Schwarz
13088:
13082:
13080:
13071:
13070:
13068:
13067:
13062:
13057:
13051:
13049:
13040:
13039:
13037:
13036:
13031:
13026:
13017:
13012:
13011:
13010:
13000:
12992:
12990:Hilbert spaces
12982:
12980:
12979:Basic concepts
12976:
12975:
12968:
12967:
12960:
12953:
12945:
12939:
12938:
12932:
12925:
12924:External links
12922:
12920:
12919:
12914:
12899:
12881:
12854:
12844:
12833:
12815:(3): 494–503,
12805:Kadison, R. V.
12801:
12787:
12763:
12741:
12720:
12712:
12682:
12665:(3): 275–295,
12649:
12647:
12644:
12642:
12641:
12606:
12571:
12526:
12510:
12497:(3): 491–494.
12477:
12470:
12450:
12431:(3): 494–503.
12415:
12408:
12388:
12381:
12361:
12354:
12334:
12327:
12307:
12300:
12282:
12275:
12255:
12225:
12219:(1): 221–229.
12196:
12189:
12169:
12162:
12142:
12135:
12115:
12108:
12088:
12081:
12061:
12054:
12034:
12027:
12007:
12000:
11980:
11970:
11950:
11940:
11922:
11915:
11895:
11888:
11865:
11859:978-0030105678
11858:
11840:
11831:978-0521546775
11830:
11805:
11776:
11757:
11730:
11707:
11705:
11702:
11700:
11697:
11696:
11695:
11686:
11676:
11671:
11666:
11660:
11654:
11646:
11643:
11616:
11612:
11606:
11601:
11597:
11591:
11586:
11583:
11580:
11576:
11571:
11566:
11560:
11555:
11551:
11545:
11540:
11537:
11534:
11530:
11525:
11518:
11511:
11505:
11502:
11499:
11494:
11490:
11484:
11481:
11478:
11473:
11469:
11463:
11458:
11455:
11452:
11448:
11443:
11438:
11432:
11429:
11426:
11421:
11417:
11411:
11408:
11405:
11400:
11396:
11390:
11385:
11382:
11379:
11375:
11370:
11363:
11356:
11350:
11347:
11344:
11339:
11335:
11329:
11326:
11323:
11318:
11314:
11308:
11303:
11300:
11297:
11293:
11288:
11283:
11277:
11274:
11271:
11266:
11262:
11256:
11253:
11250:
11245:
11241:
11235:
11230:
11227:
11224:
11220:
11215:
11208:
11200:
11195:
11189:
11185:
11179:
11175:
11169:
11164:
11161:
11158:
11154:
11149:
11128:
11125:
11122:
11119:
11116:
11113:
11110:
11107:
11090:
11074:
11071:
11067:
11063:
11058:
11054:
11049:
11045:
11042:
11039:
11036:
11032:
11028:
11023:
11019:
11014:
11010:
11007:
11004:
10999:
10995:
10990:
10986:
10981:
10977:
10972:
10968:
10965:
10941:
10937:
10933:
10928:
10924:
10919:
10915:
10912:
10909:
10906:
10903:
10900:
10897:
10894:
10891:
10888:
10885:
10882:
10877:
10873:
10869:
10866:
10863:
10843:
10840:
10837:
10817:
10796:
10779:
10774:
10770:
10766:
10763:
10743:
10723:
10703:
10698:
10693:
10688:
10685:
10682:
10679:
10675:
10671:
10668:
10665:
10662:
10659:
10654:
10650:
10646:
10643:
10640:
10637:
10634:
10631:
10627:
10623:
10618:
10614:
10609:
10605:
10582:
10578:
10573:
10569:
10565:
10561:
10558:
10555:
10552:
10549:
10546:
10542:
10538:
10533:
10529:
10524:
10520:
10500:
10497:
10494:
10491:
10487:
10482:
10478:
10474:
10470:
10467:
10464:
10461:
10456:
10452:
10448:
10445:
10425:
10415:normal element
10402:
10377:
10361:
10357:
10353:
10348:
10344:
10339:
10335:
10331:
10327:
10322:
10318:
10313:
10309:
10306:
10301:
10296:
10291:
10287:
10282:
10278:
10273:
10269:
10265:
10244:
10241:
10238:
10235:
10232:
10229:
10209:
10206:
10186:
10169:
10154:
10150:
10146:
10141:
10137:
10132:
10128:
10124:
10120:
10115:
10111:
10106:
10102:
10099:
10094:
10089:
10084:
10080:
10075:
10071:
10066:
10062:
10058:
10036:
10033:
10004:
10000:
9979:
9975:
9971:
9966:
9962:
9957:
9953:
9950:
9945:
9941:
9937:
9934:
9931:
9928:
9908:
9905:
9902:
9897:
9893:
9872:
9852:
9849:
9846:
9843:
9840:
9837:
9834:
9831:
9828:
9825:
9822:
9802:
9782:
9779:
9776:
9773:
9770:
9765:
9761:
9707:
9703:
9686:
9683:
9671:
9667:
9663:
9658:
9654:
9650:
9647:
9643:
9622:
9619:
9616:
9613:
9609:
9605:
9601:
9597:
9592:
9588:
9584:
9580:
9576:
9572:
9568:
9563:
9559:
9555:
9552:
9549:
9544:
9540:
9536:
9533:
9513:
9510:
9506:
9502:
9498:
9494:
9490:
9486:
9483:
9480:
9475:
9471:
9450:
9445:
9441:
9437:
9433:
9429:
9426:
9423:
9419:
9415:
9412:
9409:
9406:
9403:
9400:
9397:
9394:
9374:
9371:
9368:
9345:
9342:
9338:
9332:
9328:
9323:
9319:
9314:
9310:
9305:
9301:
9298:
9293:
9288:
9283:
9279:
9275:
9271:
9267:
9263:
9258:
9254:
9251:
9248:
9228:
9208:
9205:
9202:
9198:
9177:
9157:
9131:
9127:
9122:
9118:
9115:
9112:
9108:
9104:
9100:
9096:
9092:
9088:
9084:
9080:
9077:
9072:
9068:
9062:
9058:
9053:
9049:
9046:
9043:
9041:
9039:
9036:
9032:
9028:
9024:
9020:
9017:
9014:
9010:
9006:
9002:
8998:
8993:
8990:
8985:
8982:
8979:
8975:
8971:
8967:
8963:
8960:
8957:
8954:
8951:
8947:
8943:
8939:
8935:
8930:
8927:
8922:
8919:
8916:
8913:
8910:
8908:
8906:
8903:
8899:
8895:
8891:
8887:
8884:
8881:
8877:
8873:
8870:
8867:
8863:
8859:
8856:
8853:
8849:
8845:
8841:
8837:
8834:
8831:
8828:
8825:
8821:
8817:
8814:
8811:
8807:
8803:
8800:
8797:
8794:
8791:
8789:
8787:
8784:
8781:
8778:
8775:
8774:
8754:
8751:
8748:
8745:
8725:
8722:
8719:
8716:
8693:
8673:
8670:
8667:
8663:
8659:
8655:
8651:
8631:
8610:
8606:
8602:
8598:
8594:
8590:
8586:
8582:
8579:
8575:
8571:
8567:
8563:
8560:
8540:
8537:
8533:
8529:
8525:
8504:
8484:
8480:
8476:
8472:
8468:
8465:
8462:
8458:
8454:
8450:
8446:
8443:
8440:
8437:
8434:
8431:
8428:
8425:
8404:
8400:
8396:
8392:
8389:
8368:
8364:
8360:
8347:
8344:
8332:
8312:
8308:
8286:
8264:
8243:
8239:
8235:
8231:
8210:
8207:
8202:
8198:
8193:
8189:
8169:
8147:
8143:
8138:
8134:
8112:
8104:
8100:
8095:
8091:
8084:
8079:
8074:
8070:
8066:
8062:
8058:
8054:
8047:
8042:
8038:
8033:
8029:
8026:
8018:
8014:
8009:
8005:
7998:
7993:
7988:
7984:
7980:
7976:
7972:
7968:
7961:
7956:
7952:
7947:
7943:
7940:
7935:
7931:
7926:
7922:
7913:
7909:
7903:
7899:
7894:
7890:
7887:
7880:
7875:
7870:
7866:
7862:
7858:
7854:
7850:
7843:
7838:
7834:
7829:
7825:
7822:
7817:
7813:
7808:
7804:
7799:
7794:
7788:
7784:
7780:
7776:
7772:
7767:
7763:
7759:
7755:
7751:
7745:
7740:
7735:
7731:
7726:
7722:
7701:
7697:
7693:
7686:
7682:
7678:
7674:
7670:
7665:
7661:
7657:
7653:
7649:
7643:
7639:
7614:
7610:
7588:
7562:
7540:
7518:
7495:
7492:
7489:
7485:
7481:
7477:
7473:
7467:
7463:
7459:
7455:
7451:
7446:
7442:
7438:
7434:
7430:
7424:
7421:
7417:
7413:
7409:
7405:
7402:
7398:
7393:
7389:
7385:
7378:
7374:
7370:
7366:
7362:
7357:
7353:
7349:
7345:
7341:
7335:
7331:
7326:
7322:
7319:
7315:
7311:
7307:
7303:
7281:
7277:
7270:
7266:
7262:
7258:
7254:
7249:
7245:
7241:
7237:
7233:
7227:
7223:
7219:
7215:
7194:
7190:
7186:
7182:
7160:
7156:
7152:
7139:
7136:
7125:
7124:
7111:
7108:
7105:
7084:
7080:
7077:
7073:
7051:
7047:
7043:
7021:
6999:
6977:
6955:
6932:
6929:
6925:
6921:
6918:
6914:
6910:
6907:
6903:
6899:
6895:
6891:
6887:
6883:
6879:
6875:
6871:
6867:
6863:
6859:
6855:
6851:
6847:
6826:
6805:
6801:
6798:
6794:
6765:
6761:
6757:
6754:
6750:
6746:
6743:
6740:
6736:
6732:
6729:
6725:
6721:
6718:
6715:
6712:
6708:
6704:
6701:
6697:
6693:
6689:
6685:
6681:
6677:
6673:
6669:
6665:
6661:
6657:
6653:
6650:
6646:
6642:
6638:
6634:
6630:
6626:
6622:
6618:
6615:
6611:
6607:
6603:
6599:
6595:
6591:
6587:
6583:
6579:
6558:
6537:
6533:
6530:
6526:
6504:
6482:
6468:
6467:
6450:
6439:
6434:
6422:
6419:
6415:
6411:
6408:
6404:
6400:
6397:
6393:
6389:
6385:
6381:
6377:
6373:
6369:
6347:
6325:
6300:
6297:
6294:
6290:
6286:
6283:
6279:
6275:
6251:
6247:
6238:
6234:
6229:
6225:
6220:
6216:
6212:
6208:
6204:
6198:
6194:
6172:
6168:
6164:
6143:
6139:
6135:
6132:
6128:
6124:
6121:
6117:
6113:
6109:
6105:
6101:
6097:
6093:
6064:
6042:
6031:if and only if
6014:
6013:
6004:
6002:
5991:
5987:
5983:
5980:
5976:
5972:
5969:
5965:
5961:
5957:
5953:
5949:
5945:
5941:
5915:
5911:
5889:
5867:
5846:
5842:
5816:
5794:
5776:
5761:
5757:
5735:
5714:
5711:
5694:
5670:
5646:
5643:
5640:
5637:
5634:
5631:
5628:
5625:
5622:
5619:
5616:
5613:
5610:
5608:
5606:
5602:
5596:
5592:
5588:
5585:
5582:
5579:
5575:
5571:
5568:
5564:
5558:
5554:
5550:
5547:
5544:
5541:
5537:
5533:
5530:
5527:
5524:
5522:
5520:
5517:
5514:
5511:
5508:
5505:
5502:
5499:
5496:
5493:
5490:
5487:
5484:
5481:
5478:
5475:
5472:
5469:
5466:
5463:
5460:
5458:
5456:
5451:
5446:
5441:
5438:
5435:
5432:
5429:
5426:
5423:
5420:
5417:
5413:
5409:
5406:
5404:
5402:
5397:
5392:
5387:
5384:
5381:
5378:
5375:
5372:
5369:
5366:
5363:
5360:
5357:
5354:
5351:
5348:
5344:
5340:
5337:
5335:
5331:
5326:
5321:
5318:
5315:
5312:
5309:
5306:
5303:
5299:
5295:
5294:
5274:
5271:
5268:
5265:
5262:
5259:
5256:
5253:
5233:
5230:
5227:
5224:
5221:
5218:
5215:
5193:
5190:
5185:
5181:
5177:
5174:
5171:
5168:
5163:
5159:
5155:
5152:
5149:
5146:
5141:
5136:
5131:
5128:
5125:
5122:
5119:
5116:
5112:
5091:
5088:
5085:
5082:
5079:
5076:
5073:
5070:
5067:
5064:
5061:
5058:
5055:
5033:
5027:
5024:
5021:
5018:
5015:
5008:
5004:
5000:
4997:
4994:
4991:
4988:
4985:
4979:
4976:
4973:
4970:
4967:
4964:
4940:
4920:
4908:
4905:
4886:Hilbert spaces
4871:
4865:
4861:
4857:
4854:
4850:
4846:
4841:
4837:
4833:
4829:
4825:
4819:
4813:
4808:
4803:
4799:
4796:
4780:
4777:
4754:
4751:
4747:
4743:
4740:
4737:
4733:
4729:
4726:
4723:
4719:
4715:
4711:
4707:
4679:
4674:
4670:
4666:
4662:
4658:
4655:
4652:
4648:
4644:
4641:
4638:
4635:
4633:
4631:
4626: using CS
4620:
4612:
4608:
4603:
4599:
4596:
4593:
4589:
4585:
4582:
4578:
4574:
4571:
4568:
4563:
4559:
4554:
4550:
4547:
4544:
4542:
4540:
4533:
4529:
4524:
4520:
4517:
4513:
4509:
4505:
4501:
4497:
4493:
4489:
4485:
4482:
4477:
4473:
4468:
4464:
4461:
4458:
4456:
4454:
4447:
4443:
4438:
4434:
4431:
4428:
4424:
4420:
4416:
4412:
4409:
4406:
4403:
4400:
4395:
4391:
4386:
4382:
4379:
4376:
4374:
4372:
4367:
4363:
4359:
4355:
4351:
4347:
4341:
4338:
4334:
4330:
4326:
4322:
4311:
4303:
4299:
4294:
4290:
4287:
4284:
4280:
4276:
4272:
4268:
4265:
4262:
4258:
4254:
4250:
4246:
4243:
4238:
4234:
4229:
4225:
4222:
4219:
4217:
4215:
4210:
4206:
4202:
4198:
4194:
4190:
4186:
4182:
4178:
4175:
4172:
4170:
4166:
4162:
4157:
4153:
4149:
4145:
4142:
4141:
4121:
4118:
4116:
4113:
4094:
4091:
4088:
4082:
4077:
4072:
4069:
4066:
4063:
4059:
4051:
4046:
4040:
4036:
4033:
4027:
4022:
4017:
4014:
4011:
4008:
4004:
3996:
3991:
3985:
3981:
3976:
3971:
3967:
3964:
3958:
3954:
3951:
3948:
3945:
3939:
3936:
3933:
3930:
3923:
3918:
3912:
3907:
3885:
3878:
3866:
3862:
3856:
3851:
3846:
3842:
3838:
3833:
3830:
3827:
3822:
3817:
3812:
3808:
3804:
3798:
3793:
3787:
3782:
3777:
3773:
3769:
3764:
3761:
3758:
3753:
3748:
3743:
3739:
3735:
3729:
3725:
3720:
3715:
3709:
3702:
3699:
3690:
3686:
3682:
3679:
3676:
3671:
3664:
3661:
3652:
3648:
3643:
3619:
3614:
3609:
3604:
3600:
3596:
3589:
3584:
3581:
3578:
3574:
3568:
3563:
3558:
3554:
3550:
3543:
3538:
3535:
3532:
3528:
3524:
3520:
3514:
3507:
3504:
3495:
3491:
3485:
3480:
3477:
3474:
3470:
3465:
3460:
3454:
3447:
3444:
3435:
3431:
3425:
3420:
3417:
3414:
3410:
3405:
3401:
3398:
3394:
3390:
3386:
3382:
3379:
3375:
3371:
3367:
3363:
3360:
3355:
3350:
3344:
3337:
3334:
3325:
3321:
3315:
3310:
3307:
3304:
3300:
3295:
3290:
3285:
3280:
3275:
3271:
3267:
3263:
3259:
3255:
3230:
3225:
3220:
3216:
3208:
3204:
3200:
3197:
3194:
3189:
3184:
3180:
3172:
3168:
3164:
3161:
3157:
3153:
3149:
3145:
3123:
3118:
3095:
3091:
3086:
3082:
3078:
3075:
3072:
3067:
3063:
3041:
3037:
3032:
3028:
3024:
3021:
3018:
3013:
3009:
2987:
2981:
2977:
2973:
2970:
2967:
2962:
2958:
2953:
2949:
2945:
2923:
2917:
2913:
2909:
2906:
2903:
2898:
2894:
2889:
2885:
2881:
2858:
2853:
2848:
2844:
2840:
2836:
2823:
2811:
2799:
2796:
2792:
2785:
2780:
2776:
2769:
2765:
2760:
2755:
2748:
2743:
2739:
2732:
2728:
2723:
2719:
2714:
2709:
2703:
2699:
2693:
2689:
2683:
2679:
2674:
2646:
2641:
2636:
2632:
2626:
2622:
2618:
2615:
2611:
2605:
2601:
2595:
2591:
2585:
2581:
2576:
2572:
2569:
2564:
2560:
2555:
2549:
2544:
2540:
2534:
2530:
2525:
2521:
2516:
2511:
2505:
2501:
2497:
2494:
2489:
2485:
2480:
2475:
2472:
2469:
2464:
2459:
2453:
2449:
2445:
2442:
2437:
2433:
2428:
2407:
2381:
2378:
2373:
2369:
2363:
2359:
2353:
2349:
2345:
2340:
2336:
2330:
2326:
2322:
2317:
2314:
2311:
2308:
2305:
2302:
2299:
2296:
2293:
2289:
2283:
2280:
2256:
2252:
2246:
2241:
2237:
2231:
2226:
2223:
2220:
2216:
2211:
2206:
2200:
2195:
2191:
2185:
2180:
2177:
2174:
2170:
2165:
2161:
2156:
2151:
2145:
2141:
2135:
2131:
2125:
2120:
2117:
2114:
2110:
2105:
2077:
2072:
2055:
2043:
2029:
2023:
2019:
2015:
2010:
2006:
2001:
1979:
1973:
1969:
1965:
1960:
1956:
1951:
1930:
1926:
1920:
1915:
1911:
1907:
1902:
1897:
1893:
1888:
1883:
1877:
1872:
1868:
1864:
1859:
1854:
1850:
1845:
1841:
1836:
1831:
1825:
1821:
1815:
1811:
1807:
1802:
1798:
1792:
1788:
1783:
1759:
1755:
1732:
1728:
1705:
1701:
1678:
1674:
1648:
1626:
1601:
1581:
1576:
1572:
1567:
1563:
1558:
1554:
1549:
1545:
1542:
1537:
1533:
1529:
1526:
1523:
1520:
1516:
1512:
1509:
1505:
1501:
1498:
1495:
1490:
1486:
1481:
1477:
1473:
1469:
1448:
1442:
1438:
1434:
1429:
1425:
1420:
1416:
1412:
1390:
1384:
1380:
1376:
1371:
1367:
1362:
1358:
1354:
1323:
1318:
1296:
1290:
1286:perfect square
1269:
1265:
1259:
1255:
1251:
1247:
1221:
1217:
1210:
1206:
1200:
1196:
1192:
1188:
1165:
1160:
1132:
1125:
1121:
1115:
1110:
1106:
1100:
1097:
1094:
1087:
1083:
1077:
1072:
1068:
1062:
1055:
1051:
1045:
1040:
1036:
1030:
1022:
1018:
1014:
1011:
1008:
1003:
999:
995:
990:
986:
979:
974:
968:
964:
960:
957:
954:
949:
945:
941:
936:
932:
927:
909:
905:
899:
894:
890:
882:
877:
874:
871:
867:
863:
855:
851:
845:
840:
837:
834:
830:
823:
818:
812:
808:
802:
797:
794:
791:
787:
782:
756:
752:
748:
745:
742:
737:
733:
729:
724:
720:
697:
693:
689:
686:
683:
678:
674:
670:
665:
661:
633:
630:
628:
625:
607:
585:
571:
570:
561:
559:
548:
545:
541:
537:
534:
530:
526:
523:
519:
515:
511:
507:
503:
499:
495:
468:
464:
460:
456:
452:
432:
427:
423:
419:
415:
411:
406:
403:
399:
395:
374:
362:
359:
354:
335:
331:
298:
295:
292:
289:
286:
273:
272:
263:
261:
250:
247:
243:
239:
235:
231:
228:
225:
221:
217:
213:
209:
206:
201:
196:
192:
188:
184:
180:
176:
172:
141:
119:
106:
103:
75:Hilbert spaces
26:
18:Cauchy-Schwarz
9:
6:
4:
3:
2:
14225:
14214:
14211:
14209:
14206:
14204:
14201:
14199:
14196:
14194:
14191:
14189:
14186:
14185:
14183:
14168:
14167:
14162:
14160:
14158:
14154:
14150:
14146:
14142:
14141:
14139:
14135:
14129:
14126:
14124:
14121:
14119:
14116:
14114:
14111:
14109:
14106:
14104:
14101:
14099:
14096:
14094:
14091:
14089:
14086:
14085:
14083:
14079:
14072:
14068:
14065:
14063:
14060:
14058:
14055:
14054:
14052:
14050:Other results
14048:
14042:
14039:
14037:
14034:
14032:
14029:
14028:
14026:
14022:
14016:
14013:
14011:
14008:
14006:
14002:
14001:Hilbert space
13999:
13997:
13993:
13992:Inner product
13990:
13988:
13985:
13984:
13982:
13978:
13974:
13967:
13962:
13960:
13955:
13953:
13948:
13947:
13944:
13932:
13924:
13923:
13920:
13914:
13911:
13909:
13906:
13904:
13903:Weak topology
13901:
13899:
13896:
13894:
13891:
13889:
13886:
13885:
13883:
13879:
13872:
13868:
13865:
13863:
13860:
13858:
13855:
13853:
13850:
13848:
13845:
13843:
13840:
13838:
13835:
13833:
13830:
13828:
13827:Index theorem
13825:
13823:
13820:
13818:
13815:
13813:
13810:
13809:
13807:
13803:
13797:
13794:
13792:
13789:
13788:
13786:
13784:Open problems
13782:
13776:
13773:
13771:
13768:
13766:
13763:
13761:
13758:
13756:
13753:
13751:
13748:
13747:
13745:
13741:
13735:
13732:
13730:
13727:
13725:
13722:
13720:
13717:
13715:
13712:
13710:
13707:
13705:
13702:
13700:
13697:
13695:
13692:
13690:
13687:
13686:
13684:
13680:
13674:
13671:
13669:
13666:
13664:
13661:
13659:
13656:
13654:
13651:
13649:
13646:
13644:
13641:
13639:
13636:
13634:
13631:
13630:
13628:
13626:
13622:
13612:
13609:
13607:
13604:
13602:
13599:
13596:
13592:
13588:
13585:
13583:
13580:
13578:
13575:
13574:
13572:
13568:
13562:
13559:
13557:
13554:
13552:
13549:
13547:
13544:
13542:
13539:
13537:
13534:
13532:
13529:
13527:
13524:
13522:
13519:
13517:
13514:
13513:
13510:
13507:
13503:
13498:
13494:
13490:
13483:
13478:
13476:
13471:
13469:
13464:
13463:
13460:
13446:
13443:
13441:
13438:
13437:
13436:
13433:
13431:
13430:Sobolev space
13428:
13426:
13425:Real analysis
13423:
13421:
13418:
13416:
13413:
13411:
13410:Lorentz space
13408:
13406:
13403:
13401:
13400:Bochner space
13398:
13397:
13395:
13391:
13381:
13378:
13376:
13373:
13371:
13368:
13364:
13361:
13360:
13359:
13356:
13354:
13351:
13350:
13348:
13345:
13339:
13333:
13330:
13328:
13325:
13323:
13320:
13318:
13315:
13313:
13310:
13309:
13307:
13305:
13301:
13295:
13292:
13290:
13287:
13285:
13282:
13280:
13277:
13275:
13272:
13270:
13267:
13265:
13262:
13260:
13257:
13255:
13252:
13251:
13249:
13245:
13239:
13236:
13234:
13231:
13229:
13226:
13224:
13221:
13219:
13216:
13214:
13211:
13209:
13206:
13204:
13201:
13200:
13198:
13194:
13188:
13185:
13181:
13178:
13177:
13176:
13173:
13171:
13168:
13166:
13163:
13162:
13160:
13158:
13138:
13128:
13122:
13119:
13117:
13114:
13112:
13109:
13107:
13104:
13102:
13101:Hilbert space
13099:
13097:
13094:
13092:
13089:
13087:
13084:
13083:
13081:
13079:
13077:
13072:
13066:
13063:
13061:
13058:
13056:
13053:
13052:
13050:
13048:
13046:
13041:
13035:
13032:
13030:
13027:
13025:
13021:
13018:
13016:
13015:Measure space
13013:
13009:
13006:
13005:
13004:
13001:
12999:
12997:
12993:
12991:
12987:
12984:
12983:
12981:
12977:
12973:
12966:
12961:
12959:
12954:
12952:
12947:
12946:
12943:
12936:
12933:
12931:
12928:
12927:
12917:
12915:0-521-54677-X
12911:
12907:
12906:
12900:
12897:
12893:
12892:
12887:
12882:
12875:
12871:
12867:
12860:
12855:
12850:
12845:
12841:
12840:
12834:
12830:
12826:
12822:
12818:
12814:
12810:
12806:
12802:
12798:
12794:
12790:
12784:
12780:
12776:
12772:
12768:
12764:
12760:
12755:
12752:(1): 71–100,
12751:
12747:
12742:
12739:on 2008-07-20
12738:
12734:
12730:
12726:
12721:
12718:
12713:
12706:
12702:
12698:
12691:
12687:
12683:
12680:
12676:
12672:
12668:
12664:
12660:
12656:
12651:
12650:
12637:
12633:
12629:
12625:
12621:
12617:
12610:
12602:
12598:
12594:
12590:
12586:
12582:
12575:
12567:
12563:
12559:
12555:
12550:
12545:
12541:
12537:
12530:
12522:
12521:
12514:
12505:
12500:
12496:
12492:
12488:
12481:
12473:
12471:9780521816694
12467:
12463:
12462:
12454:
12446:
12442:
12438:
12434:
12430:
12426:
12419:
12411:
12409:9783642343698
12405:
12401:
12400:
12392:
12384:
12382:9781461263715
12378:
12374:
12373:
12365:
12357:
12355:9789812799883
12351:
12347:
12346:
12338:
12330:
12328:9781139489805
12324:
12320:
12319:
12311:
12303:
12297:
12293:
12286:
12278:
12276:9783540326960
12272:
12268:
12267:
12259:
12240:
12236:
12232:
12228:
12222:
12218:
12214:
12207:
12200:
12192:
12190:9780387938394
12186:
12182:
12181:
12173:
12165:
12163:9780824703790
12159:
12155:
12154:
12146:
12138:
12136:9781107044104
12132:
12128:
12127:
12119:
12111:
12109:9781461209010
12105:
12101:
12100:
12092:
12084:
12082:9781482248241
12078:
12074:
12073:
12065:
12057:
12055:9781439894613
12051:
12047:
12046:
12038:
12030:
12028:9789814502511
12024:
12020:
12019:
12011:
12003:
12001:9780486136554
11997:
11993:
11992:
11984:
11977:
11973:
11967:
11963:
11962:
11954:
11947:
11943:
11941:0-387-98579-4
11937:
11933:
11926:
11918:
11916:9781461205050
11912:
11908:
11907:
11899:
11891:
11889:981-02-4191-7
11885:
11881:
11880:
11872:
11870:
11861:
11855:
11851:
11844:
11837:
11833:
11827:
11823:
11822:
11814:
11812:
11810:
11798:
11794:
11787:
11780:
11772:
11768:
11761:
11754:
11750:
11749:
11744:
11737:
11735:
11726:
11724:
11719:
11712:
11708:
11690:
11687:
11684:
11680:
11677:
11675:
11672:
11670:
11667:
11664:
11661:
11658:
11655:
11652:
11649:
11648:
11642:
11640:
11635:
11633:
11627:
11614:
11610:
11604:
11599:
11595:
11589:
11584:
11581:
11578:
11574:
11569:
11564:
11558:
11553:
11549:
11543:
11538:
11535:
11532:
11528:
11523:
11516:
11509:
11503:
11500:
11497:
11492:
11488:
11482:
11479:
11476:
11471:
11467:
11461:
11456:
11453:
11450:
11446:
11441:
11436:
11430:
11427:
11424:
11419:
11415:
11409:
11406:
11403:
11398:
11394:
11388:
11383:
11380:
11377:
11373:
11368:
11361:
11354:
11348:
11345:
11342:
11337:
11333:
11327:
11324:
11321:
11316:
11312:
11306:
11301:
11298:
11295:
11291:
11286:
11281:
11275:
11272:
11269:
11264:
11260:
11254:
11251:
11248:
11243:
11239:
11233:
11228:
11225:
11222:
11218:
11213:
11206:
11198:
11193:
11187:
11183:
11177:
11173:
11167:
11162:
11159:
11156:
11152:
11147:
11126:
11123:
11120:
11117:
11114:
11111:
11108:
11105:
11089:
11085:
11072:
11065:
11061:
11056:
11052:
11047:
11043:
11037:
11030:
11026:
11021:
11017:
11012:
11008:
11002:
10997:
10988:
10984:
10979:
10975:
10970:
10966:
10939:
10935:
10931:
10926:
10922:
10917:
10913:
10904:
10898:
10892:
10886:
10880:
10875:
10867:
10861:
10841:
10838:
10835:
10815:
10795:
10793:
10777:
10772:
10768:
10764:
10761:
10741:
10721:
10701:
10696:
10683:
10677:
10669:
10663:
10657:
10652:
10644:
10638:
10635:
10632:
10629:
10625:
10621:
10616:
10612:
10607:
10603:
10593:
10580:
10576:
10571:
10567:
10563:
10559:
10553:
10547:
10544:
10540:
10536:
10531:
10527:
10522:
10518:
10495:
10489:
10485:
10480:
10476:
10472:
10468:
10465:
10459:
10454:
10450:
10443:
10423:
10416:
10400:
10387:
10384:(Named after
10376:
10372:
10359:
10355:
10351:
10346:
10342:
10337:
10333:
10329:
10325:
10320:
10316:
10311:
10307:
10304:
10299:
10294:
10289:
10285:
10280:
10276:
10271:
10267:
10263:
10242:
10239:
10236:
10233:
10230:
10227:
10220:then for all
10207:
10204:
10184:
10168:
10165:
10152:
10148:
10144:
10139:
10135:
10130:
10126:
10122:
10118:
10113:
10109:
10104:
10100:
10097:
10092:
10087:
10082:
10078:
10073:
10069:
10064:
10060:
10056:
10034:
10031:
10023:
10020:
10002:
9998:
9977:
9973:
9969:
9964:
9960:
9955:
9951:
9948:
9943:
9935:
9932:
9929:
9903:
9895:
9891:
9870:
9850:
9844:
9841:
9838:
9832:
9826:
9820:
9800:
9780:
9777:
9771:
9763:
9759:
9750:
9745:
9743:
9739:
9735:
9731:
9727:
9726:Hilbert space
9723:
9705:
9701:
9692:
9682:
9669:
9661:
9656:
9652:
9648:
9645:
9620:
9617:
9614:
9603:
9595:
9590:
9586:
9582:
9574:
9566:
9561:
9557:
9550:
9542:
9538:
9531:
9511:
9496:
9481:
9478:
9473:
9469:
9448:
9443:
9424:
9410:
9404:
9398:
9392:
9372:
9369:
9357:
9343:
9340:
9336:
9330:
9312:
9296:
9291:
9273:
9256:
9252:
9249:
9226:
9206:
9203:
9200:
9175:
9155:
9129:
9113:
9110:
9094:
9078:
9075:
9070:
9066:
9060:
9044:
9042:
9026:
9015:
9004:
8988:
8983:
8980:
8969:
8958:
8955:
8952:
8941:
8925:
8920:
8917:
8914:
8911:
8909:
8893:
8882:
8871:
8868:
8865:
8854:
8843:
8835:
8832:
8826:
8815:
8812:
8809:
8801:
8798:
8792:
8790:
8782:
8776:
8749:
8743:
8720:
8714:
8705:
8691:
8671:
8668:
8657:
8629:
8596:
8580:
8569:
8558:
8538:
8535:
8527:
8502:
8474:
8466:
8463:
8460:
8452:
8444:
8441:
8435:
8429:
8423:
8390:
8387:
8362:
8343:
8330:
8310:
8241:
8233:
8208:
8205:
8200:
8167:
8145:
8123:
8110:
8102:
8082:
8064:
8045:
8040:
8024:
8016:
7996:
7978:
7959:
7954:
7938:
7933:
7911:
7901:
7878:
7860:
7841:
7836:
7820:
7815:
7797:
7792:
7778:
7757:
7743:
7738:
7733:
7695:
7676:
7655:
7641:
7628:
7612:
7577:
7506:
7493:
7490:
7479:
7457:
7436:
7422:
7411:
7400:
7396:
7387:
7368:
7347:
7333:
7324:
7320:
7309:
7292:
7279:
7260:
7239:
7225:
7217:
7192:
7184:
7154:
7135:
7133:
7123:
7109:
7106:
7103:
7078:
7075:
7045:
6943:
6930:
6905:
6889:
6873:
6857:
6824:
6799:
6796:
6783:
6782:
6776:
6741:
6719:
6713:
6683:
6675:
6659:
6648:
6640:
6624:
6616:
6605:
6589:
6556:
6531:
6528:
6470:
6469:
6465:
6438:
6437:
6433:
6420:
6395:
6391:
6379:
6367:
6314:
6298:
6295:
6262:
6249:
6236:
6210:
6196:
6166:
6119:
6103:
6083:Moreover, if
6081:
6079:
6032:
6029:
6028:
6012:
6005:
6003:
5967:
5963:
5951:
5939:
5931:
5930:
5927:
5913:
5844:
5831:
5775:
5772:
5759:
5724:
5710:
5708:
5692:
5684:
5668:
5644:
5638:
5632:
5629:
5623:
5617:
5614:
5611:
5609:
5600:
5594:
5586:
5583:
5580:
5573:
5569:
5562:
5556:
5548:
5545:
5542:
5535:
5531:
5525:
5523:
5512:
5509:
5506:
5503:
5500:
5497:
5494:
5485:
5482:
5479:
5476:
5473:
5470:
5467:
5461:
5459:
5449:
5436:
5433:
5430:
5427:
5424:
5421:
5418:
5407:
5405:
5395:
5379:
5376:
5373:
5364:
5361:
5358:
5349:
5338:
5336:
5329:
5316:
5313:
5310:
5304:
5301:
5272:
5266:
5260:
5254:
5251:
5228:
5222:
5216:
5213:
5204:
5191:
5183:
5179:
5172:
5161:
5157:
5150:
5144:
5139:
5126:
5123:
5117:
5089:
5083:
5080:
5074:
5068:
5062:
5059:
5056:
5044:
5031:
5022:
5016:
5013:
5006:
4998:
4995:
4992:
4986:
4983:
4977:
4971:
4965:
4962:
4954:
4938:
4918:
4904:
4902:
4898:
4895:
4891:
4887:
4882:
4869:
4831:
4817:
4801:
4797:
4794:
4786:
4776:
4774:
4770:
4765:
4752:
4738:
4724:
4713:
4696:
4677:
4672:
4653:
4636:
4634:
4610:
4594:
4569:
4566:
4561:
4545:
4543:
4531:
4515:
4499:
4483:
4480:
4475:
4459:
4457:
4445:
4429:
4418:
4407:
4404:
4401:
4398:
4393:
4377:
4375:
4353:
4339:
4328:
4301:
4285:
4274:
4263:
4252:
4241:
4236:
4220:
4218:
4200:
4192:
4184:
4173:
4171:
4164:
4151:
4131:
4127:
4112:
4110:
4105:
4092:
4089:
4086:
4080:
4067:
4061:
4049:
4038:
4034:
4031:
4025:
4012:
4006:
3994:
3983:
3979:
3974:
3969:
3965:
3962:
3949:
3943:
3934:
3928:
3921:
3910:
3905:
3895:
3891:
3883:
3877:
3864:
3860:
3854:
3849:
3844:
3840:
3836:
3831:
3828:
3825:
3820:
3815:
3810:
3806:
3802:
3796:
3791:
3785:
3780:
3775:
3771:
3767:
3762:
3759:
3756:
3751:
3746:
3741:
3737:
3733:
3727:
3723:
3718:
3713:
3707:
3697:
3688:
3684:
3680:
3677:
3674:
3669:
3659:
3650:
3646:
3641:
3630:
3617:
3612:
3607:
3602:
3598:
3594:
3587:
3582:
3579:
3576:
3572:
3566:
3561:
3556:
3552:
3548:
3541:
3536:
3533:
3530:
3526:
3522:
3518:
3512:
3502:
3493:
3489:
3483:
3478:
3475:
3472:
3468:
3463:
3458:
3452:
3442:
3433:
3429:
3423:
3418:
3415:
3412:
3408:
3403:
3399:
3388:
3369:
3358:
3353:
3348:
3342:
3332:
3323:
3319:
3313:
3308:
3305:
3302:
3298:
3293:
3288:
3283:
3265:
3244:
3228:
3218:
3214:
3206:
3202:
3198:
3195:
3192:
3182:
3178:
3170:
3166:
3162:
3151:
3121:
3089:
3084:
3080:
3076:
3073:
3070:
3065:
3061:
3035:
3030:
3026:
3022:
3019:
3016:
3011:
3007:
2985:
2979:
2975:
2971:
2968:
2965:
2960:
2956:
2951:
2947:
2921:
2915:
2911:
2907:
2904:
2901:
2896:
2892:
2887:
2883:
2856:
2846:
2838:
2821:
2816:
2810:
2797:
2794:
2790:
2783:
2778:
2774:
2767:
2763:
2758:
2753:
2746:
2741:
2737:
2730:
2726:
2721:
2717:
2712:
2707:
2701:
2697:
2691:
2687:
2681:
2677:
2672:
2662:
2657:
2644:
2639:
2634:
2630:
2624:
2620:
2616:
2613:
2609:
2603:
2599:
2593:
2589:
2583:
2579:
2574:
2570:
2567:
2562:
2558:
2553:
2547:
2542:
2538:
2532:
2528:
2523:
2519:
2514:
2509:
2503:
2499:
2495:
2492:
2487:
2483:
2478:
2473:
2470:
2467:
2462:
2457:
2451:
2447:
2443:
2440:
2435:
2431:
2426:
2405:
2397:
2392:
2379:
2376:
2371:
2361:
2357:
2351:
2347:
2343:
2338:
2334:
2328:
2324:
2315:
2312:
2309:
2306:
2303:
2300:
2297:
2294:
2291:
2287:
2281:
2278:
2267:
2254:
2250:
2244:
2239:
2235:
2229:
2224:
2221:
2218:
2214:
2209:
2204:
2198:
2193:
2189:
2183:
2178:
2175:
2172:
2168:
2163:
2159:
2154:
2149:
2143:
2139:
2133:
2129:
2123:
2118:
2115:
2112:
2108:
2103:
2093:
2075:
2061:
2053:
2048:
2042:
2027:
2021:
2017:
2013:
2008:
2004:
1999:
1977:
1971:
1967:
1963:
1958:
1954:
1949:
1928:
1924:
1918:
1913:
1909:
1905:
1900:
1895:
1891:
1886:
1881:
1875:
1870:
1866:
1862:
1857:
1852:
1848:
1843:
1839:
1834:
1829:
1823:
1819:
1813:
1809:
1805:
1800:
1796:
1790:
1786:
1781:
1757:
1753:
1730:
1726:
1703:
1699:
1676:
1672:
1661:
1615:
1599:
1579:
1574:
1556:
1540:
1535:
1527:
1524:
1521:
1493:
1488:
1475:
1446:
1440:
1436:
1432:
1427:
1423:
1418:
1414:
1388:
1382:
1378:
1374:
1369:
1365:
1360:
1356:
1343:
1339:
1321:
1301:
1289:
1287:
1267:
1263:
1257:
1253:
1249:
1245:
1219:
1215:
1208:
1204:
1198:
1194:
1190:
1186:
1163:
1148:
1143:
1130:
1123:
1119:
1113:
1108:
1104:
1098:
1095:
1092:
1085:
1081:
1075:
1070:
1066:
1060:
1053:
1049:
1043:
1038:
1034:
1028:
1020:
1016:
1012:
1009:
1006:
1001:
997:
993:
988:
984:
977:
972:
966:
962:
958:
955:
952:
947:
943:
939:
934:
930:
925:
907:
903:
897:
892:
888:
880:
875:
872:
869:
865:
861:
853:
849:
843:
838:
835:
832:
828:
821:
816:
810:
806:
800:
795:
792:
789:
785:
780:
754:
750:
746:
743:
740:
735:
731:
727:
722:
718:
695:
691:
687:
684:
681:
676:
672:
668:
663:
659:
650:
646:
642:
638:
627:Special cases
624:
622:
569:
562:
560:
546:
521:
505:
485:
484:
481:
458:
430:
417:
404:
363:
360:
357:
352:
351:, called the
350:
333:
329:
320:
316:
312:
311:inner product
293:
290:
287:
271:
264:
262:
248:
237:
226:
215:
204:
199:
194:
182:
170:
161:
160:
157:
156:
102:
100:
96:
92:
88:
84:
80:
76:
72:
68:
64:
60:
55:
53:
49:
45:
41:
40:inner product
37:
34:(also called
33:
19:
14193:Inequalities
14165:
14156:
14152:
14148:
14144:
14113:Self-adjoint
14035:
14024:Main results
13893:Balanced set
13867:Distribution
13805:Applications
13658:Krein–Milman
13643:Closed graph
13247:Inequalities
13187:Uniform norm
13090:
13075:
13044:
12995:
12904:
12889:
12869:
12865:
12848:
12838:
12812:
12808:
12770:
12749:
12745:
12737:the original
12732:
12728:
12716:
12700:
12696:
12662:
12658:
12619:
12615:
12609:
12584:
12580:
12574:
12539:
12535:
12529:
12519:
12513:
12494:
12490:
12480:
12460:
12453:
12428:
12424:
12418:
12398:
12391:
12371:
12364:
12344:
12337:
12317:
12310:
12291:
12285:
12265:
12258:
12246:. Retrieved
12216:
12212:
12199:
12179:
12172:
12152:
12145:
12125:
12118:
12098:
12091:
12071:
12064:
12044:
12037:
12017:
12010:
11990:
11983:
11975:
11960:
11953:
11945:
11931:
11925:
11905:
11898:
11878:
11849:
11843:
11835:
11820:
11792:
11779:
11770:
11760:
11746:
11721:
11711:
11682:
11636:
11629:
11091:
11087:
10797:
10791:
10595:
10378:
10374:
10170:
10166:
9746:
9722:Banach space
9688:
9358:
8706:
8349:
8124:
7713:which gives
7507:
7293:
7141:
7129:
6944:
6779:
6777:
6471:
6264:
6082:
6025:
6017:
6006:
5777:
5773:
5716:
5205:
5045:
4910:
4883:
4782:
4766:
4697:
4123:
4115:Applications
4106:
3887:
3881:
3631:
2825:
2819:
2814:
2661:discriminant
2658:
2393:
2268:
2057:
2051:
2046:
1662:
1306:
1144:
635:
574:
563:
276:
265:
108:
56:
52:inequalities
42:between two
35:
31:
29:
14123:Trace class
13822:Heat kernel
13812:Hardy space
13719:Trace class
13633:Hahn–Banach
13595:Topological
13445:Von Neumann
13259:Chebyshev's
8416:defined by
7508:Therefore,
2092:dot product
1342:dot product
1295:- The plane
1147:dot product
315:dot product
59:finite sums
14182:Categories
13755:C*-algebra
13570:Properties
13440:C*-algebra
13264:Clarkson's
12646:References
12301:0070542341
11725:, Scotland
11098:For reals
9742:W*-algebra
9738:C*-algebra
9633:and hence
8622:. Such an
8221:and hence
7576:projection
5707:covariance
317:; see the
13729:Unbounded
13724:Transpose
13682:Operators
13611:Separable
13606:Reflexive
13591:Algebraic
13577:Barrelled
13435:*-algebra
13420:Quasinorm
13289:Minkowski
13180:Essential
13143:∞
12972:Lp spaces
12896:EMS Press
12679:122631202
12636:263661094
12601:122719088
12587:: 55–73.
12566:119592971
12549:1112.3003
12235:1222-5657
11753:EMS Press
11704:Citations
11575:∑
11529:∑
11517:⩽
11480:−
11447:∑
11428:−
11374:∑
11362:⩽
11325:−
11292:∑
11273:−
11219:∑
11207:⩽
11153:∑
11121:⩽
11115:⩽
11109:⩽
11070:‖
11057:∗
11044:φ
11041:‖
11038:⋅
11035:‖
11022:∗
11009:φ
11006:‖
11003:≤
10994:‖
10980:∗
10967:φ
10964:‖
10927:∗
10914:φ
10911:‖
10899:φ
10896:‖
10893:≤
10881:φ
10876:∗
10862:φ
10816:φ
10773:∗
10722:φ
10678:φ
10658:φ
10653:∗
10639:φ
10636:≥
10630:⋅
10617:∗
10604:φ
10572:∗
10560:φ
10548:φ
10545:≥
10532:∗
10519:φ
10490:φ
10481:∗
10469:φ
10466:≥
10455:∗
10444:φ
10401:φ
10347:∗
10334:φ
10321:∗
10308:φ
10305:≤
10281:∗
10268:φ
10237:∈
10185:φ
10140:∗
10127:φ
10114:∗
10101:φ
10098:≤
10074:∗
10061:φ
10019:pointwise
10003:∗
9965:∗
9952:φ
9944:φ
9940:⟩
9927:⟨
9871:φ
9848:⟩
9836:⟨
9821:φ
9801:φ
9662:α
9649:−
9612:⟩
9596:α
9567:α
9554:⟨
9509:‖
9501:‖
9493:‖
9485:‖
9482:−
9436:‖
9428:‖
9422:‖
9414:‖
9367:Δ
9341:⩽
9327:‖
9318:‖
9309:‖
9300:‖
9297:−
9282:⟩
9266:⟨
9247:Δ
9126:‖
9117:‖
9103:⟩
9087:⟨
9057:‖
9048:‖
9035:⟩
9019:⟨
9013:⟩
8997:⟨
8992:¯
8989:α
8978:⟩
8962:⟨
8959:α
8950:⟩
8934:⟨
8929:¯
8926:α
8918:α
8902:⟩
8886:⟨
8880:⟩
8872:α
8858:⟨
8852:⟩
8836:α
8830:⟨
8824:⟩
8816:α
8802:α
8796:⟨
8692:α
8666:⟩
8650:⟨
8630:α
8605:⟩
8589:⟨
8578:⟩
8562:⟨
8559:α
8528:α
8503:α
8483:⟩
8467:α
8445:α
8439:⟨
8399:→
8331:◼
8197:‖
8188:‖
8168:≥
8142:‖
8133:‖
8099:‖
8090:‖
8073:⟩
8057:⟨
8046:≥
8037:‖
8028:‖
8013:‖
8004:‖
7987:⟩
7971:⟨
7951:‖
7942:‖
7930:‖
7921:‖
7898:‖
7889:‖
7869:⟩
7853:⟨
7833:‖
7824:‖
7812:‖
7803:‖
7787:⟩
7771:⟨
7766:⟩
7750:⟨
7730:‖
7721:‖
7685:⟩
7669:⟨
7664:⟩
7648:⟨
7552:(Indeed,
7488:⟩
7472:⟨
7466:⟩
7450:⟨
7445:⟩
7429:⟨
7423:−
7420:⟩
7404:⟨
7377:⟩
7361:⟨
7356:⟩
7340:⟨
7334:−
7318:⟩
7302:⟨
7269:⟩
7253:⟨
7248:⟩
7232:⟨
7226:−
7185:≠
6928:‖
6920:‖
6917:‖
6909:‖
6898:⟩
6882:⟨
6866:⟩
6850:⟨
6764:‖
6756:‖
6753:‖
6745:‖
6739:‖
6731:‖
6728:‖
6717:‖
6711:‖
6703:‖
6700:‖
6692:‖
6668:⟩
6652:⟨
6633:⟩
6614:⟨
6598:⟩
6582:⟨
6418:‖
6410:‖
6407:‖
6399:‖
6388:⟩
6372:⟨
6293:‖
6285:‖
6282:‖
6274:‖
6233:‖
6224:‖
6219:⟩
6203:⟨
6167:≠
6142:‖
6134:‖
6131:‖
6123:‖
6112:⟩
6096:⟨
5990:‖
5982:‖
5979:‖
5971:‖
5968:≤
5960:⟩
5944:⟨
5633:
5618:
5587:ν
5584:−
5570:
5549:μ
5546:−
5532:
5516:⟩
5513:ν
5510:−
5501:ν
5498:−
5492:⟨
5489:⟩
5486:μ
5483:−
5474:μ
5471:−
5465:⟨
5462:≤
5440:⟩
5437:ν
5434:−
5425:μ
5422:−
5416:⟨
5380:ν
5377:−
5365:μ
5362:−
5350:
5305:
5261:
5252:ν
5223:
5214:μ
5173:
5151:
5145:≤
5118:
5075:
5066:⟩
5054:⟨
5017:
4987:
4978:≥
4966:
4864:‖
4856:‖
4853:‖
4845:‖
4840:⟩
4824:⟨
4802:θ
4798:
4750:‖
4742:‖
4736:‖
4728:‖
4725:≤
4722:‖
4706:‖
4665:‖
4657:‖
4651:‖
4643:‖
4607:‖
4598:‖
4592:‖
4584:‖
4581:‖
4573:‖
4558:‖
4549:‖
4546:≤
4528:‖
4519:‖
4508:⟩
4492:⟨
4472:‖
4463:‖
4460:≤
4442:‖
4433:‖
4427:⟩
4411:⟨
4408:
4390:‖
4381:‖
4366:¯
4362:⟩
4346:⟨
4337:⟩
4321:⟨
4298:‖
4289:‖
4283:⟩
4267:⟨
4261:⟩
4245:⟨
4233:‖
4224:‖
4209:⟩
4177:⟨
4161:‖
4144:‖
4039:∫
3984:∫
3980:≤
3957:¯
3911:∫
3894:functions
3829:⋯
3760:⋯
3724:≤
3701:¯
3678:⋯
3663:¯
3632:That is,
3573:∑
3527:∑
3506:¯
3469:∑
3446:¯
3409:∑
3397:⟩
3381:⟨
3378:⟩
3362:⟨
3359:≤
3336:¯
3299:∑
3274:⟩
3258:⟨
3224:¯
3196:⋯
3188:¯
3160:⟩
3144:⟨
3090:∈
3074:…
3036:∈
3020:…
2969:…
2905:…
2847:∈
2795:≤
2764:∑
2727:∑
2718:−
2678:∑
2621:∑
2580:∑
2529:∑
2471:⋯
2377:≥
2344:−
2310:…
2288:∑
2215:∑
2169:∑
2160:≤
2109:∑
1840:≤
1600:θ
1571:‖
1562:‖
1553:‖
1544:‖
1541:≤
1528:θ
1525:
1519:‖
1511:‖
1508:‖
1500:‖
1485:⟩
1468:⟨
1096:⋯
1029:≤
1010:⋯
956:⋯
866:∑
862:≤
829:∑
786:∑
744:…
685:…
647:'s form,
641:Bergström
544:‖
536:‖
533:‖
525:‖
522:≤
514:⟩
498:⟨
467:⟩
451:⟨
426:⟩
410:⟨
402:‖
394:‖
353:canonical
297:⟩
294:⋅
288:⋅
285:⟨
246:⟩
230:⟨
227:⋅
224:⟩
208:⟨
205:≤
191:⟩
175:⟨
71:integrals
14137:Examples
13931:Category
13743:Algebras
13625:Theorems
13582:Complete
13551:Schwartz
13497:glossary
13284:Markov's
13279:Hölder's
13269:Hanner's
13086:Bessel's
13024:function
13008:Lebesgue
12874:archived
12705:archived
12703:(1): 6,
12688:(1859),
12239:Archived
11797:Archived
11645:See also
9188:(unless
8495:, where
7397:⟩
7325:⟨
5747:and not
5705:denotes
5683:variance
5681:denotes
4779:Geometry
4773:topology
4120:Analysis
1616:between
1254:′
1195:′
14151:) with
14128:Unitary
13987:Adjoint
13734:Unitary
13714:Nuclear
13699:Compact
13694:Bounded
13689:Adjoint
13663:Min–max
13556:Sobolev
13541:Nuclear
13531:Hilbert
13526:Fréchet
13491: (
13304:Results
13003:Measure
12872:: 318,
12829:1969657
12797:8169781
12445:1969657
10017:is the
7574:is the
6024:in the
4894:complex
4124:In any
2999:(where
1612:is the
358:induced
309:is the
97: (
89: (
81: (
69:), and
44:vectors
14108:Normal
13709:Normal
13546:Orlicz
13536:Hölder
13516:Banach
13505:Spaces
13493:topics
13157:spaces
13078:spaces
13047:spaces
12998:spaces
12986:Banach
12912:
12827:
12795:
12785:
12677:
12634:
12599:
12564:
12468:
12443:
12406:
12379:
12352:
12325:
12298:
12273:
12248:18 May
12233:
12223:
12187:
12160:
12133:
12106:
12079:
12052:
12025:
11998:
11968:
11938:
11913:
11886:
11856:
11828:
11520:
11514:
11365:
11359:
11210:
11204:
10801:
10382:
9990:where
9148:Thus,
7096:where
6549:where
5857:where
5713:Proofs
5661:where
4622:
4616:
4313:
4307:
4128:, the
1745:, and
1592:where
1344:. If
443:where
277:where
153:of an
93:) and
14159:<∞
13521:Besov
12877:(PDF)
12862:(PDF)
12825:JSTOR
12708:(PDF)
12693:(PDF)
12675:S2CID
12632:S2CID
12597:S2CID
12562:S2CID
12544:arXiv
12441:JSTOR
12242:(PDF)
12209:(PDF)
11800:(PDF)
11789:(PDF)
11699:Notes
10714:when
9524:then
8684:then
7063:then
6184:then
6018:with
5926:Then
5719:⟨⋅,⋅⟩
5285:then
2871:with
1614:angle
645:Engel
48:norms
14081:Maps
14003:and
13994:and
13869:(or
13587:Dual
13342:For
13196:Maps
12910:ISBN
12793:OCLC
12783:ISBN
12466:ISBN
12404:ISBN
12377:ISBN
12350:ISBN
12323:ISBN
12296:ISBN
12271:ISBN
12250:2016
12231:ISSN
12221:ISBN
12185:ISBN
12158:ISBN
12131:ISBN
12104:ISBN
12077:ISBN
12050:ISBN
12023:ISBN
11996:ISBN
11966:ISBN
11936:ISBN
11911:ISBN
11884:ISBN
11854:ISBN
11826:ISBN
10511:and
8551:and
8298:and
7205:Let
7011:and
6967:and
6494:and
6337:and
6154:and
6076:are
6054:and
5806:and
5784:Let
5685:and
5244:and
4931:and
4911:Let
4785:real
4107:The
3053:and
2935:and
1638:and
1402:and
1237:and
649:Titu
619:are
597:and
361:norm
349:norm
131:and
99:1888
91:1859
83:1821
30:The
12817:doi
12754:doi
12667:doi
12624:doi
12589:doi
12554:doi
12540:436
12499:doi
12433:doi
10393:If
10177:If
10024:of
9883:on
9813:by
9740:or
9461:If
7629:to
7578:of
6080:.
5693:Cov
5669:Var
5630:Var
5615:Var
5302:Cov
5014:Var
4984:Cov
4963:Var
4951:be
4795:cos
2826:If
2398:in
2058:In
1772:as
1522:cos
1149:on
355:or
14184::
13495:–
12894:,
12888:,
12870:XV
12868:,
12864:,
12823:,
12813:56
12811:,
12791:.
12781:.
12773:.
12750:34
12748:,
12731:,
12727:,
12699:,
12695:,
12673:,
12661:,
12657:,
12630:.
12620:65
12618:.
12595:.
12585:40
12583:.
12560:.
12552:.
12538:.
12495:12
12493:.
12489:.
12439:.
12429:56
12427:.
12237:.
12229:.
12217:17
12215:.
12211:.
11974:.
11944:.
11868:^
11834:.
11808:^
11795:.
11751:,
11745:,
11733:^
11720:.
10794:.
9949::=
9744:.
9344:0.
7494:0.
7218::=
5709:.
5069::=
4903:.
4405:Re
3163::=
2818::
2798:0.
2050::
1718:,
1691:,
1660:.
1288:.
769::
623:.
405::=
14166:F
14157:n
14153:K
14149:K
14147:(
14145:C
14073:)
14069:(
13965:e
13958:t
13951:v
13873:)
13597:)
13593:/
13589:(
13499:)
13481:e
13474:t
13467:v
13139:L
13076:L
13045:L
13022:/
12996:L
12964:e
12957:t
12950:v
12853:.
12832:.
12819::
12799:.
12756::
12733:4
12701:7
12669::
12663:6
12638:.
12626::
12603:.
12591::
12568:.
12556::
12546::
12507:.
12501::
12474:.
12447:.
12435::
12412:.
12385:.
12358:.
12331:.
12304:.
12279:.
12252:.
12193:.
12166:.
12139:.
12112:.
12085:.
12058:.
12031:.
12004:.
11919:.
11892:.
11862:.
11773:.
11727:.
11683:L
11615:.
11611:)
11605:2
11600:i
11596:b
11590:n
11585:1
11582:=
11579:i
11570:(
11565:)
11559:2
11554:i
11550:a
11544:n
11539:1
11536:=
11533:i
11524:(
11510:)
11504:t
11501:+
11498:1
11493:i
11489:b
11483:t
11477:1
11472:i
11468:a
11462:n
11457:1
11454:=
11451:i
11442:(
11437:)
11431:t
11425:1
11420:i
11416:b
11410:t
11407:+
11404:1
11399:i
11395:a
11389:n
11384:1
11381:=
11378:i
11369:(
11355:)
11349:s
11346:+
11343:1
11338:i
11334:b
11328:s
11322:1
11317:i
11313:a
11307:n
11302:1
11299:=
11296:i
11287:(
11282:)
11276:s
11270:1
11265:i
11261:b
11255:s
11252:+
11249:1
11244:i
11240:a
11234:n
11229:1
11226:=
11223:i
11214:(
11199:2
11194:)
11188:i
11184:b
11178:i
11174:a
11168:n
11163:1
11160:=
11157:i
11148:(
11127:,
11124:1
11118:t
11112:s
11106:0
11073:.
11066:)
11062:b
11053:b
11048:(
11031:)
11027:a
11018:a
11013:(
10998:2
10989:)
10985:b
10976:a
10971:(
10940:,
10936:)
10932:a
10923:a
10918:(
10908:)
10905:1
10902:(
10890:)
10887:a
10884:(
10872:)
10868:a
10865:(
10842:b
10839:,
10836:a
10778:,
10769:a
10765:=
10762:a
10742:a
10702:,
10697:2
10692:|
10687:)
10684:a
10681:(
10674:|
10670:=
10667:)
10664:a
10661:(
10649:)
10645:a
10642:(
10633:1
10626:)
10622:a
10613:a
10608:(
10581:.
10577:)
10568:a
10564:(
10557:)
10554:a
10551:(
10541:)
10537:a
10528:a
10523:(
10499:)
10496:a
10493:(
10486:)
10477:a
10473:(
10463:)
10460:a
10451:a
10447:(
10424:a
10388:)
10360:.
10356:)
10352:a
10343:a
10338:(
10330:)
10326:b
10317:b
10312:(
10300:2
10295:|
10290:)
10286:a
10277:b
10272:(
10264:|
10243:,
10240:A
10234:b
10231:,
10228:a
10208:,
10205:A
10153:,
10149:)
10145:g
10136:g
10131:(
10123:)
10119:f
10110:f
10105:(
10093:2
10088:|
10083:)
10079:f
10070:g
10065:(
10057:|
10035:.
10032:g
9999:g
9978:,
9974:)
9970:f
9961:g
9956:(
9936:g
9933:,
9930:f
9907:)
9904:m
9901:(
9896:2
9892:L
9851:.
9845:1
9842:,
9839:g
9833:=
9830:)
9827:g
9824:(
9781:m
9778:,
9775:)
9772:m
9769:(
9764:2
9760:L
9706:p
9702:L
9670:.
9666:u
9657:0
9653:t
9646:=
9642:v
9621:,
9618:0
9615:=
9608:v
9604:+
9600:u
9591:0
9587:t
9583:,
9579:v
9575:+
9571:u
9562:0
9558:t
9551:=
9548:)
9543:0
9539:t
9535:(
9532:p
9512:,
9505:u
9497:/
9489:v
9479:=
9474:0
9470:t
9449:.
9444:2
9440:)
9432:v
9425:+
9418:u
9411:t
9408:(
9405:=
9402:)
9399:t
9396:(
9393:p
9373:0
9370:=
9337:)
9331:2
9322:v
9313:2
9304:u
9292:2
9287:|
9278:v
9274:,
9270:u
9262:|
9257:(
9253:4
9250:=
9227:p
9207:,
9204:0
9201:=
9197:u
9176:2
9156:p
9130:2
9121:v
9114:+
9111:t
9107:|
9099:v
9095:,
9091:u
9083:|
9079:2
9076:+
9071:2
9067:t
9061:2
9052:u
9045:=
9031:v
9027:,
9023:v
9016:+
9009:u
9005:,
9001:v
8984:t
8981:+
8974:v
8970:,
8966:u
8956:t
8953:+
8946:u
8942:,
8938:u
8921:t
8915:t
8912:=
8898:v
8894:,
8890:v
8883:+
8876:u
8869:t
8866:,
8862:v
8855:+
8848:v
8844:,
8840:u
8833:t
8827:+
8820:u
8813:t
8810:,
8806:u
8799:t
8793:=
8786:)
8783:t
8780:(
8777:p
8753:)
8750:t
8747:(
8744:p
8724:)
8721:t
8718:(
8715:p
8672:0
8669:=
8662:v
8658:,
8654:u
8609:|
8601:v
8597:,
8593:u
8585:|
8581:=
8574:v
8570:,
8566:u
8539:1
8536:=
8532:|
8524:|
8479:v
8475:+
8471:u
8464:t
8461:,
8457:v
8453:+
8449:u
8442:t
8436:=
8433:)
8430:t
8427:(
8424:p
8403:R
8395:R
8391::
8388:p
8367:v
8363:,
8359:u
8311:.
8307:v
8285:u
8263:z
8242:;
8238:0
8234:=
8230:z
8209:0
8206:=
8201:2
8192:z
8146:2
8137:v
8111:.
8103:2
8094:v
8083:2
8078:|
8069:v
8065:,
8061:u
8053:|
8041:2
8032:z
8025:+
8017:2
8008:v
7997:2
7992:|
7983:v
7979:,
7975:u
7967:|
7960:=
7955:2
7946:z
7939:+
7934:2
7925:v
7912:2
7908:)
7902:2
7893:v
7886:(
7879:2
7874:|
7865:v
7861:,
7857:u
7849:|
7842:=
7837:2
7828:z
7821:+
7816:2
7807:v
7798:2
7793:|
7783:v
7779:,
7775:v
7762:v
7758:,
7754:u
7744:|
7739:=
7734:2
7725:u
7700:z
7696:+
7692:v
7681:v
7677:,
7673:v
7660:v
7656:,
7652:u
7642:=
7638:u
7613:.
7609:v
7587:u
7561:z
7539:v
7517:z
7491:=
7484:v
7480:,
7476:v
7462:v
7458:,
7454:v
7441:v
7437:,
7433:u
7416:v
7412:,
7408:u
7401:=
7392:v
7388:,
7384:v
7373:v
7369:,
7365:v
7352:v
7348:,
7344:u
7330:u
7321:=
7314:v
7310:,
7306:z
7280:.
7276:v
7265:v
7261:,
7257:v
7244:v
7240:,
7236:u
7222:u
7214:z
7193:.
7189:0
7181:v
7159:0
7155:=
7151:v
7110:0
7107:=
7104:c
7083:v
7079:c
7076:=
7072:u
7050:0
7046:=
7042:u
7020:v
6998:u
6976:v
6954:u
6931:.
6924:u
6913:v
6906:=
6902:|
6894:u
6890:,
6886:v
6878:|
6874:=
6870:|
6862:v
6858:,
6854:u
6846:|
6825:c
6804:u
6800:c
6797:=
6793:v
6760:v
6749:u
6742:=
6735:v
6724:v
6720:c
6714:=
6707:v
6696:v
6688:|
6684:c
6680:|
6676:=
6672:|
6664:v
6660:,
6656:v
6649:c
6645:|
6641:=
6637:|
6629:v
6625:,
6621:v
6617:c
6610:|
6606:=
6602:|
6594:v
6590:,
6586:u
6578:|
6557:c
6536:v
6532:c
6529:=
6525:u
6503:v
6481:u
6449:0
6421:.
6414:v
6403:u
6396:=
6392:|
6384:v
6380:,
6376:u
6368:|
6346:v
6324:u
6299:0
6296:=
6289:v
6278:u
6250:.
6246:v
6237:2
6228:v
6215:v
6211:,
6207:u
6197:=
6193:u
6171:0
6163:v
6138:v
6127:u
6120:=
6116:|
6108:v
6104:,
6100:u
6092:|
6063:v
6041:u
6011:)
6007:(
5986:v
5975:u
5964:|
5956:v
5952:,
5948:u
5940:|
5914:.
5910:C
5888:R
5866:F
5845:,
5841:F
5815:v
5793:u
5760:.
5756:C
5734:R
5645:,
5642:)
5639:Y
5636:(
5627:)
5624:X
5621:(
5612:=
5601:)
5595:2
5591:)
5581:Y
5578:(
5574:(
5567:E
5563:)
5557:2
5553:)
5543:X
5540:(
5536:(
5529:E
5526:=
5507:Y
5504:,
5495:Y
5480:X
5477:,
5468:X
5450:2
5445:|
5431:Y
5428:,
5419:X
5412:|
5408:=
5396:2
5391:|
5386:)
5383:)
5374:Y
5371:(
5368:)
5359:X
5356:(
5353:(
5347:E
5343:|
5339:=
5330:2
5325:|
5320:)
5317:Y
5314:,
5311:X
5308:(
5298:|
5273:,
5270:)
5267:Y
5264:(
5258:E
5255:=
5232:)
5229:X
5226:(
5220:E
5217:=
5192:.
5189:)
5184:2
5180:Y
5176:(
5170:E
5167:)
5162:2
5158:X
5154:(
5148:E
5140:2
5135:|
5130:)
5127:Y
5124:X
5121:(
5115:E
5111:|
5090:,
5087:)
5084:Y
5081:X
5078:(
5072:E
5063:Y
5060:,
5057:X
5032:.
5026:)
5023:Y
5020:(
5007:2
5003:)
4999:Y
4996:,
4993:X
4990:(
4975:)
4972:X
4969:(
4939:Y
4919:X
4870:.
4860:v
4849:u
4836:v
4832:,
4828:u
4818:=
4812:v
4807:u
4753:.
4746:v
4739:+
4732:u
4718:v
4714:+
4710:u
4678:.
4673:2
4669:)
4661:v
4654:+
4647:u
4640:(
4637:=
4611:2
4602:v
4595:+
4588:v
4577:u
4570:2
4567:+
4562:2
4553:u
4532:2
4523:v
4516:+
4512:|
4504:v
4500:,
4496:u
4488:|
4484:2
4481:+
4476:2
4467:u
4446:2
4437:v
4430:+
4423:v
4419:,
4415:u
4402:2
4399:+
4394:2
4385:u
4378:=
4358:v
4354:,
4350:u
4340:=
4333:u
4329:,
4325:v
4302:2
4293:v
4286:+
4279:u
4275:,
4271:v
4264:+
4257:v
4253:,
4249:u
4242:+
4237:2
4228:u
4221:=
4205:v
4201:+
4197:u
4193:,
4189:v
4185:+
4181:u
4174:=
4165:2
4156:v
4152:+
4148:u
4093:.
4090:x
4087:d
4081:2
4076:|
4071:)
4068:x
4065:(
4062:g
4058:|
4050:n
4045:R
4035:x
4032:d
4026:2
4021:|
4016:)
4013:x
4010:(
4007:f
4003:|
3995:n
3990:R
3975:2
3970:|
3966:x
3963:d
3953:)
3950:x
3947:(
3944:g
3938:)
3935:x
3932:(
3929:f
3922:n
3917:R
3906:|
3882:L
3865:.
3861:)
3855:2
3850:|
3845:n
3841:v
3837:|
3832:+
3826:+
3821:2
3816:|
3811:1
3807:v
3803:|
3797:(
3792:)
3786:2
3781:|
3776:n
3772:u
3768:|
3763:+
3757:+
3752:2
3747:|
3742:1
3738:u
3734:|
3728:(
3719:2
3714:|
3708:n
3698:v
3689:n
3685:u
3681:+
3675:+
3670:1
3660:v
3651:1
3647:u
3642:|
3618:.
3613:2
3608:|
3603:k
3599:v
3595:|
3588:n
3583:1
3580:=
3577:k
3567:2
3562:|
3557:j
3553:u
3549:|
3542:n
3537:1
3534:=
3531:j
3523:=
3519:)
3513:k
3503:v
3494:k
3490:v
3484:n
3479:1
3476:=
3473:k
3464:(
3459:)
3453:k
3443:u
3434:k
3430:u
3424:n
3419:1
3416:=
3413:k
3404:(
3400:=
3393:v
3389:,
3385:v
3374:u
3370:,
3366:u
3354:2
3349:|
3343:k
3333:v
3324:k
3320:u
3314:n
3309:1
3306:=
3303:k
3294:|
3289:=
3284:2
3279:|
3270:v
3266:,
3262:u
3254:|
3229:,
3219:n
3215:v
3207:n
3203:u
3199:+
3193:+
3183:1
3179:v
3171:1
3167:u
3156:v
3152:,
3148:u
3122:n
3117:C
3094:C
3085:n
3081:v
3077:,
3071:,
3066:1
3062:v
3040:C
3031:n
3027:u
3023:,
3017:,
3012:1
3008:u
2986:)
2980:n
2976:v
2972:,
2966:,
2961:1
2957:v
2952:(
2948:=
2944:v
2922:)
2916:n
2912:u
2908:,
2902:,
2897:1
2893:u
2888:(
2884:=
2880:u
2857:n
2852:C
2843:v
2839:,
2835:u
2820:n
2815:C
2791:)
2784:2
2779:i
2775:v
2768:i
2759:(
2754:)
2747:2
2742:i
2738:u
2731:i
2722:(
2713:2
2708:)
2702:i
2698:v
2692:i
2688:u
2682:i
2673:(
2645:.
2640:2
2635:i
2631:v
2625:i
2617:+
2614:x
2610:)
2604:i
2600:v
2594:i
2590:u
2584:i
2575:(
2571:2
2568:+
2563:2
2559:x
2554:)
2548:2
2543:i
2539:u
2533:i
2524:(
2520:=
2515:2
2510:)
2504:n
2500:v
2496:+
2493:x
2488:n
2484:u
2479:(
2474:+
2468:+
2463:2
2458:)
2452:1
2448:v
2444:+
2441:x
2436:1
2432:u
2427:(
2406:x
2380:0
2372:2
2368:)
2362:i
2358:v
2352:j
2348:u
2339:j
2335:v
2329:i
2325:u
2321:(
2316:n
2313:,
2307:,
2304:1
2301:=
2298:j
2295:,
2292:i
2282:2
2279:1
2255:.
2251:)
2245:2
2240:i
2236:v
2230:n
2225:1
2222:=
2219:i
2210:(
2205:)
2199:2
2194:i
2190:u
2184:n
2179:1
2176:=
2173:i
2164:(
2155:2
2150:)
2144:i
2140:v
2134:i
2130:u
2124:n
2119:1
2116:=
2113:i
2104:(
2076:n
2071:R
2052:n
2047:R
2028:)
2022:2
2018:v
2014:,
2009:1
2005:v
2000:(
1978:)
1972:2
1968:u
1964:,
1959:1
1955:u
1950:(
1929:,
1925:)
1919:2
1914:2
1910:v
1906:+
1901:2
1896:1
1892:v
1887:(
1882:)
1876:2
1871:2
1867:u
1863:+
1858:2
1853:1
1849:u
1844:(
1835:2
1830:)
1824:2
1820:v
1814:2
1810:u
1806:+
1801:1
1797:v
1791:1
1787:u
1782:(
1758:2
1754:v
1731:1
1727:v
1704:2
1700:u
1677:1
1673:u
1647:v
1625:u
1580:,
1575:2
1566:v
1557:2
1548:u
1536:2
1532:)
1515:v
1504:u
1497:(
1494:=
1489:2
1480:v
1476:,
1472:u
1447:)
1441:2
1437:v
1433:,
1428:1
1424:v
1419:(
1415:=
1411:v
1389:)
1383:2
1379:u
1375:,
1370:1
1366:u
1361:(
1357:=
1353:u
1322:2
1317:R
1293:R
1268:i
1264:v
1258:=
1250:i
1246:v
1220:i
1216:v
1209:i
1205:u
1199:=
1191:i
1187:u
1164:n
1159:R
1131:.
1124:n
1120:v
1114:2
1109:n
1105:u
1099:+
1093:+
1086:2
1082:v
1076:2
1071:2
1067:u
1061:+
1054:1
1050:v
1044:2
1039:1
1035:u
1021:n
1017:v
1013:+
1007:+
1002:2
998:v
994:+
989:1
985:v
978:2
973:)
967:n
963:u
959:+
953:+
948:2
944:u
940:+
935:1
931:u
926:(
908:i
904:v
898:2
893:i
889:u
881:n
876:1
873:=
870:i
854:i
850:v
844:n
839:1
836:=
833:i
822:2
817:)
811:i
807:u
801:n
796:1
793:=
790:i
781:(
755:n
751:v
747:,
741:,
736:2
732:v
728:,
723:1
719:v
696:n
692:u
688:,
682:,
677:2
673:u
669:,
664:1
660:u
606:v
584:u
568:)
566:2
564:(
547:.
540:v
529:u
518:|
510:v
506:,
502:u
494:|
463:u
459:,
455:u
431:,
422:u
418:,
414:u
398:u
373:u
334:2
330:l
291:,
270:)
268:1
266:(
249:,
242:v
238:,
234:v
220:u
216:,
212:u
200:2
195:|
187:v
183:,
179:u
171:|
140:v
118:u
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.