Intervalo (matemática)

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

Un intervalo (del latín inter-vallum, espacio, pausa)[1] es un espacio métrico comprendido entre dos valores. Específicamente, un intervalo real es un subconjunto conexo de la recta real \R, es decir, una parte de recta entre dos valores dados. Es un conjunto medible y tiene la misma cardinalidad de la recta real.[2]

Caracterización[editar]

Un intervalo real I es una parte de \R que verifica la siguiente propiedad:

Si x e y pertenecen a I con x \le y, entonces para todo z tal que x \le z \le y, se tiene que z pertenece a I

Notación[editar]

Existen dos notaciones principales: en un caso se utilizan corchetes y corchetes invertidos, en el otro corchetes y paréntesis; ambas notaciones están descritas en el estándar internacional ISO 31-11.

Intervalo abierto[editar]

Intervalo real 01.svg

No incluye los extremos.

  •  (a,b)\ o bien  ]a,b[\
  • Notación conjuntista o en términos de desigualdades:

   I = (a,b), \quad
   \forall x \in I: \quad a < x < b

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].[3] No tiene puntos aislados, mientras que todos su puntos son puntos de acumulación del mismo intervalo, de suma importancia en asuntos de límites de funciones.[4]

Intervalo cerrado[editar]

Intervalo real 04.svg

Sí incluye los extremos.

  • Que se indica: I = [a,b]\

En notación conjuntista:


   I = [a,b], \quad
   \forall x \in I: \quad a \le x \le b

Si incluye únicamente uno de los extremos.

Intervalo real 03.svg
  • Con la notación  (a,b]\ o bien  ]a,b]\ indicamos.

En notación conjuntista:


   I = (a,b], \quad
   \forall x \in I: \quad a < x \le b
Intervalo real 02.svg
  • Y con la notación  [a,b)\ o bien  [a,b[\ ,

En notación conjuntista:


   I = [a,b), \quad
   \forall x \in I: \quad a \le x < b

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 estudios de diferentes conceptos como clausura, interior, frontera, conexidad, etc.[5] 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 abosoluto, la función signo, etc.[6]

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 ∅.[7]

Intervalo infinito[editar]

Incluye un extremo e infinito por la derecha.

Intervalo real 06.svg
  • Con la notación  [a,\infty)\ indicamos.

En notación conjuntista:


   I = [a,\infty), \quad
   \forall x \in I: \quad a \le x

Sin incluir el extremo:

Intervalo real 05.svg
  • Y con la notación  (a,\infty) ,

   I = (a,\infty), \quad
   \forall x \in I: \quad a < x

Incluye un extremo e infinito por la izquierda.

Intervalo real 08.svg
  • Con la notación  (-\infty, a]\ indicamos.

En notación conjuntista:


   I = (-\infty, a], \quad
   \forall x \in I: \quad x \le a

Sin incluir el extremo:

Intervalo real 07.svg
  • Y con la notación  (-\infty,a) ,

En notación conjuntista:


   I = (-\infty,a), \quad
   \forall x \in I: \quad x < a

Para todo valor real:

Intervalo real 09.svg
  • Y con la notación  (-\infty,\infty) ,

En notación conjuntista:


   I = (-\infty,\infty), \quad
   \forall x \in R

Familia de intervalos[editar]

Operaciones con intervalos[editar]

En notación conjuntista: supongamos el conjunto A:


   A =
   \{ x, \; x \in R : \quad x < 4 \}

Esto se lee: A son todos los x reales tales que x es menor que cuatro.

Y el conjunto B:


   B =
   \{ x , \; x \in R : \quad 9 < x \}

El conjunto B abarca todos los x, reales, mayores que nueve.

Intervalo real 20.svg

El conjunto unión de A y B sería:


   A \cup B =
   \{ x , \; x \in R : \quad x < 4 \; \lor \; 9 < x \}

O también se puede anotar:


   x \in
   (-\infty, 4) \cup (9, \infty)

La unión de dos o más conjuntos es tomar todos los puntos pertenecientes a cada conjunto.

Intervalo real 21.svg

El conjunto intersección de A y B no existe:


   A \cap B =
   \{ x , \; x \in R : \quad x < 4 \; \land \; 9 < x \}

porque A y B no tienen puntos en común.


   A \cap B =
   \varnothing

Definido el conjunto C:


   C =
   \{x , \; x \in R : \quad -3 < x < 15 \}

Es decir, que el conjunto C toma valores entre -3 y 15, siempre siendo x un número real.

Intervalo real 23.svg

El conjunto intersección de A y C es:


   A \cap C =
   \{x , \; x \in R : \quad -3 < x < 4 \}

El conjunto intersección es aquel que toma los valores en común entre todos los conjuntos incluidos.

Entorno simétrico[editar]

Un entorno simétrico o entorno de centro a y radio r se representa:

Intervalo real 10.svg
  • Con la notación  E(a,r)\ indicamos.

   I = E(a,r), \quad
   \forall x \in I: \quad a-r < x < a+r

Entorno reducido[editar]

Un entorno reducido de centro a y radio r se representa:

Intervalo real 11.svg
  • Con la notación  E^{\star}(a,r)\ indicamos.

   I = E^{\star}(a,r), \quad
   \forall x \in I: \quad x \in E(a,r) \; - \; \{ a \}

Un entorno reducido de un punto p es un entorno de p, menos {p}. Por ejemplo, el intervalo (−1, 1) = {y: −1 < y < 1} es un entorno de p = 0 en la recta real, entonces el conjunto (−1, 0) ∪ (0, 1) = (−1, 1) − {0} es un entorno reducido de 0.

Nota[editar]

Ejemplos gráficos[editar]

Gráfica de una función en un intervalo.  
Transformación lineal de intervalos.  
Transformación lineal de intervalos.  
Línea numérica.  

Clasificación[editar]

Se pueden clasificar los intervalos según sus características topológicas (intervalos abiertos, cerrados, semiabiertos) o según sus características métricas (longitud: nula, finita no nula, infinita).

La siguiente tabla resume los 11 casos posibles, con ab, y x perteneciente al intervalo:

Notación Intervalo Longitud Descripción
[a, b] \,  a \le x \le b b-a \, Intervalo cerrado de longitud finita.
[a, b[ \ \ \mathrm{ \acute o } \ \  [a, b) \!  a \le x < b\! b-a \, Intervalo semiabierto (cerrado en a, abierto en b).
]a, b] \ \ \mathrm{ \acute o } \ \  (a, b] \! a < x \le b b-a \, Intervalo semiabierto (abierto en a, cerrado en b).
]a, b[ \ \ \mathrm{ \acute o } \ \  (a, b) \! a<x<b \! b-a \, Intervalo abierto.
]-\infty, b[ \ \ \mathrm{ \acute o } \ \  (- \infty, b) \!  x < b \! \infty Intervalo semiabierto.
]-\infty, b] \ \ \mathrm{ \acute o } \ \  (- \infty, b] \!  x \le b \! \infty Intervalo semiabierto.
[a, \infty [ \ \ \mathrm{ \acute o } \ \  [a, \infty ) \!  x \ge a \! \infty Intervalo semiabierto.
]a, \infty [ \ \ \mathrm{ \acute o } \ \  (a, \infty ) \!  x > a \! \infty Intervalo semiabierto.
]\infty, + \infty [ \ \ \mathrm{ \acute o } \ \  (\infty, + \infty ) \!  x \in \mathbb{R} \! \infty Intervalo a la vez abierto y cerrado.
 \{ a \} \!  x=a \!  0 \! Intervalo cerrado de longitud nula (intervalo degenerado).
\{\} = \emptyset\! sin elemento cero Conjunto vacíoIntervalo abierto (a,a).

[8]

Propiedades[editar]

  • La intersección de intervalos de \R es también un intervalo.
  • La unión de intervalos de \R no siempre es un intervalo (lo será si la intersección es no vacía).
  • Los conjuntos conexos de \R son exactamente los intervalos.[9]
  • Los intervalos cerrados sobre una recta se denominan «segmento de recta», son conjuntos cerrados según la topología usual, conexos y compactos.[10]
  • La imagen por una función continua de un intervalo de \R es un intervalo de \R. Esta es una formulación del Teorema del valor intermedio.
  • Según la topología usual de ℝ, un conjunto abierto es la unión de intervalos abiertos.[11]

Aritmética de intervalos[editar]

Sean I = [a, b] y J = [c, d] con axb, y cyd.

Entonces: a + cx + yb + d. Lo que justifica que

  • I + J = [ a + c, b + d ].
  • I - J = [ a - d, b - c ].
  • Si se toman a, b, c y d positivos no nulos, I · J = [ ac, bd ] y I / J = [ a/d, b/c ].

Generalización[editar]

Un intervalo n-dimensional se define como un subconjunto de \R^n, que es el producto cartesiano de n intervalos: I = I_1\times I_2 \times \cdots \times I_n, uno en cada eje de coordenadas......

Entorno de centro a y radio ε.

En términos topológicos, en el espacio métrico \R usual los intervalos son las bolas abiertas y cerradas. De manera más general, se le llama vecindad o entorno de centro a y radio ε, al conjunto de puntos x cuya distancia a a es menor que ε.

E (a ; \epsilon) = \left\{  x \in  \R \ : \ |x - a| < \epsilon \right\}

Véase también[editar]

Referencias[editar]

  1. Echauri: Diccionario básico Latino-español...
  2. De Guzmán. Rubio: Integración: teoría y técnicas" ISBN 84-205-0631-1
  3. Ayala y otros: Elementos de la Topología general, Salamanca, España, ISBN 84-7829-006-0
  4. Rubiano: Topología general, Bogotá
  5. M. J. Mansfield: "Introducción a la topología" ISBN 84-205-0450-5
  6. Arizmendi. Carrillo. Lara: Cálculo Cecsa, Mexico D.F.
  7. Spivak: Calculus, tomo I
  8. Hasser. La Salle. Sullivan: Análisi matemático I, define con a≤b y surgen los casos del singulete y del ∅
  9. Chinn. Steenrod: Primeros conceptos de topología ISBN 84-205-0524-2
  10. Chinn. Steenrod: Primeros conceptos de topología ISBN 84-205-0524-2
  11. Mansfield: Introducción a la Topología ISBN 84-205-4050-5