From 0366f8f9ec381488d2736d502105dc98b42400f0 Mon Sep 17 00:00:00 2001
From: Daniil Maximov <daniil31415it@gmail.com>
Date: Sun, 24 Dec 2023 01:12:57 +0300
Subject: [PATCH] Added more conditions to the theorem

---
 .../Functional_Analysis/2023_Konovalov/lectures/9lecture.tex  | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/9lecture.tex b/Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/9lecture.tex
index 46e9805a..099d7c03 100644
--- a/Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/9lecture.tex
+++ b/Lectures/5_Semester/Functional_Analysis/2023_Konovalov/lectures/9lecture.tex
@@ -67,11 +67,11 @@
 \end{proof}
 
 \begin{theorem}
-	Пусть $H$ --- сепарабельное гильбертово пространство. Тогда в $H$ существует ортонормированный базис.
+	Пусть $H$ --- бесконечномерное сепарабельное гильбертово пространство. Тогда в $H$ существует ортонормированный базис.
 \end{theorem}
 
 \begin{note}
-	Должно быть очевидно, что, если в $H$ есть счётный базис, то $H$ --- сепарабельно.
+	Должно быть очевидно, что, если в $H$ есть не более чем счётный базис, то $H$ --- сепарабельно.
 \end{note}
 
 \begin{proof}