Results 1 to 3 of 3

Math Help - Simple Question

  1. #1
    Junior Member
    Mar 2008

    Simple Question

    I'm trying to write the definition of a one-one and onto functions using logical quantifiers. Is the following correct:

    Let f be a function from S to W.

    If f(s) = w then for all s' in S such that s' != s, f(s') != t.

    For all w in W, there exists at least one s in S such that f(s) = w.

    I'm pretty sure about what I've written for onto, but not about one-one. Thanks for helping me clarify these simple concepts.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Super Member Matt Westwood's Avatar
    Jul 2008
    Reading, UK
    One-one: How about:
    For all s, t in S: if s != t then f(s) != f(t).

    (not sure what yours means, what's the w and the t?)

    For all s, t in S: if f(s) = f(t) then s = t.

    Yep, that seems okay to me.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Aug 2008

    (x) mean for all x
    Ex mean there exists an x
    E!x mean there exists a unique x
    Let f:S------>W
    And :

    (f is one to one and onto) iff (w)[ wεW------>E!s( sεS & (s,w)εf)]........1

    Now go into another thread in Miscellaneous to see the meaning of unique

    Actually 1 straight away defines a function from W to S
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [SOLVED] Really simple question too hard for a simple mind
    Posted in the Statistics Forum
    Replies: 2
    Last Post: October 5th 2010, 08:03 AM
  2. Easy Question - Simple Interest, Simple Discount
    Posted in the Business Math Forum
    Replies: 0
    Last Post: September 21st 2010, 08:22 PM
  3. Replies: 4
    Last Post: May 4th 2010, 09:08 AM
  4. Simple Integral Question (I think it's simple)
    Posted in the Calculus Forum
    Replies: 7
    Last Post: February 13th 2010, 02:37 PM
  5. Replies: 1
    Last Post: May 30th 2009, 02:59 PM

Search Tags

/mathhelpforum @mathhelpforum