From 1bdb803ced744bcfe7cf81c89a740fcbcf6bdc70 Mon Sep 17 00:00:00 2001
From: Nao Pross <np@0hm.ch>
Date: Tue, 30 Aug 2022 22:42:54 +0200
Subject: kugel: Minor corrections

---
 buch/papers/kugel/preliminaries.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'buch/papers/kugel/preliminaries.tex')

diff --git a/buch/papers/kugel/preliminaries.tex b/buch/papers/kugel/preliminaries.tex
index 1fa78d7..c4c5cae 100644
--- a/buch/papers/kugel/preliminaries.tex
+++ b/buch/papers/kugel/preliminaries.tex
@@ -288,7 +288,7 @@ way that from now on we will not have to worry about the details of
 convergence.
 
 \begin{lemma}
-  \label{kugel:lemma:exp-1d}
+  \label{kugel:thm:exp-1d}
   The set of functions \(E_n(x) = e^{i2\pi nx}\) on the interval
   \([0; 1)\) with \(n \in \mathbb{Z} \) are orthonormal.
 \end{lemma}
@@ -318,7 +318,7 @@ convergence.
 \end{definition}
 
 \begin{theorem}[Fourier Theorem]
-  \label{fourier-theorem-1D}
+  \label{kugel:thm:fourier-theorem}
   \begin{equation*}
     \lim_{N \to \infty} \left \|
       f(x) - \sum_{n = -N}^N \hat{f}(n) E_n(x) 
@@ -331,7 +331,7 @@ convergence.
   on the square \([0; 1)^2\) with \(m, n \in \mathbb{Z} \) are orthonormal.
 \end{lemma}
 \begin{proof}
-  The proof is almost identical to lemma \ref{kugel:lemma:exp-1d}, with the
+  The proof is almost identical to lemma \ref{kugel:thm:exp-1d}, with the
   only difference that the inner product is given by
   \[
     \langle E_{m,n}, E_{m', n'} \rangle
-- 
cgit v1.2.1

