1. PF Insights is off to a great start! Fresh and interesting articles on all things science and math. Here: PF Insights

Compactification and Extension of maps.

  1. WWGD

    WWGD 1,250
    Gold Member

    Hi: a couple of questions on (Alexandroff) 1-pt. compactification:

    Thanks to everyone for the help, and for putting up with my ASCII posting
    until I learn Latex (in the summer, hopefully.)

    I wonder if anyone still does any pointset topology. I see many people's
    eyes glace when I talk about, e.g., normal spaces. Anyway:

    1) I am trying to show that if I have a compact space X and remove an
    arbitrary point x_0 from this space, then the resulting space X-x_0 is
    locally compact (where I assume that the definition of compact and locally
    compact include Hausdorff)


    I think we can say that an open subset of a locally compact space is locally compact.
    and then we can use the fact that {x_0} is closed, and then apply this.

    But I wonder if this is also a way of doing it:
    Maybe one can reverse/invert the process of 1-pt. compactification CX of a compact
    Hausdorff space X, since CX is Hausdorff iff X is locally compact, i.e., we
    start with a compact, Hausdorff space X, (assumed to be the 1-pt. compactification
    of some other space Y ) , remove a point x_0 and then Y must have been Hausdorff
    and locally compact to start with.


    2) Extending functions f :X-->X to functions f^:CX-->CX , with

    CX the compactification of X ( i.e., so that f^|_X=f ,with

    f^|_X the restriction of f^ to X ) , so that the extension is continuous

    or analytic ( I am thinking of CX as the Riemann Sphere, with X =Complex Plane)

    Under what conditions can we do this?. All I (think) I know is that

    f:X-->X can be extended continuously if f is regular ( inverse image of every

    compact set is compact) . What conditions do we need to extend a

    function f that is analytic in the complex plane into a function f^ that is

    analytic in the sphere, , i.e., when/how can we find f^: Riemann Sphere to

    itself, and f^|_X (restriction to complex plane) =f ?.

    Thanks.
     
  2. jcsd
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook

Have something to add?

0
Draft saved Draft deleted