Σελίδα 1 από 1

IMC 2007/2/3

Δημοσιεύτηκε: Παρ Μάιος 09, 2014 7:39 pm
από Demetres
Έστω C ένα μη κενό, κλειστό και φραγμένο υποσύνολο των πραγματικών και έστω f: C\to C μια συνεχής και αύξουσα συνάρτηση.

Να δειχθεί ότι υπάρχει x \in C ώστε f(x) = x.

Re: IMC 2007/2/3

Δημοσιεύτηκε: Σάβ Μάιος 10, 2014 9:47 pm
από Zarifis
Απλή εφαρμογή fixed point theorym ; Αλλά πολύ απλό νομίζω.

Re: IMC 2007/2/3

Δημοσιεύτηκε: Σάβ Μάιος 10, 2014 10:04 pm
από Demetres
Νίκο σε ποιο fixed point theorem αναφέρεσαι; [Προσοχή ότι το C δεν είναι διάστημα.]

Το έβγαλα με Knaster-Tarski του οποίου όντως είναι απλή εφαρμογή αλλά το θεώρημα αυτό ίσως να μην είναι τόσο γνωστό.

Re: IMC 2007/2/3

Δημοσιεύτηκε: Κυρ Μάιος 11, 2014 11:44 pm
από Nick1990
Είναι όντως αρκετά απλό, από όταν ακόμα ο imc είχε 12 προβλήματα και ορισμένα είτε άκομψα είτε πολύ εύκολα. Πλέον δε θα έμπαινε παραπάνω από πρώτο πρώτης μέρας. Δε χρειάζεται καν υπέροπλα. Θεωρούμε το σύνολο K = \{x \in C | f(x) \geq x \}, που λόγω συνέχειας της f είναι κλειστό στο C. Επειδή το C είναι κλειστό στους πραγματικούς, το K είναι επίσης κλειστό στους πραγματικούς και άρα έχει ένα μέγιστο y. Τότε f(y) \geq y \Rightarrow f(f(y)) > f(y) \Rightarrow f(y) \in K \Rightarrow y \geq f(y). Άρα f(y) = y και τέλος.