Results 1 to 8 of 8

Math Help - does the infimum of a finite, partially-ordered subset of R^2 ever not exist?

  1. #1
    wil
    wil is offline
    Junior Member wil's Avatar
    Joined
    Apr 2005
    From
    Portland, OR
    Posts
    25

    does the infimum of a finite, partially-ordered subset of R^2 ever not exist?

    I'm helping a friend with his homework, and the following problem is really giving us both trouble.

    Consider the subset B of \mathbb{R}^{2} given by B=\left[\left([0,1]\times[0,3]\right)\cup\left([0,2]\times[0,2]\right)\cup\left([0,3]\times[0,1]\right)\right]\backslash\left\{\left(2,1\right)\right\}. Give B the partial order \le' defined by (a,b)\le'(c,d) if and only if a\le c and b\le d, where \le is the usual order on \mathbb{R}.

    I'm good so far, but this is the part that has me stumped:

    Find a set in B which has no infimum.

    It seems to me that any finite subset of B would have an infimum.

    (It should be noted that the book that this problem came from is well known for its typos and wrong answers in the student solutions section.)
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by wil View Post
    I'm helping a friend with his homework, and the following problem is really giving us both trouble.
    Consider the subset B of \mathbb{R}^{2} given by B=\left[\left([0,1]\times[0,3]\right)\cup\left([0,2]\times[0,2]\right)\cup\left([0,3]\times[0,1]\right)\right]\backslash\left\{\left(2,1\right)\right\}. Give B the partial order \le' defined by (a,b)\le'(c,d) if and only if a\le c and b\le d, where \le is the usual order on \mathbb{R}.
    I'm good so far, but this is the part that has me stumped:
    Find a set in B which has no infimum.
    It seems to me that any finite subset of B would have an infimum.

    (It should be noted that the book that this problem came from is well known for its typos and wrong answers in the student solutions section.)
    .
    Last edited by tonio; February 24th 2010 at 09:00 PM. Reason: Correction
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by wil View Post
    I'm helping a friend with his homework, and the following problem is really giving us both trouble.

    Consider the subset B of \mathbb{R}^{2} given by B=\left[\left([0,1]\times[0,3]\right)\cup\left([0,2]\times[0,2]\right)\cup\left([0,3]\times[0,1]\right)\right]\backslash\left\{\left(2,1\right)\right\}. Give B the partial order \le' defined by (a,b)\le'(c,d) if and only if a\le c and b\le d, where \le is the usual order on \mathbb{R}.

    I'm good so far, but this is the part that has me stumped:

    Find a set in B which has no infimum.

    It seems to me that any finite subset of B would have an infimum.

    (It should be noted that the book that this problem came from is well known for its typos and wrong answers in the student solutions section.)
    Has an infimum in what sense? That the infimum exists in B?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    wil
    wil is offline
    Junior Member wil's Avatar
    Joined
    Apr 2005
    From
    Portland, OR
    Posts
    25
    Quote Originally Posted by Drexel28 View Post
    Has an infimum in what sense? That the infimum exists in B?
    You have a point there. (Hah! Get it? Point?) I guess if the problem is asking for a set that doesn't have an infimum in B, then [2,3]\times \{1\} would work.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by wil View Post
    You have a point there. (Hah! Get it? Point?) I guess if the problem is asking for a set that doesn't have an infimum in B, then [2,3]\times \{1\} would work.
    I agree
    Follow Math Help Forum on Facebook and Google+

  6. #6
    wil
    wil is offline
    Junior Member wil's Avatar
    Joined
    Apr 2005
    From
    Portland, OR
    Posts
    25
    I'm thinking it might just be a question that could be worded more clearly. I'm pretty certain that every subset of B has an infimum in \mathbb{R}^2.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by wil View Post
    I'm thinking it might just be a question that could be worded more clearly. I'm pretty certain that every subset of B has an infimum in \mathbb{R}^2.
    I guess what you're saying, and I need to think about it more is that does the LUB property of \mathbb{R} transfer to \mathbb{R}^2 under the dictionary ordering.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Thanks
    2
    Quote Originally Posted by Drexel28 View Post
    I guess what you're saying, and I need to think about it more is that does the LUB property of \mathbb{R} transfer to \mathbb{R}^2 under the dictionary ordering.


    This is the reason why I erased my first post: according to definition, if S\subset P and P is a part. ordered set , then an (in fact, THE) infimum of set is an element z\in P (pay attention: in P!) s.t. the usual is fulfilled (as l.u.b. in the reals, say).

    My guess is that the point (2,1) that was taken out has something important to do here.

    Tonio
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Q's on Partially Ordered Set
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: September 5th 2011, 02:17 AM
  2. Question about partially ordered sets
    Posted in the Discrete Math Forum
    Replies: 9
    Last Post: April 6th 2011, 01:54 PM
  3. Partially ordered set with no maximal element
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: March 9th 2010, 01:37 AM
  4. Partially Ordered Set, example from Wiki.
    Posted in the Discrete Math Forum
    Replies: 7
    Last Post: January 18th 2010, 08:58 PM
  5. Partially ordered set.
    Posted in the Discrete Math Forum
    Replies: 13
    Last Post: January 10th 2010, 09:42 AM

Search Tags


/mathhelpforum @mathhelpforum