Funzionale sui naturali
Funzionale sui naturali
Trovare tutte le funzioni f: N -> N tali che
$ \displaystyle f(m+f(n))=n+f(m+100) $
per ogni m,n naturali.
[fonte: preimo 02]
$ \displaystyle f(m+f(n))=n+f(m+100) $
per ogni m,n naturali.
[fonte: preimo 02]
- mattilgale
- Messaggi: 372
- Iscritto il: 01 gen 1970, 01:00
- Località: Lucca
- Contatta:
qualcuno me lo controlli perché ci ho lavorato su un bel po' ma non sono sicuro...
allora
1) se m=0, f(f(n))=n+f(100) quindi f è iniettiva e può assumere qualsiasi valore >=f(100)=a
2) se n=0, f(m+f(0))=f(m+100) quindi f(0)=100
3) f(f(m+f(n)))=f(n+f(m+100))=
m+f(n)+a = m+100+f(n+100)
(per 1) ----- (per ipotesi)
quindi f(n+100)-f(n)=a-100 (quindi a>100, altrimenti si hanno infiniti interi tra o e f(n). )
supponiamo adesso $ a< 200 $ cioè $ a-100< 100 $
consideriamo la sequenza f(n); f(n+100); f(n+200) ... che è una progressione aritmetica... osserviamo adesso che gli interi della sequenza sono tutti congrui modulo (a-100),
ovviamente 0<=n<=99 poiché altrimenti si hanno casi già visti, tra i 100 interi tra 0 e 99 però devono esistere due interi m ed n tali che
$ f(m)\equiv f(n) \ (\mod{ a-100}) $per il pigeonhole poiché
$ 1\leq a-100<100 $
ma questo è assurdo poiché se così fosse esisterebbero due interi diversi m+100k ed n+100t con k e t naturali tali che $ f(m+100k)=f(n+100t) $
supponiamo adesso $ a>200 $ cioè $ a-100 >100 $
in tal caso per un ragionamento analogo al precedente esisterebbe almeno un b naturale tale che non esiste nessun n t.c. $ f(n)\equiv b\ (\mod{a-100}) $ e questo è assurdo poiché la funzione assume tutti i valori maggiori o uguali ad a.
quindi a=200
perciò
3bis) f(m+100)=f(m)+100 per la 3
quindi
$ f(f(m+f(m)))=f(m+f(m+100)) $
implica
$ m+f(m)+a=m+f(m)+200 $$ =f(m+f(m+100))=f(m+f(m)+100) $
pertanto
$ f(k)=k+100 $ con k=m+f(m)+100
e sfruttando la 3bis
$ f(n)=n+100\ \ \forall n\in \mathbb{N} $
allora
1) se m=0, f(f(n))=n+f(100) quindi f è iniettiva e può assumere qualsiasi valore >=f(100)=a
2) se n=0, f(m+f(0))=f(m+100) quindi f(0)=100
3) f(f(m+f(n)))=f(n+f(m+100))=
m+f(n)+a = m+100+f(n+100)
(per 1) ----- (per ipotesi)
quindi f(n+100)-f(n)=a-100 (quindi a>100, altrimenti si hanno infiniti interi tra o e f(n). )
supponiamo adesso $ a< 200 $ cioè $ a-100< 100 $
consideriamo la sequenza f(n); f(n+100); f(n+200) ... che è una progressione aritmetica... osserviamo adesso che gli interi della sequenza sono tutti congrui modulo (a-100),
ovviamente 0<=n<=99 poiché altrimenti si hanno casi già visti, tra i 100 interi tra 0 e 99 però devono esistere due interi m ed n tali che
$ f(m)\equiv f(n) \ (\mod{ a-100}) $per il pigeonhole poiché
$ 1\leq a-100<100 $
ma questo è assurdo poiché se così fosse esisterebbero due interi diversi m+100k ed n+100t con k e t naturali tali che $ f(m+100k)=f(n+100t) $
supponiamo adesso $ a>200 $ cioè $ a-100 >100 $
in tal caso per un ragionamento analogo al precedente esisterebbe almeno un b naturale tale che non esiste nessun n t.c. $ f(n)\equiv b\ (\mod{a-100}) $ e questo è assurdo poiché la funzione assume tutti i valori maggiori o uguali ad a.
quindi a=200
perciò
3bis) f(m+100)=f(m)+100 per la 3
quindi
$ f(f(m+f(m)))=f(m+f(m+100)) $
implica
$ m+f(m)+a=m+f(m)+200 $$ =f(m+f(m+100))=f(m+f(m)+100) $
pertanto
$ f(k)=k+100 $ con k=m+f(m)+100
e sfruttando la 3bis
$ f(n)=n+100\ \ \forall n\in \mathbb{N} $
"la matematica è il linguaggio con cui Dio ha plasmato l'universo"
Galileo Galilei
Galileo Galilei
- mattilgale
- Messaggi: 372
- Iscritto il: 01 gen 1970, 01:00
- Località: Lucca
- Contatta:
c'è un errore... non è detto che k=m+f(m)+100 possa assumere qualsiasi valore oltre una certa soglia... (infatti nel mio caso èp sempre pari)... quindi la dim cade...
vi farò presto sapere... mi sembrava triviale dopo aver dimostrato che a=200 ma non è così
vi farò presto sapere... mi sembrava triviale dopo aver dimostrato che a=200 ma non è così
"la matematica è il linguaggio con cui Dio ha plasmato l'universo"
Galileo Galilei
Galileo Galilei
Re: Funzionale sui naturali
EDIT: Cancellato tutto perchè Evariste ha ragione; le funzionali proprio non le so fare...
Ultima modifica di Boll il 13 mag 2006, 16:40, modificato 1 volta in totale.
"Ma devo prendere una n-upla qualsiasi o una n-upla arbitraria?" (Lui)
-
- Moderatore
- Messaggi: 1053
- Iscritto il: 01 gen 1970, 01:00
- Località: Pescara
Strada un po' da brute force...
Dopo aver visto che $ f(f(n))=n+200 $ e $ f(n+100)=f(n)+100 $ sostituiamo $ f(n) $ a $ n $ all'inizio e otteniamo:
$ f(m+f(f(n)))=f(n) + f(m+100) $
$ f(m+n+200)=f(n)+f(m) + 100 $
$ f(m+n)-100= f(n) - 100 + f(m) - 100 $
chaimando $ g(n)=f(n)-100 $ abbiamo che:
$ g(m+n)=g(m)+g(n) $ per ogni $ m,n $ naturale. Ma allora (questa è una funzione di cauchy) abbiamo che $ g(n)=an $ per ogni $ n $.
Sostituendo alla funzione iniziale otteniamo:
$ f(m+f(n))=n + f(m+100) $
$ am+a^2n+200 = n + am + 100a + 100 $
e quindi $ a=1 $.
Ergo $ f(n)=100+n $ per ogni $ n $.
Dopo aver visto che $ f(f(n))=n+200 $ e $ f(n+100)=f(n)+100 $ sostituiamo $ f(n) $ a $ n $ all'inizio e otteniamo:
$ f(m+f(f(n)))=f(n) + f(m+100) $
$ f(m+n+200)=f(n)+f(m) + 100 $
$ f(m+n)-100= f(n) - 100 + f(m) - 100 $
chaimando $ g(n)=f(n)-100 $ abbiamo che:
$ g(m+n)=g(m)+g(n) $ per ogni $ m,n $ naturale. Ma allora (questa è una funzione di cauchy) abbiamo che $ g(n)=an $ per ogni $ n $.
Sostituendo alla funzione iniziale otteniamo:
$ f(m+f(n))=n + f(m+100) $
$ am+a^2n+200 = n + am + 100a + 100 $
e quindi $ a=1 $.
Ergo $ f(n)=100+n $ per ogni $ n $.
-
- Moderatore
- Messaggi: 1053
- Iscritto il: 01 gen 1970, 01:00
- Località: Pescara
- mattilgale
- Messaggi: 372
- Iscritto il: 01 gen 1970, 01:00
- Località: Lucca
- Contatta:
simo non sono sicuro...
f(x) è sicuramente maggiore o uguale a 200, non è detto che sia un qualsiasi naturale...
comunque torna lo stesso perché dimostrato per n>=200 viene per tutti gli n usando la 3bis all'indietro...
bella soluzione...
rilancio con la seguente
$ f:\mathbb{R}\rightarrow \mathbb{R} $
$ f(f(x)+y)=2x+f(f(y)-x) $
per ogni x,y reali...
anche qui mi manca più poco
preimo03
f(x) è sicuramente maggiore o uguale a 200, non è detto che sia un qualsiasi naturale...
comunque torna lo stesso perché dimostrato per n>=200 viene per tutti gli n usando la 3bis all'indietro...
bella soluzione...
rilancio con la seguente
$ f:\mathbb{R}\rightarrow \mathbb{R} $
$ f(f(x)+y)=2x+f(f(y)-x) $
per ogni x,y reali...
anche qui mi manca più poco
preimo03
"la matematica è il linguaggio con cui Dio ha plasmato l'universo"
Galileo Galilei
Galileo Galilei