33 votos

¿Cómo sabemos que la definición de la integral de la Suma nos da el área bajo la curva?

Actualmente estoy aprendiendo cálculo (en la secundaria), y que no me siento cómodo con la idea de que el límite de la suma de los rectángulos en realidad converge al área bajo la curva. Sé que se ve como lo hace, pero ¿cómo podemos saber con certeza? No podía la pequeña errores por debajo/por encima de la curva se acumulan a medida que agregamos más y más rectángulos? Lo preocupante para mí es el conjunto Pi = 4 cosa con la escalera que se aproxime a un círculo pointwise, y cómo es de malo y el perímetro de la escalera de forma de no acercarse a la circunferencia del círculo, aunque pointwise lo hace el enfoque de un círculo. Entonces, ¿cómo son los cada vez más numerosos, cada vez más pequeños errores en las sumas de Riemann diferentes? ¿Cómo sabemos que el error en cada paso disminuye más rápidamente que el número de errores aumenta? Realmente me gustaría ver una prueba de ello.

Muchas gracias!

29voto

Nahom Tijnam Puntos 1789

Esto en realidad es una muy buena pregunta, y es algo que realmente tiene un enchufe de dos clavijas respuesta completamente de hacer justicia.


PARTE 1.

Tiene usted derecho a ser escéptico y, yo diría, este es otro de esos momentos en los que la "norma" plan de estudios de matemáticas y exposiciones de hacer un gran trabajo de hacer algo fácil, difícil. Usted debe confiar en su instinto, no de su maestro.

La respuesta es simple: no, usted no puede "probar" esto, a menos que la independencia formal de la definición de "área" que es independiente de la integral de Riemann y la integral suficiente para manejar estas situaciones en su propio. Tal definición se puede hacer: se llama Medida de Lebesgue, pero toma un poco más de matemáticas de la maquinaria de la que se dispone en este punto de la exposición para hacer que se cocine.

Básicamente, la medida de Lebesgue es una función que toma un solo argumento de entrada que es todo un conjunto de puntos en el plano, es decir, $S$, interpretado como un área sólida y no simplemente de la frontera, y le dice a su área, $\mu(S)$. Esta $S$ sería, en su caso, el sólido de la figura plana que es de color en los gráficos, en su cálculo de libros de texto como el "área bajo la curva". No hay ninguna integrales que intervienen en su definición, aunque, como yo diría, tendríamos que exponer una cantidad considerable de nueva maquinaria para construir esto. Pero si haces eso, entonces tome mi palabra de que usted puede probar que

$$\mu(S) = \int_{a}^{b} f(x)\ dx$$

donde la mano derecha es una integral de Riemann y la $S$ es como he descrito para esta situación en particular, cuando dijo Riemann integral existe.

AGREGAR: Como @Paramanand Singh menciona en los comentarios, hay maneras más simples para definir el área que puede ser más digerible, en este punto, a pesar de que no cubra la mayor cantidad de casos como la medida de Lebesgue. La medida de Borel y Jordania pseudo-medida son dos opciones y yo podría intentar describirlos aquí si desea o, usted podría hacer otra pregunta en la vena de "¿Qué es un simple, integral libre de definición de la zona de una complicada figura plana que es digerible en o cerca del nivel de los introductorios de cálculo?" y entonces yo podría contestar con uno o ambos de estos.


PARTE 2.

Esto, por supuesto, conduce a lo que la mejor manera de introducir la integral debe de ser, pues no podemos en esta etapa hacer las pruebas necesarias. Y por otra parte, incluso si se pudiera, llevaría a rascarse la cabeza en cuanto a por qué exactamente nos importa a ser la creación de esta idea de "Riemann integral" en primer lugar, cuando ya tenemos una perfectamente buena construcción para el área.

Y así, lo que yo diría es que un enfoque superior, es decir que la integral de Riemann es un método explícito para la reconstrucción de una función a partir de su derivada y, para hacer esto más claro, también necesitamos una mejor comprensión intuitiva de lo que es un "derivado" significa más allá de la "tangente" la línea de negocio que, mientras que en realidad no es malo en absoluto, es en sí mismo también arruinada por una mala explicación, demasiado y que todavía podía agregar más detalles a entrar, pero quiero probar y mantener la atención en el problema en cuestión. Como Deane Yang mencionado en lo que fue uno de los puestos que tuvo una gran influencia en la conformación de mi actual actitud hacia las matemáticas y, especialmente, las matemáticas de la educación, aquí:

una mejor intuitiva modelo para el "derivado" es que es un tipo de "medida de la sensibilidad": si yo digo que la derivada de un valor real de la función de una variable real, $f$, tiene el valor en el punto de $x$ de $f'(x)$, lo que significa que intuitivamente es que si me "meneo" $x$ ida y vuelta un poco, es decir, $\Delta x$, de ida y vuelta en torno a este valor, y puedo ver a continuación, el valor de salida de $f$, es decir, $f(x)$, como si $f(x)$ fueron algunos con un instrumento de lectura e $x$ un dial se podría dar vuelta atrás y adelante, esta $f(x)$ asimismo, "meneo" alguna otra cantidad, es decir, $\Delta y$, y que

$$\Delta y \approx f'(x)\ \Delta x$$

siempre $\Delta x$ es pequeña - la exactitud de la aproximación de convertirse en tan buenas como nos gustaría que nos hagan $\Delta x$ adecuadamente menor que cualquiera sea el valor que hemos estado utilizando hasta ahora: por lo tanto, ¿por qué tenemos que pasar a un límite, un concepto que, una vez más, puede utilizar un poco de elucidación. O, a la vuelta, $f'(x)$ es el "mejor" número para representar lo mucho que la salida cambia de forma proporcional a la de entrada, siempre y cuando se mantenga la entrada de cambiar lo suficientemente pequeño.

La integral de Riemann, entonces, es la respuesta a esta pregunta:

  • Dame un procedimiento que, si se nos da la derivada, $f$, para encontrar una función de $F$ que la tiene como su derivado, con la información inicial que $F(a) = 0$, para algunos el punto seleccionado $a$.

Es decir, es en efecto una forma constructiva para resolver lo que en terminología ecuaciones diferenciales, sería llamado el inicial-el problema del valor, o IVP,

$$\frac{dF}{dx} = f, F(a) = 0$$

que procede como sigue.

Se nos da la única a partir de la información que $F(a) = 0$, y que $F' = f$. Así que supongamos que vamos a construir el valor de $F$ a un nuevo punto de $b$ para que $b > a$. ¿Cómo podemos probar esto, teniendo en cuenta lo que ya hemos discutido?

Así que ahora, piensa en lo que acabo de decir sobre el significado de la derivada, y pregúntate a ti mismo esta pregunta:

Sé que $F'$ aquí es cómo de sensible es para un pequeño cambio. Así, supongamos que yo fuera a hacer ahora un Zeno-como maniobra de lúpulo y una pequeña cantidad $\Delta x$ de $a$ hacia la derecha a lo largo de la recta numérica real a $a + \Delta x$. Entonces, ¿qué debemos adivinar por $F(a + \Delta x)$?

Bueno, si tienes lo que acabo de mencionar, entonces usted debe venir a que, desde la $F'(a)$ es proporcionalmente cuánto $F$ va a responder a un pequeño cambio en su entrada alrededor de $a$, y lo que estamos haciendo es exactamente eso: para hacer un pequeño cambio de $a$ a $a + \Delta x$, entonces debemos asimismo mayús $F(a)$ a $F(a) + (F'(a) \Delta x)$, por lo que

$$\begin{align} F(a + \Delta x) &\approx F(a) + [F'(a)\ \Delta x]\\ &= F(a) + [f(a)\ \Delta x]\end{align}$$

. Y luego, podemos hacer la misma cosa y hacer otra pequeña "meneo" de $a + \Delta x$ a $[a + \Delta x] + \Delta x$ (es decir, $a + 2\Delta x$), y obtenemos

$$\begin{align}F([a + \Delta x] + \Delta x) &\approx F(a + \Delta x) + [F'(a + \Delta x)\ \Delta x]\\ &= F(a) + [f(a) + \Delta x] + [f(a + \Delta x)\ \Delta x]\end{align}$$

y si siguen en este camino, todo el camino hasta que llegamos a $b$, o, al menos, tan cerca como sea posible, ya ves que hemos

$$F(b) \approx \sum_{n=0}^{N-1} f(a + n\Delta x)\ \Delta x$$

o, dejando $x_i := a + i\Delta x$,

$$F(b) \approx \sum_{i=0}^{N-1} f(x_i)\ \Delta x$$

. Por otra parte, podemos generalizar esto un poco más todavía para permitir escalones irregulares, lo que aumenta la flexibilidad un poco, digamos, ligeramente discontinuo funciones de entrada de $f$, y así obtenemos

$$F(b) \approx \sum_{i=0}^{N-1} f(x_i)\ \Delta x_i$$

y ya casi estamos allí, todo lo que se necesita ahora es un límite para llegar a...

$$F(b) = \lim_{||\Delta|| \rightarrow 0} \sum_i f(x_i)\ \Delta x_i$$

y si introducimos un poco de notación para este nuevo concepto, ahora...

$$\int_{a}^{b} f(x)\ dx := \lim_{||\Delta|| \rightarrow 0} \sum_i f(x_i)\ \Delta x_i$$

que es...?

Y, por cierto, es el Teorema Fundamental del Cálculo mucho de una "sorpresa" ahora, o casi tautológica, algo que fue por diseño, no es un misterio para ser resuelto? (Este es el patrón que yo también encontrar cultivos en otros lugares donde el mejor motivador razón para que algo se pone después y no antes - por ejemplo, del teorema de Cayley en álgebra abstracta.)

Es decir, la verdadera sorpresa es que no podemos utilizar la suma de Riemann para encontrar una antiderivada - que toda su punto - pero que esta suma también puede describir un área y que es, de hecho, mucho menos trivial para probar.

9voto

vonbrand Puntos 15673

La integral de Riemann (realmente Darboux la definición, ya que es lo que generalmente se enseña como "Riemann integral") es puramente analítica de la construcción. No tiene ningún tipo de relación de "áreas". Lo importante es que se cumplan algunas de las propiedades del "área bajo la curva" ha (donde tiene sentido).

Seguro, usted puede interpretar la integal como el área debajo de una curva, pero Riemann integral se define precisamente para (algunos) casos en los que tiene poco sentido, de una manera rigurosa (Newton, Leibnitz' "definiciones" eran bastante handwavy). Tenga en cuenta también que después de las definiciones de integral (Lebesgue, de Stieltjes') tienen poca o ninguna conexión visual a "áreas", incluso se definen para los casos en que la zona no tiene ningún sentido.

3voto

Dr Mike Ecker Puntos 1

En la mayoría, si no todos, los libros de texto de Cálculo, el área bajo la curva es en realidad DEFINE a ser el mejor de la integral definida.

3voto

M. Winter Puntos 1070

Creo que Bernard hecho un buen punto en los comentarios debajo de tu pregunta. Así que vamos a compilar en una respuesta corta.

El truco está en que trabajan no con uno, sino con dos ligeramente diferentes sumas de Riemann - el inferior y el superior de la suma de Riemann. Considere la siguiente figura:

enter image description here Creo que estamos de acuerdo en que la menor suma de Riemann $\check\Sigma$ (en la figura de la izquierda) subestima el área bajo la curva, y que la parte superior de Riemann suma $\hat \Sigma$ (en la figura de la derecha) sobreestima el área bajo la curva.

Así que estamos de acuerdo en que el área real $A$ bajo la curva es somwhere entre estas sumas:

$$\check\Sigma\le A\le \hat\Sigma.$$

Ahora, si hacemos la suma de Riemann más fino y más fino (añadiendo más rectángulos, y haciéndolas más delgadas), la esperanza es que los valores inferiores y superiores se acercan más y más cerca unos de otros, y convergen a un valor común. Si fuera el caso, podríamos estar de acuerdo que este valor debe ser $A$, como $A$ en todos los tiempos era atrapado entre estas dos sumas.

Entonces, ¿cómo sabemos que el inferior y el superior de la suma de Riemann convergen en el mismo valor? La respuesta es: que no! Lo hacen, en general, no convergen en el mismo valor! Pero sí para algunas funciones, y estas funciones se llaman Riemann integrable. Estas son las funciones para las que la suma de Riemann es una herramienta válida para calcular el área bajo la curva.

Así que el problema era trasladado ahora a la pregunta: "qué funciones Riemann integrables?". Y este es, de hecho, no trivial de la pregunta. Por suerte, la mayoría de las funciones que aparecen en la vida cotidiana de las aplicaciones están en el hecho de Riemann integrable. Por ejemplo, funciones continuas (en intervalos acotados) o monótono funciones Riemann integrables, y uno puede demostrar que este rigor. Esto se hace generalmente en la introducción del curso de análisis para los matemáticos. Si usted está interesado en una prueba: Wikipedia contiene una prueba de que el hecho de que una de las funciones es Riemann integrable (en un intervalo compacto) si y sólo si es continua en casi todas partes.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X