Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 45 vistas

    Teorema de Oscilación

    Cargado por

    carlos ortega
    Este documento presenta el teorema sobre continuidad. Define la oscilación de una función f en un punto c como el ínfimo de la diferencia entre el supremo y el ínfimo de f en intervalos alrededor de c. El teorema establece que una función f es continua en c si y solo si la oscilación de f en c es 0. La demostración muestra que si la oscilación es 0, entonces para todo ε existe un δ tal que la diferencia entre el supremo y el ínfimo de f es menor que ε, lo que implica continuidad.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Teorema de Oscilación

    Cargado por

    carlos ortega
    45 vistas2 páginas
    Este documento presenta el teorema sobre continuidad. Define la oscilación de una función f en un punto c como el ínfimo de la diferencia entre el supremo y el ínfimo de f en intervalos alrededor de c. El teorema establece que una función f es continua en c si y solo si la oscilación de f en c es 0. La demostración muestra que si la oscilación es 0, entonces para todo ε existe un δ tal que la diferencia entre el supremo y el ínfimo de f es menor que ε, lo que implica continuidad.

    Título original

    teorema de oscilación

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta el teorema sobre continuidad. Define la oscilación de una función f en un punto c como el ínfimo de la diferencia entre el supremo y el ínfimo de f en intervalos alrededor de c. El teorema establece que una función f es continua en c si y solo si la oscilación de f en c es 0. La demostración muestra que si la oscilación es 0, entonces para todo ε existe un δ tal que la diferencia entre el supremo y el ínfimo de f es menor que ε, lo que implica continuidad.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    45 vistas2 páginas

    Teorema de Oscilación

    Cargado por

    carlos ortega
    Este documento presenta el teorema sobre continuidad. Define la oscilación de una función f en un punto c como el ínfimo de la diferencia entre el supremo y el ínfimo de f en intervalos alrededor de c. El teorema establece que una función f es continua en c si y solo si la oscilación de f en c es 0. La demostración muestra que si la oscilación es 0, entonces para todo ε existe un δ tal que la diferencia entre el supremo y el ínfimo de f es menor que ε, lo que implica continuidad.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 2

    Teorema sobre continuidad

    Carlos Javier Hernández Ortega


    20 de agosto de 2021

    Definición. Sea f una función acotada en [a, b] y sea c ∈ (a, b). Para δ > 0 dado, sean

    M (c, f, δ) := sup{f (x) | x ∈ [a, b] y |x − c| < δ}

    y
    m(c, f, δ) := ı́nf{f (x) | x ∈ [a, b] y |x − c| < δ}.
    Definimos la oscilación de f en c como

    o(f, c) := ı́nf{M (c, f, δ) − m(c, f, δ) | δ > 0}.

    Observación. Para δ > 0 dado, M (c, f, δ) − m(c, f, δ) ∈ R y M (c, f, δ) − m(c, f, δ) ≥ 0. Ası́, el conjunto
    {M (c, f, δ) − m(c, f, δ) | δ > 0} es no vacı́o y es acotado inferiormente por 0.

    Teorema. Una función acotada f en [a, b] es continua en c ∈ (a, b) si y solo si o(f, c) = 0.


    Demostración.
    ⇒) Para probar que o(f, c) = 0 hay que demostrar que

    ı́nf{M (c, f, δ) − m(c, f, δ) | δ > 0} = 0,

    pero como sabemos que 0 es cota inferior del conjunto, entonces por la caracterización del ı́nfimo basta
    demostrar que para todo ε > 0 existe un δ > 0 tal que

    M (c, f, δ) − m(c, f, δ) < ε.

    Como f es continua en c entonces para un ε > 0 dado existe un δ > 0 tal que
    ε
    si x ∈ [a, b] y |x − c| < δ entonces |f (x) − f (c)| < .
    4
    Pero esto implica que para todo x tal que x ∈ [a, b] y |x − c| < δ se cumple que
    ε ε
    f (c) − < f (x) < f (c) + ,
    4 4
    lo que implica que los números f (c) − 4ε y f (c) + 4ε son, respectivamente, cotas inferior y superior del
    conjunto
    {f (x) | x ∈ [a, b] y |x − c| < δ}.
    Ası́,
    ε ε
    f (c) − ≤ m(c, f, δ) ≤ M (c, f, δ) ≤ f (c) + ,
    4 4
    1
    lo cual implica que
     ε  ε ε
    M (c, f, δ) − m(c, f, δ) ≤ f (c) + − f (c) − = < ε.
    4 4 2

    ⇐) Como o(f, c) = 0 entonces, por la caracterización del ı́nfimo, para ε > 0 dado existe un δ > 0 tal que

    M (c, f, δ) − m(c, f, δ) < ε.

    Ahora, si x ∈ [a, b] y |x − c| < δ entonces

    m(c, f, δ) ≤ f (x) ≤ M (c, f, δ). (1)


    1 Recordemos que si a, b, c, d son reales tales que a ≤ b ≤ c ≤ d entonces c − b ≤ d − a.

    1
    Por otra parte, claramente, tenemos que

    m(c, f, δ) ≤ f (c) ≤ M (c, f, δ),

    o lo que es lo mismo
    −M (c, f, δ) ≤ −f (c) ≤ −m(c, f, δ). (2)
    Luego, sumando las desigualdades (1) y (2) tenemos que

    −M (c, f, δ) + m(c, f, δ) ≤ f (x) − f (c) ≤ M (c, f, δ) − m(c, f, δ)

    de donde se sigue que


    |f (x) − f (c)| ≤ M (c, f, δ) − m(c, f, δ) < ε
    lo cual prueba que f es continua en c. 

    También podría gustarte