Intuitively, a function is even if its graph is symmetric with respect to the -axis (Imagine putting a mirror on the -axis, the left side is the reflection of the right side). See the cover image for some examples of even functions. On the other hand, a function is odd if its graph is symmetric with respect to the origin.
In terms of symbols, the condition that a function is even can be expressed as
A function is odd if
A function |
We will use (defined for all real numbers) as an example.
For a function to be considered for evenness or oddness, we require that its domain of definition (where the function is defined) is symmetric around the origin.
For instance, it does not make sense to ask whether is an odd function or not, because it is only defined on the set of non-negative numbers .
For our example , we have
If holds for all in the domain of definition, then the function is even.
If holds for all in the domain of definition, then the function is odd.
For our example , we computed , so we know that it is odd.
If neither is true, then the function is neither even nor odd. For instance is neither even nor odd, because and , so for , neither of the above conditions holds.
It is in fact possible for a function to be both odd and even. However, this is possible only when a function has a domain of definition that is symmetric around the origin and is constantly equal to whenever defined. Because being even means , and being odd means , and these two relations tell us , which implies .
Consider which is defined for .
We compute . So this function is odd, although it is not obvious from the way we write it.
If you multiply two even or two odd functions together, you would get an even function. For example, and are both even, so is also even.
If you multiply an odd function and an even function together, you get an odd function. For instance, is odd and is even, so is odd.
If a function is obtained by composing a number of even or odd function, the result is even unless all of them are odd. For instance, is odd, and so is , so both and are odd. However, and are even, because is even and is odd.
An odd function which has a definition at must pass through the origin, because by putting in the condition for odd function, we get , so .
As a consequence, if we know is not , we can say with certainty that the function is not odd.
Comments (0)