Operazioni sui naturali

Messaggioda HowardRoark » 22/04/2019, 08:41

Spero sia la sezione giusta.

I numeri naturali sono definiti assumendo che lo $0$ definisca una classe di equipotenza $card(emptyset)$; poi viene definito il successivo di un insieme $A$ (indicato con $A^+$)come l'insieme ottenuto aggiungendo $A$ stesso ai singoli elementi di $A$, cioè:

$A^+ = A uu {A} = {A;{A}}$.

Quindi, per es., l'$1$ viene definito così:

$1= card(emptyset^+) = card({emptyset}) = card ({0}). $


In sostanza l'insieme dei naturali viene ordinato mediante la relazione di appartenenza $in$. Per es. $0<1$ equivale al fatto che l'insieme $emptyset$ è contenuto nell'inseme di cardinalità $1$ (che è appunto il naturale $1$).

Il mio dubbio riguarda proprio questo. L'operazione di somma viene definita così. Siano $a$ e $b$ $in NN$ e $A,B$ due insiemi con $card(A)= a$ e $card(B) = b$. Si scelgono $A$ e $B$ disgiunti e si pone

$n+m = card (A uu B)$.

Ora, com'è possibile scegliere due insiemi disgiunti se i naturali sono stati ordinati proprio tramite la relazione di appartenenza $in$?
Ultima modifica di HowardRoark il 22/04/2019, 17:36, modificato 1 volta in totale.
$(Z –>)^(90º) – (E–N^2W)^(90º)t = 1$
Avatar utente
HowardRoark
Senior Member
Senior Member
 
Messaggio: 564 di 1675
Iscritto il: 13/07/2016, 09:02

Re: Operazioni sui naturali

Messaggioda gugo82 » 22/04/2019, 16:59

Se $0$ è una classe di insiemi equipotenti, perché gli altri naturali non dovrebbero esserlo?
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 21231 di 44915
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Operazioni sui naturali

Messaggioda HowardRoark » 22/04/2019, 17:18

Ripensandoci adesso, in effetti non mi sembra di vedere una contraddizione.

Per esempio, se volessi fare $1+2$ applicando la definizione otterrei:

$1+2= card({0}, {0,1}) = card ({emptyset,{emptyset}, {emptyset,{emptyset}}}) = card ({0,1,2})$.
Ultima modifica di HowardRoark il 22/04/2019, 17:37, modificato 1 volta in totale.
$(Z –>)^(90º) – (E–N^2W)^(90º)t = 1$
Avatar utente
HowardRoark
Senior Member
Senior Member
 
Messaggio: 568 di 1675
Iscritto il: 13/07/2016, 09:02

Re: Operazioni sui naturali

Messaggioda @melia » 22/04/2019, 17:22

Il simbolo che cercavi è questo $emptyset$, ovvero "insieme vuoto" in inglese.
Sara Gobbato

732 chilometri senza neppure un autogrill
Avatar utente
@melia
Moderatore globale
Moderatore globale
 
Messaggio: 11447 di 21976
Iscritto il: 16/06/2008, 18:02
Località: Padova

Re: Operazioni sui naturali

Messaggioda HowardRoark » 22/04/2019, 17:32

@Melia grazie.
$(Z –>)^(90º) – (E–N^2W)^(90º)t = 1$
Avatar utente
HowardRoark
Senior Member
Senior Member
 
Messaggio: 569 di 1675
Iscritto il: 13/07/2016, 09:02

Re: Operazioni sui naturali

Messaggioda HowardRoark » 22/04/2019, 19:06

Ah, però questa cosa non mi è ancora chiara. Due insiemi $A, B in NN$ non potranno mai essere disgiunti per come è stato definito il successivo di un insieme.

Sbaglio a considerare gli insiemi $A$ e $B$ che compaiono nella definizione di somma come appartenenti ai numeri naturali?
$(Z –>)^(90º) – (E–N^2W)^(90º)t = 1$
Avatar utente
HowardRoark
Senior Member
Senior Member
 
Messaggio: 570 di 1675
Iscritto il: 13/07/2016, 09:02

Re: Operazioni sui naturali

Messaggioda gugo82 » 23/04/2019, 00:06

gugo82 ha scritto:Se $0$ è una classe di insiemi equipotenti, perché gli altri naturali non dovrebbero esserlo?

Tanto per capirci, $1$ è la classe di insiemi equipotenti a \(\{\varnothing\}\), quindi contiene insiemi del tipo $\{ x\}$ con $x$ qualsiasi; dunque anche \(\{\{\varnothing\}\}\) è un $1$ (poiché l’applicazione \(\varnothing \mapsto \{\varnothing\}\) è una biiezione di \(\{\varnothing\}\) in \(\{\{\varnothing\}\}\)) diverso dal rappresentante “più semplice” \(\{\varnothing\}\) e disgiunto da esso.
A questo punto, capisci da te che $1+1$ è definibile come la classe di equipotenza dell’unione \(\{\varnothing\}\cup \{\{\varnothing\}\} = \{\varnothing, \{\varnothing\}\}\) ottenuta da due rappresentanti disgiunti della classe $1$.


P.S.: Se posso essere sincero, fossi in te non mi concentrerei molto su queste cose, ché per comprenderle a fondo c’è bisogno di un po’ di maturità matematica.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)
Avatar utente
gugo82
Cannot live without
Cannot live without
 
Messaggio: 21243 di 44915
Iscritto il: 12/10/2007, 23:58
Località: Napoli

Re: Operazioni sui naturali

Messaggioda HowardRoark » 23/04/2019, 07:17

Ok, ora mi è un po' più chiara la cosa.
Grazie per la delucidazione comunque!
$(Z –>)^(90º) – (E–N^2W)^(90º)t = 1$
Avatar utente
HowardRoark
Senior Member
Senior Member
 
Messaggio: 571 di 1675
Iscritto il: 13/07/2016, 09:02


Torna a Secondaria II grado

Chi c’è in linea

Visitano il forum: Google [Bot] e 1 ospite