Dimostrazione algebra degli insiemi

gvx
Ho difficoltà a dimostrare queste uguaglianze insiemistiche; qualcuno puo aiutarmi? Grazie!!
il ! stà per insieme complemento

$N nn M = varphi iff N sub !M $

$A sub B iff !B sub !A$

Risposte
garnak.olegovitc1
@gvx,

"gvx":
Ho difficoltà a dimostrare queste uguaglianze insiemistiche; qualcuno puo aiutarmi? Grazie!!
il ! stà per insieme complemento

$N nn M = varphi iff A sub !B $

$A sub B iff !B sub !A$


suppongo sia \(\phi=\emptyset \) ? giusto?

Saluti

gvx
si, scusami, ho sbagliato simbolo, è l'insieme vuoto

gvx
nessuno che può aiutarmi? più che l'esercizio in se mi interessa capire il modo per fare queste dimostrazioni; grazie!

Stickelberger
Suppongo sia $N=A$ e $M=B$? O viceversa $\ldots$

gvx
si scusa, ho corretto il titolo della traccia

garnak.olegovitc1
@gvx,

tu hai $$N \cap M = \emptyset \leftrightarrow N \subset \complement^M_U$$ $$ A \subset B \leftrightarrow \complement^B_U \subset \complement^A_U $$ con \( U \) l'insieme universo tale che \( N,M,A,B \subset U \) e dato un insieme \( C \subset U \) con \( \complement^C_U \) intendo il complementare di \( C \) rispetto ad \( U \) (ovvero anche l'insieme differenza \( U-C \)). Passiamo a dimostrare la prima legge, ovvero $$N \cap M = \emptyset \leftrightarrow N \subset \complement^M_U$$ che sarebbe $$(N \cap M = \emptyset \to N \subset \complement^M_U) \wedge (N \subset \complement^M_U \to N \cap M = \emptyset)$$ ovviamente penso che \(\subset \) sia usato per indicare l'inclusione nel senso più largo del termine (o come si dice quella "impropria"), e nel dimostrare il primo verso, ovvero $$N \cap M = \emptyset \to N \subset \complement^M_U$$ si può procedere per assurdo avendo così che $$N \not\subset \complement^M_U$$ ergo $$\exists x \in N(x \notin \complement^M_U)$$ o equivalentemente $$\exists x \in N(x \notin U-M)$$ quindi $$x \in N \wedge (x \notin U \vee x \in M) $$ avendo così $$(x \in N \wedge x \notin U) \vee (x \in N \wedge x \in M)) $$ ora analizzando ambedue i casi avremo che $$(x \in N \wedge x \notin U) \to N \not\subset U $$ ma per ipotesi \( N \subset U \) ottenendo così un assurdo; analizzando il secondo caso avremo che $$(x \in N \wedge x \in M)) \to x \in N \cap M \to N \cap M \neq \emptyset$$ ma per ipotesi \( N \cap M = \emptyset\) ottenendo così un assurdo... allora l'implicazione $$N \cap M = \emptyset \to N \subset \complement^M_U$$ è vera, prova tu a fare/dimostrare il secondo verso, cioè $$(N \subset \complement^M_U \to N \cap M = \emptyset)$$ ;-)

Saluti

P.S.=Correggimi se ho sbagliato a scrivere/capire le ipotesi... :wink:

gvx
credo di aver capito, grazie per l' aiuto!

garnak.olegovitc1
@gvx,

"gvx":
credo di aver capito, grazie per l' aiuto!


figurati!

Saluti

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.