# GATE2001-2.3

33 votes
4k views

Let $f: A \rightarrow B$ a function, and let E and F be subsets of $A$. Consider the following statements about images.

• $S1: f(E \cup F) = f(E) \cup f(F)$
• $S2: f(E \cap F)=f(E) \cap f(F)$

Which of the following is true about S1 and S2?

1. Only S1 is correct
2. Only S2 is correct
3. Both S1 and S2 are correct
4. None of S1 and S2 is correct

edited
8

Note: If f is injective (one to one) then s2 will also be correct.

## 4 Answers

62 votes

Best answer

Say $E=\{1,2\}$ and $F=\{3,4\}.$

• $f(1)=a$
• $f(2)=b$
• $f(3)=b$
• $f(4)=d$

$f(E\cup F)=f(1,2,3,4)=\{a,b,d\}$
$f(E)\cup f( F)=f(1,2)\cup f(3,4)=\{a,b\}\cup \{b,d\}=\{a,b,d\}$

Now, $E\cap F=\emptyset$
$f(E\cap F)=f(\emptyset)=\emptyset$

But, $f(E)\cap f(F)=f(1,2)\cap f(3,4)=\{a,b\}\cap \{b,d\}=\{b\}$

So, S2 is not true. S1 is always true (no counter example exists)

Correct Answer: $A$

edited
10
Well, you can never claim no counter example exists without formal proof.
0
This explanation is very good. But if you have drawn the diagrams then it would have been more easy to understand,

Still the best explanation
22 votes
Here Answer is A .

S1 is always True.

S2 is false Consider case where E & F do not intersect, i.e. Intersection is empty set. In that case , F(E) and F(F) might have some common elements.

edited
0
what is the meaning of f(E Union F) .please explain
26

$S_2$ is False: Consider the case where $f$ is constant and $A$ and $B$ are disjoint.
But if function $f$ is injective, then $S_2$ is also true.

$f \: \text{injective} \rightarrow f(A \cap B) = f(A) \cap f(B)$

http://www.blaetterundsterne.org/proofTaoAnalysisi1E3431.html
see option D of this question also- https://gateoverflow.in/2036/gate2014-3_2

0

Nice point  Sachin Mittal 1 .Thanks:-)

12

S2 is false consider an example f(x)=x2   and  A={Set of integers} B={set of integers(greater than zeros)}

Let E={3} F={-3}

f(E∩F)=f(E)∩f(F)

Taking LHS

E∩F= {3}∩{-3} =Empty

f(Empty)=Empty Set

Taking RHS

f(E)=9  f(F)=9

f(E)∩f(F) =9

Clearly LHS is not equal to RHS

16 votes

Answer is A , becouse ...

• S1:f(EF)=f(E)f(F)
• S2:f(EF)<=f(E)f(F)
For S2, Consider no common elements between E and F but some element in E mapping to an element x, and some other element in F also mapping to that x. Here, LHS will be empty set while RHS will have x in it.

reshown by
0 votes

Correct Answer (A)

$1.\ f(A_{1}\cup A_{2})=f(A_{1})\cup f(A_{2})$

$f(A_{1}\cup A_{2})=\{y\in B|y=f(x),x\in A_{1}\cup A_{2}\}=\{y\in B|y=f(x),x\in A_{1}\ or\ x\in A_{2}\}=\{y\in B|y=f(x),x\in A_{1}\}\cup \{y\in B|y=f(x),x\in A_{2}\}=f(A_{1})\cup f(A_{2}).$

$2.\ f(A_{1}\cap A_{2})\neq f(A_{1})\cap f(A_{2})$

$A=\{1,2\},B=\{3,4\}$ and $f=\{(1,3),(2,3)\}$

$A_{1}=\{1\},A_{2}=\{2\}$

$f(A_{1}\cap A_{2})=f(\phi)=\phi$ while $f(A_{1})\cap f(A_{2})=\{3\}\cap \{3\}=\{3\}$

Note :

$f(A_{1}\cap A_{2})\subseteq f(A_{1})\cap f(A_{2})$

$f(A_{1}\cap A_{2})=f(A_{1})\cap f(A_{2})$ if f is ONE-ONE

Answer:

## Related questions

2 votes
3 answers
1
704 views
Consider the function $h: N \times N \rightarrow N$ so that $h(a,b) = (2a +1)2^b - 1$, where $N=\{0,1,2,3,\dots\}$ is the set of natural numbers. Prove that the function $h$ is an injection (one-one). Prove that it is also a Surjection (onto)
4 votes
2 answers
2
677 views
Prove that powerset $(A \cap B) = \text{powerset}(A) \cap \text{powerset}(B)$ Let $sum(n) = 0 + 1 + 2 + ..... + n$ for all natural numbers n. Give an induction proof to show that the following equation is true for all natural numbers $m$ and $n$: $sum(m+n) = sum(m) + sum(n) + mn$
35 votes
8 answers
3
3k views
Consider the following statements: $S1:$ There exists infinite sets $A$, $B$, $C$ such that $A \cap (B \cup C)$ is finite. $S2:$ There exists two irrational numbers $x$ and y such that $(x+y)$ is rational. Which of the following is true about $S1$ and $S2$? Only $S1$ is correct Only $S2$ is correct Both $S1$ and $S2$ are correct None of $S1$ and $S2$ is correct
15 votes
3 answers
4
2.1k views
Consider the following relations: R1 $(a,b)$ iff $(a+b)$ is even over the set of integers R2 $(a,b)$ iff $(a+b)$ is odd over the set of integers R3 $(a,b)$ iff $a.b > 0$ over the set of non-zero rational numbers R4 $(a,b)$ ... not R1 and R3 are equivalence relations, R2 and R4 are not R1 and R4 are equivalence relations, R2 and R3 are not R1, R2, R3 and R4 all are equivalence relations