f<=g implies f=g

Conteggi, probabilità, invarianti, logica, matematizzazione, ...
Avatar utente
Oblomov
Messaggi: 284
Iscritto il: 23 ott 2005, 13:18
Località: Bologna

Messaggio da Oblomov » 12 nov 2008, 16:33

mod_2 ha scritto:$ $g(k_{n+1})=n+1$ $
Probabilmente è una sciocchezza ma non capisco come motivi questa affermazione... mi verrbbe da dire che per suriettività possiamo giusto concludere che $ $g(k_{n+1}) \ge n+1$ $ ma forse sono sotto l'effetto di un colpo di pioggia. :mrgreen:

Saluti.
Ob
Why are numbers beautiful? It’s like asking why is Beethoven’s Ninth Symphony beautiful. If you don’t see why, someone can’t tell you. I know numbers are beautiful. If they aren’t beautiful, nothing is. - P. Erdös

Avatar utente
kn
Messaggi: 508
Iscritto il: 23 lug 2007, 22:28
Località: Sestri Levante (Genova)
Contatta:

Messaggio da kn » 12 nov 2008, 17:40

Io ho capito che prendiamo una "successione" infinita di $ ~ k_i $ tali che $ ~ g(k_i)=i, \forall i \in \mathbb{N} $
(si possono sempre trovare questi $ ~ k_i $ per la suriettività di $ ~ g(x) $)

(Editato)
Ultima modifica di kn il 12 nov 2008, 23:09, modificato 1 volta in totale.

Avatar utente
julio14
Messaggi: 1206
Iscritto il: 11 dic 2006, 18:52
Località: Pisa

Messaggio da julio14 » 12 nov 2008, 19:44

Più che prendere una successione infinita, ha dimenticato di definire $ k_{n} $ come un numero tale che $ g(k_{n})=n $ (immagino intendessi g, non f, giusto?), che esiste per la surriettività, e in seguito alla dimostrazione si vede anche essere unico.
"L'unica soluzione è (0;0;0)" "E chi te lo dice?" "Nessuno, ma chi se ne fotte"
[quote="Tibor Gallai"]Alla fine, anche le donne sono macchine di Turing, solo un po' meno deterministiche di noi.[/quote]
Non sono un uomo Joule!!!

Avatar utente
mod_2
Messaggi: 726
Iscritto il: 18 ago 2007, 20:26
Località: In fondo a destra

Messaggio da mod_2 » 12 nov 2008, 19:48

Battuto sul tempo da julio14

Sì, è praticamente come dice lui, la prossima volta rileggerò due volte prima di postare una dimostrazione...
Appassionatamente BTA 197!

Rispondi