2 προβλήματα
Συντονιστής: Demetres
- Κώστας Παππέλης
- Δημοσιεύσεις: 261
- Εγγραφή: Παρ Ιούλ 24, 2009 4:17 pm
- Τοποθεσία: Αθήνα
2 προβλήματα
Θα ήθελα τη βοήθειά σας σε 2 προβλήματα που έχω ποστάρει εδώ:
http://www.artofproblemsolving.com/Foru ... p?t=303100
Ευχαριστώ.
http://www.artofproblemsolving.com/Foru ... p?t=303100
Ευχαριστώ.
Re: 2 προβλήματα
Το πρωτο ειναι απο το φετινο διαγωνισμο επιλογης για την ομαδα του ΕΜΠ για IMC. Λυνεται με χρηση των χαρακτηριστικων διανυσματων. Δες εδω: http://www.mathlinks.ro/Forum/viewtopic.php?t=279683
Κολλιοπουλος Νικος.
Μεταδιδακτορικός ερευνητής.
Ερευνητικά ενδιαφέροντα: Στοχαστικές ΜΔΕ, ασυμπτωτική ανάλυση στοχαστικών συστημάτων, εφαρμογές αυτών στα χρηματοοικονομικά και στη διαχείριση ρίσκων.
Μεταδιδακτορικός ερευνητής.
Ερευνητικά ενδιαφέροντα: Στοχαστικές ΜΔΕ, ασυμπτωτική ανάλυση στοχαστικών συστημάτων, εφαρμογές αυτών στα χρηματοοικονομικά και στη διαχείριση ρίσκων.
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: 2 προβλήματα
Νίκο, χαιρετίσματα.Nick1990 έγραψε:Το πρωτο ειναι απο το φετινο διαγωνισμο επιλογης για την ομαδα του ΕΜΠ για IMC. Λυνεται με χρηση των χαρακτηριστικων διανυσματων. Δες εδω: http://www.mathlinks.ro/Forum/viewtopic.php?t=279683
Δεν κοίταξα την άσκηση, αλλά μου κραυγάζει επαγωγή: Για το επαγωγικό βήμα, στην περίπτωση συνόλου με Ν+1 στοιχεία, βρες δύο σύνολα με μη κενή τομή (υπάρχουν, αφού το σύνολο αναφοράς έχει Ν+1 στοιχεία και εμείς εξετάζουμε Ν+2 υποσύνολα).
Αν {χ} κοινό στοιχείο στα δύο, πέτα το ένα σύνολο (πες το Α) και πέτα το χ από παντού. Τώρα έχουμε σύνολο αναφοράς με Ν στοιχεία. Σε αυτό θα εφαρμόσουμε την επαγωγική υπόθεση λαμβάνοντας τις συμμετρικές διαφορές ΧΔΑ των δοθέντων συνόλων Χ με το Α.
Ώρα για ύπνο. Μου φαίνεται πάντως ότι η παραπάνω διαδικασία οδηγεί σε λύση. Είδομεν.
Φιλικά,
Μιχάλης.
- Κώστας Παππέλης
- Δημοσιεύσεις: 261
- Εγγραφή: Παρ Ιούλ 24, 2009 4:17 pm
- Τοποθεσία: Αθήνα
Re: 2 προβλήματα
Την πρώτη κατάφερα να τη λύσω. Ευχαριστώ πάντως Nick. Δεν την έκανα με επαγωγή αλλά δεν αποκλείεται καθόλου να βγαίνει και έτσι κύριε Λάμπρου.
Θα αναρτήσω λύση στο mathlinks.
Θα αναρτήσω λύση στο mathlinks.
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4455
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: 2 προβλήματα
Καλή μέρα και καλή βδομάδα
Η διατύπωση του δευτέρου προβλήματος είναι
Να αποδειχθεί ότι κάθε γραμμική απεικονιση (τελεστής) από το στο μπορεί να γραφτεί ως το ευθύ άθροισμα ενός αντιστρέψιμου και ενός μηδενοδύναμου τελεστή.
(όπου απέδωσα στα Ελληνικά τους αγγλικούς όρους δεδομένου ότι υπάρχει μετάφραση)
Ισχύει το εξής γενικότερο θεώρημα (Hofman, Kunze_Linear Algebra, σελίδα 222, θεώρημα 13):
Κάθε τελεστής μπορεί να γραφεί ως ευθύ άθροισμα ενός διαγωνιοποιήσιμου και ενός μηδενοδύναμου τελεστή κατά μοναδικό τρόπο.
Δηλαδή υπάρχουν ευθείς προσθετέοι , του κατά τρόπο ώστε για τον περιορισμό του στον να υπάρχει μία βάση ιδιοδιανυσμάτων και ο περιορισμός του στο να είναι μηδενοδύναμος. Η άσκηση είναι νομίζω άμεση συνέπεια του θεωρήματος.
Μαυρογιάννης
Η διατύπωση του δευτέρου προβλήματος είναι
Να αποδειχθεί ότι κάθε γραμμική απεικονιση (τελεστής) από το στο μπορεί να γραφτεί ως το ευθύ άθροισμα ενός αντιστρέψιμου και ενός μηδενοδύναμου τελεστή.
(όπου απέδωσα στα Ελληνικά τους αγγλικούς όρους δεδομένου ότι υπάρχει μετάφραση)
Ισχύει το εξής γενικότερο θεώρημα (Hofman, Kunze_Linear Algebra, σελίδα 222, θεώρημα 13):
Κάθε τελεστής μπορεί να γραφεί ως ευθύ άθροισμα ενός διαγωνιοποιήσιμου και ενός μηδενοδύναμου τελεστή κατά μοναδικό τρόπο.
Δηλαδή υπάρχουν ευθείς προσθετέοι , του κατά τρόπο ώστε για τον περιορισμό του στον να υπάρχει μία βάση ιδιοδιανυσμάτων και ο περιορισμός του στο να είναι μηδενοδύναμος. Η άσκηση είναι νομίζω άμεση συνέπεια του θεωρήματος.
Μαυρογιάννης
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: 2 προβλήματα
Για την πρώτη άσκηση η πιο σύντομη λύση που γνωρίζω είναι αυτή που έβαλε ο Κώστας στο Mathlinks. Βάζω και μια λύση που αποφεύγει την γραμμική άλγεβρα:
Έστω και . Για κάθε , μπορούμε να υποθέσουμε ότι . (Αν όχι, τότε θέτουμε και επαγωγικά υπάρχουν κατάλληλα υποσύνολα.)
Κατασκευάζουμε τώρα ένα διμερές γράφημα όπου ενώνουμε το με το αν και μόνο αν . Ισχυριζόμαστε ότι για κάθε μπορούμε να βρούμε ένα όλα τα είναι διαφορετικά μεταξύ τους και επιπλέον . Αυτό είναι άμεση συνέπεια του θεωρήματος του γάμου.
Μπορούμε να υποθέσουμε ότι . Τα υπόλοιπα τώρα είναι απλά. Βάζουμε το στην πρώτη ένωση. (Αν σταματάμε. Αν όχι,) Για κάθε , βάζουμε τα στην δεύτερη ένωση. Τώρα η δεύτερη ένωση είναι μεγαλύτερη ή ίση της πρώτης. Αν είναι ίσες σταματάμε. Αν όχι για κάθε που ανήκει στην δεύτερη ένωση αλλά όχι στην πρώτη βάζουμε το στην πρώτη ένωση κ.τ.λ.
Έστω και . Για κάθε , μπορούμε να υποθέσουμε ότι . (Αν όχι, τότε θέτουμε και επαγωγικά υπάρχουν κατάλληλα υποσύνολα.)
Κατασκευάζουμε τώρα ένα διμερές γράφημα όπου ενώνουμε το με το αν και μόνο αν . Ισχυριζόμαστε ότι για κάθε μπορούμε να βρούμε ένα όλα τα είναι διαφορετικά μεταξύ τους και επιπλέον . Αυτό είναι άμεση συνέπεια του θεωρήματος του γάμου.
Μπορούμε να υποθέσουμε ότι . Τα υπόλοιπα τώρα είναι απλά. Βάζουμε το στην πρώτη ένωση. (Αν σταματάμε. Αν όχι,) Για κάθε , βάζουμε τα στην δεύτερη ένωση. Τώρα η δεύτερη ένωση είναι μεγαλύτερη ή ίση της πρώτης. Αν είναι ίσες σταματάμε. Αν όχι για κάθε που ανήκει στην δεύτερη ένωση αλλά όχι στην πρώτη βάζουμε το στην πρώτη ένωση κ.τ.λ.
- Κώστας Παππέλης
- Δημοσιεύσεις: 261
- Εγγραφή: Παρ Ιούλ 24, 2009 4:17 pm
- Τοποθεσία: Αθήνα
Re: 2 προβλήματα
Κύριε Μαυρογιάννη, μπορώ να έχω μια απόδειξη του θεωρήματος αυτού που αναφέρετε?
Σας ευχαριστώ.
Σας ευχαριστώ.
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4455
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: 2 προβλήματα
Κώστα επειδή δεν έχει νόημα να μεταγράψω την απόδειξη εδώ στέλνω τα σχετικά στοιχεία με προσωπικό μήνυμα. Ευχαρίστως θα τα στείλω και σε όποιον άλλο συνάδελφο ενδιαφέρεται.Κώστας Παππέλης έγραψε:..μπορώ να έχω μια απόδειξη του θεωρήματος... ;
Μαυρογιάννης
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 5 επισκέπτες