[29] Esercizio Insiemi

DavidGnomo1
Buonasera, un dubbio.

Esercizio
In una classe di 24 studenti, 10 seguono un corso di francese, 12 un corso d'inglese e 5 nessun corso.
Quanti studenti seguono entrambi i corsi di lingua?

Soluzione
Calcolo quanti studenti seguono almeno un corso: 24 - 5 = 19
Poichè $|F \cup I| = 22$ allora calcolando $22 - 19 = 3$ abbiamo il numero di studenti che seguono entrambi i corsi.

La risposta è giusta ma vorrei essere più formale dal punto di vista matematico. Quel che voglio dire è che vorrei utilizzare un modo più preciso per risolvere questo tipo di esercizi. Ne ho risolti altri simili ma tutti risolti in questo modo "intuitivo". Avete suggerimenti? Grazie :)

PS: Sapete come si scrive in latex il simbolo di non inclusione? Ho provato $\not\subseteq$ ma non funziona.

Risposte
"DavidGnomo":

La risposta è giusta ma vorrei essere più formale dal punto di vista matematico. Quel che voglio dire è che vorrei utilizzare un modo più preciso per risolvere questo tipo di esercizi. Ne ho risolti altri simili ma tutti risolti in questo modo "intuitivo". Avete suggerimenti? Grazie :)

Lo formalizzi con il principio di inclusione-esclusione. Hai che dato un insieme \(A\), e denotiamo \( \left| A \right| \) la sua cardinalità, i.e. numero di elementi, e inoltre siano dati \( A_1, \ldots, A_n \) dei sottoinsiemi di \(A\) non necessariamente disgiunti. Allora
\[ \left| \displaystyle{\bigcup_{j=1}^{n}} A_j \right| = \sum_{k=1}^{n} (-1)^{k+1} \sum_{1 \leq j_1 < \ldots < j_k \leq n } \left| \displaystyle{\bigcap_{i=1}^{k}} A_{j_i} \right| \]
Questa formula complicata con due sottoinsiemi \(A_1,A_2 \) si traduce semplicemente in
\[ \left| A_1 \cup A_2 \right| = \left| A_1 \right| + \left| A_2 \right| - \left| A_1 \cap A_2 \right| \]
mentre con 3 sottoinsiemi \( A_1,A_2,A_3 \) hai
\[ \left| A_1 \cup A_2 \cup A_3 \right| = \left| A_1 \right| + \left| A_2 \right| + \left| A_3 \right| - \left| A_1 \cap A_2 \right| - \left| A_1 \cap A_3 \right| - \left| A_2 \cap A_3 \right| + \left| A_1 \cap A_2 \cap A_3 \right| \]

Suddividi i tuoi \( A_1 \) con studenti di francese, \(A_2 \) studenti di inglese, e \(A_3 \) studenti nullafacenti.
Hai che
\[ \left| A_1 \cup A_2 \right| = 19 = \left| A_1 \right| + \left| A_2 \right| - \left| A_1 \cap A_2 \right| \ \ \ \ (1.0) \]
inoltre puoi sostituire i valori che conosci e ottieni in (1.0)
\[ 19 = 10 + 12 - \left| A_1 \cap A_2 \right| \ \ \ \ (1.0) \]
da cui
\[ \left| A_1 \cap A_2 \right| = 22-19=3 \ \ \ \ (1.0) \]

Alternativa (più complicata):
oppure usare quella per 3 insiemi hai che
\[ \left| A_1 \cup A_2 \cup A_3 \right| = 24 \ \ \ \ (2.0) \]
sostituisci i valori che conosci e usando il principio di inclusione-esclusione hai che (2.0) si può scrivere anche
\[ 24 = 10+ 12 + 5 - \left| A_1 \cap A_2 \right| - 0 - 0 + 0 \ \ \ \ (2.0) \]

Domanda per te: perché possiamo dire che \( \left| A_1 \cap A_3 \right| = \left| A_2 \cap A_3 \right| = \left| A_1 \cap A_2 \cap A_3 \right| = 0 \) ??

E ottenere quindi che
\[ \left| A_1 \cap A_2 \right|= 27-24 = 3 \]

L'intuizione che ci sta dietro a quella formula è facile da capire facendosi un diagramma di Venn classico. Ad esempio con due insiemi \( A_1, A_2 \) vuoi capire quanti elementi contiene l'unione, conti prima gli elementi di \(A_1 \) poi gli elementi di \(A_2\) solo che hai contato due volte gli elementi che stanno sia in \(A_1\) sia in \(A_2\) e quindi devi togliere gli elementi di \( \left| A_1 \cap A_2 \right| \), altrimenti li avresti contati due volte. Allo stesso modo prova a capire l'intuizione con tre insiemi usano i diagrammi di Venn.
L'idea rimane invariata!
"DavidGnomo":

PS: Sapete come si scrive in latex il simbolo di non inclusione? Ho provato $\not\subseteq$ ma non funziona.

Per il simbolo di non inclusione è corretto \not\subseteq, solo che lo hai messo tra i due dollari "$" mentre devi metterlo tra "\ (" e "\ )", senza gli spazi. E ottieni \( \not\subseteq \)

DavidGnomo1
Vediamo se ho capito. :)
Possiamo dire
$| A_1 \cap A_3| = | A_2 \cap A_3| = | A_1 \cap A_2 \cap A_3| = 0$
perchè $A_3$ è l'insieme dei fannulloni (ahah) quindi è un insieme vuoto dato che non seguono alcun corso (non hanno corsi in comune con gli altri gruppi). Per cui abbiamo $A_3 = \emptyset$

Infatti:
Sia $A$ un insieme qualsiasi, abbiamo che $A \cap \emptyset = \emptyset$, da cui
$A_1 \cap A_3 = \emptyset$
$A_2 \cap A_3 = \emptyset$
$A_1 \cap A_2 \cap A_3 = \emptyset$.
Inoltre, l'insieme vuoto è unico.

Infine, poichè $|\emptyset| = 0$ allora possiamo dire che
$| A_1 \cap A_3| = | A_2 \cap A_3| = | A_1 \cap A_2 \cap A_3| = 0$


Giusto?

"DavidGnomo":

Per cui abbiamo $A_3 = \emptyset$

No. Ci sono 5 studenti in \( A_3\), come fa ad essere vuoto?

"DavidGnomo":

$A_1 \cap A_3 = \emptyset$
$A_2 \cap A_3 = \emptyset$
$A_1 \cap A_2 \cap A_3 = \emptyset$.


Questo è giusto! Perché?

DavidGnomo1
Noooooooooooooooooooo, ho scritto una grande cavolata arghhh! Non modifico perchè mi sia da monito!
Infatti, $|A_3| = 5$ -_-

E' giusto perchè in $A_1$ ce $A_2$ ci sono studenti che seguono almeno un corso, in $A_3$ ci sono studenti che non seguono niente e quindi non hanno elementi in comune ovvero sono disgiunti.

Bokonon
...poi c'è la versione spiccia.
24-5=19 studenti frequentano almeno un corso.
I corsi sono frequentati da 10+12=22 studenti.
Quindi 22-19=3 studenti frequentano entrambi i corsi

"Bokonon":
...poi c'è la versione spiccia.
24-5=19 studenti frequentano almeno un corso.
I corsi sono frequentati da 10+12=22 studenti.
Quindi 22-19=3 studenti frequentano entrambi i corsi

Si ma l'OP aveva domandato come fare in modo formale, mi pare che la versione "spiccia" l'avesse già capita da sé.
Comunque sia
"DavidGnomo":
Noooooooooooooooooooo, ho scritto una grande cavolata arghhh! Non modifico perchè mi sia da monito!
Infatti, $ |A_3| = 5 $ -_-

Non si modifica altrimenti la discussione per chi leggerà in futuro perde di senso. E non c'è nulla di male a dire qualcosa di sbagliato.
"DavidGnomo":

E' giusto perchè in $ A_1 $ ce $ A_2 $ ci sono studenti che seguono almeno un corso, in $ A_3 $ ci sono studenti che non seguono niente e quindi non hanno elementi in comune ovvero sono disgiunti.

Esattamente.

E ad ogni modo hai poi capito l'intuizione che v'è dietro alla principio di inclusione-esclusione?
"3m0o":

L'intuizione che ci sta dietro a quella formula è facile da capire facendosi un diagramma di Venn classico. Ad esempio con due insiemi \( A_1, A_2 \) vuoi capire quanti elementi contiene l'unione, conti prima gli elementi di \( A_1 \) poi gli elementi di \( A_2 \) solo che hai contato due volte gli elementi che stanno sia in \( A_1 \) sia in \( A_2 \) e quindi devi togliere gli elementi di \( \left| A_1 \cap A_2 \right| \), altrimenti li avresti contati due volte. Allo stesso modo prova a capire l'intuizione con tre insiemi usano i diagrammi di Venn.
L'idea rimane invariata!

DavidGnomo1
Esattamente, è una cosa che avevo intuito quando andando a contare gli elementi dell'unione non mi tornava e dovevo per forza sottrarre la loro intersezione per il motivo da te descritto (ho usato i diagrammi)! E' che non riuscivo a formalizzare come mi sarebbe piaciuto e come tu hai fatto.

Grazie ancora a tutti! Alla prossima :)

"3m0o":

\[ \left| A_1 \cup A_2 \cup A_3 \right| = \left| A_1 \right| + \left| A_2 \right| + \left| A_3 \right| - \left| A_1 \cap A_2 \right| - \left| A_1 \cap A_3 \right| - \left| A_2 \cap A_3 \right| + \left| A_1 \cap A_2 \cap A_3 \right| \]

Quindi riesci a spiegarmi, come ho fatto io, il motivo per cui questo è vero? Ovvero perché sommo e sottraggo quei termini?

DavidGnomo1
Perchè se due insiemi sono intersecati, la loro unione comprende anche gli elementi di entrambi.
Prendiamo ad esempio due insiemi $A$ e $B$.
Ci verrebbe naturale calcolare la cardinalità dell'unione in questo modo: $|A \cup B| = |A| + |B|$. Sommare, quindi gli elementi del primo insieme con il secondo.
Tuttavia, questa somma bruta andrebbe bene se $A \cap B = \emptyset$ (insiemi disgiunti).
Avendo, invece, degli elementi in comune, bisogna sottrarli dal totale.

Se gli insiemi sono tre, $A, B, C$ bisogna sottrarre anche le intersezioni comuni non solo ad $A, B$ ma anche $A, C$ e $B, C$.
Sempre per il motivo di non contare lo stesso elemento più di una volta.
La formula generale è quella che hai scritto nella prima risposta :)

PS: Se gli insiemi fossero digiunti allora $|A \cup B| = |A| + |B|$.
PSS: Scusa il ritardo nella risposta :)

"DavidGnomo":

Se gli insiemi sono tre, $A, B, C$ bisogna sottrarre anche le intersezioni comuni non solo ad $A, B$ ma anche $A, C$ e $B, C$.

Esatto, ma allora perché alla fine aggiungo \( \left| A \cap B \cap C \right| \) ?

DavidGnomo1
Perchè sottraendo le varie intersioni prima, avremmo come risultato il numero degli elementi che appartengono solo ad $A, B, C$ e mancherebbero quelli appartenenti contemporaneamente a tutti e tre gli insiemi. Per questo aggiungiamo la cardinalità dell'insieme delle loro intersezioni.

:smt023

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