1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Oscillation of a closed subinterval

  1. Nov 5, 2012 #1
    Given [itex]\epsilon > 0 [/itex], suppose [itex]\omega_f(x) < \epsilon [/itex] for each [itex]x \in [a,b] [/itex]. Then show there is [itex]\delta > 0 [/itex] such that for every closed interval [itex] I \in [a,b][/itex] with [itex] l(I)< \delta[/itex] we have [itex]\omega_f(I) < \epsilon [/itex].

    My first approach to this was trying to think of it as an anaglous to the definition of continuity. However, it would appear, at least to me, that we are talking about a "uniformly" oscillating interval. I'm just not sure how to prove this. My first idea was simply, since I know that things are [itex] \epsilon [/itex] spaced, I could always pick intervals small enough. I'm not sure how to do this rigorously.
     
    Last edited by a moderator: Nov 5, 2012
  2. jcsd
  3. Nov 5, 2012 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    The first thing you will need to do is define "[itex]\omega_f(x)[/itex]" and "[itex]\omega_f(I)[/itex]". They are, of course, the "oscillation" of f at x and on interval I, but what are the precise definitions?
     
  4. Nov 5, 2012 #3
    The definitions of oscillation of a set and point respectively:

    [itex]\omega_f(A)=\sup\limits_{x,y\in A}f(x)-f(y)|[/itex]

    [itex]\omega_f(x)=\inf\{\omega_f(x)=\inf\{\omega_f(x-\epsilon, x+\epsilon)\cap A) : \epsilon > 0\}[/itex]
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook