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.