Integral de Darboux

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

En el área de Análisis Matemático, la integral de Darboux, es una forma de abordar el problema de la integración, denotada usualmente de la siguiente forma:

esta integral es equivalente a la integral de Riemann. El enfoque de la integral de Darboux se utiliza en varios textos (aunque en varios no se le nombra así, simplemente se le da el nombre de integral o integral de Riemann utilizando el procedimiento de Darboux), en vez de usar la integral de Riemann ya que es más simple de definir que la integral de Riemann e incluso de utilizar.

Es más simple de usar que la integral de Riemann por dos razones: la primera es que nada más consideramos dos sumas, para cada partición, para la integral de Riemann consideramos una infinidad de sumas para cada partición, la segunda es que esta definición nos permite establecer cotas superiores e inferiores de la integral, lo que reditúa en demostraciones más sencillas.

Esta integral fue propuesta por Darboux en 1875, en ese entonces Riemann ya había propuesto su definición de integral. La idea básica de manera informal es la siguiente queremos hallar el área bajo una función acotada en un intervalo, dividimos el intervalo en subintervalos y formamos dos rectángulos para cada subintervalo, uno que tiene como altura el supremo de la función en cada subintervalo y otro que tiene como altura el ínfimo de la función en cada subintervalo (si la función es continua se puede pensar en el máximo y el mínimo en vez del supremo y el ínfimo), si logramos hacer coincidir la suma de los rectángulos con altura igual al supremo de la función en cada subintervalo con la suma de los rectángulos con altura igual al ínfimo de la función en cada subintervalo (queremos hacer coincidir estas sumas haciendo cada vez más divisiones del intervalo hasta tender a un límite) obtenemos la integral.

Definición formal[editar]

Se requieren tres conceptos antes de definir la integrabilidad de Darboux: la partición de un intervalo, la suma inferior y la suma superior, que a continuación se exponen.

Partición de un intervalo[editar]

Sumas de Darboux inferiores (verde) y superiores (verde más lavanda) para cuatro subintervalo

Sea un intervalo cerrado en los números reales. Una partición de es un subconjunto finito tal que , con .

Lo que estamos haciendo, en pocas palabras, es cortar al intervalo en subintervalos disjuntos, cuya unión forma el intervalo original.

Suma inferior y suma superior[editar]

Sea una función acotada sobre un intervalo , una partición de y definamos, para cada :

,

Entonces la suma inferior de sobre , designada por (del inglés lower), se define como:

y la suma superior de sobre , designada por (del inglés upper), se define como:

Integrabilidad de Darboux[editar]

De nuevo sea una función acotada en . Denotemos al conjunto de todas las particiones de . Siempre se pueden definir las siguientes.

La integral inferior de Darboux de en es

.

La integral superior de Darboux de en es

.

También se utilizan las notaciones o para la integral inferior y o para la integral superior.

Así, la integral inferior es la cota superior más pequeña para las sumas inferiores y la integral superior la cota inferior más grande para las sumas superiores.

Cuando ocurre que , decimos que es es Darboux integrable sobre . En tal caso, a este valor común se le llama la integral de sobre el intervalo , y se denota , o .

Propiedades[editar]

Criterio de integrabilidad de Cauchy[1] [editar]

Una función es Darboux integrable sobre si y solamente si para todo existe una partición de tal que

.

Equivalencia con la Integral de Riemann[editar]

Una función es Darboux integrable sobre si y solamente si es Riemann Integrable sobre ; y en tal caso las integrales coinciden.

Linealidad[editar]

Sean y funciones Darboux integrables sobre . Entonces

para todo .

.

Referencias[editar]

  • BARTLE et al. Introducción al Análisis Matemático de una Variable (Introduction to Real Analysis), trad., ed. Limusa S.A. 2009.
  • KURTZ et al.Theories of Integration The Integrals of Riemann, Lebesgue, Henstock-Kurzweil and McShane, ed. World Scientific Publishing Co. Pte. Ltd. 2004.
  • SPIVAK, Michael. Cálculo Infinitesimal(Calculus), trad., ed. Reverté S.A. 1992.
    • Bartle, Robert (2000). Introduction to real analysis (en inglés). New York: Wiley. p. 203. ISBN 0471321486.