# GATE1993-8.3

2.4k views

Let $S$ be an infinite set and $S_1 \dots , S_n$ be sets such that $S_1 \cup S_2 \cup \dots \cup S_n = S$. Then

1. at least one of the set $S_i$ is a finite set
2. not more than one of the set $S_i$ can be finite
3. at least one of the sets $S_i$ is an infinite
4. not more than one of the sets $S_i$ can be infinite
5. None of the above

edited
0
Is it to be always assumed that the number of subsets is finite?
0
given that "n" is finite
6
Counter Example for

S = Whole Numbers , S1= Even Natural Number , S2 = Odd Natural Number

(A) So no requirement of any of the Sn to be finite.

(B) S1, S2 with S3 = { 1,2} , S4 = { 3,4}

Two finite sets still it will be satisfied.

(C) This is must as the union of finite sets will always be finite.

(D) S1 and S2 both are infinite.

So (C) is correct.
1

@vaibhav101 No such assumption taken. @Niraj Singh 2  Yes n is finite.

A) at least one of the set $S_{i}$ is Finite Set. Well it is not said that$S_{1},S_{2}\ldots S_{n}$ whether they are finite or infinite. It is possible to break down infinite set into few sets (Some of which can be finite). This seems True, but I'm not able to prove it. Please Give suitable counterexample here, if you think this is false.

Ex-$: a^{*},\text{this is infinite set. I can write it as} \{\}\cup \{a^{*}\},$ where $\{a^{*}\}$ is infinite.

B) Not more than one of set can be finite -> This is false.

ex $: a^{*}b^{*}\Rightarrow \{ab\} \cup \{\} \cup \{{aa}^{+}{bb}^{+}\}.$

C) at least one of the sets is Infinite -> This must be True. As this is finite union of sets, one of set must be infinite to make whole thing infinite.  True.

D) not more than one of the sets $S_i$ can be infinite. This is false.

Ex $: a^{*}b^{*} = \{a^{p}b^{q}|p=q\}\cup \{a^{m}b^{n}|m\neq n\}$ such that $p,q,m,n \geq 0.$

Answer ->  C is surely true.

ESi

edited
3
i think option (b) & (a) in a way both are not necessary and sufficient conditions. and you mean a+ in your example but this is a example ratther than counter one

counter example : (edit) a* = a* U a*

it is not necessary that one of the sets definitely needs to be finite.

option (c) is more stronger because without it infinite enumeration is not possible so both necessary and sufficient
1
yes, we can take Si = S for a choice- union of same sets give the same set. And "n" should make it finite union.
0
sir please check if i m correct?
0
nopes because LHS != RHS. RHS for example does not generate "ba". We can simply give

a* = a* U a*
1

yes u re correct  (corrected)

6

Consider the Set S of Integers

Now S= S1 U S2 U S3

where S1=Set of all negative integers

S2=Set of all positive integers

S3={0},

Note that S3(zero) which does not belong to set of positive and negative integers, may be included in S1 or S2 thereby making it false to say that at least one of the set Si must be finite.

Since, we know that set of integers is an infinite set, one of the Set Si must be infinite.

16
Option A is FALSE because:

suppose S = N (set of natural numbers)

Then S1 can be set of odd numbers and s2 can be set of even numbers. Then union of both will give N. But neither of S1 nor S2 is finite. Is this reasoning correct?
1

@Rishabh Gupta 2
S1 should be set of odd natural number and s2 should be set of even natural numbers.

atleast one of set should  b infinite..

If an infinite set is partitioned into finitely many subsets, then at least one of them must be infinite.

https://en.wikipedia.org/wiki/Infinite_set#Properties

## Related questions

1
2.4k views
Let A be a finite set of size n. The number of elements in the power set of $A\times A$ is: $2^{2^n}$ $2^{n^2}$ $(2^n)^2$ $(2^2)^n$ None of the above
Out of a group of $21$ persons, $9$ eat vegetables, $10$ eat fish and $7$ eat eggs. $5$ persons eat all three. How many persons eat at least two out of the three dishes?
Let $\left(\{ p,q \},*\right)$ be a semigroup where $p*p=q$. Show that: $p*q=q*p$ and $q*q=q$
Let $A$ and $B$ be sets with cardinalities $m$ and $n$ respectively. The number of one-one mappings from $A$ to $B$, when $m < n$, is $m^n$ $^nP_m$ $^mC_n$ $^nC_m$ $^mP_n$