2 svar
38 visningar
som314 behöver inte mer hjälp
som314 262
Postad: 7 nov 11:54

2124 Visa att

Hej, jag förstår inte riktigt hur man vet att det ska vara ∩ på andra raden av beviset. Jag förstår att man kan visa det med ett venndiagram, men finns det något sätt att förstå/förklara det algebraiskt?

Gustor 343
Postad: 7 nov 12:27 Redigerad: 7 nov 12:58

I ord så följer likheten från att elementen som inte är i unionen av A och B [alltså de element som är i (AB)c=U(AB)(A\cup B)^c=U\setminus (A\cup B) ], är precis de element som varken är i A (alltså i Ac=UAA^c=U\setminus A) eller i B (alltså i Bc=UBB^c=U\setminus B).

Generellt så gäller att (AB)c=AcBc(A\cup B)^c = A^c\cap B^c eftersom element som inte ligger i en union av två mängder ligger i båda mängdernas komplement. Testa rita ett diagram.


Tillägg: 7 nov 2024 13:03

Formellt bevis:

x(AB)cxABxAxBxAcxBcxAcBcx\in (A\cup B)^c \iff x\notin A\cup B \iff x\notin A \land x\notin B \iff x\in A^c\land x\in B^c \iff x\in A^c\cap B^c.

Tecknet \land betyder "och", och betyder att både det till vänster och det till höger är sant.

som314 262
Postad: 7 nov 20:38

Okej jag förstår lite mer nu, tack

Svara
Close