Κυρτότητα αντίστροφης

Συντονιστές: Μπάμπης Στεργίου, m.pαpαgrigorakis, Καρδαμίτσης Σπύρος, Πρωτοπαπάς Λευτέρης, R BORIS, KAKABASBASILEIOS

Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Κυρτότητα αντίστροφης

#1

Μη αναγνωσμένη δημοσίευση από chris_gatos » Παρ Ιαν 23, 2009 12:23 pm

Δίνω μια ενδιαφέρουσα πρόταση,που με κατάλληλη...ενδυμασία,θα μπορούσε να αποτελέσει και θέμα εξετάσεων...
Έστω οτι η συνάρτηση f με πεδίο ορισμού (α,β),παραγωγίσιμη σε αυτό, είναι κυρτή και γνησίως αύξουσα..
Να αποδείξετε ότι:
1)Η f είναι αντιστρέψιμη.
2)Η συνάρτηση \displaystyle{\displaystyle  
f^{ - 1}  
} είναι κοίλη.


Χρήστος Κυριαζής
Μπάμπης Στεργίου
Επιμελητής
Δημοσιεύσεις: 5582
Εγγραφή: Δευ Δεκ 22, 2008 2:16 pm
Τοποθεσία: Χαλκίδα - Καρδίτσα

Re: Κυρτότητα αντίστροφης

#2

Μη αναγνωσμένη δημοσίευση από Μπάμπης Στεργίου » Παρ Ιαν 23, 2009 12:41 pm

chris_gatos έγραψε:Δίνω μια ενδιαφέρουσα πρόταση,που με κατάλληλη...ενδυμασία,θα μπορούσε να αποτελέσει και θέμα εξετάσεων...
Έστω οτι η συνάρτηση f με πεδίο ορισμού (α,β),παραγωγίσιμη σε αυτό, είναι κυρτή και γνησίως αύξουσα..
Να αποδείξετε ότι:
1)Η f είναι αντιστρέψιμη.
2)Η συνάρτηση \displaystyle{\displaystyle  
f^{ - 1}  
} είναι κοίλη.
Χρήστο , η σκέψη είναι πολύ καλή αλλά η παραγωγισιμότητα της αντίστροφης είναι απροσπέλαστο για μαθητικό επίπεδο (θεωρητικά τουλάχιστον) εμπόδιο.Χωρίς αυτό το β) δεν αντιμετωπίζεται .Θα το δούμε όμως πιο προσεκτικά στο σπίτι !Εσύ τι έχεις στο μυαλό σου ;

Καλό Σαββατοκύριακο σε όλους !


Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Re: Κυρτότητα αντίστροφης

#3

Μη αναγνωσμένη δημοσίευση από chris_gatos » Παρ Ιαν 23, 2009 12:58 pm

Μπάμπη,ναι έχεις δίκιο,εγω την είχα αυτονόητη την παραγωγισιμότητα της αντίστροφης ...
Ισως βάζοντας αρκετά(μα...αρκετά) υποερωτήματα που να έχουν να κάνουν με τη εύρεση της παραγώγου αντίστροφης.
Αλλά και πάλι...μύλος!
Ακυρο για πανελλήνιες ,αλλά καλό για εμάς!
Σας χαιρετώ προσωρινά,τα λέμε απογευματάκι.Γειά σας!


Χρήστος Κυριαζής
Άβαταρ μέλους
grigkost
Διαχειριστής
Δημοσιεύσεις: 3136
Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
Τοποθεσία: Ιωάννινα
Επικοινωνία:

Re: Κυρτότητα αντίστροφης

#4

Μη αναγνωσμένη δημοσίευση από grigkost » Παρ Ιαν 23, 2009 1:01 pm

Δίνω μιά "γεωμετρική" λύση τής άσκησης πού, πιθανόν, νά μήν έπαιρνε όλες τίς μονάδες σέ μιά εξέταση πανελληνίων εξετάσεων, αλλά ελπίζω ότι έχει τήν μαθηματική της λειτουργικότητα. Προφανώς, μιάς καί αναφέρεται σάν πιθανό θέμα πανελληνίων εξετάσεων, απέφυγα νά χρησιμοποιήσω τόν κανόνα παραγώγισης τής f^{-1}.

1) Επειδή η f είναι γνησίως αύξουσα καί συνεχής, είναι 1-1 καί, άρα, αντιστρέψιμη.
2) Άν \varepsilon οποιαδήποτε εφαπτομένη ευθεία στήν C_{f}, τότε, επειδή η f είναι κυρτή, η C_{f} βρίσκεται εξ ολοκλήρου πάνω από τήν \varepsilon.
Άν \varepsilon^{\prime} είναι η συμμετρική τής ευθείας \varepsilon, ώς πρός τήν ευθεία y=x, τότε λόγω συμμετρικότητας τής C_{f^{-1}} μέ τήν C_{f}, ώς πρός τήν ευθεία y=x, η C_{f^{-1}} θά βρίσκεται εξ ολοκλήρου κάτω από τήν \varepsilon^{\prime}. Επομένως η f^{-1} είναι κοίλη.


{\color{dred}\Gamma\!\rho\,{\rm{H}}\gamma\varnothing\varrho{\mathscr{H}}\varsigma \ {\mathbb{K}}\,\Omega\sum{\rm{t}}{\mathscr{A}}\,{\mathbb{K}}\!\odot\varsigma
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Κυρτότητα αντίστροφης

#5

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Ιαν 23, 2009 1:05 pm

Μπάμπης Στεργίου έγραψε: Χρήστο , η σκέψη είναι πολύ καλή αλλά η παραγωγισιμότητα της αντίστροφης είναι απροσπέλαστο για μαθητικό επίπεδο (θεωρητικά τουλάχιστον) εμπόδιο.Χωρίς αυτό το β) δεν αντιμετωπίζεται .Θα το δούμε όμως πιο προσεκτικά στο σπίτι !Εσύ τι έχεις στο μυαλό σου ;

Καλό Σαββατοκύριακο σε όλους !
Νομίζω πως μπορεί να αντιμετωπιστεί χωρίς παραγωγισιμότητα. Το μόνο που χρειάζεσαι είναι να δείξεις ότι η αντίστροφη συνάρτηση είναι (γνησίως) αύξουσα.

Αν γράψω g για την αντίστροφο, θέλω να δείξω ότι x \leq y \Rightarrow g(x) \leq g(y). Αλλά αν δεν ισχύει αυτό, τότε f(g(x)) > f(g(y)) (αφού η f είναι γνησίως αύξουσα) άρα x>y, άτοπο.

Για κυρτότητα χρειάζεται να δείξω ότι g(tx + (1-t)y) \geq tg(x) + (1-t)g(y). Αλλά f(tg(x) + (1-t)g(y)) \leq tf(g(x)) + (1-t)f(g(y)) = tx + (1-t)y από την κυρτότητα της f. Αλλά αφού η g είναι αύξουσα, g(f(tg(x) + (1-t)g(y))) \leq tx + (1-t)y που δίνει αυτό που θέλω να δείξω.


Άβαταρ μέλους
grigkost
Διαχειριστής
Δημοσιεύσεις: 3136
Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
Τοποθεσία: Ιωάννινα
Επικοινωνία:

Re: Κυρτότητα αντίστροφης

#6

Μη αναγνωσμένη δημοσίευση από grigkost » Παρ Ιαν 23, 2009 1:13 pm

Demetres έγραψε:Για κυρτότητα χρειάζεται να δείξω ότι g(tx + (1-t)y) \geq tg(x) + (1-t)g(y).
Δυστυχώς, Δημήτρη, τήν κυρτότητα-κοιλότητα στήν Γ' λυκείου δέν τήν ορίζουν μέ τό πρόσημο τής g(tx + (1-t)y)- t\,g(x) - (1-t)g(y), αλλά μέ τήν μονοτονία τής παραγώγου.
Γι' αυτό έδωσα τήν παραπάνω "γεωμετρική" λύση.
Βέβαια, από τήν μονοτονία τής παραγώγου μπορεί νά εξάγει κανείς τό πρόσημο τής g(tx + (1-t)y)- t\,g(x) - (1-t)g(y) καί, μέ δεδομένη τήν παραγωγισιμότητα, αντιστρόφως. Αλλά αυτό ακριβώς προσπάθησα νά αποφύγω μέ τήν παραπάνω λύση.


{\color{dred}\Gamma\!\rho\,{\rm{H}}\gamma\varnothing\varrho{\mathscr{H}}\varsigma \ {\mathbb{K}}\,\Omega\sum{\rm{t}}{\mathscr{A}}\,{\mathbb{K}}\!\odot\varsigma
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Κυρτότητα αντίστροφης

#7

Μη αναγνωσμένη δημοσίευση από Demetres » Παρ Ιαν 23, 2009 1:21 pm

grigkost έγραψε:
Demetres έγραψε:Για κυρτότητα χρειάζεται να δείξω ότι g(tx + (1-t)y) \geq tg(x) + (1-t)g(y).
Δυστυχώς, Δημήτρη, τήν κυρτότητα-κοιλότητα στήν Γ' λυκείου δέν τήν ορίζουν μέ τό πρόσημο τής g(tx + (1-t)y)- t\,g(x) - (1-t)g(y), αλλά μέ τήν μονοτονία τής παραγώγου.
Εντάξει έχει κάποια χρόνια που έχω τελειώσει το λύκειο και δεν θυμώμουν πως την ορίζουν. :) (Η μάλλον θυμώμουν ότι έπρεπε να ελέγχουμε αν η δεύτερη παράγωγος είναι θετική που προφανώς δεν μπορούμε να το κάνουμε εδώ.)


Άβαταρ μέλους
grigkost
Διαχειριστής
Δημοσιεύσεις: 3136
Εγγραφή: Πέμ Δεκ 18, 2008 12:54 pm
Τοποθεσία: Ιωάννινα
Επικοινωνία:

Re: Κυρτότητα αντίστροφης

#8

Μη αναγνωσμένη δημοσίευση από grigkost » Παρ Ιαν 23, 2009 1:27 pm

Demetres έγραψε:Εντάξει έχει κάποια χρόνια που έχω τελειώσει το λύκειο και δεν θυμώμουν πως την ορίζουν. :) (Η μάλλον θυμώμουν ότι έπρεπε να ελέγχουμε αν η δεύτερη παράγωγος είναι θετική που προφανώς δεν μπορούμε να το κάνουμε εδώ.)
Δημήτρη, γιά τήν ύλη τών Μαθηματικών στά Ελληνικά Λύκεια ο τελευταίος πού ευθύνεται είσαι εσύ!
Όπως καί νάχει, μάς έδωσες μιά λύση χρησιμοιώντας μόνο τά "επιτρεπόμενα εργαλεία" μέ εκείνο τής παραγωγισιμότητας τής f^{-1}, νά εκρεμμεί, όπως παρατήρησε καί ο Μπάμπης Στεργίου, καί η οποία πρέπει νά αποδειχθεί σάν ξεχωριστή πρόταση.


{\color{dred}\Gamma\!\rho\,{\rm{H}}\gamma\varnothing\varrho{\mathscr{H}}\varsigma \ {\mathbb{K}}\,\Omega\sum{\rm{t}}{\mathscr{A}}\,{\mathbb{K}}\!\odot\varsigma
Απάντηση

Επιστροφή σε “ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ Γ'”

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

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