Maths WorkshopMaths problems with full solutions
Exercise 1176Logic, sets and proofs › Sets and mapsL1Added 3 Nov 2026

Arbitrary unions and intersections

#arbitrary union#arbitrary intersection#family

Statement

Let (Ai)i∈I(A_i)_{i\in I} be a family of sets. Define ⋃i∈IAi\bigcup_{i\in I}A_i and ⋂i∈IAi\bigcap_{i\in I}A_i. Compute both for An=[0,1/n]A_n=[0,1/n] with n≥1n\ge1.

Hint

⋃\bigcup = elements in at least one AiA_i; ⋂\bigcap = elements in all AiA_i.

Show solutionHide solution

Solution

Definitions.
- ⋃iAi={x:∃i∈I, x∈Ai}\bigcup_i A_i=\{x:\exists i\in I,\ x\in A_i\}.
- ⋂iAi={x:∀i∈I, x∈Ai}\bigcap_i A_i=\{x:\forall i\in I,\ x\in A_i\}.

Union. ⋃n≥1[0,1/n]=[0,1]\bigcup_{n\ge1}[0,1/n]=[0,1].

Intersection. ⋂n≥1[0,1/n]={0}\bigcap_{n\ge1}[0,1/n]=\{0\}.

Conclusion. ⋃=[0,1]\bigcup=[0,1], ⋂={0}\bigcap=\{0\}.