Dubbi insieme numerabile

matematicamenteparlando
Salve a tutti,ho il seguente esercizio:

"Siano $Z$ un insieme infinito numerabile e $W$ un insieme finito.
Gli insieme $Z uu W$ e $Z-W$ sono numerabili?"

Che ragionamento devo fare in questi tipi di esercizi per arrivare ad una dimostrazione?

Grazie mille a tutti per la disponibilità

Risposte
killing_buddha
$Z\setminus W$ ha senso se $W\subset Z$, o per meglio dire, la seconda domanda ha senso considerando $W$ immerso (in qualche modo, non importa quale) dentro $Z$. In questo caso

1. $Z\cup W$ e' numerabile perche' (a) esiste una funzione biiettiva \(f : Z\to \aleph_0\) (b) \(p_{f,n}=f+n\colon z\mapsto f(z)+n\) e' una funzione iniettiva che "manca" precisamente i primi $n$ elementi di \(\aleph_0\); allora se $\bar n=|W|$ (cioe' se \(W=\{w_1,\dots, w_n\}\), definisco \(Z\cup W\to \aleph_0\) come la funzione che manda $z$ in $p_{f,n}(z)$ e $w_i$ in $i$ per ogni \(1\le i\le n\). Questa funzione e' biiettiva.

2. $Z\setminus W$ e' numerabile perche' $p_{f,n}$ e' una biiezione \(Z\setminus W\to \aleph_0\).

matematicamenteparlando
Scusami killing non ho ben capito la simbologia che usi al punto 1,potresti spiegarmelo in maniera più semplice?(scusami ma è poco che studio logica)

Ti ringrazio

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