Please use this identifier to cite or link to this item: http://hdl.handle.net/10889/8216
Title: Το θεώρημα Tarski-Seidenberg : συνέπειες και μία διδακτική έρευνα στη θεωρία πολυωνύμων με πραγματικούς συντελεστές
Authors: Νταργαράς, Κωνσταντίνος
Issue Date: 2015-01-13
Keywords: Θεώρημα Τάρσκι Σέιντενμπεργκ
Απόδειξη
Πραγματικώς κλειστό σώμα
Θεώρημα Sturm
Θεώρημα Sylvester
Πλήθος πραγματικών ριζών πολυωνύμου
Πραγματικά πολυώνυμα
Διδακτική έρευνα
Ημιαλγεβρική γεωμετρία
Keywords (translated): Tarski Seidenberg theorem
Proof
Real closed field
Sturm's theorem
Sylvester's theorem
Number of real roots of polynomial
Real polynomials
Didactic research
Semialgebraic geometry
Abstract: To αντικείμενο μελέτης της εργασίας αυτής είναι κατά μείζονα λόγο το θεώρημα Tarski-Seidenberg. Στο πρώτο κεφάλαιο μελετάμε το κίνητρο που ώθησε τον Tarski σε αυτή την έρευνα, εξιστορούμε την πορεία της ιδέας του από την ανακάλυψη μέχρι τη δημοσίευση και έπειτα προσπαθούμε να σκιαγραφήσουμε ευκρινώς τη συνολική επίδραση του θεωρήματος στα μαθηματικά και όχι μόνο. Για την ακρίβεια, αναφερόμαστε στην πληρότητα της Ευκλείδειας γεωμετρίας ως συνέπεια του θεωρήματος, στη συμβολή του θεωρήματος στην ανάπτυξη της ημιαλγεβρικής γεωμετρίας. Στο δεύτερο κεφάλαιο αποδικνύεται το εν λόγω θεώρημα, δηλαδή ότι η πρωτοβάθμια θεωρία των πραγματικώς κλειστών σωμάτων είναι πλήρης, με χρήση των θεωρημάτων Sturm και Sylvester. Στο τρίτο κεφάλαιο παρουσιάζεται μία διδακτική έρευνα με φοιτητές του τμήματος με σκοπό τη διάγνωση πιθανών γνωστικών κενών των φοιτητών σε θέματα της θεωρίας πολυωνύμων με πραγματικούς συντελεστές.
Abstract (translated): To study object of this work is a fortiori the Tarski-Seidenberg theorem. In the first chapter we study Tarski's motivation in this research, we recount the progress of the idea from ​​the discovery until the publication, and then we try to outline clearly the overall effect of the theorem in mathematics and beyond. In fact, we refer to the completeness of Euclidean geometry as a consequence of the theorem, in its contribution to the development of semialgebraic geometry. In the second chapter we prove the Tarski-Seidenberg theorem, namely that the first order theory of real closed fields is actually complete, using the Sturm and Sylvester theorems. In the third chapter we present a teaching research on students of the Department in purpose to diagnose potential knowledge gaps of the students concerning the theory of polynomials with real coefficients.
Appears in Collections:Τμήμα Μαθηματικών (ΔΔ)

Files in This Item:
File Description SizeFormat 
Θεώρημα Tarski Seidenberg.pdf7.56 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.