Topology Atlas
Document # paca-12
De Morgan in general and choice
Henno Brandsma
a note in Topology Explained
- Document formats
- online preview (AtlasImage) 2 pages
- DVI file 8.5 Kb
- PostScript file 54.8 Kb
- Adobe PDF file 82.7 Kb
We answer this question: ``How do you prove de Morgan's
laws for arbitrary unions and intersections? It is tempting to use proof
by induction but what about the uncountable case?
Also, does this have any Relation to the axiom of choice?''
Date: November 15, 2003
Copyright © 2003
by Topology Atlas.
All rights reserved.