FACTOID # 31: Almost half of Ecuador is subject to environmental protection.
 
 Home   Encyclopedia   Statistics   Countries A-Z   Flags   Maps   Education   Forum   FAQ   About 
 
WHAT'S NEW
RECENT ARTICLES
More Recent Articles »
 

FACTS & STATISTICS    Simple view

  1. Select countries to view: (hold down Control key and click to select several)

     

     

    Compare:

     

     

  1. Select fact or statistic: (* = graphable)

     

     

     

  2. (OPTIONAL) Compare to statistic: (both need to be graphable)

     

     

     

  3. View result as:

     

       
(OR) SEARCH ALL encyclopedia, stats & forums:   

Encyclopedia > Simple theorems in the algebra of sets

Elementary mathematics courses sometimes leave students under an erroneous impression that the subject matter of set theory is the algebra of union, intersection, and complementation of sets. Those topics are treated below. For an account of some elementary topics in set theory, see also set, naive set theory, axiomatic set theory, Cantor-Bernstein-Schroeder theorem, Cantor's diagonal argument, Cantor's first uncountability proof, Cantor's theorem, well-ordering theorem, axiom of choice, Zorn's lemma.


We list without proof several simple properties of the operations of union, intersection, and complementation of sets. These properties can be visualized with Venn diagrams.


PROPOSITION 1: For any sets A, B, and C:

  • A ∩ A = A;
  • A ∪ A = A;
  • A \ A = {};
  • A ∩ B = B ∩ A;
  • A ∪ B = B ∪ A;
  • (A ∩ B) ∩ C = A ∩ (B ∩ C);
  • (A ∪ B) ∪ C = A ∪ (B ∪ C);
  • C \ (A ∩ B) = (C \ A) ∪ (C \ B);
  • C \ (A ∪ B) = (C \ A) ∩ (C \ B);
  • C \ (B \ A) = (A ∩ C) ∪ (C \ B);
  • (B \ A) ∩ C = (B ∩ C) \ A = B ∩ (C \ A);
  • (B \ A) ∪ C = (B ∪ C) \ (A \ C);
  • A ⊆ B if and only if A ∩ B = A;
  • A ⊆ B if and only if A ∪ B = B;
  • A ⊆ B if and only if A \ B = {};
  • A ∩ B = {} if and only if B \ A = B;
  • A ∩ B ⊆ A ⊆ B;
  • A ∩ {} = {};
  • A ∪ {} = A;
  • {} \ A = {};
  • A \ {} = A.

PROPOSITION 2: For any universe U and subsets A, B, and C of U:

  • A′′ = A;
  • B \ A = A' ∩ B;
  • (B \ A)' = A ∪ B';
  • A ⊆ B if and only if B' ⊆ A';
  • A ∩ U = A;
  • A ∪ U = U;
  • U \ A = A';
  • A \ U = {}.

PROPOSITION 3: (distributive laws): For any sets A, B, and C:

(a) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C);
(b) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).

The above propositions show that the power set P(U) is a Boolean lattice.


  Results from FactBites:
 
List of basic discrete mathematics topics - Wikipedia, the free encyclopedia (293 words)
Discrete mathematics, also called finite mathematics, is the study of mathematical structures that are fundamentally discrete, in the sense of not supporting or requiring the notion of continuity.
Most, if not all, of the objects studied in finite mathematics are countable sets, such as integers, finite graphs, and formal languages.
Linear algebra - a study of related linear equations.
Cornell Math - Thesis Abstracts (Algebra) (5306 words)
The peak set of a permutation $\sigma$ is the set $\{i:\sigma(i–1)
A polytope P is the convex hull of a finite set of points in R^d, and its boundary is a collection of lower-dimensional polytopes known as the faces of P.
Then the set of splines (of all degrees) on \hat\Delta is a graded module C^r(\hat\Delta) over the polynomial ring R in d+1 variables, and the dimension of C^r_k(\Delta) is the dimension of C^r(\hat\Delta) in degree exactly k.
  More results at FactBites »


 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your comments
Please enter the 5-letter protection code

Want to know more?
Search encyclopedia, statistics and forums:

 


Lesson Plans | Student Area | Student FAQ | Reviews | Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms.