in Combinatory edited by
11,448 views
28 votes
28 votes

Let $U = \{1, 2, \dots , n\}$ Let $A=\{(x, X) \mid  x \in X, X \subseteq U \}$. Consider the following two statements on $\mid A \mid$.

  1. $\mid A \mid = n2^{n-1}$
  2. $\mid A \mid = \Sigma_{k=1}^{n} k \begin{pmatrix} n \\ k \end{pmatrix}$

Which of the above statements is/are TRUE?

  1. Only I
  2. Only II
  3. Both I and II
  4. Neither I nor II
in Combinatory edited by
by
11.4k views

4 Comments

This is one of the exercise problem of Kenneth Rosen.
2
2
Does phi belong to phi?

If phi belongs to phi, then the case of (x, X) can also be (phi, phi). This case will missed in the count of given options. Right?
1
1
edited by

$\color{red}{\text{Detailed Video Solution:}}$ Combinatorial STORY for GATE CSE 2019 Question (Click HERE)

After watching above lecture, Watch This: https://youtu.be/HcLsvVbQnrc?t=634  

4
4

4 Answers

41 votes
41 votes
Best answer

Option C: Both are correct.

$\displaystyle | \{X \mid X \subset U\}  | = \begin{pmatrix} n \\ 0 \end{pmatrix} + \begin{pmatrix} n \\ 1 \end{pmatrix} + \begin{pmatrix} n \\ 2 \end{pmatrix} + \cdots + \begin{pmatrix} n \\ n \end{pmatrix} = 2^n$

Now $x$ can be any element of the individual subset $X$.

So $\mid A \mid  = \begin{pmatrix} n \\ 0 \end{pmatrix}  \times 0 + \begin{pmatrix} n \\ 1 \end{pmatrix} \times 1 + \begin{pmatrix} n \\ 2 \end{pmatrix} \times 2 + \cdots + \begin{pmatrix} n \\ n \end{pmatrix} \times n = n \cdot 2^{n-1}$

Note here that for the case when our chosen subset is empty $(X = \emptyset)$, we don't have any member $x \in X$, and hence the term $\begin{pmatrix} n \\ 0 \end{pmatrix} \times 0$ is correct.


Proof that $\bf{\sum_{k=1}^n k \times \begin{pmatrix} n \\ k \end{pmatrix} = n \cdot 2^{n-1}}$

We have the Binomial Expansion:

$(1+x)^n = \begin{pmatrix} n \\ 0 \end{pmatrix} x^0 + \begin{pmatrix} n \\ 1 \end{pmatrix} x^1 + \begin{pmatrix} n \\ 2 \end{pmatrix} x^2 + \cdots + \begin{pmatrix} n \\ n \end{pmatrix} x^n$

Differentiating both sides w.r.t $x$, we get,

$n (1+x)^{n-1} = \begin{pmatrix} n \\ 1 \end{pmatrix} + 2 \times \begin{pmatrix} n \\ 2 \end{pmatrix} x + \cdots + n \times \begin{pmatrix} n \\ n \end{pmatrix} x^{n-1}$

Put $x = 1$ to get

$n \times 2^{n-1} = \begin{pmatrix} n \\ 1 \end{pmatrix} + 2 \times \begin{pmatrix} n \\ 2 \end{pmatrix} + \cdots + n \times \begin{pmatrix} n \\ n \end{pmatrix}$

Q.E.D.

selected by

4 Comments

@Satbir

can we relate this question into determinant?

0
0
No, question is asking about cardinality of A , in exam I thought that it was asking for determinant and thus got wrong answer.
1
1
Yes thanks.
0
0
49 votes
49 votes

APPROACH 1: Trial and Error

 

$\rightarrow$ For $n=2$, $U={1,2}$.

$\rightarrow$ The subsets of  $U$ are $\left \{ \Phi , \{1\},\{2 \}, \{1,2 \} \}\right.$

$\rightarrow$ So,set $X$ has $4$ possibilities as above.

$\rightarrow$ Seeing $x$ as element of $X$, $x$ can be $1$ or $2$ and nothing else.

$\rightarrow$ So $A$ is the set of ordered pairs where the $1^{st}$ part is an element of $X$ (it is a value of $x$) and the $2^{nd}$ part is a subset of $U$.

$\rightarrow$ There are $2$ possibilities for the $1^{st}$ part, and $4$ possibilities for the $2^{nd}$ part.

$\rightarrow$ i.e. $A$ can have: $(1,\Phi ), (1, \{1 \} ) ,(1, \{2 \}), (1,\{1,2 \}), (2,\Phi ), (2, \{1 \} ) ,(2, \{2 \}), (2,\{1,2 \})$

$\rightarrow$ Here $(1,\Phi)$ will not be considered, as $1$ $\notin$ $ \Phi$.

$\rightarrow$ Similarly, $(1, \{2 \}),(2,\Phi ),(2, \{1 \} )$ won't be considered on similar grounds.

$\rightarrow$ so $A=$ $(1, \{1 \} ), (1,\{1,2 \}),,(2, \{2 \}), (2,\{1,2 \})$

$\therefore $ $\begin{vmatrix} A \end{vmatrix} = 4$

$I.$ gives answer for $n=2$ as: $\begin{vmatrix} A \end{vmatrix} = 2*2 =4$

$II.$ gives answer for $n=2$ as: $\begin{vmatrix} A \end{vmatrix} =$ $1*^{2}C_{1}$ $+ 2 * $ $^2C_2$ $=4$

$\because$ Both $I.$ and $II.$ are True

$\therefore$ Option $C$ is the right answer.


 

APPROACH 2:

 

  • To show $II.$ is correct:

$\rightarrow$ $A = \{y = (x,X)| X\ proper\ subset\ of\ U,\ x\ in X \}$.

$\rightarrow$ Lets first fix $X$. Here $X$ being proper subset of $U$, $X$ can have all values of that of a power Set of $U$.

$\rightarrow$ Lets say number of elements in $X$ is $k$.

$\because$ Number of elements of $U$ is $n$, $k$ can take values from $0$ to $n$ ($\because$ $X$ is proper subset of $U$)

$\therefore$ The number of ways of selecting $k$ from $n$ is given by $^{n}C_{k}$

$\rightarrow$ So we have $^{n}C_{k}$ choices for choosing $X$.

$\rightarrow$ Now, fixing our choice of $X$, and assuming it has $k$ elements, how many choices for $x$ are there ?

$\rightarrow$ There are $k$ different elements in $X$, so there are $k$ choices for choosing $x$

$\rightarrow$ For eg  $X= \{1,2,3 \} $, then $x$ can be $1$ or $2$ or $3$, as only these $3$ elements belong to $X$.

$\rightarrow$ So for a given $k$, there are $k* ^{n}C_{k}$ choices of $(x,X)$ such that $\begin{vmatrix} X \end{vmatrix} = k$

$\rightarrow$  So how many elements $y$ are there in total?

$\rightarrow$ Sum the above for $k =1$ to $n$. $k$ can't be $0$ because if $X$ has $0$ elements, then $x$ doesn't exist.

$\rightarrow$ i.e.$\begin{vmatrix} A \end{vmatrix}$ =  $\sum_{k=1} ^{n} k \binom{n}{k}$

 

  • To show the formula for $I.$ is correct:

$\rightarrow$ Consider choosing an element $x$ in our pair $(x,X)$. There are $n$ choices for $x$.

$\rightarrow$ Then we ask ourselves how many valid choices of $X$ are there, given $x$ ?

$\rightarrow$ $X$ is entirely defined by its elements, and we have a finite list of potential elements $(1$ to $n)$.

$\rightarrow$ For each of these, an element is either in or out, giving us $2$ possibilities each time but $x$ is already fixed to be included in $X$ for it to belong in $X$ .

$\because$ out of $n$ elements, only $x$ has $1$ choice to be included, and all the other $n-1$ elements can have $2$ possibilities as to be included or excluded in $X$.

$\because$  Its an ordered pair, we need both these conditions happening together, so using $product\ rule$ we arrive at $n*2^{n-1}$ choices for $(x,X)$.

$\because$ Both $I.$ and $II.$ are True

$\therefore$ Option $C$ is the right answer.

edited by

21 Comments

1 mark question, but so many things need to be done
1
1
Yes, exactly, and it isn't just related to set theory, so many concepts are combined, like here set theory and combinatorics are involved!

This shows questions have evolved over time!
0
0
Very well explained!

Approach 1 is good but its risky since we have to check for n=3 for satisfaction.
0
0

@KINGSLAYER

Can u give the proof, when $U=\left \{ 1,2,3 \right \}??$

I think answer not matching in that case :(

0
0
edited by

I guess you want proof in approach 1 @srestha, so here goes. If you need any other help, let me know.

SOLVING FOR n=3 using approach 1:

→ For n=3, U=1,2,3.

→ The subsets of  U are {Φ,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

→ So,set X has 8 possibilities as above.

→ Seeing x as element of X, x can be 1 or 2 or 3 and nothing else.

→ So A is the set of ordered pairs where the 1st part is an element of X (it is a value of x) and the 2nd part is a subset of U.

→ There are 3 possibilities for the 1st part, and 8 possibilities for the 2nd part.

→ i.e. A can have: (1,Φ),(1,{1}),(1,{2}),(1,{1,2}),(1,{3}),(1,{2,3}),(1,{1,3}),(1,{1,2,3}),(2,Φ),(2,{1}),(2,{2}),(2,{1,2}),(2,{3}),(2,{2,3}),(2,{1,3}),(2,{1,2,3}),(3,Φ),(3,{1}),(3,{2}),(3,{1,2}),(3,{3}),(3,{2,3}),(3,{1,3}),(3,{1,2,3})

→ Here (1,Φ) will not be considered, as 1∉ Φ.

→ Similarly, (1,{2}),(1,{3}),(1,{2,3}),(2,Φ),(2,{1}),(2,{3}),(2,{1,3}),(3,Φ),(3,{1}),(3,{2}),(3,{1,2}) won't be considered on similar grounds.

→so A={1,{1}),(1,{1,2}),(1,{1,3}),(1,{1,2,3}),(2,{2}),(2,{1,2}),(2,{2,3}),(2,{1,2,3}),(3,{3}),(3,{2,3}),(3,{1,3}),(3,{1,2,3})}

∴ |A|=12

I gives 12

II gives 3+(2*3)+(3*1)=12

hence, answer is both!

 

2
2

I don't think we need to check till n=3. They haven't mentioned any condition for n other than the fact that it can be any value from 1.

As long as 'x' belongs to X and X has any value from 1 to n, I think it is sufficient condition.

What are your thoughts on this @Satbir?

1
1
method 1 is trial and error , it means that you take any value of n and check if the given condition satisfies or not. If for any trial, error comes then you can be sure that it is not correct statement/equation, but if error don't comes then you can't be sure that the answer is correct until you check it for all value of n.

like suppose i give you a statement that 10 is divisible by all positive integers which are less than 10.

you will pick n=1 and then divide 10 by n then for this result comes true

you will pick n=2 and then divide 10 by n then for this result comes true

now you can't conclude that it is also divisible by 3,4,5,6,7,8,9 right ?

Thats why we use proof.
2
2
edited by

Totally agreed on that @Satbir.

But, what I thought was, there isn't any condition on A set. It can be any set which satisfies the condition for set A. They are asking that for any such set which satisfies the condition of set A, are the given 2 statements TRUE or not. That's why the question says "let A be .."

If A is a set formed from U and x, then using the given variables I have constructed a set within the constraints of n mentioned. Now, for such a set, computing statements I and 2 would result in a right option thus saving time in solving for multiple values.

That's how I interpreted the question, so in that way, I think there is no need to check for multiple values.

1
1

@KINGSLAYER

U have taken $\left \{ 1,\left \{ 1,2 \right \} \right \}$

but u havenot taken $\left \{ \left \{ 1,2 \right \},\left \{ 1,2 \right \} \right \}$

It is also valid

right??

0
0
edited by

@srestha

Let's  say X={1,2,3}

Then, 1,2,3 are the elements of set X i.e 1,2,3 are 'x'.

Let's say If X={{1},{2,3},3}

Then x can be {1} or {2,3} or 3 as all these are part of the set, that is, they belong to the set!

That's why the brackets are important, they change the description.

Since we have possibilities of X as phi, or X={1} or X={1,2} or X={2,3}..... And not  as X={{1,2}}, that's why x={2,3} doesn't belong our X set!

0
0
$x\in X$

right??

then why r u considering $x$ as an element?

$x$ can be a set too. Isnot it??
0
0

@srestha

Offcourse x can be a set too, if there is a set present in X, but there are only elements present in X and there is no set in it. I made a mistake in the wordings in the above comment, I am sorry about that I'll make changes in them!

as you know, we have 8 possibilities of X

1)phi

2) X={1} , here x can be 1

3) X={2}, here x can be 2

4) X={3}, x is 3

5) X={1,2}, x can be 1 or 2

6) X={2,3},x can be 2 or 3

7) X={1,3},x can be 1 or 3

8) X={1,2,3},x can be 1 or 2 or 3

Note that in each of these possibilities x is an element and not a set.

If X is a set which contains sets, then x can be a set like-

If X={1,{2},{1,2},3} then, here, x can be element 1 or element 3 or set {2} or set {2,3}.

But since we don't have sets in X any of the combinations above, that's why we can't take A={{1,2},{1,2}} as a possibility, because  x={1,2} is a set, such value of x isn't possible in any of the above combinations.

x={1,2} could be valid when- A={{1,2},{1,2,{1,2}} or if A={{1,2},{{1,2}}}

0
0
Why?

It is not powerset of a set.

If $x$ is an element , $A$ will be $\left \{ 1,\left \{ 1,2 \right \} \right \}$, $\left \{ 2,\left \{ 1,2 \right \} \right \}$

If $x$ is a set, then $A=\left \{ \left \{ 1 \right \},\left \{ 1,2 \right \} \right \}$ or $\left \{ \left \{ 2 \right \},\left \{ 1,2 \right \} \right \}$ or $\left \{ \left \{ 1,2 \right \},\left \{ 1,2 \right \} \right \}$
0
0
edited by

@srestha

See, we are assuming that U={1,2,3}

since X is a subset of U. What are the possible values X can have? It can have any value from powerset of U.

Since, powerset contains all the possible combinations of sets possible to construct from given set.

Hence, for 3 elements, we have 8 possibilities for X. Those possibilities are as mentioned in above comments.

Now, whatever values X contains, any of those can be considered as x as per question definition. So, x (which is a value in X) can be a set or element. Now out of those 8 possible set combinations of X, none of them contains any set within set X. All are individual elements.

Like, we are not finding X={1,{2,3}} etc, but it's X={1,2,3}. So, that extra bracket used means {2,3} is a set belongs to 1st X, but doesn't belong to 2nd X. Just '2' doesn't belong to 1st X, but belongs to 2nd X.

It can be interpreted in this way-  IF X={1,{2,3}}. Let E={2,3}. So, X={1,E}. Now 1 belongs to X and E belongs to X, but 2 and 3 both don't belong to X but belong to E.

 

0
0

@KINGSLAYER

Still not very clear to me.

Here, $X$ is improper subset of $U.$ So, it contain every element of $U.$ . We can say $X$ is a set.

Now coming to $x$ => it can be a set or an element.

Now if U={1,2}

$X=${1,2} And x can be an element contain 1 or 2

or it can be a set contain {1},{2},{1,2}

right??

So, why it cannot be {1,{1,2}},{2,{1,2}},{{1},{1,2}},{{1,2},{1,2}} ....etc??

0
0

@srestha

1) X is subset (not an improper subset). ⊆ means “contained in or equal to”. All subsets may use the symbol ⊆. However ⊂ sometimes is used to mean “contained in but not equal to.” 

So, X can be any of the possible subsets of powerset of U.

So, if U={1,2}. X can be {1,2} which is one of the 4 possible cases.

'x' is anything that belongs to X.

So, let's take an example to understand this concept.

Let's say X is a set of different envelopes with money. Let's take the currency as 1 and 2. Let me represent envelope as pair of curly braces eg.{}.  So, according to my analogy, if ₹1 without envelope is represented as 1, then ₹1 in an envelope is represented as {1}.

So, lets say X={{1},{2},{1,2}} and Y={1,2} and Z={1,{1},2}

Here, let's see what all things belong to X. Anything that is present as it is in X is called as something that belongs to X. So, X has "envelope of ₹1,envelope of ₹2, envelope of ₹1 & ₹2". Does X has without envelope ₹1? No, as far as we can see, X is a set of envelopes. Now, lets call those envelopes as sets since currency is enclosed in it. So, we can say X is set of only sets.

Power set of X is-{∅,{{1}},{{2}},{{1,2}},{{1},{2}},{{2},{1,2}},{{1},{1,2}},{{1},{2},{1,2}} }

Each of these 8 individual subsets of X have all "sets" inside them. IN THIS CASE ONLY SETS BELONG TO ANY OF THE ABOVE SUBSETS.

Now, while checking for Y you would see only elements inside each of those possible subsets combinations. Hence for this case only ELEMENTS BELONG TO Y.

Now, lets check for Z. POWERSET OF Z IS- {∅ , {1} ,  {2}  , {{1}}  ,   {1,{1} } , {2,{1}}   , {1,2}  ,{1,{1},2} }

So Z can be phi, or can be a set of currency 1 without envelope, or set of currency 1 with envelope, etc of 8 possible combinations of subsets. Here X can contain just elements like -{1} or {2} or {1,2}

or

X can be composed of just sets like - {{1}} or ∅

or X can contain both sets and elements like- {1,{1}}  ,  {2,{1}}  ,   {1,{1},2}.

So, 'x' should be exactly what can be inside X.

So, if X={1,2} , 'x' is 1 or 2 which are elements.

If X could be {1,{1}}, then, 'x' can be 1 or {1} which are element and set respectively.

 

So, to answer your question-{1,{1,2}},{2,{1,2}},{{1},{1,2}},{{1,2},{1,2}} is not possible because, X set contains only currencies but no envelopes and {{1},{1,2}} this combination is saying that "envelope with currency 1 belongs to a set which contains currencies without envelope."

 

0
0

$\in$ and $\subseteq$ doesnot mean the same

right??

Subset takes a set

Even include also can take a set. But is the set i.e. for include$\left ( \in \right )$ contain element of previous set??

0
0
No, it doesn't mean the same.

I didn't understand your next question, can you give an example and clear it out?
0
0
In this question main thing is

What $\in$ do and what $\subseteq$ do, for a set.

Can u give example of it??

Say for Set $S=\left \{ 2,3,\left \{ 4 \right \} \right \}$

include contains $\left \{ 3,\left \{ 4 \right \} \right \}$  and it is not a set here, it is an element(though looks like a subset)

but subset of tht set i.e. $\subseteq \left \{ 3,\left \{ 4 \right \} \right \}$ is false

because subset will be $\subseteq\left \{ \left \{ 3,\left \{ 4 \right \} \right \} \right \}$

right??
0
0
For X={2,3,{4}}

INCLUDE HAS ANY SINGLE ENTITY OF THE SET.

INCLUDE(BELONGS TO) IS AN OPERATOR TO THE RIGHT OF WHICH THERE IS A SET, AND TO THE LEFT OF WHICH THERE ARE ENTITIES WHICH ARE PART OF THAT SET. THAT IS- 2∈X , 3∈X and {4}∈X. Does any other element is included in X? No!Like- X doesn't include {3} or 4

since left side of belongs to operator has single entities which are part of set, we cannot club 2 values together and say they belong to X, because clubbing values means making them a set. If you make them a set then that set itself must be contained in X. Like- {2,{3}}$\notin$X.

But, if Y={9,10,{2,{3}}}, then separate out the single entities of the set Y. These are 9 and 10 and {2,{3}}

So, {2,{3}}∈Y.

Now, X$\subseteq$Y means, Elements in X are all available in Y but Y can have more elements than X or equal to it, but all the elements of X will be in Y. So, unlike 'belongs to', here we can combine values since we are comparing set with a set. It means, a subset operator has RHS and LHS as set.

Now the question asks for formula which satisfies set A. So, we are calculating all possible values which could be included in the answer for a given 'n'.

Hence, we are including all the single entities in place of X, and all the possible subsets possible for U as X can be any one of those possible subsets.

Subsets of X={2,3,{4}} are-

1) empty set

2){2} it is a subset of X as 2 is in X.

3){3}

4){{4}} since {4} is in X

5){2,3} since 2 and 3 are in X

6){2,{4}}

7){3,{4}}

8){2,3,{4}} is an improper subset, since all its entities belong to X and X doesn't contain any extra entity.

{2,3,4} is not subset of X as 4 is not in X.
0
0
Could anyone explain why this is not considered in A
{Φ,{Φ}}?

Edit : Got it I considered U as power set
0
0
15 votes
15 votes

$2^{nd}$ statement is easy one

Proof for  $1^{st}$  statement using $2^{nd}$ statement

 

 

3 votes
3 votes

Watch my video for clarity

Thanks

https://www.youtube.com/watch?v=MoHPa-Gd3Ug&t=36s

Answer:

Related questions

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true