1. Not finding help here? Sign up for a free 30min 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!

A continuous function in Hausdorff space

  1. Jan 23, 2009 #1
    1. The problem statement, all variables and given/known data

    Let [tex] A \subset X [/tex]; let [tex] f : A \rightarrow Y[/tex] be continuous; let Y be Hausdorff. Show that if f may be extended to a continuous function [tex]g: \overline{A} \rightarrow Y[/tex], then g is uniquely determined by f.

    2. Relevant equations



    3. The attempt at a solution

    If f is a homeomorphism, we can say A is a Hausdorff space.
    Just given a continuous function f, I am clueless how to start this problem.
    Any advice will be appreciated.
     
  2. jcsd
  3. Jan 24, 2009 #2
    The first thing to do is to make sure you know the definitions of everything that is mentioned: continuity, Hausdorff (from your other post, you can tick this), extension, closure, uniquely determined.

    The last one might not be in your topology text. It means that if we had another continuous extension [tex]h:\overline{A}\to Y[/tex] of f, then we must have g=h. So in that sense g is unique.

    So your task is to suppose there are two such functions [tex]g:\overline{A}\to Y[/tex], [tex]h: \overline{A}\to Y[/tex], and to show that g(x) = h(x) for all x in [tex]\overline{A}\backslash A[/tex] (since we know they agree on A already).

    The Hausdorffness of Y hints as to where to start in such a proof. Suppose that [tex]g(x)\neq h(x)[/tex] for some [tex]x\in\overline{A}\backslash A[/tex]. Now you want to apply the given information to obtain a contradiction.

    Remember to show us your work if you get stuck!
     
  4. Jan 24, 2009 #3
    Thanks for your advice. I am really enjoying this problem.

    My attempt to this problem is as follows:

    Suppose there exist two continuous functions [tex]g,h:\overline{A} \rightarrow Y[/tex] that extend f at [tex]\overline{A}[/tex]. Since [tex]g(x)=h(x)=f(x)[/tex] at [tex]x \in A[/tex] by definition, we shall show that [tex]g(x)=h(x)[/tex] at [tex]x \in \overline{A} \setminus A[/tex].
    Assume [tex]g(x) \neq h(x)[/tex] at [tex]x \in \overline{A} \setminus A[/tex]. Since Y is a Hausdorff space, we have two disjoint open sets U and V containing [tex]g(x)[/tex] and [tex]h(x)[/tex] at [tex]x \in A'[/tex] (A' denotes a derived set of A), respectively.
    Since g and h are continuous functions, we have open sets [tex]g^{-1}(U)[/tex] and [tex]h^{-1}(V)[/tex] containing x at [tex]x \in A'[/tex].
    We claim that [tex]O = g^{-1}(U) \cap h^{-1}(V) \cap A[/tex] is not empty. Since [tex]g^{-1}(U) \cap h^{-1}(V)[/tex] are open sets containing [tex]x \in A'[/tex] and any open set containing [tex]x \in A'[/tex] should intersect at A by definition of a limit point.
    Let [tex]x' \in O[/tex].Then [tex]g(x') \neq h(x')[/tex] since [tex]x'[/tex] belongs to both [tex]g^{-1}(U)[/tex] and [tex]h^{-1}(V)[/tex] by assumption. Since x' also belongs to A, we have [tex]g(x') = h(x')[/tex], contradiction.
    Thus, [tex]g(x) = h(x)[/tex] at [tex]x \in \overline{A} \setminus A[/tex], and we conclude that a continous function [tex]g: \overline{A} \rightarrow Y[/tex] is a unique extension of f at [tex] \overline{A}[/tex].

    Any advice will be highly appreciated.
     
  5. Jan 25, 2009 #4
    Very good! It is fun when things begin to flow so nicely.
     
  6. Jan 25, 2009 #5
    Thank you for your corrections. It helped me a lot to solve this problem starting your hints.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?