Is sqrt(x) a function if it includes both positive and negative solutions?

  • Thread starter Bogrune
  • Start date
In summary, the issue of whether f(x) = ±√x is a function depends on the definition of "function" and how we define the square root function. For the standard definition, it is a function, but for a broader definition, it may not be. This also applies to inverse functions of even or periodic functions, and can be extended to three-variable graphs. In the end, it all comes down to the concept of unique solutions and can have applications in various fields such as Chemistry, Physics, and Biology. The key is to pass either the vertical or horizontal line test to determine if a relation is a function or has an inverse.
  • #1
Bogrune
60
0
It's a question that has always popped up in my head. How is f(x)= ±[itex]\sqrt{x}[/itex] not a function, if both the solutions are "symmetrical?"
Does this also mean that the inverse function of even or periodic functions aren't real functions either? Futhermore, does this somehow apply to three-variable graphs as well?
 
Mathematics news on Phys.org
  • #2
Functions map objects (arguments) in a set (domain) to a unique object (values) in another set (image).

Let's try to understand it this way: the function [itex]f(x) = x^2[/itex] corresponds each real number x with its square, which is unique (i.e. each real number only has one square). However, note by symmetry, [itex]f(-2) = f(2)[/itex], and in general, [itex]f(-x) = f(x), \quad \forall x \in \mathbb{R}[/itex].

Now consider the inverse "function" [itex]f^{-1}(x)[/itex]. It corresponds each output of [itex]f[/itex] with its input, i.e. given [itex]f(x)[/itex], we need to find x. But we know that the outputs of the inverse function aren't unique: if [itex]f(x) = 4[/itex], we have either x = 2, or x = -2. These inverse outputs are not unique, thus the inverse of [itex]f[/itex] is not actually a function, by definition.

However we can restrict the image of [itex]g(x) = \sqrt{x}[/itex] to only positive numbers so that [itex]g[/itex] returns a unique (positive) number for each number in its domain.
 
  • #3
So it mainly has to do with unique solutions? Also, does it also have to do with applications, such as Chemistry, Physics and Biology?
 
  • #4
Bogrune said:
So it mainly has to do with unique solutions? Also, does it also have to do with applications, such as Chemistry, Physics and Biology?

For a function that produces one output, the easiest way is a vertical line test. In your example with your +,- if you draw a vertical line at any point for x > 0, you will get two intersections: one for the positive and one for the negative (x = 0 doesn't have this problem).

Functions only produce a unique value, which is why any vertical line test will only give one intersection.

If you want to know whether a function has an "inverse" you do a horizontal line test. For example y = x has an inverse for all x, but y = x^2 does not because y = x^2 implies x = +,- SQRT(y) which is the same kind of problem you are describing. So if you wanted something to be a function, or have an inverse it has to pass the "vertical" or "horizontal" line test.
 
  • #5
It's an multivalued functions.
 
  • #6
As usual, the answer depends upon exactly how you define things. For real functions, the definition of "function" is normally, "a relation such that the pairs (x, y) and (x, y') for [itex]y\ne y'[/itex] cannot be in the relation". If, in addition, you define the square root function to to include the pairs (x, y) as long as [itex]y^2= x[/itex], it would include, for example, both (4, 2) and (4, -2) making it NOT function.

However, I would have to say that I would interpret "sqrt(x)" as the standard definition: " [itex]y= \sqrt{x}[/itex] is the non-negative number whose square is equal to x". With that definition, we have the (x, y) pair (4, 2) but not (4, -2) and that is a function.

If we were to ask "what numbers satisfy [itex]x^2= a[/itex]?" you would answer "[itex]x= \pm \sqrt{a}[/itex]" would you not? And then my question would be "If [itex]\sqrt{a}[/itex] means both the positive and negative roots, why do you need the "[itex]\pm[/itex]"?
 

1. How is sqrt(x) not a function?

Sqrt(x) is not a function because it does not have a unique output for every input. For example, if we input x = 4, the output would be 2. However, if we input x = 16, the output would also be 2. This violates the definition of a function, which states that for every input, there can only be one corresponding output.

2. Why is sqrt(x) considered a relation instead of a function?

Since sqrt(x) does not have a unique output for every input, it is considered a relation rather than a function. A relation is a set of ordered pairs, where each input has one or more corresponding outputs. In the case of sqrt(x), for every input, there are two corresponding outputs: the positive and negative square root.

3. Can sqrt(x) be made into a function?

Yes, sqrt(x) can be made into a function if we restrict the domain to only include non-negative numbers. This means that the input can only be values greater than or equal to 0, and the corresponding output would be the positive square root. This would then satisfy the definition of a function.

4. What is the difference between sqrt(x) and x^(1/2)?

Sqrt(x) and x^(1/2) are equivalent expressions, and both represent the square root of x. However, sqrt(x) is more commonly used in mathematical notation, while x^(1/2) is often used in computer programming. Both have the same properties and can be used interchangeably.

5. Why is it important to understand that sqrt(x) is not a function?

It is important to understand that sqrt(x) is not a function because it helps us to avoid errors and misunderstandings in mathematical calculations. By recognizing that sqrt(x) is a relation and not a function, we can properly interpret its outputs and use it in appropriate contexts. Additionally, understanding the difference between a relation and a function is fundamental in higher-level mathematics and is essential for solving more complex problems.

Similar threads

Replies
12
Views
1K
  • General Math
Replies
4
Views
2K
  • Precalculus Mathematics Homework Help
Replies
12
Views
1K
Replies
5
Views
1K
  • General Math
Replies
2
Views
1K
Replies
4
Views
1K
Replies
4
Views
1K
  • Precalculus Mathematics Homework Help
Replies
3
Views
1K
Replies
3
Views
1K
Replies
10
Views
3K
Back
Top