Register to reply 
Behavior of a function and its inverse. 
Share this thread: 
#1
Jun112, 07:37 PM

P: 92

This is in reference to the Chapter 10. of P. R. Halmos's Naive Set Thoery, namely 'Inverses and Composites'. He speaks of two equations in that section.
1. Let f be a function from X to Y. The inverse of a set is defined as another set as follows. f[itex]^{1}[/itex](B) = {x[itex]\in[/itex]X:f(x)[itex]\in[/itex]B}. The first equation is f[itex]^{1}[/itex](YB) = Xf[itex]^{1}[/itex](B) It can be shown that the above is always true. 2. In the excercises, it is said that Y — f(A)=f(X — A) if and only if f is onetoone and onto. By f(A), he means all the elements y[itex]\in[/itex]Y such that f(x)=y for x[itex]\in[/itex]A. My question is this. Replacing f by f[itex]^{1}[/itex] and changing X to Y and Y to X gives us equation in 1. above. What is it about f[itex]^{1}[/itex] that makes 1. true all the time? I understand that by definition, f[itex]^{1}[/itex] is onto i.e there is no x in X which does not have an image in Y under f; however, f[itex]^{1}[/itex] is not really onetoone. The main problem I have is with the onetoonelessness of f[itex]^{1}[/itex]. Inspite of f[itex]^{1}[/itex] not being onetoone, it is turning out to be true while 2 requires any f to be onetoone. Now you may ask me as to why f[itex]^{1}[/itex] is not onetoone. Let B1 and B2, subsets of Y, be such that range of X under f is a subset of both B1 and B2. Also, let B1[itex]\neq[/itex]B2. But both of them map to X under f[itex]^{1}[/itex]. Please note that range of f[itex]^{1}[/itex] is defined to be a set while f, according to Halmos's convention, can operate on a set OR on elements and hence, can have a range whose elements are sets or elements. In this context, range of f is a set of sets as it is operating on sets. Strictly speaking, we are looking here at f operating on P(X) to P(Y) while f[itex]^{1}[/itex] operates on P(Y) to P(X). Kindly let me know as to why 1 is true inspite of the fact that f[itex]^{1}[/itex] is not onetoone. 


#2
Jun212, 12:26 PM

Mentor
P: 18,040

Onetoone does not really make any sense since [itex]f^{1}[/itex] is not a function. So you can't deduce (1) from (2).



#3
Jun212, 01:08 PM

P: 92

Thanks very much Micromass. The reason why I posted the above question is because Halmos defines f[itex]^{1}[/itex] as a function. The precise statement he makes is the following (copy pasted from the book).
"Given a function f from X to F, let f[itex]^{1}[/itex], the inverse of f, be the function from P(F) to P(X) such that if B[itex]\subset[/itex]F, then f[itex]^{1}[/itex](B) = {x[itex]\in[/itex]X:f(x)[itex]\in[/itex]B}. " Please note that f[itex]^{1}[/itex] is a function from P(Y) to P(X) and not from Y to X as is the case usually. I suppose he does that so that in case a subset B of Y has no subset A in X for which, f(A)=B, then by definition, the inverse map of B is equal to the empty set. If we defined f[itex]^{1}[/itex] on an element of Y, then it might not be defined for every element of Y. All I am trying to say is that according to Halmos's definition of an inverse, which he has said is a function from P(Y) to P(X), there could be multiple elements of P(Y) mapping to the empty set if the range of X under f is a proper subset of Y (as in a subset of Y but not equal to Y). Hence by construction, the inverse is not onetoone. Why then is 1. true though 2. requires every function to be onetoone for it to hold? 


#4
Jun212, 01:13 PM

Mentor
P: 18,040

Behavior of a function and its inverse.
The thing is that you have two things that you mean with f: namely a function
[tex]f:X\rightarrow Y[/tex] and an associated function [tex]f:\mathcal{P}(X)\rightarrow \mathcal{P}(Y)[/tex] But the function [tex]f^{1}:\mathcal{P}(Y)\rightarrow \mathcal{P}(X)[/tex] is not of the previous form. It is not the associated function of a function [itex]Y\rightarrow X[/itex]. So the theorem is not applicable. 


#5
Jun212, 01:37 PM

P: 92

Hi Micromass. Thanks very much for the reply. I am still not clear.
2. is true for any function from any one set to any other set. It might be defined to be from X to Y while it is also equally true when it is from P(X) to P(Y). In fact, according to Halmos's convention, everytime he says f(A), he says that it is understood that f is from P(X) to P(Y). Please note that in 2. he says f(A) and not f(x). To quote him, "If A is a subset of X, we may want to consider the set of all those elements y of Y for which there exists an x in the subset A such that f(x) = y. This subset of Y is called the image of A under f and is frequently denoted by f(A). The notation is bad but not catastrophic. What is bad about it is that if A happens to be both an element of X and a subset of X (an unlikely situation, but far from an impossible one), then the symbol f(A) is ambiguous. Does it mean the value of f at A or does it mean the set of values of f at the elements of A? Following normal mathematical custom, we shall use the bad notation, relying on context, and, on the rare occasions when it is necessary, adding verbal stipulations, to avoid confusion. Note that the image of X itself is the range of f; the "onto" character of f can be expressed by writing f(X) = Y." Since he says that f(A) is the image of A under f, it means that we are looking at f operating on P(X) to P(Y) whenever he writes f(A). According to him, these two are equivalent as long as a set A is not a subset of X as well as an element of X. Since he mentions 2. with the notation of f(A) instead of f(x), I suppose that he is trying to say f maps from P(X) to P(Y). So does f[itex]^{1}[/itex]. Even otherwise, f:P(X)→P(Y) and f:X→Y are equivalent according to him. Why then is 1. true all the time even though 2. requires the inverse to be onetoone? 


#6
Jun212, 03:46 PM

P: 800

Y — f(A)=f(X — A) if and only if f is onetoone and onto. Ok, let X = Y = A = [itex]\mathbb{R}[/itex], and f(x) = x^{2}, so f is neither 11 nor onto. Then X  A = [itex]\emptyset[/itex] so f(XA) = [itex]\emptyset[/itex]. But Y — f(A) = [itex]\mathbb{R}[/itex]  nonnegative reals = negative reals. You should see if you can come up with some more examples. Find examples that violate #2 with f 11 but not onto; and f onto but not 11. Are you looking for proofs of the statements? Or intuition? I think if it's intuition you're after, looking at a lot of examples will help. 


#7
Jun212, 07:57 PM

P: 92

Hi Steve. Thanks for your input. I guess my doubt was this.
Both 1. and 2. are true. I know the proof. It can be proved. I am only worried about the consequence of both being true. Let me summarize it step by step. a. The statements 1. and 2. are both true. b. Now I am replacing f by f[itex]^{1}[/itex] and interchanging X and Y in 2. to obtain 1. c. Since 2. is true if and only if f (now f[itex]^{1}[/itex]) is onetoone and onto, then 1. must also be true [B]if and only if[B] f[itex]^{1}[/itex] is onetoone and onto (note that f[itex]^{1}[/itex] is a function from P(Y) to P(X), P(X) meaning power set of X). d. It can however be shown that 1. is true no matter what. My question is that why is 1. true universally while 2. requires f[itex]^{1}[/itex] to be onetoone and onto? I understand that any f[itex]^{1}[/itex] is onto. But f[itex]^{1}[/itex] is not onetoone. Just consider two sets in Y which are not equal to each other, and whose elements are not in the range of f namely f(X). Then according to the definition of f[itex]^{1}[/itex] (please look at my previous postings), both these map to the empty set. Hence f[itex]^{1}[/itex] is not onetoone in general. But 1. is nevertheless universally true. How is this possible? 1. is true. 2. is also true. Also, 2. must imply 1. by making appropriate replacements (X by P(Y) and Y by P(X) and f[itex]^{1}[/itex] in place of f). But when we do that, we arrive at a contradiction. Where am I going wrong? 


#8
Jun212, 08:12 PM

P: 15

Let [tex] f:X \to Y[/tex] be any function. Define [tex]F:P(X) \to P(Y) [/tex] by [tex]F(A) = f(A) [/tex]. Note that while f(A) is merely a slight notational abuse to describe a set, F is actually a function defined on the subsets of X. F is associated to f. However, given a mapping [tex]G: P(X) \to P(Y)[/tex], there may very well fail to be a corresponding function g from X to Y in the sense that g(A) = G(A) for every subset A of X. To give an example, let's let X be a singleton set (say {x}) and let Y be a twopoint set (say {a, b}). Define the map G by G({x}) = {a,b}. No g may satisfy g(X) = Y, because it would require that g(x) = a and g(x) = b, and hence it would not be welldefined. This is exactly the situation you're getting into with your f^1. While you may define the function F^1 on the power set of Y, you may not be able to define a corresponding f^1 to push your argument through. 


#9
Jun212, 08:31 PM

P: 92

Hi UndecidedGuy. Thanks very much for the reply.
Even though I agree with you regarding the notation, please do note that both f and f[itex]^{1}[/itex] are defined on a single element. That is f(x) is an element in Y such that f maps x[itex]\in[/itex]X to y[itex]\in[/itex]Y. Similarly, f[itex]^{1}[/itex] is a map such that f[itex]^{1}[/itex](y)={x[itex]\in[/itex]X:f(x)[itex]\in[/itex]Y}. Both f and f[itex]^{1}[/itex] are defined on single elements. As you said, it is a matter of notation that he uses f(A) and f[itex]^{1}[/itex](B) on sets but fundamentally, they are defined on single elements. Image of f[itex]^{1}[/itex] operated on y[itex]\in[/itex]Y is a set unlike image of f on x[itex]\in[/itex]X which is a single element y[itex]\in[/itex]Y; however, that is immaterial. The point is that 1 and 2 must have been equivalent when f is replaced by f[itex]^{1}[/itex]. The image of f[itex]^{1}[/itex] is a set unlike that of f but then the definition can be changed to say that f[itex]^{1}[/itex] maps Y to P(X) and that must solve the problem as the image now, even though a set, is an element of P(X) and hence, satisfies all the requirements for arriving at 1. from 2. Nevertheless 1. is universally true while 2. is true if and only if f is onetoone and onto. 


#10
Jun212, 09:02 PM

P: 15

f^1 is not defined on a single element. It's not a function on Y at all, actually. This is not immaterial. It is at the heart of the matter.



#11
Jun212, 09:11 PM

P: 92

I thought it might help if you guys can look at proofs of 1. and 2. Here they are.
1. if x [itex]\in[/itex]f[itex]^{1}[/itex](Y — B), then f(x) [itex]\in[/itex] Y— B (by definition, f[itex]^{1}[/itex](B[itex]^{'}[/itex])={x[itex]\in[/itex]X:f(x)[itex]\in[/itex]B[itex]^{'}[/itex]}), so that x [itex]\notin[/itex] f[itex]^{1}[/itex](B), and therefore x[itex]\in[/itex]X — f[itex]^{1}[/itex](B); the steps are reversible. This proof is in Halmos's book and I have just copied it verbatim. 2. a. Yf(A)[itex]\subset[/itex]f(XA) if and only if f is onto. Let y[itex]\in[/itex]Yf(A). Then y[itex]\notin[/itex]f(A) and y[itex]\in[/itex]Y. Since f is onto, there is an x[itex]\in[/itex]X such that f(x)[itex]\in[/itex]Y. Since y=f(x)[itex]\notin[/itex]f(A), x[itex]\notin[/itex]A. But x[itex]\in[/itex]X exists such that y=f(x) because f is onto. Hence we can conclude that x[itex]\in[/itex]XA or in other words, y=f(x)[itex]\in[/itex]f(XA). Now let it be given that Yf(A)[itex]\subset[/itex]f(XA). Simply choose A to be the empty set. That will give us Y[itex]\subset[/itex]f(X). But f is a map from X to Y which, according to the definition, implies that f(X)[itex]\subset[/itex]Y. Hence f(X)=Y and hence, f is onto. b. f(XA)[itex]\subset[/itex]Yf(A) if and only if f is onetoone. Let f be given to be one to one. Let y[itex]\in[/itex]f(XA). Hence there is a unique x[itex]\in[/itex]XA such that f(x)=y. This x is such that x[itex]\notin[/itex]A which implies f(x)[itex]\notin[/itex]f(A). Also, there is no other x[itex]\in[/itex]X such that y=f(x) which implies Yf(A) does not contain y. Now let the statement f(XA)[itex]\subset[/itex]Yf(A) be true. Also, let f be not onetoone. Then there is a y for which, f(x1)=f(x2)=y where y[itex]\in[/itex]Y and x1[itex]\in[/itex]X and x2[itex]\in[/itex]X. Let us choose A={x1}. Then f(A)={y}. Also, x2[itex]\in[/itex]XA and hence, y=f(x2)[itex]\in[/itex]f(XA) while Yf(A) does not contain y. Hence it cannot be true that the statement be true as well as that f be not onetoone. 


#12
Jun212, 09:41 PM

P: 800

How do we know f^{1}:Y > X is defined? Given y [itex]\in[/itex] Y, how do we know that a) there is ANY x at all that satisfies f(x) = y? For that, we need f to be onto. b) even if there's some x, that it's uniquely defined? What if there's more than one x with f(x) = y? That's why we need f to be 11. So if f isn't 11 and onto, then f^{1} as a function from Y to X may not even be defined. It's true that f^{1}(y) is defined as a subset of X, as long as we agree to abuse the notation. But f may not be defined as a function from Y to X. For that, f needs to be onto (so that f^{1} exists for all y) and 11 (so that f^{1} is uniquely defined for all y). 


#13
Jun212, 09:41 PM

P: 92

I wish to make an observation here. When I replaced f by f[itex]^{1}[/itex] and interchange Y and X in 2. of my last posting, we get the following
f[itex]^{1}[/itex](YB)[itex]\subset[/itex]Xf[itex]^{1}[/itex](B) This is true in general due to the nature of f[itex]^{1}[/itex]. Specifically, there are no two elements y1 and y2 for which an x exists such that f[itex]^{1}[/itex](y1)=f[itex]^{1}[/itex](y2)[itex]\supset[/itex]{x}. This aspect of onetoone ness of f[itex]^{1}[/itex] gets imbibed into it just by the definition of a function. A function maps an element x[itex]\in[/itex]X to a unique y[itex]\in[/itex]Y. Hence f[itex]^{1}[/itex] cannot operate on two distinct elements of Y such that x[itex]\in[/itex]X is contained in the inverses of both y1 and y2. In that sense, f[itex]^{1}[/itex] is one to one. I feel that it is due to this property of f[itex]^{1}[/itex] which makes f[itex]^{1}[/itex](YB) = Xf[itex]^{1}[/itex](B) universally true even when we approach it from the equation f(XA)=Yf(A) while making appropriate changes to arrive at the inverse formula. 


#14
Jun212, 09:50 PM

P: 92

Hi Steve. Thanks very much for your input. I do agree that f[itex]^{1}[/itex] may not be defined on an element; however, that is taken care of by saying that f[itex]^{1}[/itex] is a set and not an element of X. Hence if a y[itex]\in[/itex]Y is not in the range of f, then f[itex]^{1}[/itex]({y})=∅.
This really caused a lot of problems for me as there could be two elements y1 and y2 in Y such that they both are not in range of f. Hence their inverse is ∅ and hence, inverse is not onetoone in that sense; however, during the proof, I realized that the non onetoone ness of f[itex]^{1}[/itex] on elements in Y not in the range of f does not matter. Since the equation deals with elements of Y which have an inverse, we need only look at the onetooneness of f[itex]^{1}[/itex] on such elements. Since f[itex]^{1}[/itex] is onetoone whenever we look at elements of Y which are in the range of f, we can actually arrive at 1. from 2. In the light of the above and my previous postings, please let me know if you find anything wrong about the way I am thinking. 


#15
Jun212, 10:17 PM

P: 800

But you can't do that, because the definition of a function is inherently not symmetrical. If you can follow the proofs of #1 and #2 in your original post, then I'm not sure what your question really is. You want to know why you can't just interchange f and f^{1}; and the reason is that f^{1} as you point out is always defined as a set function, but not necessarily welldefined as a function from Y to X. I guess I'm not entirely understanding your question. If you can follow the proofs of #1 and #2; and you are clear in your mind about the ambiguity of the notation; then there's not much else to say about it. Perhaps I don't fully understand your concern. 


#16
Jun212, 10:23 PM

P: 15

Stat:
Using my notation above, we can reword 1 and 2 as follows. 1. Let f be a function from X to Y. Then F^1(Y B) = X  F^1(B). 2. Let f be a function from X to y. Then F(X  A) = Y F(A) if and only if f is one to one and onto. If f is 11 and onto, there is a welldefined function f^1 from Y to X. So F = (F^1)^1. Hence you can apply 1. Suppose that f is not 11 and onto. Then there is not a welldefined f^1 from Y to X. So you may not apply 1, because it requires the existence of a function from Y to X, which you don't have. 


#17
Jun212, 10:29 PM

P: 92

Thanks Steve. I was hoping to just arrive at 1. from 2. by changing f to f[itex]^{1}[/itex]. It just cannot be done. I thought it has something to do with the fact that f[itex]^{1}[/itex] is inherently onetoone when you exclude sets in Y not in the range f while it is always onto; however, most people feel that f[itex]^{1}[/itex] being a set function is the main problem.



Register to reply 
Related Discussions  
Prove the lorentzian function describes resonant behavior  Advanced Physics Homework  2  
Chisquared inverse function and incomplete gamma function  Set Theory, Logic, Probability, Statistics  12  
Asymptotic Behavior of function  Calculus  0  
Inverse Laplace Transformation of Inverse Tan function  Calculus & Beyond Homework  1  
Mean energy behavior as a function of T.  Advanced Physics Homework  0 