Έχουν ή όχι αρχική;

Συντονιστές: grigkost, Κοτρώνης Αναστάσιος

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

Έχουν ή όχι αρχική;

#1

Μη αναγνωσμένη δημοσίευση από s.kap » Τετ Ιουν 30, 2010 7:37 pm

Αν ονομάσουμε \mathcal{F} το σύνολο των 1-1 και επί συναρτήσεων από το [a,b] στο \mathbb{R} και \mathcal{G} το σύνολο των 1-1 και επί συναρτήσεων από το [a,b] στο \mathbb{R}, οι οποίες έχουν αρχική. Τότε ποια από τις παρακάτω προτάσεις είναι αληθής; (a<b)
1. \mathcal{G}= \varnothing
2. \mathcal{G}= \mathcal{F}
3. \mathcal{F}-\mathcal{G} \neq \varnothing
Φιλικά


Σπύρος Καπελλίδης

Λέξεις Κλειδιά:
antegeia
Δημοσιεύσεις: 126
Εγγραφή: Σάβ Ιαν 31, 2009 3:10 pm

Re: Έχουν ή όχι αρχική;

#2

Μη αναγνωσμένη δημοσίευση από antegeia » Πέμ Ιούλ 01, 2010 4:18 pm

το δευτερο αποκλειεται γιατι υπαρχουν 1-1 και επι χωρις αρχικη (πχ μη φραγμενες).
το πρωτο ειναιν ασχετο γιατι υαρχει μαι του λαχιστον συναρτηση 1-1 και επι με αρχικη (πχ η F(x)=x)
Αρα υποθετω οτι το σωστο ειναι το τριτο.


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

Re: Έχουν ή όχι αρχική;

#3

Μη αναγνωσμένη δημοσίευση από s.kap » Πέμ Ιούλ 01, 2010 5:36 pm

antegeia έγραψε:το δευτερο αποκλειεται γιατι υπαρχουν 1-1 και επι χωρις αρχικη (πχ μη φραγμενες).
το πρωτο ειναιν ασχετο γιατι υαρχει μαι του λαχιστον συναρτηση 1-1 και επι με αρχικη (πχ η F(x)=x)
Αρα υποθετω οτι το σωστο ειναι το τριτο.
Μήπως πρέπει να το ξανακοιτάξεις; Μπορούμε να ισχυριστούμε ότι οι μη φραγμένες είναι συναρτήσεις χωρίς αρχική; Τι ισχύει με την f(x)=tanx, x \in (-\frac {\pi}{2}, \frac {\pi}{2});
Για το πρώτο, που λες ότι είναι άσχετο, η συνάρτηση που αναφέρεις, είναι επί του \mathbb{R}, όταν πεδίο ορισμού της είναι αυτό που ορίζει το πρόβλημα, δηλαδή το [a,b];
Φιλικά


Σπύρος Καπελλίδης
mtsarduckas
Δημοσιεύσεις: 106
Εγγραφή: Πέμ Απρ 09, 2009 9:44 am
Τοποθεσία: Αθήνα

Re: Έχουν ή όχι αρχική;

#4

Μη αναγνωσμένη δημοσίευση από mtsarduckas » Πέμ Ιούλ 01, 2010 5:53 pm

Δηλαδή αν κατάλαβα καλά μία "μετάφραση" θα μπορούσε να είναι η εξής:
α)Δεν υπάρχει συνάρτηση f:[a,b] \to \mathBB{R}, 1-1 και επί η οποία έχει αρχική.
β)Κάθε συνάρτηση f:[a,b] \to \mathBB{R}, 1-1 και επί έχει αρχική.
γ)Υπάρχει συνάρτηση f:[a,b] \to \mathBB{R}, 1-1 και επί η οποία δεν έχει αρχική.

Μιχάλης


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

Re: Έχουν ή όχι αρχική;

#5

Μη αναγνωσμένη δημοσίευση από s.kap » Πέμ Ιούλ 01, 2010 6:38 pm

mtsarduckas έγραψε:Δηλαδή αν κατάλαβα καλά μία "μετάφραση" θα μπορούσε να είναι η εξής:
α)Δεν υπάρχει συνάρτηση f:[a,b] \to \mathBB{R}, 1-1 και επί η οποία έχει αρχική.
β)Κάθε συνάρτηση f:[a,b] \to \mathBB{R}, 1-1 και επί έχει αρχική.
γ)Υπάρχει συνάρτηση f:[a,b] \to \mathBB{R}, 1-1 και επί η οποία δεν έχει αρχική.

Μιχάλης
Ακριβώς Μιχάλη.
Φιλικά


Σπύρος Καπελλίδης
antegeia
Δημοσιεύσεις: 126
Εγγραφή: Σάβ Ιαν 31, 2009 3:10 pm

Re: Έχουν ή όχι αρχική;

#6

Μη αναγνωσμένη δημοσίευση από antegeia » Σάβ Ιούλ 03, 2010 3:41 pm

s.kap έγραψε:
antegeia έγραψε:το δευτερο αποκλειεται γιατι υπαρχουν 1-1 και επι χωρις αρχικη (πχ μη φραγμενες).
το πρωτο ειναιν ασχετο γιατι υαρχει μαι του λαχιστον συναρτηση 1-1 και επι με αρχικη (πχ η F(x)=x)
Αρα υποθετω οτι το σωστο ειναι το τριτο.
Μήπως πρέπει να το ξανακοιτάξεις; Μπορούμε να ισχυριστούμε ότι οι μη φραγμένες είναι συναρτήσεις χωρίς αρχική; Τι ισχύει με την f(x)=tanx, x \in (-\frac {\pi}{2}, \frac {\pi}{2});
Για το πρώτο, που λες ότι είναι άσχετο, η συνάρτηση που αναφέρεις, είναι επί του \mathbb{R}, όταν πεδίο ορισμού της είναι αυτό που ορίζει το πρόβλημα, δηλαδή το [a,b];
Φιλικά
Eννοω οτι υπαρχουν 1-1, επι και μη φραγμενες συναρτησεις οι οποιες φυσικα δεν ειναι ολ/μες κατα Riemann (ως μη φραγμενες). Η εφχ ειναι συνεχης κατι που δεν εχει σχεση με τις ιδιοτητες που αναφερονται. Γενικα η συνεχεια ειναι μια πολυ ισχυρη συνθηκη. Ενδιαφερον πχ εχουν μονοτονες και φραγμενες συναρτησεις οι οποιες εχουν αριθμησιμο πληθος ασυνεχων σημειων (η αντισοιχα συνολο μετρου 0 ως προς την ασυνεχεια)


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

Re: Έχουν ή όχι αρχική;

#7

Μη αναγνωσμένη δημοσίευση από s.kap » Κυρ Ιούλ 04, 2010 11:32 am

Η απάντηση είναι πως αληθής είναι η (1) και κατά συνέπεια και η ασθενέστερη της (3)
Η απόδειξη:
Έστω πως η f έχει αρχι κή, τότε θα έχει και την ιδιότητα της ενδιάμεσης τιμής. Θεωρώ την ακολουθία a_n=f^{-1}(n), n \in \mathbb{N}, η οποία έχει μία μονότονη υπακολουθία και επειδή η f είναι 1-1 και επί η υπακολουθία αυτή θα είναι γνησίως μονότονη. Ονομάζω την υπακολουθία αυτή a_{k_n} και θεωρώ, χωρίς βλάβη της γενικότητας ότι είναι γνησίως αύξουσα. (Όμοια αποδεικνύεται και με την υπόθεση γνησίως φθίνουσα). Λόγω της ιδιότητας της ενδιάμεσης τιμής f^{-1}([k_n,k_{n+1}]) \subseteq [a_{k_n},a_{k_{n+1}}]
Εξ' άλλου η a_{k_n}, ως γνησίως αύξουσα και φραγμένη θα συγκλίνει στο supremum των όρων της, ας το πούμε a. Επειδή k_n \to +\infty θα υπάρχει φυσικός m ώστε k_m \leq f(a) \leq  k_{m+1}, άρα a \in [a_{k_m},a_{k_{m+1}}], άτοπο. Συνεπώς το ζητούμενο αποδείχθηκε
Φιλικά


Σπύρος Καπελλίδης
Απάντηση

Επιστροφή σε “ΑΝΑΛΥΣΗ”

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

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