TrItOs έγραψε: ↑Σάβ Ιουν 25, 2022 8:52 pm
Πρόβλημα(2): Έστω
ένας χωρος
και έστω
ένας αυτοσυζυγης τελεστής για τον οποίο ισχύει
. Να δειχθεί ότι
....
Για το πρόβλημα(2) γνωρίζουμε ότι:
,
για οποιοδήποτε
, έχει πραγματικές ιδιοτιμές.
Ίσως υπάρχει τρόπος απόδειξης σύμφωνα με την υπόδειξη που δείνεις (δεν το κοίταξα αλλά βλέπε παρακάτω) όμως δίνω έναν διαφορετικό. Θα χρειαστώ α) κάθε συνεχής τελεστής ικανοποιεί
και β) κάθε θετικός τελεστής
έχει τετραγωνική ρίζα, δηλαδή υπάρχει
θετικός (και άρα αυτοσυζυγής) με
. Και τα δύο αυτά υπάρχουν σε όλα τα βιβλία Θεωρίας Τελεστών σε χώρους Hilbert.
Άρα
, όπως θέλαμε.
Σχολιάζω ότι υπάρχει και μία γενικότερη ανισότητα τύπου Cauchy-Schwarz, συγκεκριμένα η
, από την οποία σίγουρα βγαίνει η αποδεικτέα. Δεν το κοίταξα (ακόμα δεν ... ξύπνησα) αλλά μάλλον για την απόδειξή της χρειάζεται τα ίδια υλικά με την απόδειξη που μόλις έγραψα, οπότε έβαλα την παραπάνω για λόγους πληρότητας.