Venny Venny AMy GMy | ISI MStat 2016 PSB Problem 3

This problem is a very basic and cute application of set theory, Venn diagram and AM GM inequality to solve the ISI MStat 2016 PSB Problem 3.

Problem - Venn diagram and AM GM inequality

For any two events \(A\) and \(B\), show that
$$
(\mathrm{P}(A \cap B))^{2}+\left(\mathrm{P}\left(A \cap B^{c}\right)\right)^{2}+\left(\mathrm{P}\left(A^{c} \cap B\right)\right)^{2}+\left(\mathrm{P}\left(A^{c} \cap B^{c}\right)\right)^{2} \geq \frac{1}{4}
$$

Prerequisites

Solution

Draw the Venn Diagram

venn diagram and am gm inequality problem

P(region Red) = \(Y\)

P(region Blue) = \(Z\)

P(region Grey) = \(W\)

P(region Brown) = \(X\)

Observe that \( W + X + Y + Z = 1\). \( W, X, Y, Z \geq 0\).

Now, Calculate Given Probability of Sets in terms of \( W, X, Y, Z \).

\({P}(A \cap B) = Z\).

\({P}\left(A \cap B^{c}\right) = Y\).

\({P}\left(A^{c} \cap B\right) = W\).

\( {P}\left(A^{c} \cap B^{c}\right) = X\).

The Final Inequality

\( W, X, Y, Z \geq 0\).

\( W + X + Y + Z = 1\).

Observe that \( 3(W^2 + X^2 + Y^2 + Z^2) = (W^2+X^2) + (W^2+Y^2) + (W^2+Z^2) + (X^2+Y^2) + (X^2+Z^2) + (Y^2+Z^2)\).

\( 3(W^2 + X^2 + Y^2 + Z^2) \geq 2WX + 2WY + 2WZ + 2XY + 2XZ + 2YZ \) by AM - GM Inequality.

\( \Rightarrow 4(W^2 + X^2 + Y^2 + Z^2) \geq (W + X + Y + Z)^2 = 1\).

\( \Rightarrow (W^2 + X^2 + Y^2 + Z^2) \geq \frac{1}{4} \).

Hence,

$$
(\mathrm{P}(A \cap B))^{2}+\left(\mathrm{P}\left(A \cap B^{c}\right)\right)^{2}+\left(\mathrm{P}\left(A^{c} \cap B\right)\right)^{2}+\left(\mathrm{P}\left(A^{c} \cap B^{c}\right)\right)^{2} \geq \frac{1}{4}
$$

Counting Principle - Concept with Problem | Combinatorics

Learn the concept of the Counting Principle and make algorithms to count complex things in a simpler way with the help of a beautiful problem of Combinatorics.

Concept - Counting Principle.


Often we come across such problems that involves very complex counting which are nearly impossible to do in a trivial way. To encounter this kind of complexity of counting we use some $\textbf{tricks and tools}$; one of them is to find a algorithm or a pattern.

We try to obtain result for a similar but a simpler problem and then by the algorithm achieve the final goal.

One Handy Tool - Multiplication Principle and Its Application In Set Theory

Suppose we have two sets $X=\{x_1,x_2,x_3\}$ and $Y=\{y_1,y_2\}$ ,then number of order pairs $(x_i,y_j);\text{ such that } i=1,2,3 ; j=1,2$ is equal to $3\times2=6$

That is , If a set $S_1$ has $n$ elements and the set $S_2$ has $m$ element then the set $S_1\times S_2=\{(a,b) | a \in S_1 , b \in S_2\}$ has $nm$ elements.

Face the problem Now :

Let $S=\{1,2,3,\ldots ,10\}$ Find the number of subsets $A$ of $S$ such that $x\in A, $ and $2x \in S \Rightarrow 2x \in A$

Key Concepts


Combinatorics

Counting

Set Theory

Check the Answer


Answer: $180$

Try with Hints


Understand The Problem :

What is the set $A$? Let us see some feasible options for $A$

$\{1,2,4,8\}$, $\{2,4,8\}$, $\{1,3,2,4,8,6\} \ldots \text{etc.}$Is there any pattern ?

Ok wait !!!! There is one thing that if we take $1$ in $A$ then $2,4,8$ must belongs to $A$, similarly, if we take $3 \in A$ then $6\in A$ .

Good.... we are surely getting something interesting. Do you want to give it a thought ?

Let's Take a Simpler Example :

Let us see what happens if $S$ was given as $\{1,2,3\}$ , then all possible options of $A$ would be $\{1,2\}$, $\{2\}$, $\{3\}$, $\{2,3\}$, $\phi$. i.e, $6$ such possible options.

We can notice a very interesting thing here that the elements $1,2$ are making a group because twice of $1$ is $2$ let call them elements of $1^{st}$ kind and $3$ is not related to the elements by this kind of relation, let's call it element of 2^{nd} kind.

Then we can make two collection of sets $X=\{\{1,2\},\{2\},\phi \}$ and $Y=\{\{3\},\phi\}$ [That is $X$ contains all the subsets made by the elements of $1^{st}$ kind following the rule and $\phi$, similarly $Y$ contains the sets made by the elements of $2^{nd}$ kind following the rule and $\phi$ ].

Now , Let $P$ be the set $\{X'\cup Y' | \text{where} X' \in X \text{ and } Y' \in Y \}$ . Then member of $P$ are the possible options for $A$.

Therefore, $|P|=$ number of possible subset $A$ [where $|| \to $ number of elements in a set]. By the Multiplication Principle

$|P|=|X|\times |Y|=3\times 2=6$.

Finally, we have got a pattern. But !!! it will be better to check it for one more simpler example then we can definitely apply it to solve the original problem. Can you verify it for $S=\{1,2,3,4\}$

See!! we are getting a really good result.

For $S=\{1,2,3,4\} $

The element(s) of $1^{st}$ kind is/are : $1,2,4$.

The element(s) of $2^{nd}$ kind is/are : $3$ .

Then $X$=$\{\{1,2,4\}$, $\{2,4\}$, $\{4\}$, $\phi\}$; $\quad Y$= $\{\{3\},\phi\}$ .

Then $|P|=|X|\times |Y|=4\times 2=8$.

Now, if you count the possible subsets $A$ , you will get the same result. [They are $\{1,2,4\}$, $\{2,4\}$, $\{4\}$, $\{3\}$, $\{1,2,3,4\}$, $\{2,3,4\}$, $\{3,4\}$, $\phi $]. So it works for $S$=$\{1,2,3,4\}$ .

Now you can easily apply the algorithm to the original problem.

Applying the algorithm for the original problem :

$S={1,2,3,\ldots,10}$..

Elements of $1^{st}$ kind : $1,2,4,8$.

Elements of $2^{nd}$ kind : $3,6$.

Elements of $3^{rd}$ kind : $5,10$.

Elements of $4^{th}$ kind : $7$

Elements of $5^{th}$ kind : $9$

Here $X$=$\{\{1,2,4,8\}$, $\{2,4,8\}$, $\{4,8\}$, $\{8\}$, $\phi\}$

$Y$=$\{\{3,6\}$, $\{6\}$, $\phi\}$

$Z$=$\{\{5,10\}$, $\{10\}$, $\phi\}$

$W=\{\{7\},\phi\}$

$U=\{\{9\},\phi\}$

$|P|=|X|\times|Y|\times|Z|\times|W|\times |U|$

$=5\times 3\times 3\times 2\times 2=180$ [ANS]

Brain_Teaser : Generalize the concept

What if the set $S=\{1,2,\ldots,n\}$ i.e., Find the number of subsets $A$ of $S$=$\{1,2,\ldots,n\}$ such that $x\in A, $ and $2x \in S \Rightarrow 2x \in A$



Subscribe to Cheenta at Youtube


Number counting | TOMATO ISI BStat Objective Problem 56

Try this beautiful problem Based on Number counting useful for ISI B.Stat Entrance.

Number counting| ISI B.Stat Entrance |Problem 56


In a group of 120   persons there are 70 Bengalis,35 Gujaratis and 15 Maharashtrians.Further  75 persons in the group are Muslims and the remaining are Hindus.Then the number of Bengali Muslims in the group is

  • between 10 and 14
  • between 15 and 19
  • exactly 20
  • 25 or more

Key Concepts


Number counting

Algebra

Set

Check the Answer


Answer: 25 or more

TOMATO, Problem 56

Challenges and Thrills in Pre College Mathematics

Try with Hints


Find the numbers of Hindus

Can you now finish the problem ..........

Assume that all hindus are in bangalis to find the minimum numbers of muslims persons

can you finish the problem........

Given that total number of person =120

75 persons are muslims

Therefore number of Hindus are(120-75)=45

There are 70 Bengalis and we assume that 45 hindus are in Bengalis to find the minimum number of muslims.

Therefore Bengali Muslims =(70-45)=25

Hence the number of Bengali Muslims in the group is 25 or more

Subscribe to Cheenta at Youtube


Set theory | TOMATO ISI B.stat Objective | Problem 53

Try this beautiful problem Based on Set Theory useful for ISI B.Stat Entrance.

Set Theory| ISI B.Stat Entrance | Problem 53


There were  41 candidates in an examination and each candidate was examined in algebra, geometry and calculus. It was found that 12 candidates failed in algebra, 7 failed in geometry and 8 failed in calculus , 2 in geometry  and calculus , 3 in calculus and algebra , 6 in algebra and geometry, whereas  only  1 failed in one of the three  subjects. Then, find  the number of candidates  who passed in all three subjects?

  • \(24\)
  • \(26\)
  • \(28\)

Key Concepts


SET

Algebra

Cardinal number

Check the Answer


Answer: \(24\)

TOMATO, Problem 53

Challenges and Thrills in Pre College Mathematics

Try with Hints


use set theory concept

Can you now finish the problem ..........

we assume that A ,G,C be the sets of the students who failed on algebra ,geometry and calculus respectively.

Find the complement of \(N(A \cup G \cup C)\)

can you finish the problem........

Let S be the set of total students i.e N(s) = 41

we assume that A ,G,C be the sets of the students who failed on algebra ,geometry and calculus respectively.

Therefore

N(A)=12

N(G)=7

N(C)=8

and

\(N(A \cap G \cap C)\)=1

\(N(G \cap C)\) =2 ,

\(N(C\cap A)\) =3

\(N(A\cap G)\) =6

\(N(A \cup G \cup C)\)=\(N(A) + N(G) +N(C) -N(G \cap C) -N (C \cap A) -N(C \cap A) + N(A \cap G \cap C)\)=12 + 7+8-2-6-3+1=17

Therefore complement of \(N(A \cup G \cup C)\) =41-17=24

Subscribe to Cheenta at Youtube


Cyclic Groups & Subgroups : IIT 2018 Problem 1

Understand the problem

Which one of the following is TRUE? (A) \(\Bbb Z_n\) is cyclic if and only if n is prime
(B) Every proper subgroup of \(\Bbb Z_n\)
 is cyclic
(C) Every proper subgroup of \(S_4\)
 is cyclic
(D) If every proper subgroup of a group is cyclic, then the group is cyclic.

Start with hints

Hint 1:

We will solve this question by the method of elimination. Observe that if n is prime then \(\mathbb{Z}_n\) is obviously cyclic as any of the subgroup <a> has order either 1 or n by Lagrange's theorem. Now if the order is 1 then a=id. So choose a(\(\neq\)e) \(\in \mathbb{Z}_n\) then |<a>|=n and <a> \(\subseteq\) \(\mathbb{Z}_n\) \(\Rightarrow\) <a>= \(\mathbb{Z}_n\). The problem will occur with the converse see \(\mathbb{Z}_6\) is cyclic but 6 is not prime. In general \(\mathbb{Z}_n\) = <\(\overline{1}\)> is always cyclic no matter what n is!! so option (A) is false. Can you rule out option (C)

Hint 2:

Consider option (C) every proper subgroup of \(S_4\) is cyclic. Consider { e , (12)(34) , (13)(24) , (14)(23) } = G  Observe that this is a subgroup and |G|=4. Moreover o(g)=2 \(\forall\) g(\(\neq\)e) \(\in\) G So G is not cyclic. Hence option (C) is not correct. Can you rule out option (D)?

Hint 3:

Consider \(\mathbb{Z}_2\)*\(\mathbb{Z}_2\) which is also known as Klein's 4 group then it is not cyclic but all of it's proper subgroups are {0}*\(\mathbb{Z}_2\) , \(\mathbb{Z}_2\)*{0} and {0}*{0} which are cyclic. Hence we can rule out option (D) as well.

Hint 4:

So option (B) is correct. Now let prove that H \(\leq\) \(\mathbb{Z}_n\) = {\(\overline{0}\),\(\overline{1}\),.....,\(\overline{n-1}\)}. By well ordering principle H has a minimal non zero element 'm'. Claim: H=<m> clearly <m> \(\subset\) H. For any r \(\in\) H by Euclid's algorithm we have r=km+d where 0 \(\leq\) d < m  which \(\Rightarrow\) d=r-km \(\in\) H If d \(\neq\) 0 then d<m which is a contradiction So, d=0 \(\Rightarrow\) r=km \(\Rightarrow\) H=<m> and we are done 

 

Connected Program at Cheenta

The higher mathematics program caters to advanced college and university students. It is useful for I.S.I. M.Math Entrance, GRE Math Subject Test, TIFR Ph.D. Entrance, I.I.T. JAM. The program is problem driven. We work with candidates who have a deep love for mathematics. This program is also useful for adults continuing who wish to rediscover the world of mathematics.

Similar Problems