Fórum de Matemática
DÚVIDAS? Nós respondemos!

Olá, estou com dificuldades de enteder esse teorema, se possivel eu estou precisando de uma explicação ou demostração.


Seja A um conjunto bem-ordenado, seja B um subconjunto de A e seja f: A -> B (A implica em B) uma representação por semelhança de A em B.Assim,para cada a \(a \epsilon A\) (a pertence a A), \(a \preceq f(a).\)

Desculpe a minha ignorância mas podia-me explicar o que é:



PS- Tenho o palpite que é o mesmo que dizer que f é uma injeção estritamente crescente (i.e. \(a<a' \Rightarrow f(a)<f(a')\)) mas como não tenho a certeza vou esperar por mais esclarecimentos.