[Citat] 1. Fie A o mul?ime nevid? ?i finit? de numere reale.
Dac? f:A?A este o func?ie strict cresc?toare (respectiv descresc?toare) s? se arate c? f = 1A.
|
Nota: Si daca f nu este o functie strict crescatoare putem sa nu facem nimic?
(Pentru ca asa am rezolvat problema in "mai mult de jumatate de cazuri"...)
Cei ce propun probleme care conditioneaza rezolvarea unei probleme de faptul ca o functie este crescatoare sau nu, fara a ne spune cum e, sunt rugati sa reformuleze.
Sa plecam cu f este strict crescatoare de la A la A, A multime finita de numere reale.
f este in particular injectiva.
Presupunem prin absurd ca f nu este identitatea lui A.
Atunci exista un a din A cu proprietatea ca (notatie) b = f(a) nu este egal cu a.
Impartim multimea A, domeniul de definitie al lui f, in trei parti,
A1 = multimea elementelor din A care sunt < a
A2 = {a}
A3 = multimea elementelor din A care sunt > a
Impartim multimea A, domeniul de valori al(e) lui f, in trei parti,
A1' = multimea elementelor din A care sunt < b
A2' = {b}
A3' = multimea elementelor din A care sunt > b
Deoarece f este strict crescatoare,
A1 se duce prin f in A1', (mai exact, f(A1) este submultime a lui A1',)
A2 se duce prin f in A2',
A3 se duce prin f in A3'.
Deoarece a si b difera,
A1 difera de A1' si
A3 difera de A3'.
Avem doua cazuri.
Cazul (1)
A1 are mai multe elemente decat A1' - caz in care obtinem contradictia din faptul ca nu putem duce injectiv A1 in A1'.
Cazul (3)
A3 are mai multe elemente decat A3' - caz in care obtinem contradictia din faptul ca nu putem duce injectiv A3 in A3'.
Presupunerea facuta este falsa.
Deci are loc ceea ce vrea problema de la noi.