Results 1 to 2 of 2

Math Help - help with proving a set to be compact

  1. #1
    Newbie
    Joined
    Sep 2012
    From
    MD
    Posts
    14

    help with proving a set to be compact

    let K be compact in R^n. show that a + K is also compact, where a + K := { a + x : x in K}


    what I was thinking is that since K is compact there exists a finite open cover of K. a is a single element and so can also be covered
    by a finite open cover and the union of the two covers is also finite so a + K is contained within a finite open cover and hence compact.
    am I close?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member
    Joined
    Sep 2012
    From
    Washington DC USA
    Posts
    525
    Thanks
    147

    Re: help with proving a set to be compact

    I don't see that approach working.

    You could try doing it this way:

    \text{For each } a \in \mathbb{R}^n, \text{ define }f_a : \mathbb{R}^n \rightarrow \mathbb{R}^n \text{ by } f_a(x) = x + a.

    Can you show that f is continuous? If so, that's actually all you need, but you could then quickly prove much more:

    -----------------------------

    Maybe this is enough to guide you, maybe it isn't. But think about:

    \text{What are } f_a \circ f_{(-a)} \text{ and } f_{(-a)} \circ f_{a}?

    \text{So, for each } a \in \mathbb{R}^n, \text{ have that } f_a \text{ is ???, with ??? = } f_{(-a)}.

    \text{But } f_{(-a)} \text{ is also c???, and thus } f_a \text{ is a h???.}

    -----------------------------

    You could also try doing it this way, which amounts to about the same thing while requiring more work:

    \text{Prove: For all } a \in \mathbb{R}^n, \text{ and } U \subset \mathbb{R}^n, \ U \text{ is open iff } a + U \text{ is open.}
    Last edited by johnsomeone; October 16th 2012 at 07:28 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 1
    Last Post: November 19th 2011, 07:32 AM
  2. Proving something is compact
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: September 30th 2010, 12:14 AM
  3. the intersection of a collection of compact sets is compact
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: February 28th 2010, 02:58 PM
  4. Proving sets are weakly compact
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: May 31st 2009, 03:31 AM
  5. Proving connected/compact
    Posted in the Advanced Math Topics Forum
    Replies: 3
    Last Post: November 30th 2008, 01:11 PM

Search Tags


/mathhelpforum @mathhelpforum