Notifiche
Cancella tutti

[Risolto] Congettura di Collatz

  

1

Propongo una semplice dimostrazione della congettura di Collatz. Troppo semplice per essere vera. Chiedo aiuto per trovare gli errori.

(1) L’insieme dei numeri naturali (dominio della funzione n/2 per n pari e 3n+1 per n dispari) si può suddividere in quattro sottoinsiemi: uno per i numeri dispari (2n-1) e tre per i numeri pari 6n-4, 6n-2 e 6n. Applicando la funzione di Collatz ai numeri dispari 2n-1 si ottengono numeri pari della forma 6n-2. Infatti, 3(2n-1)+1 = 6n-2. Vale anche la relazione inversa (6n-2-1)/3 = 2n-1. Pertanto, per ogni numero pari della forma 6n-2 esiste solo un numero dispari 2n-1 e viceversa.

(2) Utilizzando la relazione tra i numeri dispari 2n-1 e i numeri pari 6n-2 descritta nel precedente punto (1), si costruisce una tabella con le seguenti regole: inizia con il numero 8, posto al vertice della prima colonna; gli elementi delle successive colonne sono dati dai numeri pari ottenuti moltiplicando per 2 i numeri della colonna precedente e dai numeri dispari ottenuti dalla relazione (6n-2-1)/3 per ognuno dei numeri pari della forma 6n-2 della colonna in costruzione. C(1) =8  - -> C(2)=16,5 - -> C(3)=32,10,3 - -> C(4)=64,20,6,21 - -> C(5)=128,40,12,42,13  - -> C(6)=256,80,24,84,26,85 - -> C(7)=512,160,48,168,52,170,53,17 e così via.

(3) Si può notare che ogni colonna della tabella presenta un numero finito di elementi, mentre ogni riga ne ha un numero infinito. Inoltre, ogni colonna ha un numero di elementi superiore a quelli della colonna precedente, causato dall’aggiunta dei numeri dispari nella parte finale della colonna. La tabella contiene tutti i numeri naturali, tranne 1, 2, 4. Infatti, dai numeri dispari divisibili per 3 moltiplicati per potenze crescenti di 2 si ottiene il sottoinsieme dei numeri pari della forma 6n; dai numeri dispari non divisibili per 3 moltiplicati per potenze crescenti di 2 si ottengono i sottoinsiemi dei numeri pari 6n-2 e 6n-4. Gli elementi di questi ultimi due sottoinsiemi si alternano, dopo un numero della forma 6n-2 è sempre presente un numero della forma 6n-4 e viceversa. Infatti, 2(6n-2) = 12n - 4 = 6(2n) - 4 e 2(6n - 4) = 12n- 8 + 6 - 6 = 6(2n - 1) -2.

(4) I numeri naturali presenti nelle colonne da C(1) alla generica C(n) della tabella sono necessari e sufficienti per generare, mediante la funzione di Collatz, tutte le possibili sequenze che comprendono il numero 1, a partire da un qualsiasi numero naturale n presente nelle colonne da C(1) a C(n), senza cicli (eccetto 1,2,4,1) o crescite indefinite del valore numerico, perché la relazione che lega i numeri dispari 2n-1 e i numeri pari della forma 6n-2 permette di costruire la tabella senza duplicazioni e con valori finiti.

(5) Per il principio di induzione, se una proprietà P(n), dipendente da una variabile intera n, vale per n=1 e se per ogni numero naturale n, la proprietà P(n) implica la proprietà P(n+1) allora P(n) vale per tutti i numeri naturali.

Definita la seguente proprietà: P(C(n)) = la sequenza dei numeri generati dalla funzione di Collatz converge a 1 per qualsiasi numero naturale n appartenente alla colonna C(n) della tabella descritta nei precedenti punti da (1) a (4).

La proprietà P(C1) è valida in quanto nella colonna C(1) è presente solo il numero 8 che converge a 1 (8,4,2,1).

La proprietà P(C(n)) implica P(C(n+1)) perché i valori numerici pari di C(n+1) sono il doppio dei corrispondenti valori numerici della colonna C(n) e i valori numerici dispari della colonna C(n+1) sono correlati ai numeri pari della medesima colonna, determinati dalla menzionata relazione tra i numeri dispari 2n-1 e i numeri pari della forma 6n-2. Quindi se convergono a 1 i numeri della colonna C(n) allora convergono a 1 anche i numeri della colonna C(n+1).  Pertanto, la proprietà è valida per tutte le C(n).

Considerato infine che la tabella contiene tutti i numeri naturali, tranne 1,2,4 che convergono a 1, si può concludere che le sequenze numeriche generate dalla funzione di Collatz convergono a 1 per qualsiasi numero naturale n.

Autore

@exProf "Saludi e Trigu" è un antico augurio, saludi = salute e trigu = grano. Ti auguro una buona salute e un buon raccolto di grano. Buona serata

 @exProf Nel documento pdf allegato ho cercato di analizzare con maggiori dettagli la corrispondenza biunivoca (o funzione biiettiva) tra i numeri dispari e i numeri pari della forma 6n-2. Inoltre, ho inserito due tabelle che riportano l'insieme dei numeri naturali in due modalità diverse. La prima evidenzia, a mio avviso. la suddetta corrispondenza biunivoca. Sulla seconda tabella, costruita in base alla suddetta corrispondena biunivoca, ho cercato di applicare il principio di induzione.  

@brunolecis ci avevo azzeccato! saludi = salus e trigu = triticum. Circa il PDF l'avrai anche allegato, ma non qui. Forse a quello che ha promesso mille dollari?

@brunolecis T'ho clickato una freccia in su come apprezzamento per come sai intignare con calma.

2 Risposte



1

Quand'ero all'Università (1957...) la Congettura di Ulam era "L'applicazione ricorsiva della funzione di Collatz genera uno a partire da qualsiasi innesco naturale"; adesso vedo che anche WikipediA, come te, la chiama Congettura di Collatz.
Povero Ulam: non è solo fra i Comanche che i nomi cambiano col tempo che passa.
Non sapendo più dove ripescare (se ancora fossero in soffitta) i miei antichi appunti, mi riferisco a

http://it.wikipedia.org/wiki/Congettura_di_Collatz

http://mathworld.wolfram.com/CollatzProblem.html

e questo secondo riferimento ti dovrebbe interessare perché, se noi qui non riusciamo a confutare la tua tesi, puoi sempre rivolgerti al tizio lì citato che ha offerto i mille dollari di premio: o lui ci riesce oppure tu guadagni $ 1000 e almeno un articolo su una rivista di prestigio.
Scrivendo "noi qui non riusciamo" sono stato un po' arrogante ad includermi nel "noi": io sono ormai troppo arrugginito per tentare di confutare checchessia, ma cercherò di rendermi utile a te e agli altri responsori che vorranno affrontare le tue 4000 abbondanti battute PIGNOLANDO su cio' che hai scritto (la pignoleria ancora mi funziona).
------------------------------
(1) Secondo il principio "un segno ↔ un significato" trovo criticabile la tua notazione in cui il nome "n" ha due significati diversi
* «uno per i numeri dispari (2n-1) e tre per i numeri pari 6n-4, 6n-2 e 6n.»
Basandosi sui sestupli la situazione di una sestina ha la forma
* {n: 6*n - 5, 6*n - 4, 6*n - 3, 6*n - 2, 6*n - 1, 6*n} ≡
≡ {n: 2*{(3*n - 2) - 1, (3*n - 2), (3*n - 1) - 1, (3*n - 1), (3*n) - 1, (3*n)}}
La mia critica è:
* non è che chiamare comunque "n" tutt'e tre i valori {(3*n - 2), (3*n - 1), (3*n)} può averti provocato qualche confusione nello sviluppo del tuo ragionamento?
---------------
"Applicando la funzione di Collatz ai numeri dispari ..."
* C(3*n - 2) = 3*(3*n - 2) + 1 = 9*n - 5 = 6*(3*n - 1)/2 - 2
* C(3*n - 1) = 3*(3*n - 1) + 1 = 9*n - 2 = 6*(3*n - 0)/2 - 2
* C(3*n - 0) = 3*(3*n - 0) + 1 = 9*n + 1 = 6*(3*n - 1)/2 - 2
"... si ottengono numeri pari della forma 6n-2."
Anche qui:
* non è che chiamare comunque "n" tutt'e due i valori {(3*n - 1)/2, (3*n)/2} può averti provocato qualche confusione nello sviluppo del tuo ragionamento?
---------------
Per quanto sopra t'invito a riflettere con molta calma alla plausibilità della frase che tu presenti in forma conclusiva
* "Pertanto, per ogni numero pari della forma 6n-2 ESISTE SOLO UN NUMERO DISPARI 2n-1 e viceversa."
------------------------------
Mi sembra d'aver pignolato quanto basta per farti riscrivere, almeno formalmente, la tua dimostrazione; adesso lascio il campo agli altri responsori.
Se e quando pubblicherai una versione aggiornata, mettici dentro un "@exProf" preceduto e seguito da uno spazio in modo che me ne giunga notifica: avrei piacere di leggere se le mie circa 3000 battute siano state di qualche utilità.
MO TE STA LASSU, SAI!
(questo era, a Lecce, come ci si accomiatava dopo una lunga chiacchierata).

@exprof

Grazie @exProf , le osservazioni sono tutte utili. In particolare quella sulla corrispondenza biunivoca tra i numeri dispari 2n-1 e i numeri pari della forma 6n-2. Se si tratta di un  errore allora tutte le considerazioni che seguono sono ugualmente sbagliate o non servono a nulla. Pensavo che per la corrispondenza biunivoca tra questi due insiemi fosse sufficiente descrivere la funzione 3(2n-1)+1 = 6n-2 e la funzione inversa (6n-2-1)/3 = 2n-1. Pertanto, seguirò il tuo consiglio. Cercherò di approfondire i concetti che consentono di chiarire quando si può affermare che esiste una corrispondenza biunivoca tra due insiemi. SALUDI E TRIGU (saluto beneaugurante sardo).



0

 congettura di Collatz ??  Colkatz : è quella di Ulam !! 😉

https://sciencecue.it/stanislaw-ulam-matematica-bomba-idrogeno/29992/

@remanzini_rinaldo L'ho detto prima io, questa volta t'ho battuto sul tempo! Rispondi sempre prima tu ... ecchéè ...

@remanzini_rinaldo La congettura è conosciuta con tanti nomi. Forse il primo è stato proprio Ulam, nato nel 1909 mentre Collatz è nato nel 1910. Chiunque sia stato, si può dire che ha inventato un bel grattacapo per tanti grandi matematici e un bel passatempo per tanti dilettanti come me.

@exProf...Hahaha : touché ; aggiungo che Ulam, al pari di Von Neuman e Teller non ha ricevuto il meritato riconoscimento al suo talento perché colpevole, agli occhi di certo establishment scientifico, di aver avuto un ruolo determinante nella realizzazione di ordigni nucleari al soldo degli "imperialisti americani" !!

@BRUNOLECIS
La data di nascita non c'entra: Collatz ne ha parlato nel 1937 ed altri l'hanno diffusa in lezioni e conferenze, ma Ulam fu il primo a pubblicarla e nelle scienze l'attribuzione va al primo che pubblica.
Le formule risolutive per le equazioni di terzo e quarto grado si chiamano formule di Cardano, anche se l'hanno elaborate Tartaglia e Ferrari: ma la prima pubblicazione fu nell'Ars Magna.
PS: traduzione per traduzione.
"MO TE STA LASSU, SAI!" ≡ Mo ti sto lasciando, sai?
E il tono ascendente dell'interrogativo italiano è discendente in dialetto.
tocca a te: "SALUDI E TRIGU" vale "Salus et triticum" o altro?



Risposta
SOS Matematica

4.6
SCARICA