summaryrefslogtreecommitdiffstats
path: root/pages/functional-analysis-basics/hilbert-spaces.md
diff options
context:
space:
mode:
Diffstat (limited to 'pages/functional-analysis-basics/hilbert-spaces.md')
-rw-r--r--pages/functional-analysis-basics/hilbert-spaces.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/pages/functional-analysis-basics/hilbert-spaces.md b/pages/functional-analysis-basics/hilbert-spaces.md
index a77e5c7..4cc46ec 100644
--- a/pages/functional-analysis-basics/hilbert-spaces.md
+++ b/pages/functional-analysis-basics/hilbert-spaces.md
@@ -2,10 +2,10 @@
title: Hilbert Spaces
parent: Functional Analysis Basics
nav_order: 7
-published: false
---
# {{ page.title }}
-{% proof %}
-{% endproof %}
+{% definition Hilbert Space %}
+A *Hilbert space* is a complete inner product space.
+{% enddefinition %}