[obm-l] [errata] função de reais a racionais/inteiros

["Domingos Jr." <dopikas@xxxxxxxxxx>]

> Dado um conjunto finito S de números reais, é possível obter um conjunto
> f(S), onde f é uma função injetiva, f : IR -> Q (racionais) tal que
> a, b, a + b em S <=> f(a), f(b), f(a+b) em f(S) ?

a condição é S, conjunto finito de números reais, e
f: S -> f(S) uma bijeção com f(S) contido em Q e
a, b, a + b em S <=> f(a), f(b), f(a) + f(b) em f(S)

se conseguirmos a condição
a, b, a + b em S => f(a), f(b), f(a) + f(b) em f(S)
já está bom o suficiente...

desculpem os erros idiotas!

+ uma questão relacionada: se um sistema homogêneo de eq. lineares de coef.
racionais tem uma solução real não trivial, é verdade que ele admite uma
solução racional não trivial?

[ ]'s

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================