Knowee
Questions
Features
Study Tools

Prove that for every positive integer n, and sets A and B1, B2, ..., Bn, A - ∩(i=1 to n) Bi = ∪(i=1 to n) (A - Bi).

Question

Prove that for every positive integer n, and sets A and B1, B2, ..., Bn,

A - ∩(i=1 to n) Bi = ∪(i=1 to n) (A - Bi).

🧐 Not the exact question you are looking for?Go ask a question

Solution

Sure, let's prove this statement using the principle of mathematical induction.

Base Case (n=1): For n=1, the statement simplifies to A - B1 = A - B1, which is obviously true.

Inductive Step: Assume the statement is true for some positive integer k. That is, we assume that A - ∩(i=1 to k) Bi = ∪(i=1 to k) (A - Bi) is true.

We need to prove that the statement is also true for k+1. That is, we need to prove that A - ∩(i=1 to k+1) Bi = ∪(i=1 to k+1) (A - Bi).

We know that ∩(i=1 to k+1) Bi = (∩(i=1 to k) Bi) ∩ B(k+1) and A - B ∩ C = (A - B) ∪ (A - C) for any sets A, B, and C.

So, A - ∩(i=1 to k+1) Bi = A - (∩(i=1 to k) Bi ∩ B(k+1)) = (A - ∩(i=1 to k) Bi) ∪ (A - B(k+1)).

By the inductive hypothesis, (A - ∩(i=1 to k) Bi) = ∪(i=1 to k) (A - Bi).

Therefore, A - ∩(i=1 to k+1) Bi = ∪(i=1 to k) (A - Bi) ∪ (A - B(k+1)) = ∪(i=1 to k+1) (A - Bi).

This completes the inductive step, and hence, the statement is true for all positive integers n.

This problem has been solved

Similar Questions

If   3, 6, n A xx n n N = =     9, 4, n B xx n n N = =   then find A B, A B and A B − .

All the following are properties of natural number N, for a and b belonging to N, except*1 pointa*ba + ba < ba - b

n this problem for b > a are both real numbers, (a, b] = {c ∈ R : b ≥c > a}. Determine the following subset of R : ∩i∈N (1 − in , 1 + in ]

If 3 , 6,nA x x n n N= =   9 , 4,nB x x n n N= =   then findA B,A B andA B−

Show that set of positive integersand set of all integers have same cardinality.

1/1

Upgrade your grade with Knowee

Get personalized homework help. Review tough concepts in more detail, or go deeper into your topic by exploring other relevant questions.