Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

What is the meaning of that a function F is well-defiened ?

  1. Nov 7, 2012 #1
    what does well defiened mean ?

    how can we check that a function is well defiened ?
  2. jcsd
  3. Nov 7, 2012 #2


    User Avatar
    Science Advisor
    Homework Helper
    Gold Member
    Dearly Missed

    That a single input value yields a single output value.
  4. Nov 7, 2012 #3
    Let me give an example. Let [itex]\mathbb{Q}[/itex] be the rational numbers. Let's define the following "function":


    At the first sight, there is not really a problem. But let's look deeper. We have




    But, as we know, the numbers 1/2 and 2/4 are equal, but the numbers 2/3 and 3/5 are not equal. So the function f sends 1/2 to two different values: 2/3 and 3/5.
    However, a function is defined as sending a value in the domain to a UNIQUE value in the codomain. Here, we have sent 1/2 to two different numbers, which means that f is not a function. We usually say that ''f is not well-defined'' (I don't think the expression is really formally correct, but it is used everywhere).

    Another way a function could not be well-defined is that it send something to a value not in the codomain. For example: [itex]f(x)=\sqrt{x}[/itex] is not well-defined if the domain and codomain are both [itex]\mathbb{R}[/itex]. Indeed, [itex]\sqrt{-1}[/itex] is not in the codomain.

    So, if you are given a ''function'', you should always check if a value is being sent to a single other value, and not to multiple values. Furthermore, the value should be in the codomain. Knowing when this is a problem requires a bit of experience, but the problem arises usually in things like ''quotients''.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook