Results 1 to 3 of 3

Math Help - Is this compact?

  1. #1
    Member
    Joined
    Sep 2010
    Posts
    86

    Is this compact?

    Hello everybody,
    I am reading a paper which currently gives me some confusion. The setup is like this (I do not need a prove for it. I am mostly curious if my intuition is right.)

    I am looking at a set S \subset Z^{\infty}_{+} where Z_+ is the set of all positive integers and the super index refers to an infinite dimension.
    The vectors of this set are counting measures for another set O \subset Z ( Z is again the set of all integers.) A counting measure means: If some s \in S's row element was s_a = 3 with a \in O this would express that with this vecor 3 "entities" were counted (something of the model that is described in the paper) that have a value of a. If b \not\in O it must be that s_b = 0 for all vectors since no elements of this type can even exist.

    The author now states that O and S must be chosen such that S is compact. I am wondering: Isn't Z^{\infty} already compact? I darkly remember some theorem. In any case: Z is compact, or am I wrong? If so: Must O be finite such that S is automatically compact?

    Help is very appreciated!
    Best, Rafael
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Guy
    Guy is offline
    Member
    Joined
    Mar 2010
    Posts
    98
    Z is a non-bounded subset of the reals and hence, by Heine-Borel, not compact (in the usual topology), no?
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Sep 2010
    Posts
    86
    Outch, of course, thank you. At least I succeeded to prove that I should not work all night.

    However, then the count for the element rows of any s \in S must be bounded too? Otherwise, this set would not be compact even if O was compact? Just to be sure. Thank you!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 3
    Last Post: October 8th 2012, 10:11 PM
  2. Replies: 1
    Last Post: November 19th 2011, 07:32 AM
  3. Finite union of compact sets is compact
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: April 8th 2011, 08:43 PM
  4. 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
  5. Replies: 2
    Last Post: April 6th 2007, 06:48 PM

Search Tags


/mathhelpforum @mathhelpforum