Note per Studenti Esercizio 7 - unione, intersezione e complementari con disequazioni

Esercizio 7

Testo (Lezione 1). Siano

A={x∈R:x(x−2)≤0},B={x∈R:(x−1)(x−3)<0}.A = \{x \in \mathbb{R} : x(x-2) \le 0\}, \qquad B = \{x \in \mathbb{R} : (x-1)(x-3) < 0\}.

Determinare A∪BA \cup B, A∩BA \cap B, Ac∪BcA^c \cup B^c.


Passo 0: capire il testo

AA e BB sono descritti con un predicatoUna proprietà che dipende da xx e può essere vera o falsa: l'insieme raccoglie le xx che la rendono vera.: AA contiene i numeri reali xx per cui è vera la disuguaglianza p(x)p(x): "x(x−2)≤0x(x-2) \le 0"; BB quelli per cui è vera q(x)q(x): "(x−1)(x−3)<0(x-1)(x-3) < 0". L'universo è X=RX = \mathbb{R} (serve per i complementariIl complementare AcA^c contiene gli elementi dell'universo XX che non stanno in AA: senza fissare XX non è definito.Operazioni tra insiemi →).

Strategia: prima si scrive ogni insieme come intervalloTutti i reali compresi tra due estremi; parentesi quadra = estremo incluso, parentesi tonda = estremo escluso.Insiemi numerici (N, Z, Q, R) → (risolvendo la disequazione), poi le operazioni diventano semplici operazioni su intervalli.


Passo 1: chi è AA

Bisogna risolvere x(x−2)≤0x(x-2) \le 0. È un prodotto di due fattori, xx e (x−2)(x - 2).

Idea: il segno di un prodotto dipende dai segni dei fattori. Un prodotto è negativo quando i fattori hanno segni opposti, positivo quando hanno lo stesso segno, nullo quando almeno un fattore è nullo.

  1. Dove si annullano i fattori: x=0x = 0 e x−2=0  ⟺  x=2x - 2 = 0 \iff x = 2. Le due radiciI valori di xx che annullano il prodotto, cioè che annullano almeno uno dei fattori. sono x1=0x_1 = 0 e x2=2x_2 = 2.
  2. Tabella dei segniSi studia il segno di ogni fattore nelle varie zone della retta, poi si moltiplicano i segni colonna per colonna.:
x<0x < 0 x=0x = 0 0<x<20 < x < 2 x=2x = 2 x>2x > 2
xx −- 00 ++ ++ ++
x−2x - 2 −- −- −- 00 ++
x(x−2)x(x-2) ++ 00 −- 00 ++
  1. Dove x(x−2)≤0x(x-2) \le 0: dove il prodotto è negativo (0<x<20 < x < 2) oppure nullo (x=0x = 0 e x=2x = 2, perché c'è il "≤\le"). Quindi 0≤x≤20 \le x \le 2.

A=[0,2]A = [0, 2]

Regola rapida (valori interni). x(x−2)=x2−2xx(x-2) = x^2 - 2x è un polinomio di secondo grado con coefficiente di x2x^2 positivo: il suo grafico è una parabola rivolta verso l'altoIl grafico di ax2+bx+cax^2+bx+c con a>0a>0: scende e poi risale, quindi è negativo solo tra le radici., che sta sotto l'asse xx solo tra le due radici. Quindi "≤0\le 0" → valori interni alle radici, estremi inclusi.

Controllo con un valore: x=1x = 1: 1⋅(1−2)=−1≤01 \cdot (1 - 2) = -1 \le 0 ✓ (e 1∈[0,2]1 \in [0,2]). x=3x = 3: 3⋅1=3>03 \cdot 1 = 3 > 0 ✗ (e 3∉[0,2]3 \notin [0,2]) ✓.

Grafico interattivo: y = x(x − 2): la parabola sta sotto l'asse x (o lo tocca) esattamente per 0 ≤ x ≤ 2


Passo 2: chi è BB

Stesso ragionamento per (x−1)(x−3)<0(x - 1)(x - 3) < 0.

  1. Radici: x−1=0  ⟺  x=1x - 1 = 0 \iff x = 1, x−3=0  ⟺  x=3x - 3 = 0 \iff x = 3.
  2. Il prodotto è negativo quando i fattori hanno segni opposti, cioè quando x−1>0x - 1 > 0 e x−3<0x - 3 < 0, cioè 1<x<31 < x < 3. (L'altro caso, x−1<0x - 1 < 0 e x−3>0x - 3 > 0, richiederebbe x<1x < 1 e x>3x > 3 insieme: impossibile.)
  3. Qui la disuguaglianza è stretta (<0< 0), quindi le radici, dove il prodotto vale 00, sono escluse.

B=(1,3)B = (1, 3)

Controllo: x=2x = 2: 1⋅(−1)=−1<01 \cdot (-1) = -1 < 0 ✓. x=1x = 1: 0⋅(−2)=00 \cdot (-2) = 0, che non è <0< 0, quindi 1∉B1 \notin B ✓.

Ecco i due insiemi sulla retta:

Grafico interattivo: A = [0, 2]: estremi inclusi

Grafico interattivo: B = (1, 3): estremi esclusi


Passo 3: A∪BA \cup B

L'unioneA∪BA \cup B contiene gli elementi che stanno in AA oppure in BB (o in entrambi).Operazioni tra insiemi → corrisponde all'"oppureIl connettivo ∨\vee ("o"): è vero se almeno una delle due affermazioni è vera.Logica e quantificatori →": x∈A∪Bx \in A \cup B se x(x−2)≤0x(x-2) \le 0 oppure (x−1)(x−3)<0(x-1)(x-3) < 0, cioè se x∈[0,2]x \in [0, 2] oppure x∈(1,3)x \in (1, 3).

Come si uniscono due intervalli. Si guarda la retta: [0,2][0, 2] copre da 00 a 22, (1,3)(1, 3) copre da 11 a 33. I due pezzi si sovrappongono (tra 11 e 22), quindi insieme coprono un unico intervallo, da 00 a 33.

  • L'estremo sinistro è 00, e 0∈A0 \in A, quindi è incluso.
  • L'estremo destro è 33: 3∉A3 \notin A (perché 3>23 > 2) e 3∉B3 \notin B (estremo escluso), quindi è escluso.

A∪B=[0,3)A \cup B = [0, 3)

Grafico interattivo: A ∪ B = [0, 3): tutti i punti che stanno in A oppure in B


Passo 4: A∩BA \cap B

L'intersezioneA∩BA \cap B contiene gli elementi che stanno sia in AA sia in BB.Operazioni tra insiemi → corrisponde alla "eIl connettivo ∧\wedge: è vero solo se entrambe le affermazioni sono vere.Logica e quantificatori →", cioè a un sistemaPiù condizioni da soddisfare tutte insieme: le soluzioni sono quelle comuni a tutte le condizioni.:

x∈A∩B  ⟺  {x(x−2)≤0(x−1)(x−3)<0  ⟺  {0≤x≤21<x<3x \in A \cap B \iff \begin{cases} x(x-2) \le 0 \\ (x-1)(x-3) < 0 \end{cases} \iff \begin{cases} 0 \le x \le 2 \\ 1 < x < 3 \end{cases}

Si prendono i punti che soddisfano entrambe le condizioni: devono essere ≥0\ge 0 e >1> 1, cioè >1> 1 (la condizione più restrittiva a sinistra); devono essere ≤2\le 2 e <3< 3, cioè ≤2\le 2 (la più restrittiva a destra).

  • 11 è escluso (non sta in BB);
  • 22 è incluso (2∈A2 \in A e 2∈B2 \in B, perché 1<2<31 < 2 < 3).

A∩B=(1,2]A \cap B = (1, 2]

Grafico interattivo: A ∩ B = (1, 2]: solo la parte comune ai due intervalli


Passo 5: Ac∪BcA^c \cup B^c

Ci sono due strade. La prof le indica entrambe.

Strada 1: direttamente

AcA^cIl complementare di AA in X=RX = \mathbb{R}: i reali che non stanno in AA.Operazioni tra insiemi → contiene gli xx per cui non vale x(x−2)≤0x(x-2) \le 0, cioè x(x−2)>0x(x-2) > 0 (il contrarioLa negazione di a≤ba \le b è a>ba > b: tra due reali vale sempre esattamente una delle due.Logica e quantificatori → di "≤\le" è ">>"). BcB^c contiene gli xx con (x−1)(x−3)≥0(x-1)(x-3) \ge 0 (il contrario di "<<" è "≥\ge"). Quindi

Ac∪Bc={x∈R:x(x−2)>0 ∨ (x−1)(x−3)≥0}A^c \cup B^c = \{x \in \mathbb{R} : x(x-2) > 0 \ \vee \ (x-1)(x-3) \ge 0\}

  • Ac=(−∞,0)∪(2,+∞)A^c = (-\infty, 0) \cup (2, +\infty) (valori esterni alle radici 00 e 22, esclusi);
  • Bc=(−∞,1]∪[3,+∞)B^c = (-\infty, 1] \cup [3, +\infty) (esterni alle radici 11 e 33, inclusi).

Unendo: a sinistra (−∞,0)∪(−∞,1]=(−∞,1](-\infty, 0) \cup (-\infty, 1] = (-\infty, 1]; a destra (2,+∞)∪[3,+∞)=(2,+∞)(2, +\infty) \cup [3, +\infty) = (2, +\infty). Risultato: (−∞,1]∪(2,+∞)(-\infty, 1] \cup (2, +\infty).

Strada 2: con De Morgan (più veloce)

Per la legge di De MorganIl complementare scambia unione e intersezione: (A∩B)c=Ac∪Bc(A \cap B)^c = A^c \cup B^c e (A∪B)c=Ac∩Bc(A \cup B)^c = A^c \cap B^c.Operazioni tra insiemi → Ac∪Bc=(A∩B)cA^c \cup B^c = (A \cap B)^c. L'intersezione l'abbiamo già: A∩B=(1,2]A \cap B = (1, 2]. Il complementare in R\mathbb{R} è tutto ciò che non sta in (1,2](1, 2]:

  • i numeri ≤1\le 1 (il numero 11 non sta in (1,2](1, 2], quindi sta nel complementare);
  • i numeri >2> 2 (il numero 22 sta in (1,2](1, 2], quindi non sta nel complementare).

Ac∪Bc=(A∩B)c=(−∞,1]∪(2,+∞)A^c \cup B^c = (A \cap B)^c = (-\infty, 1] \cup (2, +\infty)

Le due strade danno lo stesso risultato ✓.

Regola per gli estremi nel complementare: un estremo incluso nell'insieme diventa escluso nel complementare, e viceversa.

Controllo con valori di prova: x=0x = 0: sta in AA ma non in BB, quindi x∈Bcx \in B^c e dunque in Ac∪BcA^c \cup B^c; infatti 0≤10 \le 1 ✓. x=1,5x = 1{,}5: sta sia in AA sia in BB, quindi né in AcA^c né in BcB^c; infatti 1,5∈(1,2]1{,}5 \in (1, 2] è escluso dal risultato ✓. x=2,5x = 2{,}5: non sta in AA, quindi sta in AcA^c; infatti 2,5>22{,}5 > 2 ✓.


Errori comuni

  • Confondere "≤\le" e "<<" e quindi includere/escludere gli estremi sbagliati: in AA gli estremi ci sono, in BB no.
  • Negare "≤0\le 0" con "<0< 0" quando si calcola il complementare: il contrario di ≤\le è >>.
  • Scrivere (A∪B)c(A \cup B)^c al posto di (A∩B)c(A \cap B)^c: il complementare scambia unione e intersezione.
  • Per l'unione prendere solo la parte comune: quella è l'intersezione.

Risultato

Insieme Risultato
AA [0,2][0, 2]
BB (1,3)(1, 3)
A∪BA \cup B [0,3)[0, 3)
A∩BA \cap B (1,2](1, 2]
Ac∪Bc=(A∩B)cA^c \cup B^c = (A \cap B)^c (−∞,1]∪(2,+∞)(-\infty, 1] \cup (2, +\infty)

Lezioni in cui compare

Teoria collegata