From 19644e8455941c0bf6884288471917b1feff5dca Mon Sep 17 00:00:00 2001
From: Relintai <relintai@gmail.com>
Date: Sat, 31 Mar 2018 00:41:13 +0200
Subject: [PATCH] LinAlg

---
 Lineáris Algebra és Geometria/Document.tex | 25 +++++++++++++++++++++-
 1 file changed, 24 insertions(+), 1 deletion(-)

diff --git a/Lineáris Algebra és Geometria/Document.tex b/Lineáris Algebra és Geometria/Document.tex
index 3bd573b..1d55835 100644
--- a/Lineáris Algebra és Geometria/Document.tex	
+++ b/Lineáris Algebra és Geometria/Document.tex	
@@ -386,10 +386,33 @@ a saját értelmezést jelentik, és egyáltalán nem garantált hogy jók!
 		\begin{tcolorbox}[title={Bázis}]
 			\begin{itemize}			
 				\item Minden bázis mérete $\mathbb{R}^n$-ben $n$
-				\item $V \leq \mathbb{R}^n$
+				\item $V \leq \mathbb{R}^n$ és van véges generátorrendszer $\Rightarrow$ Leszűkíthető bázissá.
+				\item $V \leq \mathbb{R}^n$ és $v_1, ..., v_k$ vektorrendszer lineárisan független a $V$-ben. $\Rightarrow$ Leszűkíthető bázissá.
 			\end{itemize}
+			\mmedskip
+			
+			Ezekből követketik, hogy a bázis a maximális elemszámú lineárisan független vektorrendszer.\\
+			\mmedskip
+			
+			Maximális lineárisan független vektorrendszer elemszáma = minimális generátorrendszer elemszáma = bázis elemszáma
 		\end{tcolorbox}
 		
+		\begin{tcolorbox}[title={Def.: Dimenzió}]
+			$V \leq \mathbb{R}^n$ dimenziója:\\
+			\mmedskip
+			
+			\[
+   				dim(V) = 
+			\begin{cases}
+   				0,				& \text{ha } V = \{ \u{0} \}\\
+    				|B|,                & \text{ha } V \neq \{ \u{0} \} \text{ (B a V-nek egy bázisa.) } \\
+			\end{cases}
+			\]		
+		\end{tcolorbox}
+		
+		\begin{tcolorbox}[title={Def.: Rang}]
+			 $v_1, ..., v_k \in \mathbb{R}^n$ vektorrendszer rangja, az általuk generált altér dimenziója.
+		\end{tcolorbox}
 	\end{frame}
 
 \end{document}