Results 1 to 4 of 4

Math Help - distance of two disjoint compact and closed set

  1. #1
    Newbie
    Joined
    Sep 2010
    Posts
    10

    distance of two disjoint compact and closed set

    I am having troubles with one problem:
    Let (M,d) be a complete metric space. For a compact set K\subset{M}, and for a closed set F\subset{M} such that K\cap{F}=\emptyset

    \inf_{x\epsilon K,y\epsilon F}d(x,y)>0 [

    would that be true if K was closed but not compact?


    OK, so far my idea is to show by contradiction

    then we assume that the inf of the distance set is equal to zero, that implies x=y

    now, x\in{K} given K is compact and a compact set is bounded, however x is not necessary element of F (since a closed set might not be bounded)

    but then, am I proving with that the statement is false?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,963
    Thanks
    1784
    Awards
    1
    I am sure as to exactly what you are asking.
    Do you have the concept of distance from a point to a set?
    D(F;x) = \inf \left\{ {d(t,x):t \in F} \right\}
    Then show that a closed set is set of all points a distance of zero from the set.

    So in this problem \left( {\forall x \in K} \right)\left[ {D(F;x) > 0} \right]
    Because of compactness you can cover K with finite collection of balls all disjoint from F. That should answer the first question.

    In R^2 let K=\{(x,y):x\le 0\}~\&~F=\{(1/n~,~n):n\in \mathbb{Z}^+\}.
    Both sets are closed and neither is compact.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Sep 2010
    Posts
    10
    Thanks, great feedback

    I did not have the concept distance from a point to a set neither distance between two sets.

    So, now I understand better. I want to check if the distance between a closed set and a compact set is greater than zero.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,963
    Thanks
    1784
    Awards
    1
    Quote Originally Posted by morito14 View Post
    Thanks, great feedback

    I did not have the concept distance from a point to a set neither distance between two sets.

    So, now I understand better. I want to check if the distance between a closed set and a compact set is greater than zero.
    This shows a flaw in the effort of sites such as this tries to be.
    We have no idea of the sequence of theorems you have been given.
    Any time I have given a course on metric spaces the following is a theorm:
    If H & K are disjoint closed sets then there are two disjoint open sets O_H~\&~O_K such that H \subseteq O_H ~\&~K \subseteq O_K .
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Closed subset of sequentially compact set is sequentially compact.
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: September 13th 2011, 02:25 PM
  2. closed bounded and compact
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: January 14th 2010, 04:05 AM
  3. set closed but not compact
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: September 25th 2009, 09:40 PM
  4. closed, bounded, compact...
    Posted in the Differential Geometry Forum
    Replies: 8
    Last Post: June 21st 2009, 08:41 AM
  5. closed-compact
    Posted in the Calculus Forum
    Replies: 1
    Last Post: October 6th 2006, 04:32 PM

Search Tags


/mathhelpforum @mathhelpforum