1 files changed, 47 insertions, 10 deletions
diff --git a/anm/n1.lyx b/anm/n1.lyx
index fbe9c32..96438de 100644
--- a/anm/n1.lyx
+++ b/anm/n1.lyx
@@ -608,7 +608,7 @@ producto escalar euclídeo
 
 \end_inset
 
-y 
+
 \series bold
 producto escalar hermitiano
 \series default
@@ -695,18 +695,59 @@ Una
 norma
 \series default
  en un 
-\begin_inset Formula $\mathbb{K}$
+\begin_inset Formula $\mathbb{R}$
 \end_inset
 
 -espacio vectorial 
-\begin_inset Formula $V$
+\begin_inset Formula $E$
 \end_inset
 
  es una aplicación 
-\begin_inset Formula $\Vert\cdot\Vert:V\to\mathbb{K}$
+\begin_inset Formula $\Vert\cdot\Vert:E\to\mathbb{K}$
+\end_inset
+
+ tal que 
+\begin_inset Formula $\forall v,w\in E,t\in\mathbb{R}:$
+\end_inset
+
+
+\end_layout
+
+\begin_layout Enumerate
+\begin_inset Formula $\Vert tv\Vert=|t|\Vert v\Vert$
+\end_inset
+
+.
+\end_layout
+
+\begin_layout Enumerate
+\begin_inset Formula $\Vert v+w\Vert\leq\Vert v\Vert+\Vert w\Vert$
+\end_inset
+
+.
+\end_layout
+
+\begin_layout Enumerate
+\begin_inset Formula $v\neq0\implies\Vert v\Vert>0$
+\end_inset
+
+.
+\end_layout
+
+\begin_layout Standard
+Llamamos 
+\series bold
+norma euclídea
+\series default
+ en 
+\begin_inset Formula $\mathbb{R}^{n}$
 \end_inset
 
- definida positiva, 
+ a 
+\begin_inset Formula $\Vert v\Vert:=\sqrt{\langle v,v\rangle}$
+\end_inset
+
+.
 \end_layout
 
 \begin_layout Standard
@@ -1182,11 +1223,7 @@ status open
 
 \end_inset
 
-, por lo que podemos seguir los mismos pasos que
-\begin_inset space ~
-\end_inset
-
-en 
+, por lo que podemos seguir los mismos pasos que en 
 \begin_inset CommandInset ref
 LatexCommand ref
 reference "enu:unitary"