{"id":7,"date":"2026-05-11T18:52:24","date_gmt":"2026-05-11T18:52:24","guid":{"rendered":"https:\/\/krdroudnur.cfolks.pl\/?page_id=7"},"modified":"2026-08-06T15:48:51","modified_gmt":"2026-08-06T15:48:51","slug":"about","status":"publish","type":"page","link":"https:\/\/krdroudnur.cfolks.pl\/index.php\/about\/","title":{"rendered":"About"},"content":{"rendered":"\n<h1 class=\"wp-block-heading\">Hilbert Space: Definition and Fundamental Properties<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">A <strong>Hilbert space<\/strong> is a complete vector space equipped with an inner product that allows the measurement of lengths, angles, and orthogonality. It generalizes the familiar Euclidean space to finite- and infinite-dimensional settings and forms one of the central mathematical structures in functional analysis, quantum mechanics, signal processing, and machine learning.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Definition<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">A <strong>Hilbert space<\/strong> $  H $ is a vector space over the field of real numbers $\\mathbb{R}$ or complex numbers $\\mathbb{C}$ together with an <strong>inner product<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">$$<br>\\langle x, y \\rangle : H \\times H \\rightarrow \\mathbb{F},<br>$$<br><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">where $\\mathbb{F} = \\mathbb{R}$ or $\\mathbb{C},$ satisfying the following axioms:<\/p>\n\n\n\n<ol class=\"wp-block-list\">\n<li><strong>Linearity<\/strong><br>[<br>\\langle ax + by, z \\rangle<br>= a\\langle x,z\\rangle + b\\langle y,z\\rangle.<br>]<\/li>\n\n\n\n<li><strong>Conjugate symmetry<\/strong><br>[<br>\\langle x,y\\rangle\\overline{\\langle y,x\\rangle}.<br>]<\/li>\n\n\n\n<li><strong>Positive definiteness<\/strong><br>[<br>\\langle x,x\\rangle \\ge 0,<br>]<br>with equality only when<br>[<br>x=0.<br>]<\/li>\n<\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">The inner product induces a <strong>norm<\/strong><\/p>\n\n\n\n<h1 class=\"wp-block-heading\">[<br>|x|<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">\\sqrt{\\langle x,x\\rangle},<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">which defines a metric<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>d(x,y)=|x-y|.<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">A Hilbert space is <strong>complete<\/strong>, meaning that every Cauchy sequence converges to an element of the space.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h1 class=\"wp-block-heading\">Fundamental Properties<\/h1>\n\n\n\n<h2 class=\"wp-block-heading\">1. Completeness<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Completeness is the defining feature distinguishing Hilbert spaces from general inner-product spaces.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Every Cauchy sequence<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>x_1,x_2,\\ldots<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">has a limit<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>x\\in H.<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This guarantees that limits of convergent processes remain inside the space.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">2. Inner Product<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The inner product generalizes the Euclidean dot product.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">It allows one to define:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>length,<\/li>\n\n\n\n<li>angle,<\/li>\n\n\n\n<li>orthogonality,<\/li>\n\n\n\n<li>projection,<\/li>\n\n\n\n<li>distance.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">For vectors (x,y),<\/p>\n\n\n\n<h1 class=\"wp-block-heading\">[<br>\\cos\\theta<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">\\frac{\\operatorname{Re}\\langle x,y\\rangle}<br>{|x||y|}.<br>]<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">3. Norm<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">The induced norm satisfies<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>positivity,<\/li>\n\n\n\n<li>homogeneity,<\/li>\n\n\n\n<li>triangle inequality.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Thus,<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>|x+y|<br>\\le<br>|x|+|y|.<br>]<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">4. Orthogonality<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Two vectors are orthogonal if<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>\\langle x,y\\rangle=0.<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Orthogonality extends the familiar notion of perpendicular vectors.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">5. Orthonormal Bases<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">A Hilbert space possesses an orthonormal basis<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>{e_i}.<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Every vector can be uniquely represented as<\/p>\n\n\n\n<h1 class=\"wp-block-heading\">[<br>x<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">\\sum_i<br>\\langle x,e_i\\rangle e_i.<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In infinite-dimensional spaces this sum converges in norm.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">6. Parseval&#8217;s Identity<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">For an orthonormal basis,<\/p>\n\n\n\n<h1 class=\"wp-block-heading\">[<br>|x|^2<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">\\sum_i<br>|\\langle x,e_i\\rangle|^2.<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This generalizes the Pythagorean theorem.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">7. Projection Theorem<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">If (M) is a closed subspace of a Hilbert space, every vector (x) can be uniquely decomposed as<\/p>\n\n\n\n<h1 class=\"wp-block-heading\">[<br>x<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">m+n,<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">where<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>(m\\in M),<\/li>\n\n\n\n<li>(n\\perp M).<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Thus,<\/p>\n\n\n\n<h1 class=\"wp-block-heading\">[<br>m<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">P_Mx,<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">where (P_M) denotes the orthogonal projection.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">8. Riesz Representation Theorem<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Every continuous linear functional<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>f:H\\rightarrow\\mathbb{F}<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">can be represented uniquely as<\/p>\n\n\n\n<h1 class=\"wp-block-heading\">[<br>f(x)<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">\\langle x,y\\rangle<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">for some unique vector<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>y\\in H.<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This theorem is one of the cornerstones of functional analysis.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">9. Cauchy\u2013Schwarz Inequality<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">For all vectors,<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>|\\langle x,y\\rangle|<br>\\le<br>|x|,|y|.<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Equality holds only when the vectors are linearly dependent.<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">10. Pythagorean Theorem<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">If<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">[<br>x\\perp y,<br>]<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">then<\/p>\n\n\n\n<h1 class=\"wp-block-heading\">[<br>|x+y|^2<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">|x|^2+|y|^2.<br>]<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h2 class=\"wp-block-heading\">11. Infinite-Dimensional Structure<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Unlike Euclidean spaces, Hilbert spaces may have infinitely many independent directions.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Examples include<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>square-integrable functions,<\/li>\n\n\n\n<li>Fourier series,<\/li>\n\n\n\n<li>wave functions,<\/li>\n\n\n\n<li>sequences.<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h1 class=\"wp-block-heading\">Typical Examples<\/h1>\n\n\n\n<figure class=\"wp-block-table\"><table class=\"has-fixed-layout\"><thead><tr><th>Hilbert Space<\/th><th>Elements<\/th><th>Inner Product<\/th><\/tr><\/thead><tbody><tr><td>(\\mathbb{R}^n)<\/td><td>vectors<\/td><td>(x\\cdot y)<\/td><\/tr><tr><td>(\\mathbb{C}^n)<\/td><td>complex vectors<\/td><td>(\\sum x_i\\overline{y_i})<\/td><\/tr><tr><td>(\\ell^2)<\/td><td>square-summable sequences<\/td><td>(\\sum x_i\\overline{y_i})<\/td><\/tr><tr><td>(L^2(a,b))<\/td><td>square-integrable functions<\/td><td>(\\int_a^b f(x)\\overline{g(x)},dx)<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h1 class=\"wp-block-heading\">Importance in Mathematics and Physics<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">Hilbert spaces provide the mathematical framework for many areas of modern science:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>Quantum mechanics:<\/strong> States are represented by vectors in a Hilbert space, while observables are represented by linear operators.<\/li>\n\n\n\n<li><strong>Functional analysis:<\/strong> Hilbert spaces are fundamental objects for studying linear operators, spectral theory, and partial differential equations.<\/li>\n\n\n\n<li><strong>Signal processing:<\/strong> Signals can be modeled as elements of (L^2) spaces, enabling Fourier analysis and filtering techniques.<\/li>\n\n\n\n<li><strong>Machine learning:<\/strong> Kernel methods and reproducing kernel Hilbert spaces (RKHS) extend linear algorithms to nonlinear problems.<\/li>\n<\/ul>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<h1 class=\"wp-block-heading\">Summary<\/h1>\n\n\n\n<p class=\"wp-block-paragraph\">A Hilbert space is a <strong>complete inner-product vector space<\/strong> that extends Euclidean geometry to infinite dimensions. Its key features include:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>an inner product,<\/li>\n\n\n\n<li>an induced norm and metric,<\/li>\n\n\n\n<li>completeness,<\/li>\n\n\n\n<li>orthogonality,<\/li>\n\n\n\n<li>orthonormal bases,<\/li>\n\n\n\n<li>unique orthogonal projections,<\/li>\n\n\n\n<li>the Riesz Representation Theorem,<\/li>\n\n\n\n<li>Parseval&#8217;s identity,<\/li>\n\n\n\n<li>the Cauchy\u2013Schwarz inequality,<\/li>\n\n\n\n<li>broad applicability across mathematics, physics, engineering, and data science.<\/li>\n<\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">These properties make Hilbert spaces one of the most powerful and versatile structures in modern mathematics.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Hilbert Space: Definition and Fundamental Properties A Hilbert space is a complete vector space equipped with an inner product that allows the measurement of lengths, angles, and orthogonality. It generalizes the familiar Euclidean space to finite- and infinite-dimensional settings and forms one of the central mathematical structures in functional analysis, quantum mechanics, signal processing, and&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-7","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/krdroudnur.cfolks.pl\/index.php\/wp-json\/wp\/v2\/pages\/7","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/krdroudnur.cfolks.pl\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/krdroudnur.cfolks.pl\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/krdroudnur.cfolks.pl\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/krdroudnur.cfolks.pl\/index.php\/wp-json\/wp\/v2\/comments?post=7"}],"version-history":[{"count":22,"href":"https:\/\/krdroudnur.cfolks.pl\/index.php\/wp-json\/wp\/v2\/pages\/7\/revisions"}],"predecessor-version":[{"id":63,"href":"https:\/\/krdroudnur.cfolks.pl\/index.php\/wp-json\/wp\/v2\/pages\/7\/revisions\/63"}],"wp:attachment":[{"href":"https:\/\/krdroudnur.cfolks.pl\/index.php\/wp-json\/wp\/v2\/media?parent=7"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}