" alt="\Rightarrow\" /> . Suppose is injective. Then:
(i) is always true (being injective or not).
Try someting for " alt="\Leftarrow\" />
I have no idea where to even start on this proof. Any help would be greatly appreciated I think one of the problems I am having is that I don't quite understand the concept of an image. I know that, to show it is injective, I will have to show that h(x) = h(y) but I don't know how to start...
(I apologize if this is difficult to read)
Let h: X --> Y be a function. Show that h is injective iff im(h)(A intersect B) = im(h)(A) intersect im(h)(B) for all A,B subsets of X.
**** im(h)(A) means the image of h.... written as an h with a sub-star. Not sure if the notation I typed is correct.
You should start by reviewing the definition of injectivity. A function h is called injective if for every x and y from the domain, h(x) = h(y) implies x = y. So you don't show that h(x) = h(y); you assume it. You should also review examples and proofs involving injectivity from your textbook or lecture notes to develop some intuition about it.I know that, to show it is injective, I will have to show that h(x) = h(y) but I don't know how to start...
It may be helpful to visualize the situation by looking at the graph of h. Consider, for example, h(x) = sin(x) on . Let and . Then , but h[A] = h[B] = [0, 1], so . (I'll write h[A] for im(h)(A).) In fact, holds for every function, not necessarily injective. The converse inclusion does not hold here because h is very non-injective: for every . If , as it is here, the requirement that means that h assumes different values on non-overlapping segments A and B. This is basically injectivity: mapping distinct arguments into distinct results.
Formally, one has to prove both directions of iff: if h is injective, then for all A, B and vice versa. For the forward direction, assume that h is injective and fix some A and B. The equality of and is also proved in a standard way by showing and . For each inclusion, you assume that some y is in the smaller set and show that it is in a bigger one.
Fernando showed a hint for the forward direction. ( in (i) should be understood as nonstrict inclusion.)