απορια

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

Άβαταρ μέλους
KapioPulsar
Δημοσιεύσεις: 175
Εγγραφή: Τρί Ιαν 05, 2010 12:59 pm
Τοποθεσία: Κρήτη

απορια

#1

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

αν η φ κυρτη η κοιλη αντιστιχα δεν θα πρεπει παντα η φ' συνεχης????
---------------------------------------------
( \forall ) \equiv ( \neg  \exists  \neg)
---------------------------------------------
Νίκος.
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18618
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: απορια

#2

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

KapioPulsar έγραψε:αν η φ κυρτη η κοιλη αντιστιχα δεν θα πρεπει παντα η φ' συνεχης????
Η φ' μπορεί να μην υπάρχει καν (π.χ. φ(x) = |x|).

Μ.

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

Re: απορια

#3

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

Μιχάλη, νομίζω το παράδειγμά σου είναι λανθασμένο.

Έχω την εντύπωση πως αν υπάρχει η παράγωγος μιας κυρτής συνάρτησης τότε πρέπει να είναι συνεχής. Και αυτό διότι πρέπει η παράγωγος να είναι αύξουσα (αλλιώς η συνάρτηση δεν είναι κυρτή). Από την άλλη οι αύξουσες συναρτήσες έχουν αριστερά και δεξιά όρια. Οι παραγώγοι όμως ικανοποιούν το θεώρημα ενδιαμέσης τιμής και άρα σε αυτήν την περίπτωση η παράγωγος πρέπει να είναι συνεχής.
Τελευταία επεξεργασία από το μέλος Demetres την Τρί Ιαν 26, 2010 1:09 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Άβαταρ μέλους
kyros
Δημοσιεύσεις: 16
Εγγραφή: Κυρ Ιαν 24, 2010 12:34 pm

Re: απορια

#4

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

η πιο καλη προσεγγιση νομιζω οτι ειναι αυτη που χρησιμοποιοταν παλια, οπου στα υποπτα σημεια καμπησ ,εκει δηλαδη το προβλημα, παιρναμε την παραγωγο δεξια και αριστερα του σημειου ( x_0 ,f(x_0) ) με ορια και αν οι δυο αυτεσ συναρτησεισ ορισμενεσ κοντα στο σημειο αυτο δεξια και αριστερα αυτου αντιστοιχα ειχαν ιδιο συντελεστη διευθυνσεισ (λ) εφαπτομενησ και ισο με μηδεν το ( x_0 ,f(x_0) ) τοτε ο σημειο ηταν σιγουρα σημειο καμπησ. αν λ>ο κυρτη αν λ<0 κοιλη.εφοσον φυσικα f συνεχεισ . ετσι μπορει στο σημειο να μην οριζεται καν η f' παρα μονο τα ορια δεξια αριστερα να ειναι ισα
για αυτο και συμφωνω με τον αγαπητο μιχαλη
e^{i\pi} + 1 =0
Άβαταρ μέλους
KapioPulsar
Δημοσιεύσεις: 175
Εγγραφή: Τρί Ιαν 05, 2010 12:59 pm
Τοποθεσία: Κρήτη

Re: απορια

#5

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

και εγω αφτα ενοητε πιστεβω αλλα θα ηθελα μια περετερο αποψη-γνωμη λογους των δικλαδον και ν-κλαδον συναρτησεων (ενοω πως υποστιριζω την ιδεα μου! αν φ κυλη ΄φ' συνεχης σε καθε περιπτοση!!)
---------------------------------------------
( \forall ) \equiv ( \neg  \exists  \neg)
---------------------------------------------
Νίκος.
Άβαταρ μέλους
Γενικοί Συντονιστές
Γενικός Συντονιστής
Δημοσιεύσεις: 520
Εγγραφή: Κυρ Σεπ 13, 2009 12:52 am

Re: απορια

#6

Μη αναγνωσμένη δημοσίευση από Γενικοί Συντονιστές »

KapioPulsar έγραψε:και εγω αφτα ενοητε πιστεβω αλλα θα ηθελα μια περετερο αποψη-γνωμη λογους των δικλαδον και ν-κλαδον συναρτησεων (ενοω πως υποστιριζω την ιδεα μου! αν φ κυλη ΄φ' συνεχης σε καθε περιπτοση!!)
Παρακαλώ KapoioPulsar να κάνεις συνειδητή προσπάθεια να γράφεις στοιχειωδώς σωστά ελληνικά όπως, άλλωστε, απαιτούν οι κανονισμοί του mathematica και ο ελάχιστος σεβασμός προς τα υπόλοιπα μέλη.

Μεταγράφω το κείμενό σου ως δείγμα


και εγώ, εννοείται, αυτά πιστεύω αλλά θα ήθελα μια περαιτέρω άποψη-γνώμη λόγω των δίκλαδων και ν-κλαδων συναρτήσεων (εννοώ πως υποστηρίζω την ιδέα μου! Αν φ κοίλη, φ’ συνεχής σε κάθε περίπτωση)
Οι Γενικοί Συντονιστές του mathematica
Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: απορια

#7

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

Βάζω λίγες περισσότερες λεπτομέρειες σε αυτά που έγραψα χθες.

Υπάρχουν παραδείγματα που η f είναι κυρτή αλλά η f{'} δεν υπάρχει παντου. Ας υποθέσουμε όμως πως η f είναι κυρτή σε κάποιο διάστημα και η f{'} ορίζεται παντού σε αυτό το διαστημα. Θα δείξουμε ότι η f{'} είναι συνεχής

1) Η f{'} είναι είναι αύξουσα

Ας υποθεσουμε ότι υπάρχει x < y με f{'}(x) > f{'}(y). Υπάρχει \delta > 0 ώστε x < x+\delta < y - \delta < y και \displaystyle{ \frac{f(x+\delta) - f(x)}{\delta} > \frac{f(y) - f(y-\delta)}{\delta}}.

Αν \displaystyle{\frac{f(x+\delta) - f(x)}{\delta} > \frac{f(y-\delta) - f(x+\delta)}{y - x - 2\delta}} τότε η συνάρτηση δεν είναι κυρτή επειδή τότε θα ίσχυε\displaystyle{f(x+\delta) > \frac{\delta f(y-\delta) + (y-x-2\delta)f(x)}{y-x-\delta} \geslant f\left( \frac{\delta(y-\delta) + x(y-x-2\delta)}{y-x-\delta} \right) = f(x+\delta)}

Άρα πρέπει \displaystyle{ \frac{f(y-\delta) - f(x+\delta)}{y - x - 2\delta} >\frac{f(y) - f(y-\delta)}{\delta} } και με παρόμοιο τρόπο καταλήγουμε σε άτοπο.

2) Η f{'} έχει σε όλα τα σημεία αριστερά και δεξιά όρια.

Πράγματι επειδή η f είναι αύξουσα αν x_1 < x_2 < \cdots με x_n \to x τότε η ακολουθία (x_n) είναι αύξουσα και φραγμένη από πάνω άρα το αριστερό όριο υπάρχει. Ομοίως και για το δεξί όριο.

3) Η f{'} είναι συνεχής

Αν σε κάποιο σημείο x δεν ήταν συνεχής τότε θα είχαμε \lim_{z \to x^-} f{'}(z) \neq \lim_{z \to x^+} f{'}(z) και άρα η f{'} δεν έχει την ιδιότητα της ενδιάμεσης τιμής, άτοπο.
Ilias_Zad
Δημοσιεύσεις: 417
Εγγραφή: Δευ Ιαν 26, 2009 11:44 pm

Re: απορια

#8

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

Ωραια.
Aς βαλω και εγω ακομη μια.
Να δειχτει οτι αν εχουμε f μια συναρτηση απο το [a,b] στο R,που ειναι και κυρτη στο πεδιο ορισμου της τοτε ειναι και συνεχης στο ανοικτο (a,b).
Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4488
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: απορια

#9

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

Ilias_Zad έγραψε:Ωραια.
Aς βαλω και εγω ακομη μια.
Να δειχτει οτι αν εχουμε f μια συναρτηση απο το [a,b] στο R,που ειναι και κυρτη στο πεδιο ορισμου της τοτε ειναι και συνεχης στο ανοικτο (a,b).
Δείτε και αυτό viewtopic.php?f=5&t=99&p=406&hilit=%CE% ... CE%AE#p406
Μαυρογιάννης
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Άβαταρ μέλους
polysot
Επιμελητής
Δημοσιεύσεις: 2602
Εγγραφή: Δευ Οκτ 19, 2009 11:43 pm
Τοποθεσία: Όπου βρω ενδιαφέρουσες προσωπικότητες...
Επικοινωνία:

Re: απορια

#10

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

Εξάλλου μία συνάρτηση λέγεται κυρτή στο διάστημα [α,β], αν
f(kx+(1-k)y) \leq kf(x) + (1-k)f(y), \forall x,y \in [a,b], 0 \leq k \leq 1
Σωτήρης Δ. Χασάπης

Ζήσε τα μαθηματικά σου!
-----------------------------
"There is a scientific taste just as there is a literary or artistic one", Renan
"The journey of a thousand miles begins with one step.", Lao Tzu
Απάντηση

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

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

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