2009-10-14, 11:35
#1
Det finns en hel del satser för mängder. Några av dessa presenteras här.
Visa att dessa satser är sanna.
a) A È (B È C) = (A È B) È C
b) A Ç (B Ç C) = (A Ç B) Ç C
c) A Ç (B È C) = (A Ç B) È (A Ç C)
d) A È (B Ç C) = (A È B) Ç (A È C)
a) Om È betyder ∩:
--> Om x ∈ A∩(B∩C), så gäller det att x ∈ A och x ∈ B∩C, och det betyder att x ∈ A och att x ∈ B och x ∈ C. Detta leder till att x ∈ A och x ∈ B och att x ∈ C, så att x ∈ A∩B och x ∈ C, dvs. x ∈ (A∩B)∩C. På samma sätt visar man att om x ∈ (A∩B)∩C, så gäller det att x ∈ A∩(B∩C). Det vi nu visat är att (A∩B)∩C = A∩(B∩C).
_____________________________________________
b) Om Ç betyder ∪:
--> Om x ∈ A∪(B∪C), så gäller det att x ∈ A eller x ∈ B∪C, och det betyder att x ∈ A eller att x ∈ B eller x ∈ C. Detta leder till att x ∈ A eller x ∈ B eller att x ∈ C, så att x ∈ A∪B eller x ∈ C, dvs. x ∈ (A∪B)∪C. På samma sätt visar man att om x ∈ (A∪B)∪C, så gäller det att x ∈ A∪(B∪C). Det vi nu visat är att (A∪B)∪C = A∪(B∪C).
________________________________________________
C)
Om x ∈ A ∪ (B∩C), så gäller det att x ∈ A eller x ∈ B∩C, dvs. att x ∈ A och dessutom att x tillhör minst en av B och C. Därför tillhör x minst en av mängderna A∪B och A∪C, dvs. x ∈ (A∪B) ∩ (A∪C). Omvänt, om x ∈ (A∪B) ∩ (A∪C), så tillhör x minst en av mängderna A∪B och A∪C. Det måste då gälla att x ∈ A och att x tillhör minst en av B eller C, dvs. x tillhör både A eller B∩C, vilket betyder att x ∈ A ∪ (BC).
_______________________________________________
d)
Om x ∈ A∩(B∪C), så gäller det att x ∈ A och x ∈ B∪C, dvs att x ∈ A och dessutom att x tillhör minst en av B och C. Därför tillhör x minst en av mängderna A∩B och A∩C, dvs x ∈ (A∩B)∪(A∩C). Omvänt, om x ∈ (A∩B)∪(A∩C), så tillhör x minst en av mängderna A∩B och A∩C. Det måste då gälla att x ∈ A och att x tillhör minst en av B och C, dvs x tillhör både A och B∪C, vilket betyder att x ∈ A∩(B∪C).
Visa att dessa satser är sanna.
a) A È (B È C) = (A È B) È C
b) A Ç (B Ç C) = (A Ç B) Ç C
c) A Ç (B È C) = (A Ç B) È (A Ç C)
d) A È (B Ç C) = (A È B) Ç (A È C)
a) Om È betyder ∩:
--> Om x ∈ A∩(B∩C), så gäller det att x ∈ A och x ∈ B∩C, och det betyder att x ∈ A och att x ∈ B och x ∈ C. Detta leder till att x ∈ A och x ∈ B och att x ∈ C, så att x ∈ A∩B och x ∈ C, dvs. x ∈ (A∩B)∩C. På samma sätt visar man att om x ∈ (A∩B)∩C, så gäller det att x ∈ A∩(B∩C). Det vi nu visat är att (A∩B)∩C = A∩(B∩C).
_____________________________________________
b) Om Ç betyder ∪:
--> Om x ∈ A∪(B∪C), så gäller det att x ∈ A eller x ∈ B∪C, och det betyder att x ∈ A eller att x ∈ B eller x ∈ C. Detta leder till att x ∈ A eller x ∈ B eller att x ∈ C, så att x ∈ A∪B eller x ∈ C, dvs. x ∈ (A∪B)∪C. På samma sätt visar man att om x ∈ (A∪B)∪C, så gäller det att x ∈ A∪(B∪C). Det vi nu visat är att (A∪B)∪C = A∪(B∪C).
________________________________________________
C)
Om x ∈ A ∪ (B∩C), så gäller det att x ∈ A eller x ∈ B∩C, dvs. att x ∈ A och dessutom att x tillhör minst en av B och C. Därför tillhör x minst en av mängderna A∪B och A∪C, dvs. x ∈ (A∪B) ∩ (A∪C). Omvänt, om x ∈ (A∪B) ∩ (A∪C), så tillhör x minst en av mängderna A∪B och A∪C. Det måste då gälla att x ∈ A och att x tillhör minst en av B eller C, dvs. x tillhör både A eller B∩C, vilket betyder att x ∈ A ∪ (BC).
_______________________________________________
d)
Om x ∈ A∩(B∪C), så gäller det att x ∈ A och x ∈ B∪C, dvs att x ∈ A och dessutom att x tillhör minst en av B och C. Därför tillhör x minst en av mängderna A∩B och A∩C, dvs x ∈ (A∩B)∪(A∩C). Omvänt, om x ∈ (A∩B)∪(A∩C), så tillhör x minst en av mängderna A∩B och A∩C. Det måste då gälla att x ∈ A och att x tillhör minst en av B och C, dvs x tillhör både A och B∪C, vilket betyder att x ∈ A∩(B∪C).
__________________
Senast redigerad av Diako2008 2009-10-14 kl. 12:26.
Senast redigerad av Diako2008 2009-10-14 kl. 12:26.
