Συνεχής συνάρτηση

Συντονιστής: emouroukos

s.kap
Επιμελητής
Δημοσιεύσεις: 2455
Εγγραφή: Τρί Δεκ 08, 2009 6:11 pm
Τοποθεσία: Ιωάννινα

Συνεχής συνάρτηση

#1

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

Ένα ωραίο θέμα από Ρουμάνικο Διαγωνισμό του 1983
Έστω συνεχής στο R συνάρτηση f για την οποία ισχύει f(f(x))=a\ f(x)+b \ x για κάθε πραγματικό αριθμό x, όπου 0<a<1/2 και 0<b<1/2. Να αποδείξετε ότι f(0)=0
Σπύρος Καπελλίδης
Άβαταρ μέλους
Φωτεινή
Επιμελητής
Δημοσιεύσεις: 3689
Εγγραφή: Κυρ Δεκ 21, 2008 9:02 am
Τοποθεσία: -mathematica-

Re: Συνεχής συνάρτηση

#2

Μη αναγνωσμένη δημοσίευση από Φωτεινή »

f(f(x))=a f(x)+bx

εύκολα έχουμε ότι η f είναι 1-1, (και αφού συνεχής θα είναι γν.μονότονη,έστω γν.αύξουσα)

θέλουμε να δείξουμε οτι f(0)=0 ,να δείξουμε ότι υπάρχει x_0=0 με f(x_0)=f(0)=0,άρα κάτι μας λέει για Bolzano

έστω g(x)=f(x)-x,x\in\mathbb{R}

αν ήταν g(x)>0,x\in\mathbb{R}τότε f(x)>x\rightarrow f(f(x))>f(x)\rightarrow...f(x)<\frac{bx}{1-a}

όμως\frac{b}{1-a}<1, οπότε f(1)<1 άτοπο αφού g(x)>0\rightarrow f(1)>1

ανάλογα εργαζόμαστε αν g(x)<0,x\in\mathbb{R}

άρα μπορούμε να υποθέσουμε ότι υπάρχουν x_{1},x_{2}\in\mathbb{R},\,\,(x_1<x_2)με g(x_1)g(x_2)\leq 0

εφαρμόζοντας Θ.Bolzano υπάρχει x_0 :g(x_0)=0\rightarrow f(x_0)=x_0

f(x_0)=x_0\longrightarrow

f(f(x_0))=f(x_0)\rightarrow af(x_0)+bx_0=f(x_0)\rightarrow...(a+b-1)x_0=0\rightarrow x_0=0,

αφού 0<a,b<\frac{1}{2}

ερώτηση
φαίνονται καθαρά αυτά που είναι γραμμένα σε latex;γιατί εγώ δεν :no:τα βλέπω καθαρά
κάτι γίνεται στον υπολογιστή μου;

======================
προσθήκη
Αλέξανδρε,τώρα πεντακάθαρα !!! ευχαριστούμε!!!
Τελευταία επεξεργασία από το μέλος Φωτεινή την Παρ Δεκ 11, 2009 3:05 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Φωτεινή Καλδή
s.kap
Επιμελητής
Δημοσιεύσεις: 2455
Εγγραφή: Τρί Δεκ 08, 2009 6:11 pm
Τοποθεσία: Ιωάννινα

Re: Συνεχής συνάρτηση

#3

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

΄Φωτεινή, δεν μπορούμε, χωρίς βλάβη της γενικότητας να υποθέσουμε ότι η συνάρτηση είναι γνησίως αύξουσα. Πρέπει να εξετάσουμε και την περίπτωση που είναι γνησίως φθίνουσα
Φιλικά S.Kap
Σπύρος Καπελλίδης
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Συνεχής συνάρτηση

#4

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

Φωτεινή έγραψε: ερώτηση
φαίνονται καθαρά αυτά που είναι γραμμένα σε latex;γιατί εγώ δεν :no:τα βλέπω καθαρά
κάτι γίνεται στον υπολογιστή μου;
Όχι ούτε στον υπολογιστή μου φαίνονται καθαρά. Σου βγαίνουν λίγο τα μάτια για να τα διαβάσεις.

Επεξεργασία: Τώρα όμως είναι πεντακάθαρα.
Άβαταρ μέλους
Φωτεινή
Επιμελητής
Δημοσιεύσεις: 3689
Εγγραφή: Κυρ Δεκ 21, 2008 9:02 am
Τοποθεσία: -mathematica-

Re: Συνεχής συνάρτηση

#5

Μη αναγνωσμένη δημοσίευση από Φωτεινή »

s.kap έγραψε:΄Φωτεινή, δεν μπορούμε, χωρίς βλάβη της γενικότητας να υποθέσουμε ότι η συνάρτηση είναι γνησίως αύξουσα. Πρέπει να εξετάσουμε και την περίπτωση που είναι γνησίως φθίνουσα
Φιλικά S.Kap
S.Kap θα το κοιτάξω,σε ευχαριστώ
Φωτεινή Καλδή
Άβαταρ μέλους
Φωτεινή
Επιμελητής
Δημοσιεύσεις: 3689
Εγγραφή: Κυρ Δεκ 21, 2008 9:02 am
Τοποθεσία: -mathematica-

Re: Συνεχής συνάρτηση

#6

Μη αναγνωσμένη δημοσίευση από Φωτεινή »

s.kap έγραψε:΄Φωτεινή,...Πρέπει να εξετάσουμε και την περίπτωση που είναι γνησίως φθίνουσα
Φιλικά S.Kap
S.Kap

υπάρχει περίπτωση η f να είναι γνησίως φθίνουσα;
νομίζω :no: ,...εκτός και αν κάτι μου ξεφεύγει :ewpu:...ή κάτι κάνω λάθος :whistling:

περιμένω να :read: την απάντησή σου
Φωτεινή Καλδή
Άβαταρ μέλους
R BORIS
Επιμελητής
Δημοσιεύσεις: 2395
Εγγραφή: Σάβ Ιαν 03, 2009 8:08 am
Επικοινωνία:

Re: Συνεχής συνάρτηση

#7

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

Αρχικά δείχνουμε ότι η \displaystyle{f(x)-x} δεν μπορεί να έχει σταθερό πρόσημο (με άτοπο)

ι)Έστω \displaystyle{f(x)>x,\forall x\in R}
Θεωρώ ένα \displaystyle{x_0>0} τότε
\displaystyle{bx_0<\frac{x_0}{2}<\frac{f(x_0)}{2}<\frac{f(f(x_0))}{2}
\displaystyle{af(x_0)<\frac{f(x_0)}{2}<\frac{f(f(x_0))}{2}}
Με προσθεση κατά μέλη \displaystyle{bx_0+af(x_0)<f(f(x_0))} αντίφαση , άρα υπἀρχει \displaystyle{k:f(k)<k}


ιι)Έστω \displaystyle{f(x)<x,\forall x\in R}
Τότε \displaystyle{f(f(x))<f(x)\Rightarrow af(x)+bx<f(x)\Rightarrow b.0<(1-a)f(0)\Rightarrow 0<f(0)} ατοπο , αρα υπἀρχει \displaystyle{l:f(l)>l}


Τώρα αν η \displaystyle{f(x)-x} δεν διατηρεί σταθερό πρόσημο καταλήγουμε από Bolzano οτι υπάρχει \displaystyle{u:u=f(u)}
συνεπώς \displaystyle{f(f(u))=af(u)+bu\Rightarrow (a+b-1)u=0\Rightarrow u=0\Rightarrow f(0)=0}
s.kap
Επιμελητής
Δημοσιεύσεις: 2455
Εγγραφή: Τρί Δεκ 08, 2009 6:11 pm
Τοποθεσία: Ιωάννινα

Re: Συνεχής συνάρτηση

#8

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

Φωτεινή
Το να είναι γνησίως φθίνουσα δεν αποκλείεται από τα δεδομένα. Αν όμως είναι τότε θα υπάρχει μοναδικό r ώστε f(r)=r.Άρα η υπόθεση δίνει f(f(r))=af(r)+br, άρα r=(a+b)r.Αν το r δεν είναι 0, τότε προκύπτει ότι a+b=1, άτοπο.
Φιλικά S.Kap
Σπύρος Καπελλίδης
Άβαταρ μέλους
Φωτεινή
Επιμελητής
Δημοσιεύσεις: 3689
Εγγραφή: Κυρ Δεκ 21, 2008 9:02 am
Τοποθεσία: -mathematica-

Re: Συνεχής συνάρτηση

#9

Μη αναγνωσμένη δημοσίευση από Φωτεινή »

s.kap έγραψε:Φωτεινή
Το να είναι γνησίως φθίνουσα δεν αποκλείεται από τα δεδομένα. Αν όμως είναι τότε θα υπάρχει μοναδικό r ώστε f(r)=r.Άρα η υπόθεση δίνει f(f(r))=af(r)+br, άρα r=(a+b)r.Αν το r δεν είναι 0, τότε προκύπτει ότι a+b=1, άτοπο.
Φιλικά S.Kap
α... μάλιστα,αυτό εννοούσες
S.Kap ,ευχαριστώ
Φωτεινή Καλδή
Απάντηση

Επιστροφή στο “Ανάλυση”

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

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 0 επισκέπτες