Thesis (doctoral)--Rheinische Friedrich-Wilhelms-Universität Bonn, 2000. / Includes bibliographical references (p. 99-102) and index.

In this paper we show how to give an intrinsic definition of a constructible circle on the sphere. The classical definition of constructible circle in the plane, using straight edge and compass is there by translated in ters of so called Lenart tools. The process by which we achieve our goal involves concepts from the algebra of Hermitian matrices, complex variables, and Sterographic projection. However, the discussion is entirely elementary throughout and hopefully can serve as a guide for teachers in advanced geometry.

Dans ce mémoire, nous allons nous concentrer sur le sujet de l’universalité en analyse complexe. Tout d'abord, nous allons énumérer de nombreux résultats découverts dans ce domaine, tout en soulignant que, dans la plupart des cas, les preuves d'existence des éléments universels sont implicites et non pas constructives. Nous examinerons en détail une preuve spécifique de l'existence des séries universelles de Taylor qui se voulait constructive et nous déterminerons si tel est le cas ou non. Pour atteindre cet objectif, nous introduirons un nouvel élément universel que nous appellerons les séries numériques universelles. Ce sont des séries complexes telles que leurs sommes partielles sont denses dans le plan complexe. Nous donnerons une preuve constructive de l'existence de ces éléments et, afin de déterminer pleinement si la preuve susmentionnée de l'existence des séries universelles de Taylor est constructive, nous allons la comparer avec notre preuve de l'existence des séries numériques universelles. Enfin, nous examinerons les propriétés topologiques et algébriques des séries numériques universelles, en montrant sous quelles conditions elles sont topologiquement génériques et algébriquement génériques dans l'ensemble de toutes séries formelles à termes complexes. / This master's thesis will be centered around the subject of universality in complex analysis. First, we will provide a summary of many of the results that have been discovered in the field of universality. We will show that, in most cases, the proofs of existence of the universal elements are not constructive, but, rather, implicit. We will perform an in-depth analysis of a specific proof of the existence of Universal Taylor series which was intended to be constructive and we will determine whether or not this goal was achieved. To do this, we will introduce a new universal element, which we will call Universal numerical series. These are complex numerical series such that the partial sums of the series are dense in the complex plane. We will give a constructive proof of the existence of these elements and, in order to fully determine whether the aforementioned proof of the existence of the Universal Taylor series is constructive, we will compare it to our proof of the existence of the Universal numerical series. Finally, we will examine the topological and algebraic properties of the Universal numerical series, showing under which conditions they are topologically generic and algebraically generic in the set of all complex numerical series.