[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Existência de Função

Em ter, 22 de mar de 2016 às 07:48, Pedro Júnior < pedromatematic...@gmail.com> escreveu: > Esqueci de dizer que X e Y são infinitos. > E então, como mostro que existe. > Se g: N -> Y é bijetiva, sua inversa g' também será. Se X é infinito e f:X -> Y é injetiva, e g': Y -> N é bijetiva,

[obm-l] Re: [obm-l] Re: [obm-l] Existência de Função

Esqueci de dizer que X e Y são infinitos. E então, como mostro que existe. Em 22 de mar de 2016 7:31 AM, "Bernardo Freitas Paulo da Costa" < bernardo...@gmail.com> escreveu: > 2016-03-22 5:11 GMT-03:00 Pedro Júnior : > > Se f: X --> Y é injetiva e g: N --> Y é

[obm-l] Re: [obm-l] Existência de Função

2016-03-22 5:11 GMT-03:00 Pedro Júnior : > Se f: X --> Y é injetiva e g: N --> Y é bijetiva, mostre que existe h: N --> > X bijetiva. > > obs.: N:= naturais Isso é falso. Tome X = {1}, Y = N. f(1) = 1 é injetiva (toda função de um conjunto com um único elemento é