← Capitol

Manual · pagina 96

Exercițiul 11 · Funcții strict crescătoare pe o mulțime finită

Se consideră A⊂RA \subset \mathbb R o mulțime finită și f:A→Af : A \to A o funcție strict crescătoare. Arată că ff este bijectivă.

Se consideră A⊂RA \subset \mathbb R o mulțime finită și f:A→Af : A \to A o funcție strict crescătoare. Arată că ff este bijectivă.

Injectivitatea vine din monotonie. Pentru surjectivitate numără: câte elemente diferite are imaginea f(A)f(A) și câte are AA?
  1. 1. Ce avem de arătat

    Avem deci de arătat două lucruri. Le arătăm pe rând.

    Injectivitatea. Fie x1≠x2x_1 \ne x_2 în AA, de exemplu x1<x2x_1 < x_2 (altfel le schimbăm numele). Din monotonie, f(x1)<f(x2)f(x_1) < f(x_2), deci f(x1)≠f(x2)f(x_1) \ne f(x_2). Așadar ff este injectivă. Este observația din manual: orice funcție strict monotonă este injectivă (manual, p. 85).

  2. 2. Surjectivitatea, prin numărare

    Scriem elementele lui AA în ordine crescătoare: a1<a2<…<ana_1 < a_2 < \ldots < a_n. Din monotonie,

    f(a1)<f(a2)<…<f(an).f(a_1) < f(a_2) < \ldots < f(a_n).

    Toate aceste imagini sunt elemente ale lui AA, pentru că f:A→Af : A \to A.

    Verifică-te

    De ce imaginea f(A)={f(a1),…,f(an)}{f(A) = \{f(a_1), \ldots, f(a_n)\}} este chiar AA?
    Deci ff este și injectivă, și surjectivă, adică bijectivă.
  3. 3. Un exemplu și o surpriză

    Fie A={1,3,4,7}A = \{1, 3, 4, 7\}. O funcție strict crescătoare f:A→Af : A \to A are patru imagini f(1)<f(3)<f(4)<f(7)f(1) < f(3) < f(4) < f(7), toate din AA.

    Verifică-te

    Cât este f(4)f(4)?
    AA
    AA
    ff
    11
    33
    44
    77
    11
    33
    44
    77

    Singura funcție strict crescătoare de la AA la AA: fiecare element merge în el însuși.

    La fel în general: f(ak)=akf(a_k) = a_k pentru fiecare kk, deci singura funcție strict crescătoare f:A→Af : A \to A este funcția identică 1A1_A, care este, desigur, bijectivă.
Răspuns
Fiind strict crescătoare, ff este injectivă. Dacă A={a1<…<an}A = \{a_1 < \ldots < a_n\}, imaginile f(a1)<…<f(an)f(a_1) < \ldots < f(a_n) sunt nn elemente diferite ale lui AA, deci f(A)=Af(A) = A și ff este surjectivă. Așadar ff este bijectivă (de fapt, ff este funcția identică).