Results 1 to 5 of 5
Like Tree2Thanks
  • 1 Post By Plato
  • 1 Post By Plato

Thread: Prove continuity of a function (topological space)

  1. #1
    Junior Member
    Joined
    Mar 2017
    From
    chile
    Posts
    37
    Thanks
    1

    Prove continuity of a function (topological space)

    Hi!. I have problems with this proof


    Let $f: (x ,t_x)\longrightarrow{(y,t_y)}$ , $B_x$ base of $t_x$ and $B_y$ base of $t_y$


    I have to prove that


    $f$ is continuous $\Longleftrightarrow{\forall{B\in{B_y}}}, \exists{B^{\prime}\in{B_x}} | B^{\prime}\subseteq{f^{-1}(B)}$


    Continuous of functions (definition)


    Let $X$ and $Y$ be topological spaces. A function $f: X\longrightarrow{Y}$ is said to be continuous if for each open subset $V$ of $Y$, the set $f^{-1}(V)$ is an open subset of X
    Last edited by cristianoceli; Feb 4th 2018 at 03:56 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    21,631
    Thanks
    2760
    Awards
    1

    Re: Prove continuity of a function (topological space)

    Quote Originally Posted by cristianoceli View Post
    Let $f: (x ,t_x)\longrightarrow{(y,t_y)}$ , $B_x$ base of $t_x$ and $B_y$ base of $t_y$
    $f$ is continuous $\Longleftrightarrow{\forall{B\in{B_y}}}, \exists{B^{\prime}\in{B_x}} | B^{\prime}\subseteq{f^{-1}(B)}$
    In a topological space $(X,\mathcal{T})$, the statement that $\mathscr{B}$ is a base for $\mathcal{T}$ means that $\mathscr{B}\subseteq\mathcal{T}$ so that $(\forall\mathcal{O}\in\mathcal{T})(\exists \mathcal {B}\in \mathscr {B})[\mathcal{B}\subset\mathcal{O}]$
    It is easy to see that means every open set is the union of base elements.

    Can you use the above to prove this?
    Thanks from cristianoceli
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Mar 2017
    From
    chile
    Posts
    37
    Thanks
    1

    Re: Prove continuity of a function (topological space)

    Ok, but the other implication is a bit difficult
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    21,631
    Thanks
    2760
    Awards
    1

    Re: Prove continuity of a function (topological space)

    Quote Originally Posted by cristianoceli View Post
    Ok, but the other implication is a bit difficult
    By other are we to assume that you mean that if the inverse image of any basis set contains a basic set then the function is continuous?
    Recall that the union of basis elements is an open set. We want to prove that the inverse image of every open set is an open set.
    So can we show that ${f^{ - 1}}(O) = {f^{ - 1}}\left( {\bigcup\limits_\alpha {{B_\alpha }} } \right) = \bigcup\limits_\alpha {{f^{ - 1}}({B_\alpha })}~?$

    P.S. Can you tell us the text book you are using?
    Last edited by Plato; Feb 4th 2018 at 07:11 PM.
    Thanks from cristianoceli
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Mar 2017
    From
    chile
    Posts
    37
    Thanks
    1

    Re: Prove continuity of a function (topological space)

    I'm using the book Topology James. R. Munkres
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Topological space and continuous function
    Posted in the Calculus Forum
    Replies: 3
    Last Post: Nov 22nd 2015, 03:58 PM
  2. Continuity of Topological product of spaces
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: Apr 23rd 2011, 04:34 PM
  3. Continuity of a function between two topological spaces.
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: Oct 26th 2010, 06:14 PM
  4. Topological characterization of Continuity
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: Nov 10th 2009, 05:36 AM
  5. continuity in topological spaces
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: May 26th 2008, 02:12 AM

/mathhelpforum @mathhelpforum