Results 1 to 7 of 7

Math Help - Existence of Sequence Space

  1. #1
    Newbie
    Joined
    May 2012
    From
    United States
    Posts
    17

    Existence of Sequence Space

    Which axioms from ZF guarantee the existence of a sequence space? For example, the set of all sequences of rational numbers? Or more simply the set of all sequences generated from {0,1}?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,977
    Thanks
    1643

    Re: Existence of Sequence Space

    "ZFC" is a set of axioms for sets. They alone don't guarentee the existance of numbers, let alone such sequences. You need additional definitions and axioms.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    May 2012
    From
    United States
    Posts
    17

    Re: Existence of Sequence Space

    The natural numbers are a symbolic representation of the set given to us by the axiom of infinity, called N. Z is an equivalence relation imposed on NxN. Q is an equivalence relation imposed on ZxN. And now to construct R, we need to know that the sequence space of Q exists.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    May 2012
    From
    United States
    Posts
    17

    Re: Existence of Sequence Space

    My problem is how do we know in general that a sequence space exists. If we had the definitions in hand of what a sequence is (a function from N to a set X), we could generate any finite set of sequences over the set X from the axiom of union. But from where do we know that we can say that "the set of all sequences" exists and is a set?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    Mar 2011
    From
    Tejas
    Posts
    3,401
    Thanks
    762

    Re: Existence of Sequence Space

    you don't NEED the sequence space of Q to define R (although it IS a nice definition), you just need the power set of Q.

    real numbers are (or at least CAN be) defined to be certain subsets of rational numbers (the typical example is √2 = {x in Q: x < 0, or x2< 2}) (the "dedekind cut" construction).

    however, i see no reason why the unions guaranteed by the axiom of union must be FINITE. rational sequences are just certain subsets of NxQ, which is certainly a set, so we have the set:

    {f in P(NxQ): f is a function defined on N}, by the power set axiom, and the axiom of specification.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,793
    Thanks
    1688
    Awards
    1

    Re: Existence of Sequence Space

    Quote Originally Posted by blmalikov View Post
    My problem is how do we know in general that a sequence space exists. If we had the definitions in hand of what a sequence is (a function from N to a set X), we could generate any finite set of sequences over the set X from the axiom of union. But from where do we know that we can say that "the set of all sequences" exists and is a set?

    Are you following any particular textbook?
    If so, please tell us which one you are using?

    If not, I suggest that you look into An Outline of Set Theory by James M Henle.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Newbie
    Joined
    May 2012
    From
    United States
    Posts
    17

    Re: Existence of Sequence Space

    The problem I had in mine was the construction of R from the completion process of Q (which of course relied on an equivalence relation imposed on Cauchy Sequences of rational numbers). But to impose an equivalence relation to form a quotient set you need the underlying set - the cauchy sequences of Q. And I knew that I could recover that set by the axiom of specification if I knew that the set of all sequences from Q existed. That's where I hit a wall. But Deveno answered that question with {f in P(NxQ) : f is a function with domain N}.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Normed sequence space
    Posted in the Differential Geometry Forum
    Replies: 6
    Last Post: April 14th 2010, 05:43 AM
  2. Sequence, Lebesgue Space
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: December 15th 2009, 10:46 AM
  3. Sequence, Lebesgue Space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: December 13th 2009, 01:53 PM
  4. Sequence in Lebesgue Space
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: December 13th 2009, 01:48 PM
  5. measure space, sequence
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: December 6th 2009, 03:06 PM

Search Tags


/mathhelpforum @mathhelpforum