Ταυτοτικά 1!

Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan

socrates
Επιμελητής
Δημοσιεύσεις: 6603
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Ταυτοτικά 1!

#1

Μη αναγνωσμένη δημοσίευση από socrates »

Έστω συνάρτηση f: \mathbb{N}^*\to \mathbb{N}^* τέτοια ώστε
\bullet f(n+f(n))=f(n), για κάθε n \in \mathbb{N}^*
\bullet υπάρχει n_0 τέτοιος ώστε f(n_0)=1.

Δείξτε ότι f\equiv 1.
Θανάσης Κοντογεώργης
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18710
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Ταυτοτικά 1!

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

socrates έγραψε:Έστω συνάρτηση f: \mathbb{N}^*\to \mathbb{N}^* τέτοια ώστε
\bullet f(n+f(n))=f(n), για κάθε n \in \mathbb{N}^*
\bullet υπάρχει n_0 τέτοιος ώστε f(n_0)=1.

Δείξτε ότι f\equiv 1.
Η f(n_0)=1 δίνει από την δοθείσα f(n_0+1)=1 και επαγωγικά f(n)=1 , \forall n \ge n_0 (*).

Έστω τώρα f(c)>1 για κάποιο c\in \mathbb N^*. Θέτουμε c_1 = c και c_{k+1} = c_k+f(c_k) (**). H δοθείσα σχέση δίνει f(c_1) = f(c_2)=f(c_3) = .... Άρα θα έχουμε άπειρους n \in \mathbb N με f(n)>1 (π.χ. τους c_k που υπόψη είναι διαφορετικοί μεταξύ τους διότι η (**) δίνει c_{k+1} = c_k+f(c_k) > c_k). Καταλήξαμε σε κάτι που αντιβαίνει στην (*). Συνεπώς όλοι οι n \in \mathbb N ικανοποιούν f(n)=1, όπως θέλαμε.

Φιλικά,

Μιχάλης
Απάντηση

Επιστροφή στο “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Google [Bot] και 0 επισκέπτες