summaryrefslogtreecommitdiffstats
path: root/pages/unbounded-operators/quadratic-forms.md
diff options
context:
space:
mode:
Diffstat (limited to 'pages/unbounded-operators/quadratic-forms.md')
-rw-r--r--pages/unbounded-operators/quadratic-forms.md23
1 files changed, 23 insertions, 0 deletions
diff --git a/pages/unbounded-operators/quadratic-forms.md b/pages/unbounded-operators/quadratic-forms.md
new file mode 100644
index 0000000..5831b88
--- /dev/null
+++ b/pages/unbounded-operators/quadratic-forms.md
@@ -0,0 +1,23 @@
+---
+title: Quadratic Forms
+parent: Unbounded Operators
+nav_order: 5
+published: false
+description: >
+ The Hellinger–Toeplitz Theorem states that an everywhere-defined symmetric
+ operator on a Hilbert space is bounded. We give a proof using the Uniform
+ Boundedness Theorem. We give another proof using the Closed Graph Theorem.
+# spellchecker:dictionaries latex
+# spellchecker:words Hellinger Toeplitz innerp hilb Schwarz functionals enspace Riesz
+---
+
+# {{ page.title }}
+
+
+{: .definition-title }
+
+> Definition (Graph of an Operator)
+>
+> The *graph* of an operator $T$ in a Hilbert space $\hilb{H}$
+> is the set of all pairs $(x,y) \in \hilb{H}\times\hilb{H}$
+> where $x$ lies in the domain of $T$ and $y=Tx$.