Processing math: 100%
ThmDex – An index of mathematical definitions, results, and conjectures.
Result R75 on D98: Closed set
Intersection of closed sets is closed
Formulation 0
Let T=(X,T) be a D1106: Topological space such that
(i) FjX is a D98: Closed set in T for each jJ
(i) jJFj is the D76: Set intersection of F={Fj}jJ
Then jJFj is a D98: Closed set in T.
Also known as
Arbitrary intersection of closed sets is closed
Proofs
Proof 0
Let T=(X,T) be a D1106: Topological space such that
(i) FjX is a D98: Closed set in T for each jJ
(i) jJFj is the D76: Set intersection of F={Fj}jJ
To show that the intersection jJFj is closed in T, by definition, we must show that the complement XjJFj is open in T. Applying result R219: Difference of set and intersection equals union of differences, one has XjJFj=jJ(XFj) Since Fj is closed in T for each jJ, then XFj is open in T for each jJ. By definition of a D86: Topology, an arbitrary union of open sets is open. Thus, jJ(XFj) is open in T and therefore XjJFj is open in T. By definition of a closed set, then, the intersection jJFj is closed in T.