Results 1 to 2 of 2

Thread: relations

  1. #1
    Newbie
    Joined
    Apr 2008
    Posts
    5

    relations

    Looking for some help with this problem, Thanks ahead of time

    . Given the relation defined on N XN by (a, b) "<" (c, d) iff b < d.
    (a). Why is the relation well-founded?

    (b). What are the minimal elements?



    Follow Math Help Forum on Facebook and Google+

  2. #2
    Moo
    Moo is offline
    A Cute Angle Moo's Avatar
    Joined
    Mar 2008
    From
    P(I'm here)=1/3, P(I'm there)=t+1/3
    Posts
    5,618
    Thanks
    6
    Hello,

    This relation is well-founded if there doesn't exist an infinite sequence ($\displaystyle x_n$) such as $\displaystyle (a, x_{n+1})<(a, x_n)$

    Assuming that it's not well-founded, this means that there will always be $\displaystyle x \in \mathbb{N}$ such as $\displaystyle x<x_n \ , \ \forall x_n \in \mathbb{N}$

    If $\displaystyle x_n=0$, it's a nonsense since there doesn't exist such an x.

    Hence, the relation is well-founded...


    Minimal elements will be any elements such as $\displaystyle (a_m,b_m)<(c,d) \ , \ \forall c, \ d \in \mathbb{N}$

    This means that $\displaystyle a_m$ can be any element in $\displaystyle \mathbb{N}$

    $\displaystyle b_m$ has to be the element such as $\displaystyle \forall d \in \mathbb{N}$, $\displaystyle b_m<d$

    So logically, $\displaystyle b_m=0$ but I think there is a problem
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Relations and Functions - Inverse Relations Question
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: Nov 13th 2011, 12:20 PM
  2. Replies: 1
    Last Post: Sep 19th 2011, 01:09 PM
  3. [SOLVED] Relations on A
    Posted in the Discrete Math Forum
    Replies: 10
    Last Post: Nov 21st 2010, 11:25 AM
  4. Relations in a set
    Posted in the Algebra Forum
    Replies: 3
    Last Post: Sep 5th 2010, 10:03 PM
  5. relations help (3)
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Apr 18th 2010, 04:49 AM

Search Tags


/mathhelpforum @mathhelpforum