#6a insieme InFinito

Cos’è un insieme infinito?

Cantor e Dedekind hanno visioni analoghe e rispondono chiaramente formalmente alla domanda; ma mettiamo un po’ di chiarezza dove il linguaggio matematico nel spiegare l’ovvietà ci complica un po’ la comprensione.

cropped-uccelli-di-vinile-simbolo-infinito-jpg1.png

Parto da Peano in quanto se mi soddisfa i suoi 5 punti allora esiste qualunque insieme infinito concernente i numeri naturali N. Approfondiamo:

IMG_5637

Non esiste suriettività nella funzione s così come nella f che va da X —> X, quindi prendo una ed una sola x∈X\ f(X) (vedi sopra la x piccola in nero).
Sia F la famiglia di tutte le A⊆X tali che le loro funzioni f(A)⊆A, quindi anche X⊆A (per la regola dell’insieme delle parti) e che C siano invece quegli insiemi facenti parte della famiglia delle intersezioni di A tale che x∈C ed abbia un successore in se stesso s: C —-> C come restrizione di f.

  1. C∈N
  2. x∈N|s(x)∈N
  3. x∉s(C) perché x∉f(X)
  4. s ed f sono iniettive

per descrivere meglio il punto 5 introduco il concetto di ricursione con un esempio:

img_5645-e1519639099982.jpg

 

f(n) = s(n) ed è la sommatoria di tutte le n∈N che hanno la ƒ:  N —> X. 

  • la funzione produttoria = Γƒ ⊆ NxX (grafico) corrisponde all’intersezione di tutte le ƒ: N —->X raggruppate in una famiglia F
  • il termine ricorsivo sta nel riferimento a se stessa nella funzione dopo n = s(n), s(n) = ƒ(s(n)) ecc. che nel punto 5 soddisfa il principio d’induzione nella sua prima forma.
Bibliografia Dikran Dikranjan Maria Silvia Lucido – Aritmetica e Algebra
Barbieri Viale - Che cos'è un numero 
Carl B.Boyer - storia della matematica

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

w

Connecting to %s

Blog at WordPress.com.

Up ↑

%d bloggers like this: