0
$\begingroup$

Let A and B be sets in a finite universal set U. List the following in order of increasing size.

In this question, I don't understand why $|A\cup B| \geq |A-B|$.

In my logic,

$A-B=A\cap B^c$

$B^c=U-B=U\cap B^c$

Therefore, I think $|U\cap B^c| \geq |A\cup B|$

I have no idea why my logic is wrong. Please provide me an explanation.

Thank you in advance.

$\endgroup$
5
  • 2
    $\begingroup$ Neither is correct. It depends on what $U$, $A$ and $B$ are. For instance, if $U=\{1,2,\ldots, 10\}$ and $A = \{1,\ldots,5\}$ and $B = \{6,\ldots,10\}$, then $|A\cup B| = 10 > |U \cap B^c| = 5$. Whereas if $A = \{1\}$ and $B = \{2\}$, then $|A \cup B| = 2 < |U \cap B^c| = 9$ $\endgroup$
    – User
    Commented Sep 4, 2023 at 13:46
  • $\begingroup$ What's the question? $\endgroup$
    – Ricky
    Commented Sep 4, 2023 at 14:01
  • $\begingroup$ As I said, I don't understand why |A∪B|≥|A−B|. $\endgroup$
    – Eric
    Commented Sep 5, 2023 at 12:55
  • $\begingroup$ Then it means that the answer is wrong... $\endgroup$
    – Eric
    Commented Sep 5, 2023 at 12:56
  • 1
    $\begingroup$ $A-B\subseteq A\subseteq A\cup B$. $\endgroup$ Commented Sep 5, 2023 at 13:34

1 Answer 1

1
$\begingroup$

I found my mistakes.

$A-B=A\cap B^c=A\cap U\cap B^c, $ not $A\cup U\cap B^c$.

Therefore, $|A\cup B|\geq|A-B|$ is correct.

$\endgroup$
1
  • 1
    $\begingroup$ That is the reason your original analysis was wrong. The reason $|A\cup B| \ge |A - B|$ is correct is Gerry Myerson's comment. $\endgroup$ Commented Sep 5, 2023 at 15:43

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .