Subrejeccion : Diferéncia entre lei versions

Contengut suprimit Contengut apondut
Vivarés (discussion | contribucions)
Vivarés (discussion | contribucions)
mCap resum de modificació
Linha 12 :
* Per tot ensemble ''X'', l'[[aplicacion identica]] de ''X'' es subrejectiva.
 
* L'aplicacion ''u'' : '''N''' → '''N''' definida per ''u''(''n'') = Ent(''n'' / 2) (onte per tot reau ''x'', "Ent(''x'')" es la [[partida entiera]] de ''x'') es subrejectiva : per tot element ''p'' dau codomeni '''N''', existís aumens un element ''n'' dau domeni '''N''' tau que ''u''(''n'') = ''p'' : per exemple 2 ''p'' (; mai l'element 2 ''p'' + 1 convèn tanben ;e se pòt verificar que per tot entier naturau ''p'', l'eqüacion ''u''(''n'') = ''p'' d'inconeguda ''n'' a pas d'autra solucion que :
: ''n' '' = 2 ''p'' e ''n" '' = 2 ''p'' + 1.