En matemáticas para que una afirmación sea considerada válida debe o bien estar

contenida dentro de una base de afirmaciones de partida, los denominados axiomas, o

debe poder demostrarse a partir de los mismos. Los axiomas son por tanto los pilares
fundamentales de toda rama de las matemáticas, y a partir de ellos, mediante las
demostraciones matemáticas, se deduce la veracidad de cualquier afirmación.
Los axiomas serán, por tanto, afirmaciones que se aceptan como verdaderas y que su
veracidad no puede ser demostrada a partir de otros axiomas. Un axioma no se
caracteriza por si resulta una afirmación trivial o intuitiva, siendo el axioma de elección un
ejemplo de un axioma que no resulta trivial.
El otro tipo de afirmaciones a las que se hace referencia diciendo: «afirmación no trivial»,
son los teoremas, que son afirmaciones no tan triviales y muchas veces poco intuitivas.
Estas afirmaciones deben ser demostradas usando los axiomas u otros teoremas ya
demostrados. Una consecuencia inmediata de un teorema se llamará corolario.
Existen tres tipos de axiomas: los axiomas algebraicos, los axiomas de orden y el axioma
topológico.
El primero, trata de las propiedades de la suma, la resta, la multiplicación y la división; el
segundo establece un orden para los elementos de cada conjunto dado; el tercero trata
sobre la noción de continuidad.

1 Axiomas de cuerpo
Asumimos la existencia de dos operaciones, llamadas suma y producto, tales que a cada
par de n´umeros reales x e y la suma x + y y el producto xy son n´umeros reales
un´ıvocamente determinados por x e y y satisfacen los siguientes axiomas:
1.1 Axiomas de la suma
S1. (x + y) + z = x + (y + z) para todo x, y, z ∈ R. S2. x + y = y + x para todo x, y ∈ R. S3.
Existe un elemento de R, denotado por 0 tal que x + 0 = x para todo x ∈ R. S4. Para
cada x ∈ R existe un y ∈ R tal que x + y = 0.
1.2 Axiomas del producto
P1. (xy)z = x(yz) para todo x, y, z ∈ R. P2. xy = yx para todo x, y ∈ R. P3. Existe un
elemento de R, distinto de 0, que denotaremos por 1 tal que 1x = x1 = x para todo x ∈
R. P4. Para cada x ∈ R tal que no sea cero, existe un y ∈ R tal que xy = 1.
1.3 Axioma de distributividad
D. Para todo x, y, z ∈ R, (x + y)z = xz + yz.
2 Axiomas de orden
Asumimos la existencia de una relaci´on ≤ que establece un orden entre los n´umeros
reales
y satisface los siguientes axiomas:
O1. Si x ≤ y e y ≤ x entonces x = y.
O2. Si x ≤ y e y ≤ z entonces x ≤ z.
O3. Para todo x, y ∈ R, x ≤ y ´o y ≤ x.
SO. Si x ≤ y, entonces x + z ≤ y + z para todo z ∈ R
PO. Si 0 ≤ x y 0 ≤ y, entonces 0 ≤ xy. Definici´on: x < y si x 6= y y x ≤ y.

3 Axioma de completitud
C. Si A ⊂ R, A 6= ∅, es acotado superiormente, entonces tiene supremo en R. Teorema:
(Arquimedianidad) Para todo x > 0 e y ∈ R existe n ∈ N tal que nx > y.
Intervalo abierto

Dados los números reales a y b que cumplen a<b, se define el

conjunto llamado intervalo abierto de extremo inferior a y extremo

superior b.
En palabras, el intervalo abierto (a;b) es el conjunto de números reales comprendidos
entre a y b: este conjunto no contiene a ninguno de los extremos a y b. 4 Se le nombra
como un tipo de intervalo finito.
En la definición de límite ordinario de una función real se considera como dominio un
intervalo abierto que contiene al punto de acumulación.

En la topología usual de la recta (o ) se usa un intervalo abierto para definir un

conjunto abierto en dicha topología. En la topología usual de , un intervalo abierto

es un conjunto abierto. El intervalo abierto (a; b) es igual a su interior, su frontera es el
conjunto {a, b} y su clausura es el intervalo cerrado [a, b]. Su exterior son las semirrectas
(-∞; a] y [b; +∞).5 No tiene puntos aislados, mientras que todos sus puntos son puntos de
acumulación del mismo intervalo.6

Intervalo cerrado
Intervalo real 04.svg
Sí incluye los extremos.
Que se indica: {\displaystyle I=[a,b]\ } {\displaystyle I=[a,b]\ }
Intervalo semiabierto
Incluye únicamente uno de los extremos.

 Con la notación o bien indicamos.

En notación conjuntista:

 Y con la notación o bien ,

En notación conjuntista:

Los cuatro tipos de intervalos anteriores se llaman finitos; los expertos asignan como su
longitud |b- a|. Son muy útiles en el análisis matemático y en los temas de topología
general, para el estudio de diferentes conceptos como clausura, interior, frontera,
conexidad, etc.7 Se usan en definición de funciones como la función máximo entero, o la
función techo o función piso en matemáticas discretas y para la solución de ecuaciones
que conllevan valor absoluto, la función signo, etc. 8
Los intervalos finitos tienen un centro de simetría que es (a + b)/2, llamado punto medio,
donde los extremos son a y b con a < b. En el caso a=b, no existe punto medio y el intervalo
abierto es ∅.9
Intervalos con infinito
Este tipo de intervalos aparece cuando se conoce solo uno de los extremos y el otro es el
infinito, es decir, un valor en términos absolutos mayor que cualquier otro, ya sea positivo
o negativo. Al no poderse incluir el infinito en el intervalo, estos se consideran siempre
abiertos.
Incluye un extremo e infinito por la derecha.

 Con la notación indicamos.

En notación conjuntista:

Sin incluir el extremo:

 Y con la notación ,

Incluye un extremo e infinito por la izquierda.

 Con la notación indicamos.

En notación conjuntista:

Sin incluir el extremo:

  Y con la notación ,
En notación conjuntista:

Para todo valor real:

 Y con la notación ,
En notación conjuntista:

Familia de intervalos
 {(1-1/n; 2+1/n) |n es número natural} es una familia de intervalos abiertos.
 {[1; 2+1/n]} n= 1,2,3,...Es una familia de intervalos cerrados.