Ho difficoltà su questo esercizio:
1.1.19
$P(S) \cup P(T) = P(S \cup T) \Leftrightarrow S \subseteq T$ oppure $T \subseteq S$.
$\Rightarrow$
Ho tentato di dare due soluzioni per questa prima parte, una incompleta e l'altra per assurdo
Soluzione n.1
Sia $X \subseteq S \Rightarrow X \in P(S) \Rightarrow X \in P(S) \cup P(T) \Rightarrow X \in P(S \cup T) \Rightarrow X \subseteq S \cup T$ e da qui in poi non so continuare.
Soluzione n.2 per assurdo
Supponiamo per assurdo che $S \subsetne T$ e $T \subsetne S$ da questo rileviamo che
$\exists x : x \notin (S \cup T) \Rightarrow \exists {x} \subsetne S \cup T \Rightarrow {x} \notin P(S \cup T)$ ma l'ipotesi dice che s $X \subseteq S \Rightarrow X \in P(S) \Rightarrow X \in P(S \cup T)$ per cui giungiamo ad un assurdo e deve essere per forza $S \subseteq T$ o $T \subseteq S$.
$\Leftarrow$
Ipotesi: $S \subseteq T$ o $T \subseteq S$
Tesi: $P(S) \cup P(T) = P(S \cup T)$
$\subseteq$: $P(S) \cup P(T) \subseteq P(S \cup T)$
Sia $X \in P(S) \cup P(T) \Rightarrow X \in P(S)$ o $X \in P(T) \Rightarrow X \subseteq S$ o $X \subseteq T \Rightarrow X \subseteq S \cup T \Rightarrow X \in P(S \cup T)$.
per l'altra inclusione ancora nulla.
Potete darmi qualche suggerimento e correzione di ragionamento? grazie