diff options
Diffstat (limited to 'fuvr1/n1.lyx')
| -rw-r--r-- | fuvr1/n1.lyx | 30 |
1 files changed, 15 insertions, 15 deletions
diff --git a/fuvr1/n1.lyx b/fuvr1/n1.lyx index c26556f..fe23ed5 100644 --- a/fuvr1/n1.lyx +++ b/fuvr1/n1.lyx @@ -269,7 +269,7 @@ Pongamos que existe otro Inverso para el producto: \series default -\begin_inset Formula $\forall a\in\mathbb{K}\backslash\{0\},\exists!a'':a\cdot a''=1$ +\begin_inset Formula $\forall a\in\mathbb{K}\backslash\{0\},\exists!a''\mid a\cdot a''=1$ \end_inset ; @@ -893,7 +893,7 @@ bicho \end_inset -\begin_inset Formula $\bigcap\{I:I\text{ es un conjunto inductivo de }\mathbb{R}\}$ +\begin_inset Formula $\bigcap\{I\mid I\text{ es un conjunto inductivo de }\mathbb{R}\}$ \end_inset , la intersección de todos los conjuntos inductivos y por tanto el más pequeño @@ -960,7 +960,7 @@ Para . Entonces -\begin_inset Formula $S=\{n\in\mathbb{N}:1<n<2\}\neq\emptyset\land r\in s$ +\begin_inset Formula $S=\{n\in\mathbb{N}\mid 1<n<2\}\neq\emptyset\land r\in s$ \end_inset . @@ -1023,11 +1023,11 @@ Demostrar resto de propiedades cuando las estudiemos, si no como ejercicio. \begin_layout Standard Definimos -\begin_inset Formula $\mathbb{Z}:=\{0\}\cup\{n\in\mathbb{R}:n\in\mathbb{N}\text{ o }-n\in\mathbb{N}\}$ +\begin_inset Formula $\mathbb{Z}:=\{0\}\cup\{n\in\mathbb{R}\mid n\in\mathbb{N}\text{ o }-n\in\mathbb{N}\}$ \end_inset y -\begin_inset Formula $\mathbb{Q}:=\{m\cdot n^{-1}:m\in\mathbb{Z},n\in\mathbb{N}\}$ +\begin_inset Formula $\mathbb{Q}:=\{m\cdot n^{-1}\mid m\in\mathbb{Z},n\in\mathbb{N}\}$ \end_inset . @@ -1098,7 +1098,7 @@ Dado un número natural \end_inset , un conjunto -\begin_inset Formula $S\subseteq\{n\in\mathbb{N}:n\geq N\}\subseteq\mathbb{N}$ +\begin_inset Formula $S\subseteq\{n\in\mathbb{N}\mid n\geq N\}\subseteq\mathbb{N}$ \end_inset nos sirve para realizar demostraciones para los naturales a partir de un @@ -1145,7 +1145,7 @@ Teorema Fundamental de la Aritmética Demostración: \series default Sea -\begin_inset Formula $A=\{2\leq n\in\mathbb{N}:n\text{ cumple el Teorema Fund. de la Aritmética}\}$ +\begin_inset Formula $A=\{2\leq n\in\mathbb{N}\mid n\text{ cumple el Teorema Fund. de la Aritmética}\}$ \end_inset . @@ -1233,7 +1233,7 @@ propiedad arquimediana: Demostración: \series default De no ser así, -\begin_inset Formula $A:=\{ny:n\in\mathbb{N}\}$ +\begin_inset Formula $A:=\{ny\mid n\in\mathbb{N}\}$ \end_inset estaría acotado superiormente por @@ -1405,7 +1405,7 @@ Demostremos que existe. \end_inset , se tiene que el conjunto -\begin_inset Formula $\{n\in\mathbb{N}:n>x\}\neq\emptyset$ +\begin_inset Formula $\{n\in\mathbb{N}\mid n>x\}\neq\emptyset$ \end_inset , por lo que tiene un primer elemento @@ -1542,7 +1542,7 @@ raíz cuadrada Definimos \begin_inset Formula \[ -\sqrt{x}:=\sup\{0\leq r\in\mathbb{Q}:r^{2}<x\} +\sqrt{x}:=\sup\{0\leq r\in\mathbb{Q}\mid r^{2}<x\} \] \end_inset @@ -1805,7 +1805,7 @@ Ahora veremos que esto también se cumple con si \end_layout \begin_layout Standard -\begin_inset Formula $\exists\alpha\in\mathbb{R}\backslash\mathbb{Q}:(\alpha^{2}=2\land\alpha=\sup\{0\leq r\in\mathbb{Q}:r^{2}<2\})$ +\begin_inset Formula $\exists\alpha\in\mathbb{R}\backslash\mathbb{Q}:(\alpha^{2}=2\land\alpha=\sup\{0\leq r\in\mathbb{Q}\mid r^{2}<2\})$ \end_inset . @@ -1821,7 +1821,7 @@ status open Demostración: \series default Sea -\begin_inset Formula $A=\{0\leq r\in\mathbb{Q}:r^{2}<2\}$ +\begin_inset Formula $A=\{0\leq r\in\mathbb{Q}\mid r^{2}<2\}$ \end_inset . @@ -1950,7 +1950,7 @@ Sea . También podemos probar que -\begin_inset Formula $\forall x\in\mathbb{R},x=\sup\{r:r\in\mathbb{Q},r<x\}$ +\begin_inset Formula $\forall x\in\mathbb{R},x=\sup\{r\mid r\in\mathbb{Q},r<x\}$ \end_inset , pues si @@ -2235,7 +2235,7 @@ Sea \end_inset ; -\begin_inset Formula $\alpha=\sup\{r\in\mathbb{Q}:r^{p}<x\}$ +\begin_inset Formula $\alpha=\sup\{r\in\mathbb{Q}\mid r^{p}<x\}$ \end_inset . @@ -2266,7 +2266,7 @@ raíz Lo escribimos como \begin_inset Formula \[ -x^{\frac{1}{p}}:=\sqrt[p]{x}:=\sup\{r:r\in\mathbb{Q},r^{p}<x\} +x^{\frac{1}{p}}:=\sqrt[p]{x}:=\sup\{r\mid r\in\mathbb{Q},r^{p}<x\} \] \end_inset |