Ver el código de «Análisis matemático/Los números reales»

Antes de empezar con el análisis matemático propiamente, nos haremos de una idea del cuerpo de los reales.
[[Archivo:AL Numeros 00.svg|izquierda|700px]]
{{clear}}

== Los números ==
Cuando apenas somos unos niños nos enseñan a contar, contamos aquello que podemos ver, contamos ''números naturales'': <math>\mathbb N=\{1,2,3,4,\ldots\}</math>, se podría decir que es el conjunto básico.

Luego, a medida que crecemos extendemos este conjunto, y al agregar los negativos junto con el 0 obtenemos los llamados ''números enteros'': <math>\mathbb Z=\{\ldots,-4,-3,-2,-1,0,1,2,3,4,\ldots\}</math>

La siguiente extensión será a los ''números racionales'', aquellos que se forman al introducir la posibilidad de división entre dos números enteros, como por ejemplo <math>\frac{1}{2}, \frac{3}{8}, \frac{8}{9}</math>. A este conjunto lo simboliza con <math>\mathbb Q</math>.

Si nos detuvieramos aquí estaríamos olvidándonos de un conjunto de números, los ''números irracionales'', los cuales no pueden ser expresados como el cociente entre dos números enteros. Entre los irracionales se encuentran por ejemplo <math>\sqrt{2}</math> o <math>\pi</math>. A este conjunto se los simboliza con <math>\mathbb I</math>.

A la unión de <math>\mathbb I</math> con <math>\mathbb Q</math> formará el conjunto de los ''números reales''.

<math>\mathbb R = \mathbb I \cup \mathbb Q</math>

== Axiomas ==
{{VT|w:Grupo abeliano}}
Un axioma es un postulado que se acepta desde el comienzo, sin demostración alguna.
[[archivo:Algebra 2 leyes 4b Cuerpo conmutativo.svg|centrado|600px]]

=== Suma de números reales ===
[[archivo:Operación 04abc1.svg|derecha|200px]]
Sea un conjunto: ''R'' de los números reales y una ley de composición suma: <math> \oplus </math>, tomada como primera ley, definida:
: <math>
   \begin{array}{rccl}
   \oplus : & R \times R & \longrightarrow & R \\
            & (a,b)      & \longmapsto     & c = a \oplus b
   \end{array}
</math>

Dado que se cumple:
: <math>
   \forall (a,b) \in R \times R
   \, , \quad
   \exists !  c \in R
   \; : \quad
   c = a \oplus b
</math>

Para todo par ordenado (''a'',''b'') en ''R'' por ''R'', se cumple que existe un único ''c'' en ''R'', tal que ''c'' es el resultado de sumar ''a'' y ''b''.

Normalmente la operación suma de dos números: a, b; se representa:
: <math>
   a + b \,
</math>

en esta demostración, dado que la suma es una operación interna, lo representaremos:
: <math>
   a \oplus b
</math>

Esta notación, normalmente no es necesaria, pero en estos primeros pasos y para evitar posibles confusiones la utilizaremos.
[[Archivo:Algebra 1 ley 14b.svg|derecha|260px]]

La suma de números reales es un ''grupo conmutativo'' o ''abeliano'' que es una estructura algebraica de la forma <math> (R,\oplus) </math> donde '''R''' es el conjunto de los números reales, en el que se ha definido la suma como ley de composición interna: <math> \oplus </math>.
: <math>
   \begin{array}{rccl}
      \oplus : & R \times R & \longrightarrow & R \\
               & (a,b)      & \longmapsto     & c = a \oplus b
   \end{array} 
</math>

Siendo esta ley de composición una operación interna, asociativa, con elemento neutro, elemento simétrico y conmutativa:

1.- ''Operación interna'': 
La ley de composición: <math> (R, \oplus) </math> es interna si cumple:
: <math>
   \forall (a,b) \in R \times R
   \, : \quad
   \exists !  c \in R
   \; \vert \quad
   c = a \oplus b
</math>

Para todo par ordenado (''a'',''b'') en ''R'' por ''R'', se cumple que existe un único ''c'' en ''R'', tal que ''c'' es el resultado de sumar ''a'' y ''b''.

2.- ''Propiedad asociativa'': 
La ley de composición: <math> (R, \oplus) </math> cumple la propiedad asociativa si:
: <math>
  \forall a, b, c \in R
  \; : \quad
  ( a \oplus b ) \oplus c =
  a \oplus ( b \oplus c )
</math>

Para todo '''a''', '''b''', '''c''' de '''R''' se cumple que sumar '''a''' con '''b''' y el resultado con '''c''' es igual a sumar '''a''' con el resultado de sumar '''b''' con '''c'''.

3.- ''Elemento neutro'': 
Un elemento '''0''' es '''elemento neutro''' en <math> (R, \oplus) </math> si es elemento neutro por la derecha y por la izquierda.
: <math>
   \forall a \in R
   \; : \quad
   \exists 0 \in R
   \; \vert \quad
   0 \oplus a = a \oplus 0 = a
</math>

Para todo ''a'' de ''R'', se cumple que existe ''0'' de ''R'', tal que el resultado de sumar ''0'' con ''a'' es igual a sumar ''a'' con ''0'' y es igual a ''a''.

4.- ''Elemento simétrico'': 
El '''elemento simétrico''' en el conjunto ''R'' respecto de la operación <math> \oplus </math>, si es elemento simétrico por la izquierda y por la derecha, esto es:
: <math>
   \forall a \in R
   \; : \quad
   \exists -a \in R
   \; \vert \quad
   -a \oplus a = a \oplus (-a) = 0
</math>

Un elemento simétrico <math> -a \, </math> de <math> a \, </math> en <math> ( R, \oplus ) </math> es simétrico por la derecha del elemento <math> a \, </math> y simétrico por la izquierda del elemento <math> a \, </math>. Donde '''0''' es el elemento neutro.

Dado que ''R'' es un conjunto de números y la operación <math> \oplus </math> es la suma de números reales, al elemento simétrico se suele denominar como: '''elemento opuesto'''.

5.- ''Propiedad conmutativa'': 
Dado el conjunto de números reales '''R''', en el que se ha definido una ley de composición interna <math> \oplus </math>, que se representa: <math> (R, \oplus) </math>, se dice que <math> \oplus </math> tiene la propiedad conmutativa en '''R''' si se cumple:
: <math>
   \forall a,b \in R
   \; : \quad
   a \oplus b = b \oplus a
</math>

Para todo '''a''', '''b''' de '''R''', se cumple que el resultado de sumar '''a''' con '''b''' es igual al de sumar '''b''' con '''a'''.

Luego <math> (R, \oplus) </math> es un grupo conmutativo o abeliano.

=== Producto de números reales ===
[[archivo:Operación 02abc1.svg|derecha|200px]]
Sea un conjunto: <math> R^{\ast} </math> de los números reales excepto el 0 y una ley de composición producto: <math> \odot </math>, tomada como segunda ley, definida:
: <math>
   \begin{array}{rccl}
   \odot : & R^{\ast} \times R^{\ast} & \longrightarrow & R^{\ast} \\
           & (a,b)      & \longmapsto     & c = a \odot b
   \end{array}
</math>

Dado que se cumple:
: <math>
   \forall (a,b) \in R^{\ast} \times R^{\ast}
   \, , \quad
   \exists !  c \in R^{\ast}
   \; : \quad
   c = a \odot b
</math>

Para todo par ordenado (''a'',''b'') en <math> R^{\ast} </math> por <math> R^{\ast} </math>, se cumple que existe un único ''c'' en <math> R^{\ast} </math>, tal que ''c'' es el resultado del producto ''a'' y ''b''.

Normalmente la operación producto de dos números: a, b; se representa:
: <math>
   a \times b
   \; ; \quad
   a \ast b
   \; ; \quad
   a \cdot b
   \; ; \quad
   a \, b
</math>

en esta demostración, dado que el producto es una operación interna, lo representaremos:
: <math>
   a \odot b
</math>

Esta notación, normalmente no es necesaria, pero en estos primeros pasos y para evitar posibles confusiones la utilizaremos.
[[Archivo:Algebra 1 ley 24b.svg|derecha|260px]]

El producto de números reales es un ''grupo conmutativo'' o ''abeliano'' que es una estructura algebraica de la forma <math> (R^{\ast},\odot) </math> donde <math> R^{\ast} </math> es el conjunto de los números reales excepto el 0, en el que se ha definido el producto como ley de composición interna: <math> \odot </math>.
: <math>
   \begin{array}{rccl}
      \odot : & R^{\ast} \times R^{\ast} & \longrightarrow & R^{\ast} \\
              & (a,b)                    & \longmapsto     & c = a \odot b
   \end{array} 
</math>

Siendo esta ley de composición una operación interna, asociativa, con elemento neutro, elemento simétrico y conmutativa:

6.- ''Operación interna'': 
La ley de composición: <math> (R^{\ast}, \odot) </math> es interna si cumple:
: <math>
   \forall (a,b) \in R^{\ast} \times R^{\ast}
   \, : \quad
   \exists !  c \in R^{\ast}
   \; \vert \quad
   c = a \odot b
</math>

Para todo par ordenado (''a'',''b'') en <math> R^{\ast} </math> por <math> R^{\ast} </math>, se cumple que existe un único ''c'' en <math> R^{\ast} </math>, tal que ''c'' es el resultado del producto ''a'' y ''b''.

7.- ''Propiedad asociativa'': 
La ley de composición: <math> (R^{\ast}, \odot) </math> cumple la propiedad asociativa si:
: <math>
  \forall a, b, c \in R^{\ast}
  \; : \quad
  ( a \odot b ) \odot c =
  a \odot ( b \odot c )
</math>

Para todo '''a''', '''b''', '''c''' de <math> R^{\ast} </math> se cumple que el producto '''a''' con '''b''' y el resultado con '''c''' es igual al producto de '''a''' con el resultado del producto '''b''' con '''c'''.

8.- ''Elemento neutro'': 
Un elemento '''1''' es '''elemento neutro''' en <math> (R^{\ast}, \odot) </math> si es elemento neutro por la derecha y por la izquierda.
: <math>
   \forall a \in R^{\ast}
   \; : \quad
   \exists 1 \in R^{\ast}
   \; \vert \quad
   1 \odot a = a \odot 1 = a
</math>

Para todo ''a'' de <math> R^{\ast} </math>, se cumple que existe ''1'' de <math> R^{\ast} </math>, tal que el resultado del producto de ''1'' con ''a'' es igual al producto de ''a'' con ''1'' y es igual a ''a''.

9.- ''Elemento simétrico'': 
El '''elemento simétrico''' en el conjunto <math> R^{\ast} </math> respecto de la operación <math> \odot </math>, si es elemento simétrico por la izquierda y por la derecha, esto es:
: <math>
   \forall a \in R^{\ast}
   \; : \quad
   \exists 1/a \in R^{\ast}
   \; \vert \quad
   1/a \odot a = a \odot (1/a) = 1
</math>

Un elemento simétrico <math> 1/a \, </math> de <math> a \, </math> en <math> ( R^{\ast}, \odot ) </math> es simétrico por la derecha del elemento <math> a \, </math> y simétrico por la izquierda del elemento <math> a \, </math>. Donde '''1''' es el elemento neutro.

Aquí podemos ver que el número 0, no tiene simétrico en el producto:
: <math>
   1/0 \notin R
</math>

Por eso la operación producto la hemos definido en <math> R^{\ast} = R - \{ 0 \} </math>

Dado que <math> R^{\ast} </math> es un conjunto de números y la operación <math> \odot </math> es el producto de números reales, al elemento simétrico se suele denominar como: '''elemento inverso ó recíproco'''.

10.- ''Propiedad conmutativa'': 
Dado el conjunto de números reales <math> R^{\ast} </math>, en el que se ha definido una ley de composición interna <math> \odot </math>, que se representa: <math> (R^{\ast}, \odot) </math>, se dice que <math> \odot </math> tiene la propiedad conmutativa en <math> R^{\ast} </math> si se cumple:
: <math>
   \forall a,b \in R^{\ast}
   \; : \quad
   a \odot b = b \odot a
</math>

Para todo '''a''', '''b''' de <math> R^{\ast} </math>, se cumple que el resultado del producto '''a''' con '''b''' es igual al del producto '''b''' con '''a'''.

Luego <math> (R^{\ast}, \odot) </math> es un grupo conmutativo o abeliano.

=== Propiedad distributiva del producto sobre la suma ===
11.-''Propiedad distributiva del producto sobre la suma'': Dado un conjunto <math> R </math> en el que se han definidos dos operaciones internas: suma y producto, que expresaremos <math> (R, \oplus , \odot ) </math>, se dice que el producto <math> \odot </math> es distributiva por la izquierda sobre la suma <math> \oplus </math> si:
: <math>
   \forall a, b, c \in R
   \; : \quad
    a \odot (b \oplus c) = (a \odot b) \oplus (a \odot c)
</math>

Del mismo modo se dice que el producto <math> \odot </math> es distributiva por la derecha sobre la suma <math> \oplus </math> si:
: <math>
   \forall a, b, c \in R
   \; : \quad
 (a \oplus b)  \odot c = (a \odot c) \oplus (b \odot c)
</math>

El producto <math> \odot </math> es distributiva sobre la suma <math> \oplus </math> si es distributiva por la derecha y por la izquierda.

La estructura <math> (R^{\ast}, \oplus, \odot) </math> es un '''cuerpo conmutativo'''.

== Resumen ==
Aceptaremos que:
#<math>\mathbb R</math> es un cuerpo, y como tal, tiene dos operaciones binarias asociadas la suma (<math>+</math>) y el producto (<math>\times</math>).
##Asociatividad de la suma: <math>a+(b+c)=(a+b)+c \,</math>
##Asociatividad del producto: <math>a\times (b\times c)=(a\times b)\times c \,</math>
##Conmutatividad de la suma: <math>a+b=b+a \,</math>
##Conmutatividad del producto: <math>a\times b=b\times a \,</math>
##Existencia del neutro de la suma: <math>a+0=a \,</math>
##Existencia del neutro del producto: <math>a\times 1=a</math>
##Existencia del opuesto: <math>\forall a \in \mathbb{R} \exists x \in \mathbb{R}, a+x=0 \,</math>
##Existencia del recíproco: <math>\forall a \in \mathbb{R} -\{0\} \exists x \in \mathbb{R}, a\times x=1 \,</math>
##Distributividad del producto respecto a la suma: <math>a\times (b+c)=a\times b+a\times c \,</math>

[[Categoría:Análisis matemático|Los números reales]]