> 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 =========================================================================
