20 mai 2013, 18:44
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).\)
23 mai 2013, 18:55
Desculpe a minha ignorância mas podia-me explicar o que é:
seja f: A -> B (A implica em B) uma representação por semelhança de A em B.
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.