Results 1 to 2 of 2

Math Help - Open set

  1. #1
    Member
    Joined
    Feb 2009
    From
    Chennai
    Posts
    148

    Open set

    A map f:\mathbb{R} \to \mathbb{R} is called open if f(A) is open for every open
    subset A of R. Show that every continuous open map of R into
    itself is monotonic.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,403
    Thanks
    1486
    Awards
    1
    Because this function is continuous then on any interval [a,b] it has a high point and a low point: \left( {\exists \left\{ {c,d} \right\} \subseteq \left[ {a,b} \right]} \right)\left( {\forall x \in \left[ {a,b} \right]} \right)\left[ {f(d) \leqslant f(x) \leqslant f(c)} \right].
    Suppose that \left\{ {c,d} \right\} \subseteq \left( {a,b} \right) then f\left[ {\left( {a,b} \right)} \right] = \left[ {f(d),f(c)} \right] which is contradictory to f being open.
    A similar argument leads to the conclusion that the maximum and minimum must happen at the endpoints of any closed interval.

    Suppose that there are points a < b < c\;. \mathrel\backepsilon  .\;f(a) < f(b)\;\& \;f(c) < f(b).
    But that would mean that the maximum on the interval [a,c] is not at endpoint.
    The same contradiction would follow if a < b < c\;. \mathrel\backepsilon  .\;f(a) > f(b)\;\& \;f(c) > f(b).
    In other words f must be monotonic.
    Last edited by Plato; March 6th 2009 at 02:21 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: October 30th 2010, 01:50 PM
  2. Replies: 2
    Last Post: September 26th 2010, 03:33 PM
  3. Replies: 1
    Last Post: October 27th 2009, 12:09 AM
  4. Inverse of an open set is open implies continuous
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: September 14th 2009, 05:15 AM
  5. Is the product of two open sets open?
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: September 27th 2008, 01:31 PM

Search Tags


/mathhelpforum @mathhelpforum