Στόχος της παρούσας Διατριβής είναι να ερευνήσει τη διαμόρφωση των αντιλήψεων γύρω από τα απειροστά και τις σχετικές μ’ αυτά επ’ άπειρον διαδικασίες σε δύο κατευθύνσεις: 1. Την ιστορική εξέλιξη και ερμηνεία της έννοιας του απειροστού και 2. Την ανάλυση των σχετικών αντιλήψεων των φοιτητών-αυριανών καθηγητών των μαθηματικών. Στο πρώτο μέρος της διατριβής γίνεται ανάλυση και ερμηνεία των αντιλήψεων για τα απειροστά που εκφράστηκαν από την Αρχαία μέχρι τη σύγχρονη εποχή. Η μελέτη αυτή οδηγεί στην κατασκευή ενός ερμηνευτικού πλαισίου που διακρίνει τα ιστορικά ερμηνευτικά πρότυπα (μοντέλα) των απειροστών σε τρία αντιθετικά ζεύγη ως εξής: Ι. Εντασιακά-Εκτασιακά πρότυπα απειροστών. ΙΙ. Ομογενή-Μη ομογενή πρότυπα απειροστών. ΙΙΙ. Μηδενοδύναμα-μη μηδενοδύναμα πρότυπα απειροστών. Το παραπάνω πλαίσιο χρησιμοποιείται στο δεύτερο μέρος της διατριβής ως μεθοδολογικό εργαλείο για το σχεδιασμό διδακτικών πειραμάτων και την ανάλυση των εμπειρικών δεδομένων. Ειδικότερα, έγιναν τρία διδακτικά πειράματα με φοιτητές του Τμήματος των Μαθηματικών. Στο πρώτο πείραμα ερευνήθηκε η έννοια της ταχύτητας σύγκλισης ακολουθίας ως μια διαισθητική προσέγγιση στα απειροστά. Στο δεύτερο πείραμα, ερευνήθηκε η δυνατότητα προσέγγισης στα απειροστά μέσα από κλασσικά θέματα των διακριτών Μαθηματικών, όπως ο υπολογισμός του αθροίσματος των δυνάμεων φυσικών αριθμών. Στο τρίτο πείραμα έγινε διδασκαλία ενός συγκεκριμένου μοντέλου των υπερ-πραγματικών αριθμών και αναλύθηκαν τα αποτελέσματα. Τα κυριότερα συμπεράσματα της διατριβής είναι: 1. Η σημασία της κατασκευής μαθηματικών οντοτήτων που ικανοποιούν τα αξιώματα της Πραγματικής Ανάλυσης, 2. Η σημασία της διαισθητικής προσέγγισης και τα όριά της και 3. Η καταλληλότητα των προτεινόμενων μοντέλων και θεμάτων, ως διδακτικού υλικού. / The aim of this Ph.D thesis is the conceptions regarding infinitesimals and infinitesimal processes in two directions: 1. The historical evolution and interpretation of the concept of infinitesimal and 2. The analysis of the conception of the students–prospective teachers of Mathematics. The first part of the thesis contains a study and an analysis of infinitesimals that appeared in History from Antiquity to our era. This study leads to the construction of a framework of interpretation which distinguishes the interpretative models into three pairs of opposites: I. Homogenous-Nonhomogenous, models of infinitesimals II. Intensional-Extensional, models of infinitesimals III. Nilpotent-Non nilpotent, models of infinitesimals The above framework is applied in the second part of the thesis, as a methodological tool for the design of didactical experiments with students of Mathematics. The first experiment concerns a research study on the notion of the rate of convergence, as an intuitive approach to infinitesimals. The second experiment is referred to the emergence of infinitesimals through classical themes (issues) of discrete mathematics, such as the computation of sums of powers of integers. The third experiment concerns the teaching of a specific model of Hyper-Real numbers and the analysis of its empirical outcomes. The main conclusions of this thesis are: 1. The significance of the construction of mathematical entities, which satisfy the axioms of Real Analysis. 2. The significance of the intuitive approach, as well with a focus on its foreseen limitations. 3. The relevance of the proposed models and themes as potential didactical material.

Nous construisons un foncteur de la catégorie des variétés sur un corps ou un anneau topologique K, de caractéristique arbitraire, dans la catégorie des variétés sur A, où A est une algèbre de Weil, c'est-à-dire une K-algèbre de la forme A = K + N, où N est un idéal nilpotent. Le foncteur correspondant, noté T^A, et appelé foncteur de Weil, peut être interprété comme un foncteur d'extension scalaire de K à A. Il est construit à l'aide des polynômes de Taylor, dont nous donnons une définition en caractéristique quelconque. Ce résultat généralise à la fois des résultats connus pour les variétés réelles ordinaires, et les résultats obtenus dans le cas des foncteurs tangents itérés et dans le cas des anneaux de jets (A = K[X]/(X^{k+1})). Nous montrons que pour toute variété M, T^A M possède une structure de fibré polynomial sur M, et nous considérons certains aspects algébriques des foncteurs de Weil, notamment ceux liés à l'action du « groupe de Galois » Aut_K(A). Nous étudions les connexions, qui sont un outil important d'analyse des fibrés, dans deux contextes différents : d'une part sur les fibrés T^A M, et d?autre part sur des fibrés généraux sur M, en suivant l'approche d'Ehresmann. Les opérateurs de courbure d'une connexion sont induits par l'action du groupe de Galois Aut_K(A) et ils forment une obstruction à l'« intégrabilité » d'une connexion K-lisse en une connexion A-lisse / We construct a functor from the category of manifolds over a general topological base field or ring K, of arbitrary characteristic, to the category of manifolds over A, where A is a so-called Weil algebra, i.e. a K-algebra of the form A = K + N, where N is a nilpotent ideal. The corresponding functor, denoted by T^A, and called a Weil functor, can be interpreted as a functor of scalar extension from K to A. It is constructed by using Taylor polynomials, which we define in arbitrary characteristic. This result generalizes simultaneously results known for ordinary, real manifolds, and results for iterated tangent functors and for jet rings (A = K[X]/(X^{k+1})). We show that for any manifold M, T^A M is a polynomial bundle over M, and we investigate some algebraic aspects of the Weil functors, in particular those related to the action of the "Galois group" Aut_K(A). We study connections, which are an important tool for the analysis of fiber bundles, in two different contexts : connections on the Weil bundles T^A M, and connections on general bundles over M, following Ehresmann's approach. The curvature operators are induced by the action of the Galois group Aut_K(A) and they form an obstruction to the "integrability" of a K-smooth connection to an A-smooth one