The Practical Usages of Finding the Inverse of a Function

  • Thread starter Thread starter christian0710
  • Start date Start date
  • Tags Tags
    Function Inverse
AI Thread Summary
Finding the inverse of a function, such as f(x) = 2x + 1, involves switching x and y to derive a new equation, which can be useful for solving equations and understanding relationships between variables. While the graphs of f(x) and its inverse may appear similar, they represent different functions; the inverse function is defined by f^-1(x) = (x - 1)/2. Practical applications of inverse functions include solving exponential equations through logarithmic identities, demonstrating their significance in mathematical analysis. The discussion highlights a common misconception regarding the graphical representation of inverse functions, emphasizing that equivalent equations can yield the same graph without being true inverses. Understanding these concepts is crucial for grasping the broader implications of function inverses in mathematics.
christian0710
Messages
407
Reaction score
8
Hi, I know that the inverse function of

y= f(x) =2x+1

is

y-1=2x
x=(y-1)/2

and then we just replace x with f-1(y) and then when we plug in any value of y it gives us a corresponding x value.

Now my question is this: If we want to find a line or function that is perpendicular to another line or function, then we do the same steps to go from y=2x+1 to x=(y-1)/2 and then we switch x and y to get
y=(x-1)/2

Why is it practical to find an inverse of a function if they both have the same graph? If you ploty y=2x+1and x=(y-1)/2 you get the same graph, so what are the practical usages for finding the inverse of a function?
Is the function that is perpendicular to another function, also a kind of an inverse even thought we switch x and y?
 
Mathematics news on Phys.org
The inverse of f(x) = 2x+1 is f^-1(x) = (x-1)/2.
These are not the same function, but if you plot y = 2x+1 and x= (y-1)/2, you do get the same plot, since they are the same.
If you want to find a line that is perpendicular to linear function of the form y=mx+b, you will get y = -x/m+c. The intercept c, will determine at which point the two lines intersect.
 
christian0710 said:
Why is it practical to find an inverse of a function if they both have the same graph? If you ploty y=2x+1and x=(y-1)/2 you get the same graph
The graph of the function f defined by f(t)=2t+1 for all t, is not the same as the graph of the function g defined by g(t)=(t-1)/2 for all t. Note however that for all t, we have
\begin{align*}
&f(g(t))=2\left(\frac{t-1}{2}\right)+1=t-1+1=t,\\
&g(f(t))=\frac{(2t+1)-1}{2}=\frac{2t}{t}=t.
\end{align*}
This means that ##g=f^{-1}##.

christian0710 said:
so what are the practical usages for finding the inverse of a function?
That depends on the function. Here's a fun example: Knowing that the exponential function has an inverse function (denoted by log or ln), and knowing the basic properties of that function, allows us to prove the identity ##a^xb^x=(ab)^x## in the following way:
$$a^xb^x= e^{\log a^x} e^{\log b^x} = e^{x\log a}e^{x\log b} =e^{x\log a+x\log b} =e^{x(\log a+\log b)} =e^{x \log ab} =e^{\log(ab)^x} =(ab)^x.$$
 
Then there is one thing that troubles me and unfortunately is a big contradiction: My book, calculus the infinitesimal approach, states

"Two real functions f and g are called inverse functions if the two equations
y=f(x) and x=g(y)
have the same graphs in the (x,y) planes. (In general the graph of the equation x=g(y) is different from the graph y=g(x) but is the same as the graph of y=f(x)"

So for y=x^2 (x≥0) x=√(y) is the inverse because g(y)=√(y)=√(x^2) =x

So if you plot y=2x+1vs x=(y-1)/2 you do get the same graph, but if you plot y=2x+1 vs y=(x-1)/2 don't get the same graph, so they are NOT inverse.


RUber said:
The inverse of f(x) = 2x+1 is f^-1(x) = (x-1)/2.

Fredrik said:
The graph of the function f defined by f(t)=2t+1 for all t, is not the same as the graph of the function g defined by g(t)=(t-1)/2 for all t. Note however that for all t, we have

The contradiction: According to the book, as i understand it,

f(x) = 2x+1 and f^-1(x) = (x-1)/2)

are not inverse because f(x) and f^-1(x) = (x-1)/2) do not have the same graph. However y=f(x) = 2x+1 and g(y) = (y-1)/2) are inverse because they have the same graph and because g(y)= ((2x+1)-1)/2 = x
but if you substitute
f(x) = 2x+1=y into f^-1(x) = (x-1)/2)

you do actually get x, I'll try f^-1(f(y) = ((2x+1-1)/2= x, so it seems to be a contradiction that the definition of a inverse must have the same graphs in the (x,y) plane AND at the same time it must satisfy y=f(x) and x=g(y) while people say that f-1(x) which is a function of x (and not y) with a different graph is the inverse of y=f(x). I can't understand that :(
 
Last edited:
I'll try with an example to sort out contradictions: Notice that wikipedia (and my book) calls f(-1)(y) for the inverse and not f(-1)(x)
To eradicate confusion of notation for myself: There are the following notations and equations
x= f(-1)(y) also called g(y) or sometimes f(y)
y=f(-1)(x)If

y=f(x) = 2x+2

then

x=(y-2)/2 = f(-1)(f(x)) = f(-1)(y) = g(y) So we call (y-2)/2 for g(y) or f(-1)(y) or f(-1)(f(x)) when it's invers of y

The graph of f(x) and f(-1)(y)=g(y) are the same acording to wikipedia and acording to my book.

So y=f(y) and x=f(-1)(y) are inverse and have equal graphs.

However:

f-1(x) = (2-x)/2 (This is not g(y)=(2-y)/2)
Is ALSO called the inverse of f(x) or f-1(x) which is VERY confusing: However this graph is not the same as f(x) = 2x+2

Conclusion
f(-1)(y) = x=(y-2)/2=g(y)
is the inverse of y=2x+2 and they have same graphs.
f(-1)(x) = (2-x)/2= g(x)
is the inverse of x=2y+2 and they have same graphs
f(-1)(x) = (2-x)/2 =g(x)
and f(-1)(y) = x=(y-2)/2=g(y) are not inverse and do not have same graph.
f(x)= 2x+2 and g(x)=(2-x)/2 are not inverse because they don't have the same graphs (acording to wikipedia and calculus an infinitesimal approach)
 
Last edited:
christian0710 said:
Then there is one thing that troubles me and unfortunately is a big contradiction: My book, calculus the infinitesimal approach, states

"Two real functions f and g are called inverse functions if the two equations
y=f(x) and x=g(y)
have the same graphs in the (x,y) planes. (In general the graph of the equation x=g(y) is different from the graph y=g(x) but is the same as the graph of y=f(x)"

So for y=x^2 (x≥0) x=√(y) is the inverse because g(y)=√(y)=√(x^2) =x

So if you plot y=2x+1vs x=(y-1)/2 you do get the same graph, but if you plot y=2x+1 vs y=(x-1)/2 don't get the same graph, so they are NOT inverse.
They're not saying that f and g have the same graphs. They're saying that the sets ##\{(t,f(t))|t\in\mathbb R\}## and ##\{(g(t),t)|t\in\mathbb R\}## are the same. They're calling these sets the graphs of the equations y=f(x) and x=g(y) in the (x,y) plane. The former is the graph of f, but the latter isn't the graph of g. The graph of g is the set ##\{(t,g(t))|t\in\mathbb R\}##.

christian0710 said:
The contradiction: According to the book, as i understand it,

f(x) = 2x+1 and f^-1(x) = (x-1)/2)

are not inverse because f(x) and f^-1(x) = (x-1)/2) do not have the same graph. However y=f(x) = 2x+1 and g(y) = (y-1)/2) are inverse because they have the same graph and because g(y)= ((2x+1)-1)/2 = x
You seem to be confusing functions defined by equations with the corresponding equations. Equations don't have inverses. They do however have graphs, and two equivalent equations have the same graph. The equations y=2x+1 and x=(y-1)/2 are equivalent in the sense for all values of x and y, they're either both true or both false.

christian0710 said:
but if you substitute
f(x) = 2x+1=y into f^-1(x) = (x-1)/2)

you do actually get x, I'll try f^-1(f(y) = ((2x+1-1)/2= x, so it seems to be a contradiction that the definition of a inverse must have the same graphs in the (x,y) plane AND at the same time it must satisfy y=f(x) and x=g(y) while people say that f-1(x) which is a function of x (and not y) with a different graph is the inverse of y=f(x). I can't understand that :(
If someone is saying that ##f^{-1}(x)## (a string of text that represents a number) is the inverse of y=f(x) (a string of text that tells us something about the numbers represented by the variables inside it), they're not paying attention to what what the strings of text they're writing down actually represent. A function may have an inverse. A string of text may not.

Your calculation of ##f^{-1}(f(y))## is wrong. For all real numbers y, we have
$$f^{-1}(f(y))=\frac{f(y)-1}{2} =\frac{2y+1-1}{2}=y.$$ Note that the "for all" makes y a dummy variable. You can replace y with any other variable (including x) without changing the meaning of the statement.
 
  • Like
Likes christian0710
christian0710 said:
So y=f(y) and x=f(-1)(y) are inverse and have equal graphs.
The equations are equivalent, not inverse, and because of that their graphs are the same. The functions ##f## and ##f^{-1}## do not have the same graph.

If you want to see what the graph of ##f^{-1}## looks like, draw the graph of ##f## on a sheet of transparent plastic. Then rotate the sheet 90 degrees counterclockwise and then flip the sheet over, the way you would turn a page in a book. You are now looking at the graph of ##f^{-1}##.

I think it would be useful for you to stop thinking of f(x) as a function. f is the function. f(x) is a number in its range. The inverse of f is neither ##f^{-1}(x)## nor ##f^{-1}(y)##, it's ##f^{-1}##. Of course, when the variable that you put into the function is the target of a "for all", it makes absolutely no difference what variable you're using. The statements

For all real numbers x, we have ##f^{-1}(x)=\frac{x-1}{2}##.
and

For all real numbers y, we have ##f^{-1}(y)=\frac{y-1}{2}##.
are saying exactly the same thing.
 
  • Like
Likes christian0710
Fredrik said:
They're not saying that f and g have the same graphs. They're saying that the sets {(t,f(t))|t∈R}\{(t,f(t))|t\in\mathbb R\} and {(g(t),t)|t∈R}\{(g(t),t)|t\in\mathbb R\} are the same. They're calling these sets the graphs of the equations y=f(x) and x=g(y) in the (x,y) plane. The former is the graph of f, but the latter isn't the graph of g. The graph of g is the set {(t,g(t))|t∈R}\{(t,g(t))|t\in\mathbb R\}.

Fredering, thank you so much for responding. I've spent a long time reading your post, and I think i might understand it now, and i feel like I'm learning a lot:
So let's se if I'm on the right track.

1) Equations don't have inverses, only functions do.

2)
two equivalent equations have the same graph.
So f and g are inverse functions if and only if the
equation of f, y=f(t), has an equivalent euqation t=g(y)
meaning that the sets of the 2 equations ({(t,f(t))|t∈R}
and {(g(t),t)|t∈R} are the same. So If the equation of f has an equaivalent
equation t=g(y) then a function,g, must belong to the equation g(t)=y , and this function must
be the inverse of f.

So in our example the equation of f is y=2x+2 so the equivalent equation is found by isolating x, x=(y-2)/2=g(y) and the sets of the 2 equations
({(t,f(t))|t∈R}
and {(g(t),t)|t∈R} are equivalent. To find the equation g(t)=y for the function g, we just switch x and y, g(x)=(x-2)/2 So this function is the inverse of f.

so f(-1)=g(x) because f(g(x)) = x which is the same as saying f(f(-1)(x)) and g(f(x))= x-
3) So how do i interprete f−1(x)=(x−1)/2. and f−1(y)=(y−1)/2, do I call them inverse functions of f with respect to y, or with respect to x?
5) Is there a depper mathematical name for the process of swapping y out with x to get the inverse function?
6) Are there true equations with no possible functions?
 
Last edited:
To add onto Fredrik's last post, when you are not dealing with functions that are defined like ##f:\mathbb{R}\to\mathbb{R}## like the simple functions listed in your examples, you will need to really pay attention to the domain and range of the function.
Say, for example, ## f(x) = \sin x ## ##f: \mathbb{R} \to [-1, 1]##, so if ##f(x) = y, y \in [-1, 1]##. Your inverse function should only have the domain of ##[-1, 1]## and a range of ##\mathbb{R}##. Unfortunately, ##\sin ## is periodic, so there is no way to tell if an original x was x, x+2pi, x-2pi, or any other member of ## [x]: \{s| s = x +2k\pi, k \in \mathbb{Z}\} .## The best inverse of sine, arcsine, will return a number in ##[0, 2\pi)##.
 
  • Like
Likes christian0710
  • #10
In response to your number 3, any function defined by f(y) = 2x doesn't mean anything, since the input of the function is y and you are defining the output in terms of x, which we know nothing about.
number 5, the swapping of x and y is simply a technique used to solve for the inverse--enforcing the condition that if f(x) = y, and g(y) = x, then f and g are inverses.
 
  • #11
RUber said:
In response to your number 3, any function defined by f(y) = 2x doesn't mean anything, since the input of the function is y and you are defining the output in terms of x, which we know nothing about.
number 5, the swapping of x and y is simply a technique used to solve for the inverse--enforcing the condition that if f(x) = y, and g(y) = x, then f and g are inverses.
Thank you very much for clarifying, acutally to #3 i meant f−1(x)=(x−1)/2. and f−1(y)=(y−1)/2,, but added a x instead of y, so sory for that!
But I would think f−1(x)=(x−1)/2. and f−1(y)=(y−1)/2, are 2 very different functions? But now i think the point Frederik was making is that f−1(x)=(x−1)/2. and f−1(y)=(y−1)/2, don't mean inverse of a function like f(-1) does, but sloppy mathematicians can get away with writing it anyway?? :-)
 
  • #12
##f^{-1}(x) = (x-1)/2## is exactly the same as ##f^{-1}(y) = (y-1)/2## since the equation is simply illustrating the action of the function on its input.
The only reason a function of y would be different from a function of x would be if you were defining the domains of x and y to be different, and implicitly imposing those as the domains for the function.

The equation - function debate can be thought of this way:
a function takes an input and gives an output. It can be defined in many ways.
Many mathematical functions are defined based on an input x, and the output is expressed as a relationship to the input, i.e. f(x) = 2x.
That means for any x, the equation will be true. But the function is the doubling function. The inverse of the doubling function is the halving function, which for any x the equation g(x) = x/2 holds true.
 
  • Like
Likes christian0710
  • #13
christian0710 said:
But I would think f−1(x)=(x−1)/2. and f−1(y)=(y−1)/2, are 2 very different functions?
Two functions f and g are equal if and only if they have the same domain, and f(x)=g(x) for all x in that domain. So if we define f and g by the statements

##f(x)=\frac{x-1}{2}## for all real numbers x
and

##g(y)=\frac{y-1}{2}## for all real numbers y
we will have f=g. They will both have domain ##\mathbb R##, and for all real numbers t, we will have
$$f(t)=\frac{t-1}{2}=g(t).$$ This implies that f=g.
 
  • Like
Likes christian0710
  • #14
RUber said:
##f^{-1}(x) = (x-1)/2## is exactly the same as ##f^{-1}(y) = (y-1)/2## since the equation is simply illustrating the action of the function on its input.
The only reason a function of y would be different from a function of x would be if you were defining the domains of x and y to be different, and implicitly imposing those as the domains for the function.

The equation - function debate can be thought of this way:
a function takes an input and gives an output. It can be defined in many ways.
Many mathematical functions are defined based on an input x, and the output is expressed as a relationship to the input, i.e. f(x) = 2x.
That means for any x, the equation will be true. But the function is the doubling function. The inverse of the doubling function is the halving function, which for any x the equation g(x) = x/2 holds true.

Thank you, it makes a lot of sense: Just a question more: If i take let's say a function f with the equation y=2x+2, then solve for x --> x=(y-2)/2 then according to my book which states

"Two real functions f and g are called inverse functions if the two equations
y=f(x) and x=g(y)
have the same graphs in the (x,y) planes"

This means that y=2x+2, belongs to f with the set {(x,f(x))|x∈R}, and that x=(y-2)/2)=g(y) belongs to the set {(g(x),x)|x∈R} (This is what Frederik wrote). So my question is, Is this correct to write, if a function is called g(y)= (y-2)/2 could you say the set is {(g(x),x)|x∈R} or should you you say {(g(y),y)|x∈R}, if i know g(y)=x my logic tells me you can write both.

Wau i totally just spent a complete day trying to understand this topic, but now at least i feel smarter. ^^
 
  • #15
Fredrik said:
Two functions f and g are equal if and only if they have the same domain, and f(x)=g(x) for all x in that domain. So if we define f and g by the statements

##f(x)=\frac{x-1}{2}## for all real numbers x
and

##g(y)=\frac{y-1}{2}## for all real numbers y
we will have f=g. They will both have domain ##\mathbb R##, and for all real numbers t, we will have
$$f(t)=\frac{t-1}{2}=g(t).$$ This implies that f=g.

Thank you frederik! It's liberating to understand something!
So a last question to make sure i understand this 100% :

1) On mathisfun.com the inverse of a function f is calculated like this

f(x)=2x+3 --> x=(y-3)/2, then x is swapped with f(-1)(y) but y is not swapped with x So and so it's concluded that we have the inverse f(-1) =(y-3)/2,

This seems wrong because we agreed that in my book

Two real functions f and g are called inverse functions if the two equations
y=f(x) and x=g(y)
have the same graphs in the (x,y) planes.


So you wrote

They're saying that the sets {(t,f(t))|t∈R} and {(g(t),t)|t∈R} are the same.and the set of g the inverse is {(t,g(t))|t∈R}.

So in this example y=f(x) has a function f with the set {(t,f(t))|t∈R}
x=g(y) should have been g(y)=(y-3)/2, with the set {(g(t),t)|t∈R} and NOT the inverse?? Or am i misunderstanding it?
And when we do the swapping of x and y (which was not done on the website)
f(-1) =(x-3)/2,

Is this the correct understanding?
 
  • #16
It seems like you are getting confused about x and y. The variable doesn't matter. You can define the function as a function of x or y. What matters is that IF y = f(x), then the graph (x,y) = (x, f(x) ) should look exactly like (f^{-1}(y), y) = (x,y). This only holds true if you first define y = f(x).
The definitions of the functions themselves can use any variable you want, x, y, t, z, s, apples, elephants, etc.
 
  • #17
Fredrik said:
Two functions f and g are equal if and only if they have the same domain, and f(x)=g(x) for all x in that domain. So if we define f and g by the statements

##f(x)=\frac{x-1}{2}## for all real numbers x
and

##g(y)=\frac{y-1}{2}## for all real numbers y
we will have f=g. They will both have domain ##\mathbb R##, and for all real numbers t, we will have
$$f(t)=\frac{t-1}{2}=g(t).$$ This implies that f=g.

This is the only part i don't get: g(y)=(y-2)/2 and g(x)=(x-2)/2 are equal BUT if this is true then a function belonging to x=g(y)=(y-2)/2 would then be the same as a function belonging to g(x)=(x-2)/2 and then the graph of x=g(y) is the same as the graph of the equation for the inverse g(x)=(x-2)/2 ,
And this istrouble beacuse the graph of g(y)=x is also the same as the graph of f(x)=2x+2
 
  • #18
RUber said:
It seems like you are getting confused about x and y. The variable doesn't matter. You can define the function as a function of x or y. What matters is that IF y = f(x), then the graph (x,y) = (x, f(x) ) should look exactly like (f^{-1}(y), y) = (x,y). This only holds true if you first define y = f(x).
The definitions of the functions themselves can use any variable you want, x, y, t, z, s, apples, elephants, etc.

So If we define y=f(x) and has the set of points (x,y), then why exactly should the graph look like (f^{-1}(y), y) = (x,y)? Sory I'm a but confused about what This proves.

If I'm misunderstanding you, would you be so kind as providing a small example?
 
  • #19
christian0710 said:
This is the only part i don't get: g(y)=(y-2)/2 and g(x)=(x-2)/2 are equal BUT if this is true then a function belonging to x=g(y)=(y-2)/2 would then be the same as a function belonging to g(x)=(x-2)/2 and then the graph of x=g(y) is the same as the graph of the equation for the inverse g(x)=(x-2)/2 ,
And this istrouble beacuse the graph of g(y)=x is also the same as the graph of f(x)=2x+2
The short version of the above is that if ##x = \frac{y - 2}{2}##, you can solve for y and get 2x = y - 2, so y = 2x + 2.

The equation ##x = \frac{y - 2}{2}## is equivalent to y = 2x + 2, which means that every ordered pair (x, y) that is on one graph is also on the other.
The first equation, ##x = \frac{y - 2}{2} = g(y)##, gives x as a function (g) of y. The second equation, y = 2x + 2 = f(x), gives y as a function (f) of x. In this case, f and g are inverses of each other. You can verify that f(g(y)) = y, and that g(f(x)) = x for all choices of y and x.

For a "nice enough" equation in x and y, a function and its inverse give the relationships between x and y. By "nice enough" I mean an equation that pairs x and y values in a one-to-one relationship in both directions. That is, for each y value, there is exactly one x value that pairs with it, and for each x value there is exactly one y value that pairs with it. Functions whose graphs are straight lines represent one-to-one functions.
 
  • #20
christian0710 said:
"Two real functions f and g are called inverse functions if the two equations
y=f(x) and x=g(y)
have the same graphs in the (x,y) planes"
The graph of an equation that contains the variables x and y is the set of all pairs (x,y) that satisfy the equation. (It's conventional to put x first, but it's really nothing more than a convention). In this case we're talking about all (x,y) such that that y=f(x), and all (x,y) such that x=g(y). These sets are the same if and only if the equations are equivalent. In that case, they're both the graph of f. The graph of g is the set of all (x,y) such that y=g(x), or equivalently, the set of all (y,x) such that x=g(y).

christian0710 said:
This means that y=2x+2, belongs to f with the set {(x,f(x))|x∈R}, and that x=(y-2)/2)=g(y) belongs to the set {(g(x),x)|x∈R} (This is what Frederik wrote).
The equation is just a string of text, and doesn't belong to a subset of ##\mathbb R^2##. x and y are real numbers, so they can't be elements of such a set either.

The graph of f is by definition the set of all pairs (x,y) such that y=f(x). Since the equations y=f(x), y=2x+2, x=g(y) and x=(y-2)/2 are all equivalent, every pair (x,y) that satisfies one of these equations, satisfies them all.

The sets ##\{(x,f(x))|x\in\mathbb R\}## and ##\{(g(x),x)|x\in\mathbb R\}## are the same. Proof: Let (a,b) be a element of ##\{(x,f(x))|x\in\mathbb R\}##. We have b=f(a). This implies that a=g(b). So ##(a,b)=(g(b),b))\in \{(g(x),x)|x\in\mathbb R\}##. Let (c,d) be an element of ##\{(g(x),x)|x\in\mathbb R\}##. We have c=g(d). This implies that d=f(c). So ##(c,d)=(c,f(c))\in\{(x,f(x))|x\in\mathbb R\}##.

christian0710 said:
So my question is, Is this correct to write, if a function is called g(y)= (y-2)/2
The function would be called g, not g(y) or g(y)=(y-2)/2. But it can be defined by the equality g(y)=(y-2)/2, if this equality is interpreted as a "for all" statement, i.e. if it's interpreted as saying exactly this:

For all real numbers t, we have ##g(t)=\frac{t-2}{2}##.

christian0710 said:
could you say the set is {(g(x),x)|x∈R} or should you you say {(g(y),y)|x∈R}, if i know g(y)=x my logic tells me you can write both.
Those sets are the same. But I don't quite understand the question. You're asking about "the set". What set is that? The graph of g? It's not the set in the quote above. It's ##\{(x,y)|x\in\mathbb R,~y=g(x)\}##.

christian0710 said:
1) On mathisfun.com the inverse of a function f is calculated like this

f(x)=2x+3 --> x=(y-3)/2, then x is swapped with f(-1)(y) but y is not swapped with x So and so it's concluded that we have the inverse f(-1) =(y-3)/2,
f(x)=2x+2 doesn't imply x=(y-3)/2, because there's no y in the former. I guess you meant that y=2x+3 implies that x=(y-3)/2. If we define f by f(t)=2t+3 for all real numbers t, then we can write the first equation as y=f(x). If we define g by g(t)=(t-3)/2 for all real numbers t, we can write the second equation as x=g(y). Now you can see that f and g are each other's inverses by verifying that f(g(s))=s=g(f(s)) for all real numbers s.

The point of "swapping x and y" is only that people like to denote the input by x and the output by y. The graph of g is by definition the set ##\{(s,t)|s\in\mathbb R,~t=g(s)\}##. If we want to denote the input by x and the output by y, we can rewrite this as ##\{(x,y)|x\in\mathbb R,~y=g(x)\}##. I wouldn't think of this as swapping x and y. We're just choosing to denote the input by x and the output by y.
 
  • #21
A couple of examples.
1. ##x = \frac{y - 2}{2}## and y = 2x + 2
The ordered pairs (0, 2), (1, 4), and (2, 6) satisfy both equations, which means that each of these points is on both graphs. In fact, every ordered pair that satisfies the first equation also satisfies the second, and vice versa. By "ordered pair" I mean that the first number in the pair is the x value, and the second number is the y value.

2. ##y = x^2## and ##x = \sqrt{y}##
The first equation above is not one-to-one, since the graph contains (1, 1) and (-1, 1), (2, 4) and (-2, 4), and so on. To get around this problem, we restrict the domain to a set of numbers to make the underlying function one-to-one. One way to do this is to restrict the domain to {x | x ≥ 0}.

If ##y = x^2, \text{ and } x \ge 0## and ##x = \sqrt{y}##, now every ordered pair that satisfies the first equation, also satisfies the second, and vice versa. Som examples include (0, 0), (1, 1), (2, 4), and so on. The ordered pair (-2, 4) satisfies y = x2, but -2 is not in the restricted domain, so we don't consider this point.
 
  • Like
Likes christian0710
  • #22
christian0710 said:
This is the only part i don't get: g(y)=(y-2)/2 and g(x)=(x-2)/2 are equal
You're too careless with your statements. I think that contributes to the confusion. Here you're saying that two equalities are equal. That doesn't make sense. Maybe you meant that they're equivalent statements (because that would resemble what I said), but without the "for all", they're not statements at all. A statement is either true or false. An equality like g(x)=(x-2)/2 can be true for some values of x and false for others. That's why an equality alone isn't a statement.

The rest of that post is even more confusing.
 
  • #23
christian0710 said:
So If we define y=f(x) and has the set of points (x,y), then why exactly should the graph look like (f^{-1}(y), y) = (x,y)? Sory I'm a but confused about what This proves.

If I'm misunderstanding you, would you be so kind as providing a small example?

What I mean is that if ##y = f(x)## then, by definition, ##f^{-1}(y) = x.##
So, by simple substitution you have: ##(x,y) \equiv (x, f(x)), \equiv (f^{-1}(y), f(x))\equiv (f^{-1}(y), y )\equiv (x, y).##
The plots are the same because the points are the same...by defining y=f(x).

However, when defining the function f and its inverse, you can do so with any dummy variable, as long as the domain and range are either known or implied.
Example, if you have a function defined by the relation ##f(v) = 2v## and its inverse ## g(a) = a/2## then defining y = f(x) implies that y = 2x.
You might quickly be able to see that if y=f(x), then g(y) = g(f(x))= (2x)/2= x.
Notice that if you were to plot these functions, (x,f(x) ) would generate points like (0,0), (1,2), (2,4)... and (g(x),x) would generate points like (0,0), (1/2,1), (1,2) ...
As has already been defined, these are plotting the same line, just in different ways.
One function tells you an input in terms of the x coordinate and tells you where to plot the y-coordinate, the inverse assumes an input in the y coordinate and tells you where to plot the x coordinate.

I feel like we have been discussing this concept for a while now. I would recommend taking a few simple functions, finding their inverses and plotting them to get a feel for what they are doing. If you still aren't clear after doing that, reread this thread and let us know where you are getting hung up.
 
  • Like
Likes christian0710
  • #24
Fredrik said:
They're not saying that f and g have the same graphs. They're saying that the sets {(t,f(t))|t∈R}\{(t,f(t))|t\in\mathbb R\} and {(g(t),t)|t∈R}\{(g(t),t)|t\in\mathbb R\} are the same. They're calling these sets the graphs of the equations y=f(x) and x=g(y) in the (x,y) plane. The former is the graph of f, but the latter isn't the graph of g. The graph of g is the set {(t,g(t))|t∈R}\{(t,g(t))|t\in\mathbb R\}.

It's just the above statement that makes me believe that there a difference between x=g(y) and the inverse of f : it sounds to me like you are saying y=f(x) has the same graph as x=g(y) ( and i agree because the sets are the same) but you also mention that the function of g, has a different graph than x=g(y) and y=f(x), so it led me to think the graph of the inverse of f, must be found by swapping x and y in x=g(y) to form g(x)=(x-2)/2 and so the function of this graph is the inverse.

So in total we have a total of 3 equations. and x=g(y) is equivalent to both f(x) and g(x), but f(x) is not equivalent to g(x).

1) y=f(x) =2x +2 -----> belongs to f
2) x=g(y) = (y-2)/2 -----> is equivalent to f and the inverse of f , but this is not the inverse
3) g(x)=g(-1)=(x-2)/2. ------> Is inverse of f
 
  • #25
christian0710 said:
So in total we have a total of 3 equations. and x=g(y) is equivalent to both f(x) and g(x), but f(x) is not equivalent to g(x).
1) y=f(x) =2x +2 -----> belongs to f
2) x=g(y) = (y-2)/2 -----> is equivalent to f and the inverse of f , but this is not the inverse
3) g(x)=g(-1)=(x-2)/2. ------> Is inverse of f

1. I don't fully understand what you mean by "belongs to f".
2. g is the inverse of f, so IF y = f(x), then x = g(y), but IF y = f(x) then f(y) is not equal to f(x), it is equal to f(f(x)) = 2(2x+2)+2 = 4x+6.
3. g(x) will return y is x = f(y), since g is the inverse of f, so g(f(y))=y and g(f(x))=x.
 
  • #26
christian0710 said:
It's just the above statement that makes me believe that there a difference between x=g(y) and the inverse of f : it sounds to me like you are saying y=f(x) has the same graph as x=g(y) ( and i agree because the sets are the same) but you also mention that the function of g, has a different graph than x=g(y) and y=f(x), so it led me to think the graph of the inverse of f, must be found by swapping x and y in x=g(y) to form g(x)=(x-2)/2 and so the function of this graph is the inverse.
You don't have to use the symbols x or y at all. But if you want to denote the input by x and the output by y, then yes, you have to "swap x and y" after solving the original equation y=f(x) for x.
 
  • #27
christian0710 said:
It's just the above statement that makes me believe that there a difference between x=g(y) and the inverse of f : it sounds to me like you are saying y=f(x) has the same graph as x=g(y) ( and i agree because the sets are the same) but you also mention that the function of g, has a different graph than x=g(y) and y=f(x), so it led me to think the graph of the inverse of f, must be found by swapping x and y in x=g(y) to form g(x)=(x-2)/2 and so the function of this graph is the inverse.

So in total we have a total of 3 equations. and x=g(y) is equivalent to both f(x) and g(x), but f(x) is not equivalent to g(x).
No.
For one thing, you show only one equation. You can talk about equations or inequalities that are equivalent, but numbers are equal or unequal.
In your sentence above you are comparing ("is equivalent to") an equation (x = g(y)) to numbers (f(x) and g(x)).

For functions f and g that are inverses of each other, the equation x = g(y) is equivalent to the equation y = f(x).
christian0710 said:
1) y=f(x) =2x +2 -----> belongs to f
Part of understanding this is using the right words. "Belongs to f" should not be there.

christian0710 said:
2) x=g(y) = (y-2)/2 -----> is equivalent to f and the inverse of f , but this is not the inverse
3) g(x)=g(-1)=(x-2)/2. ------> Is inverse of f

The two functions are f and g (= f-1).
Here the formula for f is f(x) = 2x + 2. The formula for g is g(y) = ##\frac{y - 2}{2}##

We can also say that y = 2x + 2 and x = ##\frac{y - 2}{2}##. These two equations are equivalent. Same graph, same points on the graph.

The defining relationships between a function and its inverse is that f(g(y)) = y and g(f(x)) = x. In other words, a function and its inverse completely undo each other's effects.

You should convince yourself that f(g(y)) = y, and that g(f(x)) = x, using the formulas for the two functions.
 
  • Like
Likes christian0710
  • #28
Fredrik said:
You don't have to use the symbols x or y at all. But if you want to denote the input by x and the output by y, then yes, you have to "swap x and y" after solving the original equation y=f(x) for x.

This "swapping" business causes more confusion than clarity, IMHO. Beginning students often mistakenly believe that this is the essential step in finding the inverse of a function, and don't understand that the important step is to solve the equation for the independent variable.

Later on, in calculus, the swapping is done only seldom or not at all. Here's an example of what I'm talking about.
This integral represents the area bounded by the curve y = ln(x), the x-axis, and the line x = e, using vertical slices as area elements:
$$\int_{x = 1}^e ln(x) dx$$

For someone who doesn't know an antiderivative of ln(x) by heart, it's easier to use horizontal area elements. The horizontal area elements extend from the curve to the line x = 1, but we need the equation of the curve with x in terms of y, rather that y in terms of x. So instead of y = ln(x), we have x = ey, using the fact that the exponential function is the inverse of the natural log function.

The integral can then be written like so:
$$\int_{y = 0}^1 1 - e^y dy$$.

Both integrals represent the same area, and hence evaluate to the same number, but the latter is probably a lot easier for a student who is new to integration.
 
  • Like
Likes christian0710
  • #29
RUber said:
1. I don't fully understand what you mean by "belongs to f".
2. g is the inverse of f, so IF y = f(x), then x = g(y), but IF y = f(x) then f(y) is not equal to f(x), it is equal to f(f(x)) = 2(2x+2)+2 = 4x+6.
3. g(x) will return y is x = f(y), since g is the inverse of f, so g(f(y))=y and g(f(x))=x.

I just meant that f is the function with the equation y=f(x)=2x+2
Yea i understand how to solve inverses, so I fully understand that IF f(x)=5x=y then we could say h(y)=x=y/5 and the 2 equations have the same graph so therefore f and g are inverses functions, but we can't just say h(y)=f(-1)(y)=y/5 and call it the inverse of f like they did on the purplemath website, and why do i believe we can't do that?

The function h that is the inverse of f must have an equation h(x)=x/5 in order to be the inverse of f with the equation y=f(x)=5x so h(f(x))= (5x)/5 = x
Is this not true? I'll solve some problems now and thank you so much for the time and help!
 
Last edited:
  • #30
I think I'll do some problems and read everything tomorrow i do feel a bit fuzzy in my thinking by now.
 
  • #31
Fredrik said:
Two functions f and g are equal if and only if they have the same domain, and f(x)=g(x) for all x in that domain.

Not quite; the codomains must also be the same. For example f: \mathbb{R} \to \mathbb{R} : x \mapsto x is invertible, but g: \mathbb{R} \to \mathbb{C} : x \mapsto x is not.
 
  • #32
pasmith said:
Not quite; the codomains must also be the same. For example f: \mathbb{R} \to \mathbb{R} : x \mapsto x is invertible, but g: \mathbb{R} \to \mathbb{C} : x \mapsto x is not.
Some books use a definition of function that makes it necessary to include this additional requirement. But a lot of books use a definition that makes a function and its graph the same thing. This pretty much eliminates the concept of codomain (although I suppose you could call any set that contains the range a codomain).
 
  • #33
Fredrik said:
Some books use a definition of function that makes it necessary to include this additional requirement. But a lot of books use a definition that makes a function and its graph the same thing. This pretty much eliminates the concept of codomain (although I suppose you could call any set that contains the range a codomain).

The problem with that approach (which I concede is the formal "everything is defined in terms of sets" approach) is that "surjective" and hence "invertible" are not well-defined, as the example I give shows.
 
  • #34
christian0710 said:
I just meant that f is the function with the equation y=f(x)=2x+2
Yea i understand how to solve inverses, so I fully understand that IF f(x)=5x=y then we could say h(y)=x=y/5 and the 2 equations have the same graph so therefore f and g are inverses functions
f and h are inverses.
christian0710 said:
, but we can't just say h(y)=f(-1)(y)=y/5 and call it the inverse of f like they did on the purplemath website, and why do i believe we can't do that?
I don't see why you think you can't.
For the functions you defined above, h = f-1, and f = h-1.
h(y) = f-1(y) = y/5
christian0710 said:
The function h that is the inverse of f must have an equation h(x)=x/5 in order to be the inverse of f with the equation y=f(x)=5x so h(f(x))= (5x)/5 = x
Is this not true? I'll solve some problems now and thank you so much for the time and help!
 
  • #35
pasmith said:
The problem with that approach (which I concede is the formal "everything is defined in terms of sets" approach) is that "surjective" and hence "invertible" are not well-defined, as the example I give shows.
Yes, surjective becomes a meaningless concept*, and invertible becomes a synonym for injective. Still, most of the books I've come across in the past few years (set theory, functional analysis) are using this definition.

*) I suppose you could say things like "surjective onto S", but you might as well just say that the range is S.
 
  • #36
Okay let's try again

if f is a function with the equation defined for all x,
f(x)=y= 2x+1

Then

x= (y-1)/2 =g(y)

is an equivalent equation defined for all y: so x=g(y) and y=f(x) have the same graph.

This is not the same equation or graph as
g(x)=(x-1)/2 defined for all x,
Because f(g(x)) = 2(x-1)/2+1 =x we can say that g and f are inverse,If i plot f(x)=2x+1 and g(x)= (x-1)/2 then they are mirror images of the line y=x.
 
Last edited:
  • #37
christian0710 said:
Okay let's try again

if f is a function with the equation defined for all x,
f(x)=y= 2x+1

Then

x= (y-1)/2 =g(y)

is an equivalent equation defined for all y: so x=g(y) and y=f(x) have the same graph.

This is not the same equation or graph as
g(x)=(x-1)/2 defined for all x,
Because f(g(x)) = 2(x-1)/2+1 =x we can say that g and f are inverse,If i plot f(x)=2x+1 and g(x)= (x-1)/2 then they are mirror images of the line y=x.

Strictly speaking, this is incorrect: f(x)=2x+1 describes a line of slope 2 in the xy-plane. g(y)=x=(y-1)/2 is a line of slope 1/2 in the yx-plane.

So you need to define things more clearly, when you say they are the same graph. I think you may be looking for functions f with f(f(x))=x, of which f(x)=x is an example.
 
  • #38
WWGD said:
Strictly speaking, this is incorrect: f(x)=2x+1 describes a line of slope 2 in the xy-plane. g(y)=x=(y-1)/2 is a line of slope 1/2 in the yx-plane.

So you need to define things more clearly, when you say they are the same graph. I think you may be looking for functions f with f(f(x))=x, of which f(x)=x is an example.

Okay so the image i had in mind was that i would plot both functions in the xy plane, and that that g(y) takes in the outputs from f(x), and gives back the inputs that f(x) takes.. How would i discribe this more correctly then?
 
  • #39
RUber said:
However, when defining the function f and its inverse, you can do so with any dummy variable, as long as the domain and range are either known or implied.
Example, if you have a function defined by the relation f(v)=2vf(v) = 2v and its inverse g(a)=a/2 g(a) = a/2 then defining y = f(x) implies that y = 2x.
You might quickly be able to see that if y=f(x), then g(y) = g(f(x))= (2x)/2= x.
Notice that if you were to plot these functions, (x,f(x) ) would generate points like (0,0), (1,2), (2,4)... and (g(x),x) would generate points like (0,0), (1/2,1), (1,2) ...

Thank you, this helped me a a lot :)

So I'm going to define that v=f(x) so now i can say that f(-1)(v)= x and because i defined v=f(x) f^(-1)(f(x))=x

Then the set of points for f will be (x,y)=(x,f(x))=f(-1)(v),v) Okay so if fx

f(m)=22m

then it's inverse is

s(b)=b/22 Could i also write?

s(b)=f(m)/22 - do people often define y=f(x) to avoid having to write f(x) because it's easier to just write "y"? if

s(b)=b/22

and

f(m)=22m

and i define y=s(t) so not instead of b, just change the dummy variable to t. Smart :)
So if i define y=f(x) for all x, and f(x)=2x+1
and i definy x=g(y) for all y, and g(y) =(y-2)/1
Then because i defined that g only takes inputs of y, which are the outputs of y=f(x), is it then correctly asumed that g(y)=(y-2)/1 is not the same as
g(x) = (x-2)/1 if x is defined for all x, or what exactly is the correct argument that makes g(y) and g(x) different.
 
  • #40
christian0710 said:
Okay let's try again

if f is a function with the equation defined for all x,
f(x)=y= 2x+1

Then

x= (y-1)/2 =g(y)

is an equivalent equation defined for all y: so x=g(y) and y=f(x) have the same graph.
Your statements are still very hard to decode. Does the "for all x" refer to what you wrote before those words, or what you wrote after? I mean, are you saying that f is a function "with the equation defined for all x", or are you saying that for all x, we have f(x)=y=2x+1? If it's the former, I don't know what that means. My guess would be that you're saying that the domain of f is ##\mathbb R##. If it's the latter, then what is the symbol y doing in a "for all x" statement?

Here's how I would say what I think you're trying to say:

Let f be the function defined by f(t)=2t+1 for all real numbers t. Let g be the function defined by g(t)=(t-1)/2 for all real numbers t. For all real numbers x and y, if y=f(x) then x=(y-1)/2=g(y).

christian0710 said:
This is not the same equation or graph as
g(x)=(x-1)/2 defined for all x,
The statement is strangely worded, but if you're trying to say that f and g don't have the same graph, you are correct.

christian0710 said:
Because f(g(x)) = 2(x-1)/2+1 =x we can say that g and f are inverse,
f(g(x))=x for all x in the domain of g may not be enough. In general, you need f(g(x))=x for all x in the domain of g, and g(f(x))=x for all x in the domain of f.

Example: Define g by ##g(t)=\sqrt{t}## for all positive real numbers t. Define f by ##f(t)=t^2## for all real numbers t. For all x in the domain of g, we have ##f(g(x))=(\sqrt{x})^2 =x##, but g can't be the inverse of f since
$$g(f(-1))=\sqrt{(-1)^2}=\sqrt 1=1\neq -1.$$
christian0710 said:
If i plot f(x)=2x+1 and g(x)= (x-1)/2 then they are mirror images of the line y=x.
If f is such that f(x)=2x+1 for all real numbers x, and g is such that g(x)=(x-1)/2 for all real numbers x, then yes, the graphs of f and g are each other's reflections in the line y=x.

WWGD said:
Strictly speaking, this is incorrect: f(x)=2x+1 describes a line of slope 2 in the xy-plane. g(y)=x=(y-1)/2 is a line of slope 1/2 in the yx-plane.
But he didn't write g(y)=x=(y-1)/2, which would suggest that the values of x and y are still constrained by the equation y=f(x). He wrote g(x)=(x-1)/2, which suggests that it's a "for all x" statement.
 
  • #41
WWGD said:
Strictly speaking, this is incorrect: f(x)=2x+1 describes a line of slope 2 in the xy-plane. g(y)=x=(y-1)/2 is a line of slope 1/2 in the yx-plane.
We normally speak of the x-y plane, in that order, not the y-x plane. The equations y = 2x + 1 = f(x) and x = (y - 1)/2 = g(y) both have exactly the same graph in the x-y plane. Both graphs represent exactly the same line.
WWGD said:
So you need to define things more clearly, when you say they are the same graph.
I disagree. IMO, the OP was pretty clear.
WWGD said:
I think you may be looking for functions f with f(f(x))=x, of which f(x)=x is an example.
 
  • #42
Mark44 said:
We normally speak of the x-y plane, in that order, not the y-x plane. The equations y = 2x + 1 = f(x) and x = (y - 1)/2 = g(y) both have exactly the same graph in the x-y plane. Both graphs represent exactly the same line.
I disagree. IMO, the OP was pretty clear.
But when y is the independent variable and x depends on y, it seems to make more sense to talk about the y-x plane. In this respect the lines are different, in that , e.g., they have different slopes. EDIT, of course, if you have y=f(x), which has a global inerse x=f(y) , then the two are exactly the same function, "from different perspectives". Maybe this is a reasonable definition.
 
Last edited:
  • #43
Fredrik said:
Your statements are still very hard to decode. Does the "for all x" refer to what you wrote before those words, or what you wrote after? I mean, are you saying that f is a function "with the equation defined for all x", or are you saying that for all x, we have f(x)=y=2x+1? If it's the former, I don't know what that means. My guess would be that you're saying that the domain of f is R\mathbb R. If it's the latter, then what is the symbol y doing in a "for all x" statement?

Here's how I would say what I think you're trying to say:

Let f be the function defined by f(t)=2t+1 for all real numbers t. Let g be the function defined by g(t)=(t-1)/2 for all real numbers t. For all real numbers x and y, if y=f(x) then x=(y-1)/2=g(y).

Okay, I this part I was trying to write exactly what you wrote in your first post "The graph of the function f defined by f(t)=2t+1 for all t, "

So I'm guessing its mathematically incorrect to say
1. An equation is defined for all t? I guess i need to define that t∈R
2. A function is defined for all t?

What I'I'm trying to say is that the domain of the function f with the euqation f(x)= 2x+2 is x ∈ R. Then I want theese 2 equations to be different like you did in your first post: I want this g(y)=(2-y)/2 I to be different from this g(x)=(2-x)/2

I feel discouraged by my lack of mathematical jargon, so I think I'll go back to reading the book and solving problems, I think It's better i pick up a book on mathematical language some time to save time and further misunderstanding.
 
  • #44
Fredrik said:
Let f be the function defined by f(t)=2t+1 for all real numbers t. Let g be the function defined by g(t)=(t-1)/2 for all real numbers t. For all real numbers x and y, if y=f(x) then x=(y-1)/2=g(y).
Yes This makes sense,

So my analisis of what you did
1. You define a function f by the equation f(t))2t+1 by all real numbers t, then you define a second function g by the equation g/(t)=(t-1)/2 for all real numbers t.

2. Now you say y=f(x) so you set a variable y equal to f(x) that depends on x. .
3. Why don't you have to define what x is? Like x ∈R
4 Now could also call it f(u) it does not matter right`?, if you call it f(u) then y=f(u)=2u+2. so if this is true that y=2u+1 then u=g(y) so g(y)=(y-1)/2 =u

So now we have y=f(u) and u=g(y) so now in the xy plane theese 2 graphs are the same, because y=f(u) is the output value of the function f, and this output value is the input value of the function g.

So what argument would you use to turrn g with the equation g(y)=u into the inverse function of f that is reflected as a mirror in the line y=x in the yx plane?

My confusion is this: If f is defined by g(t)=2t+1 for all real numbers of t and the function g is defined by g(t)=(t-1)/2 for all real numbers of t, then g and f are inverses (I agree) but if y=f(u) and u=g(y), then f and g are still inverse, but the graphs are equivalent.
 
Last edited:
  • #45
christian0710 said:
So I'm guessing its mathematically incorrect to say
1. An equation is defined for all t? I guess i need to define that t∈R
I wouldn't say that an equation like y=2x+1 is "defined for all x". I might say that the variables x and y represent real numbers, and that the values of these variables are constrained by the equation y=2x+1. But I'm more likely to say that x and y are real numbers such that y=2x+1.

However, that's not what I was concerned about. When I said that "if it's the former, I don't know what that means" I was referring to the part of the sentence that said "f is a function with the equation defined for all x". This doesn't make sense since you hadn't yet specified the equation. When I said that "if it's the latter, then what is the symbol y doing in a 'for all x' statement", the concern was that "for all x, y=2x+1" is a false statement regardless of the value of y. For example, it's not the case that all real numbers x are such that 2x+1=3.

I think it would have helped if you had just split the sentence in two.

christian0710 said:
2. A function is defined for all t?
That's OK, if the scope of the "for all" is clear from the context (in this thread, it's clear that the scope is ##\mathbb R## unless we say otherwise). However, I think the following options are better.

1. The domain of f is ##\mathbb R##.
2. f is defined for all real numbers.
3. f(t) is defined for all real numbers t.

christian0710 said:
I feel discouraged by my lack of mathematical jargon, so I think I'll go back to reading the book and solving problems, I think It's better i pick up a book on mathematical language some time to save time and further misunderstanding.
I realize that this is frustrating, but one good way to learn this is to just try to express yourself as clearly as possible, and allow other people to point out the things that aren't clear. Another thing you can do is to study proofs. When you've studied a proof in a book, try to prove the theorem for yourself without looking at the book. Then go through your proof several times to see if there's room for improvement. (You'll be surprised to see how many improvements there are to make). Put it aside for at least half an hour, and then see if you still think that what you've written is easy to follow.

I don't know if there's a book that explains how to write like a mathematician. But there are some books like "Book of proof" by Richard Hammack, that are meant to teach students how to prove things. Such a book could be useful.
 
  • Like
Likes christian0710
  • #46
Sory I just realized i was editing this post as you were online. Here is my analysis of what you wrote. I think this is as clear as i can get :)

So my analisis of what you did
1. You define a function f by the equation f(t))2t+1 by all real numbers t, then you define a second function g by the equation g/(t)=(t-1)/2 for all real numbers t.

2. Now you say y=f(x) so you set a variable y equal to f(x) that depends on x. .
3. Why don't you have to define what x is? Like x ∈R
4 Now could also call it f(u) it does not matter right`?, if you call it f(u) then y=f(u)=2u+2. so if this is true that y=2u+1 then u=g(y) so g(y)=(y-1)/2 =u

So now we have y=f(u) and u=g(y) so now in the xy plane theese 2 graphs are the same, because y=f(u) is the output value of the function f, and this output value is the input value of the function g.

So what argument would you use to turrn g with the equation g(y)=u into the inverse function of f that is reflected as a mirror in the line y=x in the yx plane?

My confusion is this: If f is defined by g(t)=2t+1 for all real numbers of t and the function g is defined by g(t)=(t-1)/2 for all real numbers of t, then g and f are inverses (I agree) but if y=f(u) and u=g(y), then f and g are still inverse, but the graphs are equivalent.
 
  • #47
Fredrik said:
That's OK, if the scope of the "for all" is clear from the context (in this thread, it's clear that the scope is R\mathbb R unless we say otherwise). However, I think the following options are better.

1. The domain of f is R\mathbb R.
2. f is defined for all real numbers.
3. f(t) is defined for all real numbers t.
Okay, let's see if i somewhat got this right:
First 3 correct ways to define a function which all state the same.

1. The domain of f is R
2. f is defined for all real numbers
3. f(t) is defined for all real numbers t

But wit a second!
If i can say f(t) is defined for all real numbers t, then what does this mean? I'm clearly not saying that the function f is defined for all real numbers? 2."for all x, y=2x+1" makes no sense, becuase if y=2 then x is not all real numbers, then x must be 1/2. So instead i should say "for all x and all corresponding values of y beloning to R "?
Or maybe just say "the function f defined by f(x)=2x+1 for all real numbers x?

3. There is a difference between writing f(x)=2x and y=2x if you have not defined y=f(x).

4. If i define "f is a function with the equation f(x)=2x for all real numbers of x" is this correct? If not, then what is corrct?

5. If f is a function defined by f(x)=2x for all real numbers x and g is a function defined by g(x)=2x for all real numbers x, then the 2 functions are inverse. BUT if i define u=f(t) then g(u)=t Right? And then the euqations are equivalent, because g(u)=t, takes the output of f and spits out the input of f, right?

6. is the function of g defined by the equation g(x)=(x-1)/2 for all real numbers x belonging to the doman R, the same as function as the function for the the equation u=g(y) in the above sample where y=f(u) ?

Fredrik said:
. But there are some books like "Book of proof" by Richard Hammack

Thank you, and thak you for your patience, I'll get that book, I think I will need it if i have to pose further questions in this forum to save myself and other people time.
 
  • #48
christian0710 said:
So my analisis of what you did
1. You define a function f by the equation f(t))2t+1 by all real numbers t, then you define a second function g by the equation g/(t)=(t-1)/2 for all real numbers t.

2. Now you say y=f(x) so you set a variable y equal to f(x) that depends on x. .
3. Why don't you have to define what x is? Like x ∈R
For a sentence that contains a variable to be a statement, i.e. something that's either true or false, one of the following must be true:

1. The variable has previously been assigned a value. (In other words, we have specified what the symbol represents).
2. The variable is the target of a "for all".
3. The variable is the target of a "there exists".

I used option 2. The statement was "for all real numbers x and y, if y=f(x) then g(y)=x". So I was saying that the implication
$$y=f(x)\ \Rightarrow\ g(y)=x$$ holds regardless of what real numbers the symbols x and y represent at the moment.

christian0710 said:
4 Now could also call it f(u) it does not matter right`?, if you call it f(u) then y=f(u)=2u+2. so if this is true that y=2u+1 then u=g(y) so g(y)=(y-1)/2 =u
Right. A variable that's the target of a "for all" can be replaced with any other variable; this doesn't change the meaning of the statement. So I could have said e.g. "for all real numbers u and x, if y=f(u) then g(y)=u". I could also have used the symbol u in the definition of f, like this: "Let f be the function such that f(u)=2u+1 for all real numbers u".

christian0710 said:
So now we have y=f(u) and u=g(y) so now in the xy plane theese 2 graphs are the same, because y=f(u) is the output value of the function f, and this output value is the input value of the function g.

So what argument would you use to turrn g with the equation g(y)=u into the inverse function of f that is reflected as a mirror in the line y=x in the yx plane?

My confusion is this: If f is defined by g(t)=2t+1 for all real numbers of t and the function g is defined by g(t)=(t-1)/2 for all real numbers of t, then g and f are inverses (I agree) but if y=f(u) and u=g(y), then f and g are still inverse, but the graphs are equivalent.
What argument would I use to turn g into the inverse function of f? It doesn't need to be turned into the inverse, because the definition ensures that it is the inverse. To prove that, it's sufficient to prove that f(g(t))=t for all t in the domain of g, and g(f(t))=t for all t in the domain of f.

If we just replaced the symbol x with u in some "for all x" statements, then the meaning of the statements are still the same. So I'm not sure I understand what it is about the use of u instead of x that confuses you. I think a lot of what you've been confused about in this thread comes from the following: There's no ambiguity about what's meant by the graph of a function, but there is some ambiguity about what's meant by the graph of an equation. For example, you can associate at least two different sets with the equation y=2x+1: ##\{(x,y)\in\mathbb R^2|y=2x+1\}## and ##\{(y,x)\in\mathbb R^2|y=2x+1\}##. When someone speaks of "the" graph of the equation y=2x+1, they always mean the former, because it's conventional to let x be the first component of the pair.

I guess your book would call ##\{(x,y)\in\mathbb R^2|y=2x+1\}## the graph of the equation in the xy-plane, and ##\{(y,x)\in\mathbb R^2|y=2x+1\}## the graph of the equation in the yx-plane. I wouldn't use this terminology, because it suggests that the xy-plane and the yx-plane are different sets, when they're in fact both the set ##\mathbb R^2##.

If you want to avoid the ambiguity, you can simply stop talking about graphs of equations. You can still say things like this: The set ##\{(x,y)\in\mathbb R^2|y=2x+1\}## is the graph of a function, and we denote this function by f. The set ##\{(y,x)\in\mathbb R^2|y=2x+1\}## is the graph of ##f^{-1}##.

christian0710 said:
Okay, let's see if i somewhat got this right:
First 3 correct ways to define a function which all state the same.

1. The domain of f is R
2. f is defined for all real numbers
3. f(t) is defined for all real numbers t

But wit a second!
If i can say f(t) is defined for all real numbers t, then what does this mean? I'm clearly not saying that the function f is defined for all real numbers?
Statement 3 means that the string of text "f(t)" has been assigned a value (i.e. we have specified what number it represents) for each real number t. To define a function f is to specify the domain of f, and to specify what f(t) is for all t in the domain. That means that to say that f(t) is defined for all t in ##\mathbb R##, is to say f has been defined and that is domain is a set that has ##\mathbb R## as a subset.

So 3 and 1 aren't saying exactly the same thing (oops, that was unintentional). 3 is saying that the domain of f is a set that contains ##\mathbb R##.

christian0710 said:
2."for all x, y=2x+1" makes no sense, becuase if y=2 then x is not all real numbers, then x must be 1/2. So instead i should say "for all x and all corresponding values of y beloning to R "?
You want the "for all" part of the statement to specify exactly what values of x and y are allowed in the statement that comes next, but you're letting the statement that comes next specify what the allowed values of y are. The statement I suggested doesn't have that problem: "for all real numbers x and y, if y=f(x), then g(y)=x".

christian0710 said:
3. There is a difference between writing f(x)=2x and y=2x if you have not defined y=f(x).
Yes. It's kind of hard to explain what that difference is. I'd say that to interpret f(x)=2x as the definition of a function, you only have to think of an appropriate "for all" statement (for each real number x, we define f(x)=2x). But to interpret y=2x as the definition of a function, you have to think of it as a statement about the variables themselves, rather than as a statement about real numbers. The string of text "y=2x" specifies which assignments of values to x and y are allowed. It does so in a way that ensures that the value of y can be computed from the value of x, and that the value of x can be computed from the value of y. That means that it indirectly defines two functions, one of which is the inverse of the other.

christian0710 said:
4. If i define "f is a function with the equation f(x)=2x for all real numbers of x" is this correct? If not, then what is corrct?
It's OK. The "of" shouldn't be there, but that's probably just something you missed in editing. I would however prefer to say that "f is a function such that f(x)=2x for all real numbers x", or "f is the function defined by f(x)=2x for all real numbers x". (Note that these statements don't say exactly the same thing. The former allows the domain of f to be a larger set that has ##\mathbb R## as a subset).

You could also say that "f is the function with domain ##\mathbb R## defined by the equation y=2x", but this is a little bit ambiguous, as discussed above.

christian0710 said:
5. If f is a function defined by f(x)=2x for all real numbers x and g is a function defined by g(x)=2x for all real numbers x, then the 2 functions are inverse. BUT if i define u=f(t) then g(u)=t Right? And then the euqations are equivalent, because g(u)=t, takes the output of f and spits out the input of f, right?
Yes.

christian0710 said:
6. is the function of g defined by the equation g(x)=(x-1)/2 for all real numbers x belonging to the doman R, the same as function as the function for the the equation u=g(y) in the above sample where y=f(u) ?
This is a good example of how a seemingly insignificant detail can completely change the meaning of the statement. Presumably, you meant "for all ##x\in\mathbb R##", but the "belonging to" changes the sentence so that it says that the function g is a real number. :smile:

You seem to be asking if the function g defined by g(x)=(x-1)/2 for all real numbers x, is equal to the function that's indirectly defined by the equation u=g(y), where y=f(u). I don't see how the "where" fits into this, because if we use y=f(u), the equation that's supposed to define a function becomes u=g(f(u)), which doesn't define a function in any obvious way. I think you probably meant to ask about the function indirectly defined by the equation u=(y-1)/2. As I said earlier in this post, an equation that has a unique solution defines two functions. In this case, one of them is g. The other is f.

Since you wrote u=(y-1)/2 instead of the equivalent y=2u+1, I would guess that the function you have in mind is the one whose graph is ##\{(y,u)|y\in\mathbb R, ~u=(y-1)/2\}##. That function is equal to g.
 
Last edited:
  • Like
Likes christian0710
  • #49
christian0710 said:
Okay, let's see if i somewhat got this right:
First 3 correct ways to define a function which all state the same.

1. The domain of f is R
2. f is defined for all real numbers
3. f(t) is defined for all real numbers t

But wit a second!
If i can say f(t) is defined for all real numbers t, then what does this mean? I'm clearly not saying that the function f is defined for all real numbers? 2."for all x, y=2x+1" makes no sense, becuase if y=2 then x is not all real numbers, then x must be 1/2. So instead i should say "for all x and all corresponding values of y beloning to R "?
Or maybe just say "the function f defined by f(x)=2x+1 for all real numbers x?

3. There is a difference between writing f(x)=2x and y=2x if you have not defined y=f(x).

4. If i define "f is a function with the equation f(x)=2x for all real numbers of x" is this correct? If not, then what is corrct?

5. If f is a function defined by f(x)=2x for all real numbers x and g is a function defined by g(x)=2x for all real numbers x, then the 2 functions are inverse. BUT if i define u=f(t) then g(u)=t Right? And then the euqations are equivalent, because g(u)=t, takes the output of f and spits out the input of f, right?

6. is the function of g defined by the equation g(x)=(x-1)/2 for all real numbers x belonging to the doman R, the same as function as the function for the the equation u=g(y) in the above sample where y=f(u) ?
Thank you, and thak you for your patience, I'll get that book, I think I will need it if i have to pose further questions in this forum to save myself and other people time.

My advice would be to stop thinking like this! You're taking relatively simple aspects of maths and twisting and turning them round until you've lost the meaning in all the convolutions. It seems to me that there is analysis that leads to clarity and simplification and analysis that leads to confusion and complexity, and you are indulging in the latter.

If you over-analyse anything for long enough, you lose the meaning. Check out "semantic satiation":

https://en.wikipedia.org/wiki/Semantic_satiation
 
  • #50
Mark44 said:
We normally speak of the x-y plane, in that order, not the y-x plane. The equations y = 2x + 1 = f(x) and x = (y - 1)/2 = g(y) both have exactly the same graph in the x-y plane. Both graphs represent exactly the same line.
I disagree. IMO, the OP was pretty clear.
But if you consider a function to be defined as a collection of pairs, then we get ##f##={## (x,y):y=f(x)##}, and ##f^{-1}##={##(y,x): y=f(x)##} This shows that when plotted, both on the xy-axis, they will have the same graph, but, if you accept this definition of function, they are not the same function.
 
Back
Top