Knowledge (XXG)

Orthonormal basis

Source 📝

5952: 6936: 6216: 870: 1118: 4987:
In other words, the space of orthonormal bases is like the orthogonal group, but without a choice of base point: given the space of orthonormal bases, there is no natural choice of orthonormal basis, but once one is given one, there is a one-to-one correspondence between bases and the orthogonal
4357: 695: 983: 1207: 1436: 4281: 3118: 4001: 4763: 2610: 4292: 1505: 1276: 865:{\displaystyle \left\{\mathbf {e_{1}} ={\begin{pmatrix}1&0&0\end{pmatrix}}\ ,\ \mathbf {e_{2}} ={\begin{pmatrix}0&1&0\end{pmatrix}}\ ,\ \mathbf {e_{3}} ={\begin{pmatrix}0&0&1\end{pmatrix}}\right\},} 1335: 4105: 3911: 2800: 973: 4612: 4490: 612: 1113:{\displaystyle \left\langle \mathbf {e_{1}} ,\mathbf {e_{2}} \right\rangle =\left\langle \mathbf {e_{1}} ,\mathbf {e_{3}} \right\rangle =\left\langle \mathbf {e_{2}} ,\mathbf {e_{3}} \right\rangle =0} 2075: 1340: 2689: 3526: 3656: 1536:
and hence must be a basis. It may also be shown that the standard basis rotated about an axis through the origin or reflected in a plane through the origin also forms an orthonormal basis of
3824: 4444: 3739: 2279: 1927: 1837: 1753: 1123: 3592: 2144: 5042: 4959: 3020: 4821: 3691: 1971: 4550: 3025: 1645: 5325: 5175: 5368: 5218: 5437: 5400: 5250: 4988:
group. Concretely, a linear map is determined by where it sends a given basis: just as an invertible map can take any basis to any other basis, an orthogonal map can take any
4911: 4864: 4684: 4409: 1869: 1597: 1563: 1534: 932: 903: 690: 274: 188: 139: 5287: 4170: 4653: 2428: 1779: 6825: 3854: 3279: 2965: 1678: 2531: 2021: 2389: 2321: 2219: 5068: 2526: 509: 4159: 4132: 3759: 3549: 2164: 1698: 2347: 3392: 3345: 3302: 2905: 2855: 2500: 422: 387: 312: 241: 214: 6488: 5136: 5116: 5092: 4980: 4513: 4380: 3919: 3488: 3468: 3365: 3322: 3253: 3225: 3205: 3185: 3165: 3145: 2925: 2882: 2822: 2713: 2632: 2477: 652: 632: 531: 356: 336: 91: 63: 468: 4689: 4352:{\displaystyle \{{\text{Space of orthogonal bases }}{\mathcal {B}}\}\leftrightarrow \{{\text{Space of isomorphisms }}V\leftrightarrow \mathbb {R} ^{n}\}.} 6651: 2718: 1441: 1212: 276:
under the dot product. Every finite-dimensional inner product space has an orthonormal basis, which may be obtained from an arbitrary basis using the
6778: 6633: 5810: 6609: 6252: 1281: 6201: 243:
Under these coordinates, the inner product becomes a dot product of vectors. Thus the presence of an orthonormal basis reduces the study of a
5765: 5730: 5701: 5722: 4009: 2637: 3866: 3423: 940: 6501: 6590: 6481: 6376: 5605: 5573: 5544: 5512: 3167:
is called an orthonormal system. An orthonormal basis is an orthonormal system with the additional property that the linear span of
2828:, only countably many terms in this sum will be non-zero, and the expression is therefore well-defined. This sum is also called the 431:, a non-orthonormal set of vectors having the same linear span as an orthonormal basis may not be a basis at all. For instance, any 2436: 5565: 6860: 6191: 4555: 4449: 1599:, the standard basis and inner product are similarly defined. Any other orthonormal basis is related to the standard basis by an 544: 6505: 6153: 6089: 6324: 2029: 6656: 5693: 6712: 6391: 3493: 6965: 6939: 6661: 6646: 6474: 6329: 5931: 5803: 6676: 6245: 6036: 5886: 4867: 3597: 359: 6921: 6681: 3764: 905:
with respect to the standard dot product. Note that both the standard basis and standard dot product rely on viewing
6875: 6799: 6432: 6345: 5941: 5835: 4414: 2830: 432: 66: 6916: 3418:
Hilbert space admits an orthonormal basis; furthermore, any two orthonormal bases of the same space have the same
1202:{\displaystyle \left\|\mathbf {e_{1}} \right\|=\left\|\mathbf {e_{2}} \right\|=\left\|\mathbf {e_{3}} \right\|=1.} 6960: 6732: 6181: 5830: 3696: 3439: 2235: 1874: 1784: 1600: 158: 6666: 6452: 6056: 3426:, with separate cases depending on whether the larger basis candidate is countable or not). A Hilbert space is 3411: 1703: 277: 6768: 6569: 6381: 6173: 1431:{\displaystyle (\mathbf {x} ,\mathbf {y} ,\mathbf {z} )=\mathbf {xe_{1}} +\mathbf {ye_{2}} +\mathbf {ze_{3}} ,} 244: 154: 6641: 3554: 2080: 5002: 4919: 2977: 6970: 6865: 6219: 5926: 5796: 4768: 534: 3661: 6896: 6840: 6804: 6350: 6319: 6238: 5983: 5916: 5906: 5453: 3427: 2858: 1932: 1607: 217: 150: 70: 4518: 1612: 6401: 6355: 6298: 6143: 5998: 5993: 5988: 5921: 5866: 5295: 5145: 4276:{\displaystyle C_{\mathcal {B}}:\mathbb {R} ^{n}\rightarrow V,(v^{i})\mapsto \sum _{i=1}^{n}v^{i}e_{i}.} 5330: 5180: 5405: 5376: 5226: 4876: 4840: 4660: 4385: 1842: 1573: 1539: 1510: 908: 879: 666: 250: 164: 115: 6879: 6284: 6008: 5973: 5960: 5851: 5721:. International Series in Pure and Applied Mathematics. Vol. 8 (Second ed.). New York, NY: 5255: 2167: 475: 6845: 6783: 6497: 6280: 6186: 6066: 6041: 5891: 4617: 2394: 1758: 288: 284: 146: 43: 5504: 3829: 3258: 2934: 1650: 6870: 6737: 5896: 2692: 1976: 2352: 2284: 513:
A different generalisation is to pseudo-inner product spaces, finite-dimensional vector spaces
6850: 6406: 6386: 6359: 6275: 6094: 6051: 5978: 5871: 5761: 5736: 5726: 5697: 5601: 5569: 5540: 5508: 2447: 2173: 935: 471: 287:, the concept of an orthonormal basis can be generalized to arbitrary (infinite-dimensional) 6855: 6773: 6742: 6722: 6707: 6702: 6697: 6534: 6416: 6293: 6099: 6003: 5856: 5753: 5448: 5047: 4914: 4871: 4832: 3113:{\displaystyle \langle \Phi (x),\Phi (y)\rangle =\langle x,y\rangle \ \ \forall \ x,y\in H.} 2505: 484: 4137: 4110: 3744: 3534: 2149: 1973:. Any two orthonormal bases are related by a pseudo-orthogonal transformation. In the case 1683: 6717: 6671: 6619: 6614: 6585: 6466: 6396: 6158: 5951: 5911: 5901: 3996:{\displaystyle \psi _{\mathcal {B}}:(V,\phi )\rightarrow (\mathbb {R} ^{n},\delta _{ij}).} 3857: 3435: 3419: 2971: 2825: 980:
A straightforward computation shows that the inner products of these vectors equals zero,
110: 6544: 3913:
which is an isomorphism of inner product spaces: to make this more explicit we can write
2326: 3374: 3327: 3284: 2887: 2837: 2482: 404: 369: 294: 223: 196: 6906: 6758: 6559: 6163: 6148: 6084: 5819: 5528: 5497: 5465: 5121: 5101: 5077: 4965: 4498: 4365: 3473: 3453: 3350: 3307: 3238: 3210: 3190: 3170: 3150: 3130: 2910: 2867: 2807: 2698: 2617: 2462: 2443: 2226: 2170:, forms an orthonormal basis of the space of functions with finite Lebesgue integrals, 637: 617: 516: 362:
of the vectors in the basis. In this case, the orthonormal basis is sometimes called a
341: 321: 106: 76: 48: 35: 438: 6954: 6911: 6835: 6564: 6549: 6539: 6289: 6261: 6196: 6119: 6079: 6046: 6026: 5716: 4758:{\displaystyle R_{ij}\in {\text{O}}(n)\subset {\text{Mat}}_{n\times n}(\mathbb {R} )} 2432: 538: 428: 102: 2605:{\displaystyle x=\sum _{b\in B}{\frac {\langle x,b\rangle }{\lVert b\rVert ^{2}}}b.} 6901: 6554: 6524: 6129: 6018: 5968: 5861: 5712: 5685: 5589: 5459: 5644: 1500:{\displaystyle \left\{\mathbf {e_{1}} ,\mathbf {e_{2}} ,\mathbf {e_{3}} \right\}} 1271:{\displaystyle \left\{\mathbf {e_{1}} ,\mathbf {e_{2}} ,\mathbf {e_{3}} \right\}} 6830: 6820: 6727: 6529: 6411: 6109: 6074: 6031: 5876: 5597: 5536: 3407: 394: 390: 142: 98: 94: 31: 6763: 6603: 6599: 6595: 6138: 5881: 5757: 17: 5936: 5740: 5471: 4362:
The space of isomorphisms admits actions of orthogonal groups at either the
3431: 3414:(or more simply well-ordering and transfinite recursion), one can show that 2968: 1330:{\displaystyle (\mathbf {x} ,\mathbf {y} ,\mathbf {z} )\in \mathbb {R} ^{3}} 398: 5782: 6104: 4411:
side. For concreteness we fix the isomorphisms to point in the direction
479: 5094:-frames) are still homogeneous spaces for the orthogonal group, but not 3434:
orthonormal basis. (One can prove this last statement without using the
338:
is an orthonormal set of vectors with the property that every vector in
5474: – subset of a topological vector space whose linear span is dense 4962: 3422:(this can be proven in a manner akin to that of the proof of the usual 5138:-frame by an orthogonal map, but this map is not uniquely determined. 478:(an orthonormal basis), but not necessarily as an infinite sum of the 6114: 5785:
discusses why the set of Dirac Delta functions is not a basis of L().
4100:{\displaystyle (\psi _{\mathcal {B}}(v))^{i}=e^{i}(v)=\phi (e_{i},v)} 2222: 393:, since infinite linear combinations are required. Specifically, the 4657:
This space also admits a right action by the group of isometries of
3906:{\displaystyle \psi _{\mathcal {B}}:V\rightarrow \mathbb {R} ^{n}} 2795:{\displaystyle \|x\|^{2}=\sum _{b\in B}|\langle x,b\rangle |^{2}.} 968:{\displaystyle \mathbb {R} \times \mathbb {R} \times \mathbb {R} } 6230: 5788: 5657: 141:
is an orthonormal basis, where the relevant inner product is the
389:
Note that an orthonormal basis in this sense is not generally a
6470: 6234: 5792: 4495:
This space admits a left action by the group of isometries of
4286:
These definitions make it manifest that there is a bijection
4306: 4180: 4022: 3929: 3876: 3560: 4607:{\displaystyle \phi (\cdot ,\cdot )=\phi (R\cdot ,R\cdot )} 4485:{\displaystyle {\text{Iso}}(\mathbb {R} ^{n}\rightarrow V)} 3255:. That is, we can take the smallest closed linear subspace 3450:
For concreteness we discuss orthonormal bases for a real,
607:{\displaystyle {\text{diag}}(+1,\cdots ,+1,-1,\cdots ,-1)} 161:) is also orthonormal, and every orthonormal basis for 2070:{\displaystyle \left\{f_{n}:n\in \mathbb {Z} \right\}} 1337:
can be expressed as a sum of the basis vectors scaled
830: 777: 724: 216:
an orthonormal basis can be used to define normalized
5408: 5379: 5333: 5298: 5258: 5229: 5183: 5148: 5124: 5104: 5080: 5050: 5005: 4968: 4922: 4879: 4843: 4771: 4692: 4663: 4620: 4558: 4521: 4501: 4452: 4417: 4388: 4368: 4295: 4173: 4140: 4113: 4012: 3922: 3869: 3832: 3767: 3747: 3699: 3664: 3600: 3557: 3537: 3531:
One way to view an orthonormal basis with respect to
3496: 3476: 3456: 3377: 3353: 3330: 3310: 3287: 3261: 3241: 3213: 3193: 3173: 3153: 3133: 3028: 2980: 2937: 2913: 2890: 2870: 2840: 2810: 2721: 2701: 2640: 2620: 2534: 2508: 2485: 2465: 2397: 2355: 2329: 2287: 2238: 2176: 2152: 2083: 2032: 1979: 1935: 1877: 1845: 1787: 1761: 1706: 1686: 1653: 1615: 1576: 1542: 1513: 1444: 1343: 1284: 1215: 1126: 986: 943: 911: 882: 698: 669: 640: 620: 547: 519: 487: 441: 407: 372: 344: 324: 297: 253: 226: 199: 167: 118: 79: 51: 5476:
Pages displaying wikidata descriptions as a fallback
5462: – Euclidean space without distance and angles 2684:{\displaystyle x=\sum _{b\in B}\langle x,b\rangle b} 6889: 6813: 6792: 6751: 6690: 6632: 6578: 6513: 6425: 6369: 6338: 6312: 6268: 6172: 6128: 6065: 6017: 5959: 5844: 5632: 3521:{\displaystyle \phi =\langle \cdot ,\cdot \rangle } 3147:of mutually orthonormal vectors in a Hilbert space 6826:Spectral theory of ordinary differential equations 5496: 5431: 5394: 5362: 5319: 5281: 5244: 5212: 5169: 5130: 5110: 5086: 5062: 5036: 4974: 4953: 4905: 4858: 4815: 4757: 4678: 4647: 4606: 4544: 4507: 4484: 4438: 4403: 4374: 4351: 4275: 4153: 4126: 4099: 3995: 3905: 3848: 3818: 3753: 3733: 3685: 3650: 3586: 3543: 3520: 3482: 3462: 3386: 3359: 3339: 3316: 3296: 3273: 3247: 3219: 3199: 3179: 3159: 3139: 3112: 3014: 2959: 2919: 2899: 2876: 2849: 2816: 2794: 2707: 2683: 2626: 2604: 2520: 2494: 2471: 2422: 2383: 2341: 2315: 2273: 2213: 2158: 2138: 2069: 2015: 1965: 1921: 1863: 1831: 1773: 1747: 1692: 1672: 1639: 1591: 1557: 1528: 1499: 1430: 1329: 1270: 1201: 1112: 967: 926: 897: 864: 684: 646: 626: 606: 525: 503: 462: 416: 381: 350: 330: 306: 268: 235: 208: 182: 133: 85: 57: 5456: – Set of vectors used to define coordinates 3490:with a positive definite symmetric bilinear form 3741:. With respect to this basis, the components of 3651:{\displaystyle v=v^{i}e_{i}\ \ \forall \ v\in V} 3819:{\displaystyle \phi (e_{i},e_{j})=\delta _{ij}} 5373:The set of right-handed orthonormal bases for 4765:, with the action again given by composition: 1120:and that each of their magnitudes equals one, 6482: 6246: 5804: 5748:Steinwart, Ingo; Christmann, Andreas (2008). 5647:Authors: Rynne, Bryan, Youngson, M.A. page 79 4439:{\displaystyle \mathbb {R} ^{n}\rightarrow V} 541:. In such a basis, the metric takes the form 8: 4343: 4317: 4311: 4296: 3581: 3568: 3515: 3503: 3077: 3065: 3059: 3029: 2774: 2762: 2729: 2722: 2675: 2663: 2584: 2577: 2572: 2560: 1667: 1654: 3734:{\displaystyle (v^{i})\in \mathbb {R} ^{n}} 2274:{\displaystyle \left\{e_{b}:b\in B\right\}} 1922:{\displaystyle \eta (e_{\mu },e_{\mu })=-1} 1832:{\displaystyle \eta (e_{\mu },e_{\mu })=+1} 424:although not necessarily the entire space. 6517: 6489: 6475: 6467: 6253: 6239: 6231: 5811: 5797: 5789: 3446:Choice of basis as a choice of isomorphism 1748:{\displaystyle \eta (e_{\mu },e_{\nu })=0} 5415: 5407: 5386: 5382: 5381: 5378: 5340: 5332: 5305: 5301: 5300: 5297: 5265: 5257: 5236: 5232: 5231: 5228: 5190: 5182: 5155: 5151: 5150: 5147: 5123: 5103: 5079: 5049: 5025: 5021: 5020: 5010: 5004: 4967: 4942: 4938: 4937: 4927: 4921: 4886: 4878: 4850: 4846: 4845: 4842: 4804: 4782: 4770: 4748: 4747: 4732: 4727: 4709: 4697: 4691: 4670: 4666: 4665: 4662: 4619: 4557: 4528: 4520: 4500: 4467: 4463: 4462: 4453: 4451: 4424: 4420: 4419: 4416: 4395: 4391: 4390: 4387: 4367: 4337: 4333: 4332: 4320: 4305: 4304: 4299: 4294: 4264: 4254: 4244: 4233: 4217: 4195: 4191: 4190: 4179: 4178: 4172: 4145: 4139: 4118: 4112: 4082: 4054: 4041: 4021: 4020: 4011: 3978: 3965: 3961: 3960: 3928: 3927: 3921: 3897: 3893: 3892: 3875: 3874: 3868: 3837: 3831: 3807: 3791: 3778: 3766: 3746: 3725: 3721: 3720: 3707: 3698: 3679: 3678: 3669: 3663: 3621: 3611: 3599: 3575: 3559: 3558: 3556: 3536: 3495: 3475: 3455: 3376: 3352: 3329: 3309: 3286: 3260: 3240: 3212: 3192: 3172: 3152: 3132: 3027: 2997: 2979: 2942: 2936: 2912: 2889: 2869: 2839: 2809: 2783: 2778: 2757: 2745: 2732: 2720: 2700: 2651: 2639: 2619: 2587: 2557: 2545: 2533: 2507: 2484: 2464: 2402: 2396: 2360: 2354: 2328: 2292: 2286: 2248: 2237: 2181: 2175: 2151: 2088: 2082: 2058: 2057: 2042: 2031: 1978: 1934: 1901: 1888: 1876: 1844: 1811: 1798: 1786: 1760: 1730: 1717: 1705: 1685: 1661: 1652: 1622: 1618: 1617: 1614: 1583: 1579: 1578: 1575: 1549: 1545: 1544: 1541: 1520: 1516: 1515: 1512: 1485: 1480: 1470: 1465: 1455: 1450: 1443: 1418: 1410: 1400: 1392: 1382: 1374: 1363: 1355: 1347: 1342: 1321: 1317: 1316: 1304: 1296: 1288: 1283: 1256: 1251: 1241: 1236: 1226: 1221: 1214: 1182: 1177: 1159: 1154: 1136: 1131: 1125: 1092: 1087: 1077: 1072: 1052: 1047: 1037: 1032: 1012: 1007: 997: 992: 985: 961: 960: 953: 952: 945: 944: 942: 918: 914: 913: 910: 889: 885: 884: 881: 825: 815: 810: 772: 762: 757: 719: 709: 704: 697: 676: 672: 671: 668: 639: 619: 548: 546: 518: 492: 486: 440: 406: 371: 343: 323: 296: 260: 256: 255: 252: 225: 198: 174: 170: 169: 166: 125: 121: 120: 117: 78: 50: 6779:Group algebra of a locally compact group 4614:, with the action given by composition: 3587:{\displaystyle {\mathcal {B}}=\{e_{i}\}} 2391:otherwise forms an orthonormal basis of 2139:{\displaystyle f_{n}(x)=\exp(2\pi inx),} 5487: 5037:{\displaystyle V_{k}(\mathbb {R} ^{n})} 4954:{\displaystyle V_{n}(\mathbb {R} ^{n})} 4446:, and consider the space of such maps, 3015:{\displaystyle \Phi :H\to \ell ^{2}(B)} 2967:in the following sense: there exists a 6202:Comparison of linear algebra libraries 4816:{\displaystyle C*R_{ij}=C\circ R_{ij}} 2225:. This is fundamental to the study of 5620: 4866:with the standard inner product is a 3686:{\displaystyle v^{i}\in \mathbb {R} } 3438:. However, one would have to use the 7: 5723:McGraw-Hill Science/Engineering/Math 3347:which may of course be smaller than 2857:and the formula is usually known as 2023:, these are Lorentz transformations. 1966:{\displaystyle p+1\leq \mu \leq p+q} 247:inner product space to the study of 5533:Linear Algebra and Its Applications 5499:Linear Algebra and Its Applications 4545:{\displaystyle R\in {\text{GL}}(V)} 3863:We can now view the basis as a map 3424:dimension theorem for vector spaces 2634:is orthonormal, this simplifies to 1640:{\displaystyle \mathbb {R} ^{p,q},} 1278:is an orthonormal set. All vectors 27:Specific linear basis (mathematics) 5320:{\displaystyle \mathbb {C} ^{p,q}} 5170:{\displaystyle \mathbb {R} ^{p,q}} 3633: 3086: 3047: 3032: 2981: 876:and forms an orthonormal basis of 193:For a general inner product space 25: 6377:Compact operator on Hilbert space 5363:{\displaystyle G={\text{U}}(p,q)} 5292:The set of orthonormal bases for 5223:The set of orthonormal bases for 5213:{\displaystyle G={\text{O}}(p,q)} 5142:The set of orthonormal bases for 5118:-frame can be taken to any other 4837:The set of orthonormal bases for 6935: 6934: 6861:Topological quantum field theory 6215: 6214: 6192:Basic Linear Algebra Subprograms 5950: 5432:{\displaystyle G={\text{SO}}(n)} 5395:{\displaystyle \mathbb {R} ^{n}} 5245:{\displaystyle \mathbb {C} ^{n}} 4906:{\displaystyle G={\text{O}}(n),} 4859:{\displaystyle \mathbb {R} ^{n}} 4827:As a principal homogeneous space 4679:{\displaystyle \mathbb {R} ^{n}} 4404:{\displaystyle \mathbb {R} ^{n}} 3324:will be an orthonormal basis of 1864:{\displaystyle 1\leq \mu \leq p} 1592:{\displaystyle \mathbb {R} ^{n}} 1558:{\displaystyle \mathbb {R} ^{3}} 1529:{\displaystyle \mathbb {R} ^{3}} 1486: 1482: 1471: 1467: 1456: 1452: 1419: 1415: 1411: 1401: 1397: 1393: 1383: 1379: 1375: 1364: 1356: 1348: 1305: 1297: 1289: 1257: 1253: 1242: 1238: 1227: 1223: 1183: 1179: 1160: 1156: 1137: 1133: 1093: 1089: 1078: 1074: 1053: 1049: 1038: 1034: 1013: 1009: 998: 994: 927:{\displaystyle \mathbb {R} ^{3}} 898:{\displaystyle \mathbb {R} ^{3}} 816: 812: 763: 759: 710: 706: 685:{\displaystyle \mathbb {R} ^{3}} 269:{\displaystyle \mathbb {R} ^{n}} 183:{\displaystyle \mathbb {R} ^{n}} 134:{\displaystyle \mathbb {R} ^{n}} 105:to each other. For example, the 6090:Seven-dimensional cross product 5633:Steinwart & Christmann 2008 5282:{\displaystyle G={\text{U}}(n)} 5074:orthonormal bases (orthonormal 4301:Space of orthogonal bases  4164:The inverse is a component map 533:equipped with a non-degenerate 5426: 5420: 5357: 5345: 5276: 5270: 5207: 5195: 5031: 5016: 4948: 4933: 4897: 4891: 4752: 4744: 4720: 4714: 4601: 4583: 4574: 4562: 4539: 4533: 4479: 4473: 4458: 4430: 4328: 4314: 4226: 4223: 4210: 4201: 4094: 4075: 4066: 4060: 4038: 4034: 4028: 4013: 3987: 3956: 3953: 3950: 3938: 3888: 3797: 3771: 3713: 3700: 3056: 3050: 3041: 3035: 3009: 3003: 2990: 2954: 2948: 2779: 2758: 2414: 2408: 2372: 2366: 2304: 2298: 2205: 2202: 2190: 2187: 2130: 2112: 2100: 2094: 2010: 1998: 1992: 1980: 1907: 1881: 1817: 1791: 1736: 1710: 1368: 1344: 1309: 1285: 1189: 1174: 1166: 1151: 1143: 1128: 601: 553: 457: 442: 149:of the standard basis under a 1: 6657:Uniform boundedness principle 5694:Graduate Texts in Mathematics 4648:{\displaystyle R*C=R\circ C.} 4134:is the dual basis element to 2423:{\displaystyle \ell ^{2}(B).} 1774:{\displaystyle \mu \neq \nu } 5932:Eigenvalues and eigenvectors 5696:(Third ed.). Springer. 4999:The other Stiefel manifolds 3849:{\displaystyle \delta _{ij}} 3274:{\displaystyle V\subseteq H} 2960:{\displaystyle \ell ^{2}(B)} 2437:Sturm–Liouville eigenproblem 1673:{\displaystyle \{e_{\mu }\}} 291:. Given a pre-Hilbert space 5594:Real & Complex Analysis 4868:principal homogeneous space 4322:Space of isomorphisms  3430:if and only if it admits a 2884:is an orthonormal basis of 2016:{\displaystyle (p,q)=(1,3)} 360:infinite linear combination 6987: 6800:Invariant subspace problem 6346:Hilbert projection theorem 5645:Linear Functional Analysis 5468: – Computational tool 4830: 3594:, which allow us to write 3470:-dimensional vector space 3227:can be regarded as either 2479:is an orthogonal basis of 2384:{\displaystyle e_{b}(c)=0} 2316:{\displaystyle e_{b}(c)=1} 433:square-integrable function 6930: 6520: 6325:Cauchy–Schwarz inequality 6210: 5948: 5826: 5758:10.1007/978-0-387-77242-4 5562:Linear Algebra Done Right 3761:are particularly simple: 3440:axiom of countable choice 3207:. Alternatively, the set 1601:orthogonal transformation 159:orthogonal transformation 6769:Spectrum of a C*-algebra 5098:homogeneous spaces: any 4006:Explicitly we can write 2450:form an orthonormal set. 2214:{\displaystyle L^{2}(),} 474:) as an infinite sum of 190:arises in this fashion. 97:, that is, they are all 6866:Noncommutative geometry 5750:Support vector machines 5690:Advanced Linear Algebra 5560:Axler, Sheldon (2002). 3551:is as a set of vectors 3371:orthonormal set, or be 535:symmetric bilinear form 6922:Tomita–Takesaki theory 6897:Approximation property 6841:Calculus of variations 5917:Row and column vectors 5752:. New York: Springer. 5495:Lay, David C. (2006). 5454:Basis (linear algebra) 5433: 5396: 5364: 5321: 5283: 5246: 5214: 5171: 5132: 5112: 5088: 5064: 5063:{\displaystyle k<n} 5038: 4976: 4955: 4907: 4860: 4817: 4759: 4680: 4649: 4608: 4546: 4509: 4486: 4440: 4405: 4376: 4353: 4277: 4249: 4155: 4128: 4101: 3997: 3907: 3850: 3820: 3755: 3735: 3687: 3652: 3588: 3545: 3522: 3484: 3464: 3388: 3361: 3341: 3318: 3298: 3275: 3249: 3221: 3201: 3181: 3161: 3141: 3114: 3016: 2961: 2921: 2901: 2878: 2851: 2818: 2796: 2709: 2691:and the square of the 2685: 2628: 2606: 2522: 2521:{\displaystyle x\in H} 2496: 2473: 2424: 2385: 2343: 2317: 2275: 2215: 2160: 2140: 2071: 2017: 1967: 1923: 1865: 1833: 1775: 1749: 1694: 1674: 1647:, an orthogonal basis 1641: 1608:pseudo-Euclidean space 1593: 1559: 1530: 1501: 1432: 1331: 1272: 1203: 1114: 969: 928: 899: 866: 686: 648: 628: 608: 527: 505: 504:{\displaystyle x^{n}.} 464: 418: 383: 352: 332: 308: 270: 237: 218:orthogonal coordinates 210: 184: 135: 87: 59: 6917:Banach–Mazur distance 6880:Generalized functions 6356:Polarization identity 6299:Orthogonal complement 5922:Row and column spaces 5867:Scalar multiplication 5623:, p. 218, ch. 9. 5434: 5397: 5365: 5322: 5284: 5247: 5215: 5172: 5133: 5113: 5089: 5065: 5039: 4977: 4956: 4908: 4861: 4818: 4760: 4681: 4650: 4609: 4547: 4510: 4487: 4441: 4406: 4377: 4354: 4278: 4229: 4156: 4154:{\displaystyle e_{i}} 4129: 4127:{\displaystyle e^{i}} 4102: 3998: 3908: 3851: 3821: 3756: 3754:{\displaystyle \phi } 3736: 3688: 3653: 3589: 3546: 3544:{\displaystyle \phi } 3523: 3485: 3465: 3389: 3362: 3342: 3319: 3299: 3276: 3250: 3222: 3202: 3182: 3162: 3142: 3115: 3017: 2962: 2922: 2902: 2879: 2852: 2819: 2797: 2710: 2686: 2629: 2607: 2523: 2497: 2474: 2425: 2386: 2344: 2318: 2276: 2216: 2161: 2159:{\displaystyle \exp } 2141: 2072: 2018: 1968: 1924: 1866: 1834: 1776: 1750: 1695: 1693:{\displaystyle \eta } 1675: 1642: 1594: 1560: 1531: 1502: 1433: 1332: 1273: 1204: 1115: 970: 929: 900: 867: 692:, the set of vectors 687: 649: 629: 609: 528: 506: 465: 419: 397:of the basis must be 384: 358:can be written as an 353: 333: 309: 271: 238: 211: 185: 136: 88: 60: 6662:Kakutani fixed-point 6647:Riesz representation 6330:Riesz representation 6285:L-semi-inner product 6057:Gram–Schmidt process 6009:Gaussian elimination 5406: 5377: 5331: 5296: 5256: 5227: 5181: 5146: 5122: 5102: 5078: 5048: 5003: 4966: 4920: 4877: 4870:or G-torsor for the 4841: 4769: 4690: 4661: 4618: 4556: 4519: 4499: 4450: 4415: 4386: 4366: 4293: 4171: 4138: 4111: 4010: 3920: 3867: 3830: 3765: 3745: 3697: 3662: 3598: 3555: 3535: 3494: 3474: 3454: 3412:Gram–Schmidt process 3375: 3351: 3328: 3308: 3285: 3259: 3239: 3211: 3191: 3171: 3151: 3131: 3026: 2978: 2935: 2911: 2888: 2868: 2838: 2808: 2719: 2699: 2638: 2618: 2532: 2506: 2483: 2463: 2395: 2353: 2327: 2285: 2236: 2221:with respect to the 2174: 2168:exponential function 2150: 2081: 2030: 1977: 1933: 1875: 1843: 1785: 1759: 1704: 1684: 1651: 1613: 1574: 1540: 1511: 1442: 1341: 1282: 1213: 1124: 984: 941: 909: 880: 696: 667: 638: 618: 545: 517: 485: 476:Legendre polynomials 439: 405: 370: 342: 322: 295: 289:inner product spaces 278:Gram–Schmidt process 251: 224: 197: 165: 116: 77: 49: 6966:Functional analysis 6846:Functional calculus 6805:Mahler's conjecture 6784:Von Neumann algebra 6498:Functional analysis 6351:Parseval's identity 6320:Bessel's inequality 6187:Numerical stability 6067:Multilinear algebra 6042:Inner product space 5892:Linear independence 5783:Stack Exchange Post 5718:Functional Analysis 4992:basis to any other 2859:Parseval's identity 2502:then every element 2342:{\displaystyle b=c} 285:functional analysis 44:inner product space 6871:Riemann hypothesis 6570:Topological vector 5897:Linear combination 5429: 5402:is a G-torsor for 5392: 5360: 5327:is a G-torsor for 5317: 5279: 5252:is a G-torsor for 5242: 5210: 5177:is a G-torsor for 5167: 5128: 5108: 5084: 5060: 5034: 4972: 4951: 4913:and is called the 4903: 4856: 4813: 4755: 4676: 4645: 4604: 4542: 4505: 4482: 4436: 4401: 4372: 4349: 4273: 4151: 4124: 4097: 3993: 3903: 3846: 3816: 3751: 3731: 3683: 3648: 3584: 3541: 3518: 3480: 3460: 3387:{\displaystyle H,} 3384: 3357: 3340:{\displaystyle V;} 3337: 3314: 3297:{\displaystyle S.} 3294: 3271: 3245: 3217: 3197: 3177: 3157: 3137: 3123:Orthonormal system 3110: 3012: 2957: 2917: 2900:{\displaystyle H,} 2897: 2874: 2850:{\displaystyle x,} 2847: 2814: 2792: 2756: 2705: 2681: 2662: 2624: 2602: 2556: 2528:may be written as 2518: 2495:{\displaystyle H,} 2492: 2469: 2420: 2381: 2339: 2313: 2271: 2211: 2156: 2136: 2067: 2013: 1963: 1919: 1861: 1829: 1771: 1745: 1700:instead satisfies 1690: 1670: 1637: 1603:in the group O(n). 1589: 1555: 1526: 1497: 1428: 1327: 1268: 1199: 1110: 965: 924: 895: 862: 848: 795: 742: 682: 644: 634:positive ones and 624: 604: 523: 501: 470:can be expressed ( 460: 417:{\displaystyle H,} 414: 382:{\displaystyle H.} 379: 348: 328: 307:{\displaystyle H,} 304: 266: 245:finite-dimensional 236:{\displaystyle V.} 233: 209:{\displaystyle V,} 206: 180: 131: 93:whose vectors are 83: 55: 6948: 6947: 6851:Integral operator 6628: 6627: 6464: 6463: 6407:Sesquilinear form 6360:Parallelogram law 6304:Orthonormal basis 6228: 6227: 6095:Geometric algebra 6052:Kronecker product 5887:Linear projection 5872:Vector projection 5767:978-0-387-77241-7 5732:978-0-07-054236-5 5703:978-0-387-72828-5 5662:engfac.cooper.edu 5460:Orthonormal frame 5418: 5343: 5268: 5193: 5131:{\displaystyle k} 5111:{\displaystyle k} 5087:{\displaystyle k} 4975:{\displaystyle n} 4889: 4730: 4712: 4531: 4508:{\displaystyle V} 4456: 4375:{\displaystyle V} 4323: 4302: 3638: 3632: 3629: 3483:{\displaystyle V} 3463:{\displaystyle n} 3398:orthonormal set. 3367:itself, being an 3360:{\displaystyle H} 3317:{\displaystyle S} 3248:{\displaystyle H} 3220:{\displaystyle S} 3200:{\displaystyle H} 3180:{\displaystyle S} 3160:{\displaystyle H} 3140:{\displaystyle S} 3091: 3085: 3082: 2920:{\displaystyle H} 2877:{\displaystyle B} 2831:Fourier expansion 2817:{\displaystyle B} 2741: 2708:{\displaystyle x} 2647: 2627:{\displaystyle B} 2594: 2541: 2472:{\displaystyle B} 2448:orthogonal matrix 936:Cartesian product 809: 803: 756: 750: 647:{\displaystyle q} 627:{\displaystyle p} 551: 526:{\displaystyle M} 472:almost everywhere 351:{\displaystyle H} 331:{\displaystyle H} 316:orthonormal basis 86:{\displaystyle V} 58:{\displaystyle V} 40:orthonormal basis 16:(Redirected from 6978: 6961:Fourier analysis 6938: 6937: 6856:Jones polynomial 6774:Operator algebra 6518: 6491: 6484: 6477: 6468: 6294:Prehilbert space 6255: 6248: 6241: 6232: 6218: 6217: 6100:Exterior algebra 6037:Hadamard product 5954: 5942:Linear equations 5813: 5806: 5799: 5790: 5771: 5744: 5708:(page 218, ch.9) 5707: 5672: 5671: 5669: 5668: 5654: 5648: 5642: 5636: 5630: 5624: 5618: 5612: 5611: 5586: 5580: 5579: 5564:(2nd ed.). 5557: 5551: 5550: 5535:(4th ed.). 5525: 5519: 5518: 5503:(3rd ed.). 5502: 5492: 5477: 5449:Orthogonal basis 5438: 5436: 5435: 5430: 5419: 5416: 5401: 5399: 5398: 5393: 5391: 5390: 5385: 5369: 5367: 5366: 5361: 5344: 5341: 5326: 5324: 5323: 5318: 5316: 5315: 5304: 5288: 5286: 5285: 5280: 5269: 5266: 5251: 5249: 5248: 5243: 5241: 5240: 5235: 5219: 5217: 5216: 5211: 5194: 5191: 5176: 5174: 5173: 5168: 5166: 5165: 5154: 5137: 5135: 5134: 5129: 5117: 5115: 5114: 5109: 5093: 5091: 5090: 5085: 5069: 5067: 5066: 5061: 5043: 5041: 5040: 5035: 5030: 5029: 5024: 5015: 5014: 4981: 4979: 4978: 4973: 4960: 4958: 4957: 4952: 4947: 4946: 4941: 4932: 4931: 4915:Stiefel manifold 4912: 4910: 4909: 4904: 4890: 4887: 4872:orthogonal group 4865: 4863: 4862: 4857: 4855: 4854: 4849: 4833:Stiefel manifold 4822: 4820: 4819: 4814: 4812: 4811: 4790: 4789: 4764: 4762: 4761: 4756: 4751: 4743: 4742: 4731: 4728: 4713: 4710: 4705: 4704: 4685: 4683: 4682: 4677: 4675: 4674: 4669: 4654: 4652: 4651: 4646: 4613: 4611: 4610: 4605: 4551: 4549: 4548: 4543: 4532: 4529: 4514: 4512: 4511: 4506: 4491: 4489: 4488: 4483: 4472: 4471: 4466: 4457: 4454: 4445: 4443: 4442: 4437: 4429: 4428: 4423: 4410: 4408: 4407: 4402: 4400: 4399: 4394: 4381: 4379: 4378: 4373: 4358: 4356: 4355: 4350: 4342: 4341: 4336: 4324: 4321: 4310: 4309: 4303: 4300: 4282: 4280: 4279: 4274: 4269: 4268: 4259: 4258: 4248: 4243: 4222: 4221: 4200: 4199: 4194: 4185: 4184: 4183: 4160: 4158: 4157: 4152: 4150: 4149: 4133: 4131: 4130: 4125: 4123: 4122: 4106: 4104: 4103: 4098: 4087: 4086: 4059: 4058: 4046: 4045: 4027: 4026: 4025: 4002: 4000: 3999: 3994: 3986: 3985: 3970: 3969: 3964: 3934: 3933: 3932: 3912: 3910: 3909: 3904: 3902: 3901: 3896: 3881: 3880: 3879: 3855: 3853: 3852: 3847: 3845: 3844: 3825: 3823: 3822: 3817: 3815: 3814: 3796: 3795: 3783: 3782: 3760: 3758: 3757: 3752: 3740: 3738: 3737: 3732: 3730: 3729: 3724: 3712: 3711: 3692: 3690: 3689: 3684: 3682: 3674: 3673: 3657: 3655: 3654: 3649: 3636: 3630: 3627: 3626: 3625: 3616: 3615: 3593: 3591: 3590: 3585: 3580: 3579: 3564: 3563: 3550: 3548: 3547: 3542: 3527: 3525: 3524: 3519: 3489: 3487: 3486: 3481: 3469: 3467: 3466: 3461: 3393: 3391: 3390: 3385: 3366: 3364: 3363: 3358: 3346: 3344: 3343: 3338: 3323: 3321: 3320: 3315: 3303: 3301: 3300: 3295: 3280: 3278: 3277: 3272: 3254: 3252: 3251: 3246: 3235:with respect to 3226: 3224: 3223: 3218: 3206: 3204: 3203: 3198: 3186: 3184: 3183: 3178: 3166: 3164: 3163: 3158: 3146: 3144: 3143: 3138: 3119: 3117: 3116: 3111: 3089: 3083: 3080: 3021: 3019: 3018: 3013: 3002: 3001: 2966: 2964: 2963: 2958: 2947: 2946: 2926: 2924: 2923: 2918: 2906: 2904: 2903: 2898: 2883: 2881: 2880: 2875: 2856: 2854: 2853: 2848: 2823: 2821: 2820: 2815: 2801: 2799: 2798: 2793: 2788: 2787: 2782: 2761: 2755: 2737: 2736: 2715:can be given by 2714: 2712: 2711: 2706: 2690: 2688: 2687: 2682: 2661: 2633: 2631: 2630: 2625: 2611: 2609: 2608: 2603: 2595: 2593: 2592: 2591: 2575: 2558: 2555: 2527: 2525: 2524: 2519: 2501: 2499: 2498: 2493: 2478: 2476: 2475: 2470: 2429: 2427: 2426: 2421: 2407: 2406: 2390: 2388: 2387: 2382: 2365: 2364: 2348: 2346: 2345: 2340: 2322: 2320: 2319: 2314: 2297: 2296: 2280: 2278: 2277: 2272: 2270: 2266: 2253: 2252: 2220: 2218: 2217: 2212: 2186: 2185: 2165: 2163: 2162: 2157: 2145: 2143: 2142: 2137: 2093: 2092: 2076: 2074: 2073: 2068: 2066: 2062: 2061: 2047: 2046: 2022: 2020: 2019: 2014: 1972: 1970: 1969: 1964: 1928: 1926: 1925: 1920: 1906: 1905: 1893: 1892: 1870: 1868: 1867: 1862: 1838: 1836: 1835: 1830: 1816: 1815: 1803: 1802: 1780: 1778: 1777: 1772: 1754: 1752: 1751: 1746: 1735: 1734: 1722: 1721: 1699: 1697: 1696: 1691: 1679: 1677: 1676: 1671: 1666: 1665: 1646: 1644: 1643: 1638: 1633: 1632: 1621: 1598: 1596: 1595: 1590: 1588: 1587: 1582: 1564: 1562: 1561: 1556: 1554: 1553: 1548: 1535: 1533: 1532: 1527: 1525: 1524: 1519: 1506: 1504: 1503: 1498: 1496: 1492: 1491: 1490: 1489: 1476: 1475: 1474: 1461: 1460: 1459: 1437: 1435: 1434: 1429: 1424: 1423: 1422: 1406: 1405: 1404: 1388: 1387: 1386: 1367: 1359: 1351: 1336: 1334: 1333: 1328: 1326: 1325: 1320: 1308: 1300: 1292: 1277: 1275: 1274: 1269: 1267: 1263: 1262: 1261: 1260: 1247: 1246: 1245: 1232: 1231: 1230: 1209:This means that 1208: 1206: 1205: 1200: 1192: 1188: 1187: 1186: 1169: 1165: 1164: 1163: 1146: 1142: 1141: 1140: 1119: 1117: 1116: 1111: 1103: 1099: 1098: 1097: 1096: 1083: 1082: 1081: 1063: 1059: 1058: 1057: 1056: 1043: 1042: 1041: 1023: 1019: 1018: 1017: 1016: 1003: 1002: 1001: 974: 972: 971: 966: 964: 956: 948: 933: 931: 930: 925: 923: 922: 917: 904: 902: 901: 896: 894: 893: 888: 871: 869: 868: 863: 858: 854: 853: 852: 821: 820: 819: 807: 801: 800: 799: 768: 767: 766: 754: 748: 747: 746: 715: 714: 713: 691: 689: 688: 683: 681: 680: 675: 653: 651: 650: 645: 633: 631: 630: 625: 613: 611: 610: 605: 552: 549: 532: 530: 529: 524: 510: 508: 507: 502: 497: 496: 469: 467: 466: 463:{\displaystyle } 461: 435:on the interval 423: 421: 420: 415: 388: 386: 385: 380: 357: 355: 354: 349: 337: 335: 334: 329: 313: 311: 310: 305: 275: 273: 272: 267: 265: 264: 259: 242: 240: 239: 234: 215: 213: 212: 207: 189: 187: 186: 181: 179: 178: 173: 145:of vectors. The 140: 138: 137: 132: 130: 129: 124: 92: 90: 89: 84: 64: 62: 61: 56: 21: 6986: 6985: 6981: 6980: 6979: 6977: 6976: 6975: 6951: 6950: 6949: 6944: 6926: 6890:Advanced topics 6885: 6809: 6788: 6747: 6713:Hilbert–Schmidt 6686: 6677:Gelfand–Naimark 6624: 6574: 6509: 6495: 6465: 6460: 6453:Segal–Bargmann 6421: 6392:Hilbert–Schmidt 6382:Densely defined 6365: 6334: 6308: 6264: 6259: 6229: 6224: 6206: 6168: 6124: 6061: 6013: 5955: 5946: 5912:Change of basis 5902:Multilinear map 5840: 5822: 5817: 5778: 5768: 5747: 5733: 5711: 5704: 5684: 5681: 5676: 5675: 5666: 5664: 5656: 5655: 5651: 5643: 5639: 5631: 5627: 5619: 5615: 5608: 5588: 5587: 5583: 5576: 5559: 5558: 5554: 5547: 5529:Strang, Gilbert 5527: 5526: 5522: 5515: 5494: 5493: 5489: 5484: 5475: 5445: 5404: 5403: 5380: 5375: 5374: 5329: 5328: 5299: 5294: 5293: 5254: 5253: 5230: 5225: 5224: 5179: 5178: 5149: 5144: 5143: 5120: 5119: 5100: 5099: 5076: 5075: 5046: 5045: 5019: 5006: 5001: 5000: 4964: 4963: 4961:of orthonormal 4936: 4923: 4918: 4917: 4875: 4874: 4844: 4839: 4838: 4835: 4829: 4800: 4778: 4767: 4766: 4726: 4693: 4688: 4687: 4664: 4659: 4658: 4616: 4615: 4554: 4553: 4517: 4516: 4497: 4496: 4461: 4448: 4447: 4418: 4413: 4412: 4389: 4384: 4383: 4364: 4363: 4331: 4291: 4290: 4260: 4250: 4213: 4189: 4174: 4169: 4168: 4141: 4136: 4135: 4114: 4109: 4108: 4078: 4050: 4037: 4016: 4008: 4007: 3974: 3959: 3923: 3918: 3917: 3891: 3870: 3865: 3864: 3858:Kronecker delta 3833: 3828: 3827: 3803: 3787: 3774: 3763: 3762: 3743: 3742: 3719: 3703: 3695: 3694: 3665: 3660: 3659: 3617: 3607: 3596: 3595: 3571: 3553: 3552: 3533: 3532: 3492: 3491: 3472: 3471: 3452: 3451: 3448: 3436:axiom of choice 3404: 3373: 3372: 3349: 3348: 3326: 3325: 3306: 3305: 3283: 3282: 3257: 3256: 3237: 3236: 3209: 3208: 3189: 3188: 3169: 3168: 3149: 3148: 3129: 3128: 3125: 3024: 3023: 2993: 2976: 2975: 2938: 2933: 2932: 2909: 2908: 2886: 2885: 2866: 2865: 2836: 2835: 2806: 2805: 2777: 2728: 2717: 2716: 2697: 2696: 2636: 2635: 2616: 2615: 2583: 2576: 2559: 2530: 2529: 2504: 2503: 2481: 2480: 2461: 2460: 2457: 2398: 2393: 2392: 2356: 2351: 2350: 2325: 2324: 2288: 2283: 2282: 2244: 2243: 2239: 2234: 2233: 2177: 2172: 2171: 2148: 2147: 2084: 2079: 2078: 2038: 2037: 2033: 2028: 2027: 1975: 1974: 1931: 1930: 1897: 1884: 1873: 1872: 1841: 1840: 1807: 1794: 1783: 1782: 1757: 1756: 1726: 1713: 1702: 1701: 1682: 1681: 1657: 1649: 1648: 1616: 1611: 1610: 1577: 1572: 1571: 1543: 1538: 1537: 1514: 1509: 1508: 1481: 1466: 1451: 1449: 1445: 1440: 1439: 1414: 1396: 1378: 1339: 1338: 1315: 1280: 1279: 1252: 1237: 1222: 1220: 1216: 1211: 1210: 1178: 1173: 1155: 1150: 1132: 1127: 1122: 1121: 1088: 1073: 1071: 1067: 1048: 1033: 1031: 1027: 1008: 993: 991: 987: 982: 981: 939: 938: 912: 907: 906: 883: 878: 877: 847: 846: 841: 836: 826: 811: 794: 793: 788: 783: 773: 758: 741: 740: 735: 730: 720: 705: 703: 699: 694: 693: 670: 665: 664: 660: 654:negative ones. 636: 635: 616: 615: 543: 542: 515: 514: 488: 483: 482: 437: 436: 427:If we go on to 403: 402: 368: 367: 340: 339: 320: 319: 293: 292: 254: 249: 248: 222: 221: 195: 194: 168: 163: 162: 119: 114: 113: 111:Euclidean space 75: 74: 47: 46: 34:, particularly 28: 23: 22: 15: 12: 11: 5: 6984: 6982: 6974: 6973: 6971:Linear algebra 6968: 6963: 6953: 6952: 6946: 6945: 6943: 6942: 6931: 6928: 6927: 6925: 6924: 6919: 6914: 6909: 6907:Choquet theory 6904: 6899: 6893: 6891: 6887: 6886: 6884: 6883: 6873: 6868: 6863: 6858: 6853: 6848: 6843: 6838: 6833: 6828: 6823: 6817: 6815: 6811: 6810: 6808: 6807: 6802: 6796: 6794: 6790: 6789: 6787: 6786: 6781: 6776: 6771: 6766: 6761: 6759:Banach algebra 6755: 6753: 6749: 6748: 6746: 6745: 6740: 6735: 6730: 6725: 6720: 6715: 6710: 6705: 6700: 6694: 6692: 6688: 6687: 6685: 6684: 6682:Banach–Alaoglu 6679: 6674: 6669: 6664: 6659: 6654: 6649: 6644: 6638: 6636: 6630: 6629: 6626: 6625: 6623: 6622: 6617: 6612: 6610:Locally convex 6607: 6593: 6588: 6582: 6580: 6576: 6575: 6573: 6572: 6567: 6562: 6557: 6552: 6547: 6542: 6537: 6532: 6527: 6521: 6515: 6511: 6510: 6496: 6494: 6493: 6486: 6479: 6471: 6462: 6461: 6459: 6458: 6450: 6444:compact & 6429: 6427: 6423: 6422: 6420: 6419: 6414: 6409: 6404: 6399: 6394: 6389: 6387:Hermitian form 6384: 6379: 6373: 6371: 6367: 6366: 6364: 6363: 6353: 6348: 6342: 6340: 6336: 6335: 6333: 6332: 6327: 6322: 6316: 6314: 6310: 6309: 6307: 6306: 6301: 6296: 6287: 6278: 6272: 6270: 6269:Basic concepts 6266: 6265: 6262:Hilbert spaces 6260: 6258: 6257: 6250: 6243: 6235: 6226: 6225: 6223: 6222: 6211: 6208: 6207: 6205: 6204: 6199: 6194: 6189: 6184: 6182:Floating-point 6178: 6176: 6170: 6169: 6167: 6166: 6164:Tensor product 6161: 6156: 6151: 6149:Function space 6146: 6141: 6135: 6133: 6126: 6125: 6123: 6122: 6117: 6112: 6107: 6102: 6097: 6092: 6087: 6085:Triple product 6082: 6077: 6071: 6069: 6063: 6062: 6060: 6059: 6054: 6049: 6044: 6039: 6034: 6029: 6023: 6021: 6015: 6014: 6012: 6011: 6006: 6001: 5999:Transformation 5996: 5991: 5989:Multiplication 5986: 5981: 5976: 5971: 5965: 5963: 5957: 5956: 5949: 5947: 5945: 5944: 5939: 5934: 5929: 5924: 5919: 5914: 5909: 5904: 5899: 5894: 5889: 5884: 5879: 5874: 5869: 5864: 5859: 5854: 5848: 5846: 5845:Basic concepts 5842: 5841: 5839: 5838: 5833: 5827: 5824: 5823: 5820:Linear algebra 5818: 5816: 5815: 5808: 5801: 5793: 5787: 5786: 5777: 5776:External links 5774: 5773: 5772: 5766: 5745: 5731: 5709: 5702: 5686:Roman, Stephen 5680: 5677: 5674: 5673: 5649: 5637: 5635:, p. 503. 5625: 5613: 5606: 5581: 5574: 5552: 5545: 5520: 5513: 5505:Addison–Wesley 5486: 5485: 5483: 5480: 5479: 5478: 5469: 5466:Schauder basis 5463: 5457: 5451: 5444: 5441: 5440: 5439: 5428: 5425: 5422: 5414: 5411: 5389: 5384: 5371: 5359: 5356: 5353: 5350: 5347: 5339: 5336: 5314: 5311: 5308: 5303: 5290: 5278: 5275: 5272: 5264: 5261: 5239: 5234: 5221: 5209: 5206: 5203: 5200: 5197: 5189: 5186: 5164: 5161: 5158: 5153: 5127: 5107: 5083: 5059: 5056: 5053: 5033: 5028: 5023: 5018: 5013: 5009: 4971: 4950: 4945: 4940: 4935: 4930: 4926: 4902: 4899: 4896: 4893: 4885: 4882: 4853: 4848: 4831:Main article: 4828: 4825: 4810: 4807: 4803: 4799: 4796: 4793: 4788: 4785: 4781: 4777: 4774: 4754: 4750: 4746: 4741: 4738: 4735: 4725: 4722: 4719: 4716: 4708: 4703: 4700: 4696: 4673: 4668: 4644: 4641: 4638: 4635: 4632: 4629: 4626: 4623: 4603: 4600: 4597: 4594: 4591: 4588: 4585: 4582: 4579: 4576: 4573: 4570: 4567: 4564: 4561: 4541: 4538: 4535: 4527: 4524: 4504: 4481: 4478: 4475: 4470: 4465: 4460: 4435: 4432: 4427: 4422: 4398: 4393: 4371: 4360: 4359: 4348: 4345: 4340: 4335: 4330: 4327: 4319: 4316: 4313: 4308: 4298: 4284: 4283: 4272: 4267: 4263: 4257: 4253: 4247: 4242: 4239: 4236: 4232: 4228: 4225: 4220: 4216: 4212: 4209: 4206: 4203: 4198: 4193: 4188: 4182: 4177: 4148: 4144: 4121: 4117: 4096: 4093: 4090: 4085: 4081: 4077: 4074: 4071: 4068: 4065: 4062: 4057: 4053: 4049: 4044: 4040: 4036: 4033: 4030: 4024: 4019: 4015: 4004: 4003: 3992: 3989: 3984: 3981: 3977: 3973: 3968: 3963: 3958: 3955: 3952: 3949: 3946: 3943: 3940: 3937: 3931: 3926: 3900: 3895: 3890: 3887: 3884: 3878: 3873: 3843: 3840: 3836: 3813: 3810: 3806: 3802: 3799: 3794: 3790: 3786: 3781: 3777: 3773: 3770: 3750: 3728: 3723: 3718: 3715: 3710: 3706: 3702: 3681: 3677: 3672: 3668: 3647: 3644: 3641: 3635: 3624: 3620: 3614: 3610: 3606: 3603: 3583: 3578: 3574: 3570: 3567: 3562: 3540: 3517: 3514: 3511: 3508: 3505: 3502: 3499: 3479: 3459: 3447: 3444: 3403: 3400: 3383: 3380: 3356: 3336: 3333: 3313: 3293: 3290: 3270: 3267: 3264: 3244: 3216: 3196: 3176: 3156: 3136: 3124: 3121: 3109: 3106: 3103: 3100: 3097: 3094: 3088: 3079: 3076: 3073: 3070: 3067: 3064: 3061: 3058: 3055: 3052: 3049: 3046: 3043: 3040: 3037: 3034: 3031: 3011: 3008: 3005: 3000: 2996: 2992: 2989: 2986: 2983: 2956: 2953: 2950: 2945: 2941: 2916: 2896: 2893: 2873: 2846: 2843: 2813: 2791: 2786: 2781: 2776: 2773: 2770: 2767: 2764: 2760: 2754: 2751: 2748: 2744: 2740: 2735: 2731: 2727: 2724: 2704: 2680: 2677: 2674: 2671: 2668: 2665: 2660: 2657: 2654: 2650: 2646: 2643: 2623: 2601: 2598: 2590: 2586: 2582: 2579: 2574: 2571: 2568: 2565: 2562: 2554: 2551: 2548: 2544: 2540: 2537: 2517: 2514: 2511: 2491: 2488: 2468: 2456: 2453: 2452: 2451: 2444:column vectors 2440: 2433:Eigenfunctions 2430: 2419: 2416: 2413: 2410: 2405: 2401: 2380: 2377: 2374: 2371: 2368: 2363: 2359: 2338: 2335: 2332: 2312: 2309: 2306: 2303: 2300: 2295: 2291: 2269: 2265: 2262: 2259: 2256: 2251: 2247: 2242: 2230: 2227:Fourier series 2210: 2207: 2204: 2201: 2198: 2195: 2192: 2189: 2184: 2180: 2155: 2135: 2132: 2129: 2126: 2123: 2120: 2117: 2114: 2111: 2108: 2105: 2102: 2099: 2096: 2091: 2087: 2065: 2060: 2056: 2053: 2050: 2045: 2041: 2036: 2024: 2012: 2009: 2006: 2003: 2000: 1997: 1994: 1991: 1988: 1985: 1982: 1962: 1959: 1956: 1953: 1950: 1947: 1944: 1941: 1938: 1918: 1915: 1912: 1909: 1904: 1900: 1896: 1891: 1887: 1883: 1880: 1860: 1857: 1854: 1851: 1848: 1828: 1825: 1822: 1819: 1814: 1810: 1806: 1801: 1797: 1793: 1790: 1770: 1767: 1764: 1744: 1741: 1738: 1733: 1729: 1725: 1720: 1716: 1712: 1709: 1689: 1669: 1664: 1660: 1656: 1636: 1631: 1628: 1625: 1620: 1604: 1586: 1581: 1568: 1567: 1566: 1552: 1547: 1523: 1518: 1495: 1488: 1484: 1479: 1473: 1469: 1464: 1458: 1454: 1448: 1427: 1421: 1417: 1413: 1409: 1403: 1399: 1395: 1391: 1385: 1381: 1377: 1373: 1370: 1366: 1362: 1358: 1354: 1350: 1346: 1324: 1319: 1314: 1311: 1307: 1303: 1299: 1295: 1291: 1287: 1266: 1259: 1255: 1250: 1244: 1240: 1235: 1229: 1225: 1219: 1198: 1195: 1191: 1185: 1181: 1176: 1172: 1168: 1162: 1158: 1153: 1149: 1145: 1139: 1135: 1130: 1109: 1106: 1102: 1095: 1091: 1086: 1080: 1076: 1070: 1066: 1062: 1055: 1051: 1046: 1040: 1036: 1030: 1026: 1022: 1015: 1011: 1006: 1000: 996: 990: 963: 959: 955: 951: 947: 921: 916: 892: 887: 874:standard basis 872:is called the 861: 857: 851: 845: 842: 840: 837: 835: 832: 831: 829: 824: 818: 814: 806: 798: 792: 789: 787: 784: 782: 779: 778: 776: 771: 765: 761: 753: 745: 739: 736: 734: 731: 729: 726: 725: 723: 718: 712: 708: 702: 679: 674: 659: 656: 643: 623: 603: 600: 597: 594: 591: 588: 585: 582: 579: 576: 573: 570: 567: 564: 561: 558: 555: 522: 500: 495: 491: 459: 456: 453: 450: 447: 444: 429:Hilbert spaces 413: 410: 378: 375: 347: 327: 303: 300: 263: 258: 232: 229: 205: 202: 177: 172: 128: 123: 107:standard basis 82: 54: 36:linear algebra 26: 24: 18:Orthogonal set 14: 13: 10: 9: 6: 4: 3: 2: 6983: 6972: 6969: 6967: 6964: 6962: 6959: 6958: 6956: 6941: 6933: 6932: 6929: 6923: 6920: 6918: 6915: 6913: 6912:Weak topology 6910: 6908: 6905: 6903: 6900: 6898: 6895: 6894: 6892: 6888: 6881: 6877: 6874: 6872: 6869: 6867: 6864: 6862: 6859: 6857: 6854: 6852: 6849: 6847: 6844: 6842: 6839: 6837: 6836:Index theorem 6834: 6832: 6829: 6827: 6824: 6822: 6819: 6818: 6816: 6812: 6806: 6803: 6801: 6798: 6797: 6795: 6793:Open problems 6791: 6785: 6782: 6780: 6777: 6775: 6772: 6770: 6767: 6765: 6762: 6760: 6757: 6756: 6754: 6750: 6744: 6741: 6739: 6736: 6734: 6731: 6729: 6726: 6724: 6721: 6719: 6716: 6714: 6711: 6709: 6706: 6704: 6701: 6699: 6696: 6695: 6693: 6689: 6683: 6680: 6678: 6675: 6673: 6670: 6668: 6665: 6663: 6660: 6658: 6655: 6653: 6650: 6648: 6645: 6643: 6640: 6639: 6637: 6635: 6631: 6621: 6618: 6616: 6613: 6611: 6608: 6605: 6601: 6597: 6594: 6592: 6589: 6587: 6584: 6583: 6581: 6577: 6571: 6568: 6566: 6563: 6561: 6558: 6556: 6553: 6551: 6548: 6546: 6543: 6541: 6538: 6536: 6533: 6531: 6528: 6526: 6523: 6522: 6519: 6516: 6512: 6507: 6503: 6499: 6492: 6487: 6485: 6480: 6478: 6473: 6472: 6469: 6457: 6456: 6451: 6449: 6447: 6443: 6439: 6435: 6431: 6430: 6428: 6424: 6418: 6415: 6413: 6410: 6408: 6405: 6403: 6400: 6398: 6395: 6393: 6390: 6388: 6385: 6383: 6380: 6378: 6375: 6374: 6372: 6368: 6361: 6357: 6354: 6352: 6349: 6347: 6344: 6343: 6341: 6339:Other results 6337: 6331: 6328: 6326: 6323: 6321: 6318: 6317: 6315: 6311: 6305: 6302: 6300: 6297: 6295: 6291: 6290:Hilbert space 6288: 6286: 6282: 6281:Inner product 6279: 6277: 6274: 6273: 6271: 6267: 6263: 6256: 6251: 6249: 6244: 6242: 6237: 6236: 6233: 6221: 6213: 6212: 6209: 6203: 6200: 6198: 6197:Sparse matrix 6195: 6193: 6190: 6188: 6185: 6183: 6180: 6179: 6177: 6175: 6171: 6165: 6162: 6160: 6157: 6155: 6152: 6150: 6147: 6145: 6142: 6140: 6137: 6136: 6134: 6132:constructions 6131: 6127: 6121: 6120:Outermorphism 6118: 6116: 6113: 6111: 6108: 6106: 6103: 6101: 6098: 6096: 6093: 6091: 6088: 6086: 6083: 6081: 6080:Cross product 6078: 6076: 6073: 6072: 6070: 6068: 6064: 6058: 6055: 6053: 6050: 6048: 6047:Outer product 6045: 6043: 6040: 6038: 6035: 6033: 6030: 6028: 6027:Orthogonality 6025: 6024: 6022: 6020: 6016: 6010: 6007: 6005: 6004:Cramer's rule 6002: 6000: 5997: 5995: 5992: 5990: 5987: 5985: 5982: 5980: 5977: 5975: 5974:Decomposition 5972: 5970: 5967: 5966: 5964: 5962: 5958: 5953: 5943: 5940: 5938: 5935: 5933: 5930: 5928: 5925: 5923: 5920: 5918: 5915: 5913: 5910: 5908: 5905: 5903: 5900: 5898: 5895: 5893: 5890: 5888: 5885: 5883: 5880: 5878: 5875: 5873: 5870: 5868: 5865: 5863: 5860: 5858: 5855: 5853: 5850: 5849: 5847: 5843: 5837: 5834: 5832: 5829: 5828: 5825: 5821: 5814: 5809: 5807: 5802: 5800: 5795: 5794: 5791: 5784: 5780: 5779: 5775: 5769: 5763: 5759: 5755: 5751: 5746: 5742: 5738: 5734: 5728: 5724: 5720: 5719: 5714: 5713:Rudin, Walter 5710: 5705: 5699: 5695: 5691: 5687: 5683: 5682: 5678: 5663: 5659: 5653: 5650: 5646: 5641: 5638: 5634: 5629: 5626: 5622: 5617: 5614: 5609: 5607:0-07-054234-1 5603: 5599: 5595: 5591: 5590:Rudin, Walter 5585: 5582: 5577: 5575:0-387-98258-2 5571: 5567: 5563: 5556: 5553: 5548: 5546:0-03-010567-6 5542: 5538: 5534: 5530: 5524: 5521: 5516: 5514:0-321-28713-4 5510: 5506: 5501: 5500: 5491: 5488: 5481: 5473: 5470: 5467: 5464: 5461: 5458: 5455: 5452: 5450: 5447: 5446: 5442: 5423: 5412: 5409: 5387: 5372: 5354: 5351: 5348: 5337: 5334: 5312: 5309: 5306: 5291: 5273: 5262: 5259: 5237: 5222: 5204: 5201: 5198: 5187: 5184: 5162: 5159: 5156: 5141: 5140: 5139: 5125: 5105: 5097: 5081: 5073: 5057: 5054: 5051: 5026: 5011: 5007: 4997: 4995: 4991: 4985: 4983: 4969: 4943: 4928: 4924: 4916: 4900: 4894: 4883: 4880: 4873: 4869: 4851: 4834: 4826: 4824: 4808: 4805: 4801: 4797: 4794: 4791: 4786: 4783: 4779: 4775: 4772: 4739: 4736: 4733: 4723: 4717: 4706: 4701: 4698: 4694: 4671: 4655: 4642: 4639: 4636: 4633: 4630: 4627: 4624: 4621: 4598: 4595: 4592: 4589: 4586: 4580: 4577: 4571: 4568: 4565: 4559: 4536: 4525: 4522: 4502: 4493: 4476: 4468: 4433: 4425: 4396: 4369: 4346: 4338: 4325: 4289: 4288: 4287: 4270: 4265: 4261: 4255: 4251: 4245: 4240: 4237: 4234: 4230: 4218: 4214: 4207: 4204: 4196: 4186: 4175: 4167: 4166: 4165: 4162: 4146: 4142: 4119: 4115: 4091: 4088: 4083: 4079: 4072: 4069: 4063: 4055: 4051: 4047: 4042: 4031: 4017: 3990: 3982: 3979: 3975: 3971: 3966: 3947: 3944: 3941: 3935: 3924: 3916: 3915: 3914: 3898: 3885: 3882: 3871: 3861: 3859: 3841: 3838: 3834: 3811: 3808: 3804: 3800: 3792: 3788: 3784: 3779: 3775: 3768: 3748: 3726: 3716: 3708: 3704: 3675: 3670: 3666: 3645: 3642: 3639: 3622: 3618: 3612: 3608: 3604: 3601: 3576: 3572: 3565: 3538: 3529: 3512: 3509: 3506: 3500: 3497: 3477: 3457: 3445: 3443: 3441: 3437: 3433: 3429: 3425: 3421: 3417: 3413: 3409: 3401: 3399: 3397: 3394:when it is a 3381: 3378: 3370: 3354: 3334: 3331: 3311: 3291: 3288: 3268: 3265: 3262: 3242: 3234: 3230: 3214: 3194: 3174: 3154: 3134: 3122: 3120: 3107: 3104: 3101: 3098: 3095: 3092: 3074: 3071: 3068: 3062: 3053: 3044: 3038: 3006: 2998: 2994: 2987: 2984: 2973: 2970: 2951: 2943: 2939: 2930: 2914: 2894: 2891: 2871: 2862: 2860: 2844: 2841: 2833: 2832: 2827: 2811: 2802: 2789: 2784: 2771: 2768: 2765: 2752: 2749: 2746: 2742: 2738: 2733: 2725: 2702: 2694: 2678: 2672: 2669: 2666: 2658: 2655: 2652: 2648: 2644: 2641: 2621: 2612: 2599: 2596: 2588: 2580: 2569: 2566: 2563: 2552: 2549: 2546: 2542: 2538: 2535: 2515: 2512: 2509: 2489: 2486: 2466: 2455:Basic formula 2454: 2449: 2445: 2441: 2438: 2434: 2431: 2417: 2411: 2403: 2399: 2378: 2375: 2369: 2361: 2357: 2336: 2333: 2330: 2310: 2307: 2301: 2293: 2289: 2267: 2263: 2260: 2257: 2254: 2249: 2245: 2240: 2231: 2228: 2224: 2208: 2199: 2196: 2193: 2182: 2178: 2169: 2153: 2133: 2127: 2124: 2121: 2118: 2115: 2109: 2106: 2103: 2097: 2089: 2085: 2063: 2054: 2051: 2048: 2043: 2039: 2034: 2025: 2007: 2004: 2001: 1995: 1989: 1986: 1983: 1960: 1957: 1954: 1951: 1948: 1945: 1942: 1939: 1936: 1916: 1913: 1910: 1902: 1898: 1894: 1889: 1885: 1878: 1858: 1855: 1852: 1849: 1846: 1826: 1823: 1820: 1812: 1808: 1804: 1799: 1795: 1788: 1768: 1765: 1762: 1742: 1739: 1731: 1727: 1723: 1718: 1714: 1707: 1687: 1662: 1658: 1634: 1629: 1626: 1623: 1609: 1605: 1602: 1584: 1569: 1550: 1521: 1493: 1477: 1462: 1446: 1425: 1407: 1389: 1371: 1360: 1352: 1322: 1312: 1301: 1293: 1264: 1248: 1233: 1217: 1196: 1193: 1170: 1147: 1107: 1104: 1100: 1084: 1068: 1064: 1060: 1044: 1028: 1024: 1020: 1004: 988: 979: 976: 975: 957: 949: 937: 919: 890: 875: 859: 855: 849: 843: 838: 833: 827: 822: 804: 796: 790: 785: 780: 774: 769: 751: 743: 737: 732: 727: 721: 716: 700: 677: 662: 661: 657: 655: 641: 621: 598: 595: 592: 589: 586: 583: 580: 577: 574: 571: 568: 565: 562: 559: 556: 540: 539:metric tensor 537:known as the 536: 520: 511: 498: 493: 489: 481: 477: 473: 454: 451: 448: 445: 434: 430: 425: 411: 408: 400: 396: 392: 376: 373: 365: 364:Hilbert basis 361: 345: 325: 317: 301: 298: 290: 286: 281: 279: 261: 246: 230: 227: 219: 203: 200: 191: 175: 160: 156: 152: 148: 144: 126: 112: 108: 104: 100: 96: 80: 72: 68: 52: 45: 41: 37: 33: 19: 6902:Balanced set 6876:Distribution 6814:Applications 6667:Krein–Milman 6652:Closed graph 6454: 6445: 6441: 6437: 6433: 6402:Self-adjoint 6313:Main results 6303: 6130:Vector space 5862:Vector space 5749: 5717: 5689: 5665:. Retrieved 5661: 5658:"CU Faculty" 5652: 5640: 5628: 5616: 5593: 5584: 5561: 5555: 5532: 5523: 5498: 5490: 5095: 5071: 4998: 4993: 4989: 4986: 4836: 4656: 4494: 4382:side or the 4361: 4285: 4163: 4005: 3862: 3530: 3449: 3415: 3408:Zorn's lemma 3405: 3395: 3368: 3232: 3228: 3187:is dense in 3126: 2928: 2863: 2829: 2803: 2613: 2458: 2166:denotes the 1680:with metric 977: 873: 512: 426: 363: 315: 282: 192: 99:unit vectors 65:with finite 39: 29: 6831:Heat kernel 6821:Hardy space 6728:Trace class 6642:Hahn–Banach 6604:Topological 6412:Trace class 6110:Multivector 6075:Determinant 6032:Dot product 5877:Linear span 5598:McGraw-Hill 5537:Brooks Cole 4686:, that is, 4515:, that is, 3420:cardinality 3281:containing 2826:uncountable 395:linear span 391:Hamel basis 143:dot product 95:orthonormal 32:mathematics 6955:Categories 6764:C*-algebra 6579:Properties 6144:Direct sum 5979:Invertible 5882:Linear map 5679:References 5667:2021-04-15 5621:Roman 2008 5072:incomplete 4994:orthogonal 4990:orthogonal 4552:such that 3369:incomplete 3233:incomplete 3022:such that 2929:isomorphic 155:reflection 103:orthogonal 6738:Unbounded 6733:Transpose 6691:Operators 6620:Separable 6615:Reflexive 6600:Algebraic 6586:Barrelled 6174:Numerical 5937:Transpose 5472:Total set 5096:principal 4798:∘ 4776:∗ 4737:× 4724:⊂ 4707:∈ 4637:∘ 4625:∗ 4599:⋅ 4590:⋅ 4581:ϕ 4572:⋅ 4566:⋅ 4560:ϕ 4526:∈ 4474:→ 4431:→ 4329:↔ 4315:↔ 4231:∑ 4227:↦ 4202:→ 4073:ϕ 4018:ψ 3976:δ 3954:→ 3948:ϕ 3925:ψ 3889:→ 3872:ψ 3835:δ 3805:δ 3769:ϕ 3749:ϕ 3717:∈ 3676:∈ 3643:∈ 3634:∀ 3539:ϕ 3516:⟩ 3513:⋅ 3507:⋅ 3504:⟨ 3498:ϕ 3432:countable 3428:separable 3402:Existence 3266:⊆ 3102:∈ 3087:∀ 3078:⟩ 3066:⟨ 3060:⟩ 3048:Φ 3033:Φ 3030:⟨ 2995:ℓ 2991:→ 2982:Φ 2969:bijective 2940:ℓ 2775:⟩ 2763:⟨ 2750:∈ 2743:∑ 2730:‖ 2723:‖ 2676:⟩ 2664:⟨ 2656:∈ 2649:∑ 2585:‖ 2578:‖ 2573:⟩ 2561:⟨ 2550:∈ 2543:∑ 2513:∈ 2400:ℓ 2261:∈ 2119:π 2110:⁡ 2055:∈ 1952:≤ 1949:μ 1946:≤ 1914:− 1903:μ 1890:μ 1879:η 1856:≤ 1853:μ 1850:≤ 1813:μ 1800:μ 1789:η 1769:ν 1766:≠ 1763:μ 1732:ν 1719:μ 1708:η 1688:η 1663:μ 1313:∈ 958:× 950:× 596:− 590:⋯ 581:− 566:⋯ 480:monomials 446:− 67:dimension 6940:Category 6752:Algebras 6634:Theorems 6591:Complete 6560:Schwartz 6506:glossary 6426:Examples 6220:Category 6159:Subspace 6154:Quotient 6105:Bivector 6019:Bilinear 5961:Matrices 5836:Glossary 5741:21163277 5715:(1991). 5688:(2008). 5592:(1987). 5566:Springer 5531:(2006). 5443:See also 3410:and the 3396:complete 3229:complete 2804:Even if 2232:The set 2026:The set 1190:‖ 1175:‖ 1167:‖ 1152:‖ 1144:‖ 1129:‖ 1101:⟩ 1069:⟨ 1061:⟩ 1029:⟨ 1021:⟩ 989:⟨ 658:Examples 157:(or any 151:rotation 6743:Unitary 6723:Nuclear 6708:Compact 6703:Bounded 6698:Adjoint 6672:Min–max 6565:Sobolev 6550:Nuclear 6540:Hilbert 6535:Fréchet 6500: ( 6440:) with 6417:Unitary 6276:Adjoint 5831:Outline 4996:basis. 4982:-frames 3856:is the 3826:(where 934:as the 42:for an 6718:Normal 6555:Orlicz 6545:Hölder 6525:Banach 6514:Spaces 6502:topics 6397:Normal 6115:Tensor 5927:Kernel 5857:Vector 5852:Scalar 5764:  5739:  5729:  5700:  5604:  5572:  5543:  5511:  4107:where 3658:, and 3637:  3631:  3628:  3406:Using 3127:A set 3090:  3084:  3081:  2972:linear 2446:of an 2223:2-norm 2146:where 1871:, and 1507:spans 978:Proof: 808:  802:  755:  749:  109:for a 6530:Besov 6448:<∞ 5984:Minor 5969:Block 5907:Basis 5781:This 5482:Notes 3416:every 3304:Then 2907:then 2614:When 2435:of a 2281:with 2077:with 614:with 399:dense 147:image 71:basis 69:is a 38:, an 6878:(or 6596:Dual 6370:Maps 6292:and 6283:and 6139:Dual 5994:Rank 5762:ISBN 5737:OCLC 5727:ISBN 5698:ISBN 5602:ISBN 5570:ISBN 5541:ISBN 5509:ISBN 5055:< 5044:for 2974:map 2693:norm 2442:The 2349:and 1606:For 1570:For 663:For 550:diag 366:for 318:for 101:and 73:for 5754:doi 5070:of 4729:Mat 4492:. 4455:Iso 3860:). 3693:or 3528:. 3442:.) 3231:or 2931:to 2927:is 2864:If 2834:of 2824:is 2695:of 2459:If 2323:if 2154:exp 2107:exp 1929:if 1839:if 1755:if 1438:so 401:in 314:an 283:In 220:on 153:or 30:In 6957:: 6504:– 5760:. 5735:. 5725:. 5692:. 5660:. 5600:. 5596:. 5568:. 5539:. 5507:. 5417:SO 4984:. 4823:. 4530:GL 4161:. 2861:. 1781:, 1197:1. 280:. 6882:) 6606:) 6602:/ 6598:( 6508:) 6490:e 6483:t 6476:v 6455:F 6446:n 6442:K 6438:K 6436:( 6434:C 6362:) 6358:( 6254:e 6247:t 6240:v 5812:e 5805:t 5798:v 5770:. 5756:: 5743:. 5706:. 5670:. 5610:. 5578:. 5549:. 5517:. 5427:) 5424:n 5421:( 5413:= 5410:G 5388:n 5383:R 5370:. 5358:) 5355:q 5352:, 5349:p 5346:( 5342:U 5338:= 5335:G 5313:q 5310:, 5307:p 5302:C 5289:. 5277:) 5274:n 5271:( 5267:U 5263:= 5260:G 5238:n 5233:C 5220:. 5208:) 5205:q 5202:, 5199:p 5196:( 5192:O 5188:= 5185:G 5163:q 5160:, 5157:p 5152:R 5126:k 5106:k 5082:k 5058:n 5052:k 5032:) 5027:n 5022:R 5017:( 5012:k 5008:V 4970:n 4949:) 4944:n 4939:R 4934:( 4929:n 4925:V 4901:, 4898:) 4895:n 4892:( 4888:O 4884:= 4881:G 4852:n 4847:R 4809:j 4806:i 4802:R 4795:C 4792:= 4787:j 4784:i 4780:R 4773:C 4753:) 4749:R 4745:( 4740:n 4734:n 4721:) 4718:n 4715:( 4711:O 4702:j 4699:i 4695:R 4672:n 4667:R 4643:. 4640:C 4634:R 4631:= 4628:C 4622:R 4602:) 4596:R 4593:, 4587:R 4584:( 4578:= 4575:) 4569:, 4563:( 4540:) 4537:V 4534:( 4523:R 4503:V 4480:) 4477:V 4469:n 4464:R 4459:( 4434:V 4426:n 4421:R 4397:n 4392:R 4370:V 4347:. 4344:} 4339:n 4334:R 4326:V 4318:{ 4312:} 4307:B 4297:{ 4271:. 4266:i 4262:e 4256:i 4252:v 4246:n 4241:1 4238:= 4235:i 4224:) 4219:i 4215:v 4211:( 4208:, 4205:V 4197:n 4192:R 4187:: 4181:B 4176:C 4147:i 4143:e 4120:i 4116:e 4095:) 4092:v 4089:, 4084:i 4080:e 4076:( 4070:= 4067:) 4064:v 4061:( 4056:i 4052:e 4048:= 4043:i 4039:) 4035:) 4032:v 4029:( 4023:B 4014:( 3991:. 3988:) 3983:j 3980:i 3972:, 3967:n 3962:R 3957:( 3951:) 3945:, 3942:V 3939:( 3936:: 3930:B 3899:n 3894:R 3886:V 3883:: 3877:B 3842:j 3839:i 3812:j 3809:i 3801:= 3798:) 3793:j 3789:e 3785:, 3780:i 3776:e 3772:( 3727:n 3722:R 3714:) 3709:i 3705:v 3701:( 3680:R 3671:i 3667:v 3646:V 3640:v 3623:i 3619:e 3613:i 3609:v 3605:= 3602:v 3582:} 3577:i 3573:e 3569:{ 3566:= 3561:B 3510:, 3501:= 3478:V 3458:n 3382:, 3379:H 3355:H 3335:; 3332:V 3312:S 3292:. 3289:S 3269:H 3263:V 3243:H 3215:S 3195:H 3175:S 3155:H 3135:S 3108:. 3105:H 3099:y 3096:, 3093:x 3075:y 3072:, 3069:x 3063:= 3057:) 3054:y 3051:( 3045:, 3042:) 3039:x 3036:( 3010:) 3007:B 3004:( 2999:2 2988:H 2985:: 2955:) 2952:B 2949:( 2944:2 2915:H 2895:, 2892:H 2872:B 2845:, 2842:x 2812:B 2790:. 2785:2 2780:| 2772:b 2769:, 2766:x 2759:| 2753:B 2747:b 2739:= 2734:2 2726:x 2703:x 2679:b 2673:b 2670:, 2667:x 2659:B 2653:b 2645:= 2642:x 2622:B 2600:. 2597:b 2589:2 2581:b 2570:b 2567:, 2564:x 2553:B 2547:b 2539:= 2536:x 2516:H 2510:x 2490:, 2487:H 2467:B 2439:. 2418:. 2415:) 2412:B 2409:( 2404:2 2379:0 2376:= 2373:) 2370:c 2367:( 2362:b 2358:e 2337:c 2334:= 2331:b 2311:1 2308:= 2305:) 2302:c 2299:( 2294:b 2290:e 2268:} 2264:B 2258:b 2255:: 2250:b 2246:e 2241:{ 2229:. 2209:, 2206:) 2203:] 2200:1 2197:, 2194:0 2191:[ 2188:( 2183:2 2179:L 2134:, 2131:) 2128:x 2125:n 2122:i 2116:2 2113:( 2104:= 2101:) 2098:x 2095:( 2090:n 2086:f 2064:} 2059:Z 2052:n 2049:: 2044:n 2040:f 2035:{ 2011:) 2008:3 2005:, 2002:1 1999:( 1996:= 1993:) 1990:q 1987:, 1984:p 1981:( 1961:q 1958:+ 1955:p 1943:1 1940:+ 1937:p 1917:1 1911:= 1908:) 1899:e 1895:, 1886:e 1882:( 1859:p 1847:1 1827:1 1824:+ 1821:= 1818:) 1809:e 1805:, 1796:e 1792:( 1743:0 1740:= 1737:) 1728:e 1724:, 1715:e 1711:( 1668:} 1659:e 1655:{ 1635:, 1630:q 1627:, 1624:p 1619:R 1585:n 1580:R 1565:. 1551:3 1546:R 1522:3 1517:R 1494:} 1487:3 1483:e 1478:, 1472:2 1468:e 1463:, 1457:1 1453:e 1447:{ 1426:, 1420:3 1416:e 1412:z 1408:+ 1402:2 1398:e 1394:y 1390:+ 1384:1 1380:e 1376:x 1372:= 1369:) 1365:z 1361:, 1357:y 1353:, 1349:x 1345:( 1323:3 1318:R 1310:) 1306:z 1302:, 1298:y 1294:, 1290:x 1286:( 1265:} 1258:3 1254:e 1249:, 1243:2 1239:e 1234:, 1228:1 1224:e 1218:{ 1194:= 1184:3 1180:e 1171:= 1161:2 1157:e 1148:= 1138:1 1134:e 1108:0 1105:= 1094:3 1090:e 1085:, 1079:2 1075:e 1065:= 1054:3 1050:e 1045:, 1039:1 1035:e 1025:= 1014:2 1010:e 1005:, 999:1 995:e 962:R 954:R 946:R 920:3 915:R 891:3 886:R 860:, 856:} 850:) 844:1 839:0 834:0 828:( 823:= 817:3 813:e 805:, 797:) 791:0 786:1 781:0 775:( 770:= 764:2 760:e 752:, 744:) 738:0 733:0 728:1 722:( 717:= 711:1 707:e 701:{ 678:3 673:R 642:q 622:p 602:) 599:1 593:, 587:, 584:1 578:, 575:1 572:+ 569:, 563:, 560:1 557:+ 554:( 521:M 499:. 494:n 490:x 458:] 455:1 452:, 449:1 443:[ 412:, 409:H 377:. 374:H 346:H 326:H 302:, 299:H 262:n 257:R 231:. 228:V 204:, 201:V 176:n 171:R 127:n 122:R 81:V 53:V 20:)

Index

Orthogonal set
mathematics
linear algebra
inner product space
dimension
basis
orthonormal
unit vectors
orthogonal
standard basis
Euclidean space
dot product
image
rotation
reflection
orthogonal transformation
orthogonal coordinates
finite-dimensional
Gram–Schmidt process
functional analysis
inner product spaces
infinite linear combination
Hamel basis
linear span
dense
Hilbert spaces
square-integrable function
almost everywhere
Legendre polynomials
monomials

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