Connexité (mathématiques)La connexité est une notion de topologie qui formalise le concept d'« objet d'un seul tenant ». Un objet est dit connexe s'il est fait d'un seul « morceau ». Dans le cas contraire, chacun des morceaux est une composante connexe de l'objet étudié. Soit un espace topologique E. Les quatre propositions suivantes sont équivalentes : E n'est pas la réunion de deux ouverts non vides disjoints ; E n'est pas la réunion de deux fermés non vides disjoints ; les seuls ouverts-fermés de E sont ∅ et E ; toute application continue de E dans un ensemble à deux éléments muni de la topologie discrète est constante.
Espace localement connexeEn mathématiques, plus précisément en topologie, un espace localement connexe est un espace topologique pouvant être décrit à l’aide de ses ouverts connexes. En topologie, on dit qu’un espace est connexe lorsqu’il est fait « d’une seule pièce ». La question naturelle qui suit est de savoir si tout espace topologique peut être décrit comme la réunion disjointe (dans la catégorie des espaces topologiques) de ses composantes connexes ; en d’autres termes, peut-on considérer que lorsqu’on connait toutes les « pièces » d’un espace topologique, on sait tout de cet espace ? Une condition nécessaire et suffisante pour cela est que toutes les composantes connexes soient ouvertes.
Connexité simpleEn topologie générale et en topologie algébrique, la notion de simple connexité raffine celle de connexe par arcs. Dans un espace connexe par arcs, deux points quelconques peuvent toujours être reliés par un chemin. Dans un espace simplement connexe, cela est toujours possible d'une et une seule façon, l'unicité étant à comprendre au sens de « à déformation (isotopie) près ». Intuitivement, là où un espace connexe est simplement « d'un seul tenant », un espace simplement connexe est de plus sans « trou » ni « poignée ».
Hyperbolic spaceIn mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.
Variété hyperboliquethumb|Une projection en perspective d'un pavage dodécahédrique dans H3. C'est un exemple de ce qu'un observateur pourrait observer à l'intérieur d'une 3-variété hyperbolique thumb|La pseudosphère : chaque moitié de cette forme est une surface hyperbolique à bord. En mathématiques, une variété hyperbolique est un espace dans lequel chaque point apparaît localement comme d'une certaine dimension. Ces variétés sont spécifiquement étudiées en dimensions 2 et 3, où elles sont appelées respectivement surfaces de Riemann et .
Hyperbolic 3-manifoldIn mathematics, more precisely in topology and differential geometry, a hyperbolic 3-manifold is a manifold of dimension 3 equipped with a hyperbolic metric, that is a Riemannian metric which has all its sectional curvatures equal to −1. It is generally required that this metric be also complete: in this case the manifold can be realised as a quotient of the 3-dimensional hyperbolic space by a discrete group of isometries (a Kleinian group).
Espace localement simplement connexeEn mathématiques, un espace localement simplement connexe est un espace topologique qui admet une base d'ouverts simplement connexes. Tout espace localement simplement connexe est donc localement connexe par arcs et a fortiori localement connexe. Le cercle est localement simplement connexe mais pas simplement connexe. La boucle d'oreille hawaïenne n'est pas localement simplement connexe ni simplement connexe, puisqu'elle n'est même pas . Le cône de la boucle d'oreille hawaïenne est contractile donc simplement connexe, mais n'est pas localement simplement connexe.
Géométrie hyperboliqueEn mathématiques, la géométrie hyperbolique (nommée auparavant géométrie de Lobatchevski, lequel est le premier à en avoir publié une étude approfondie) est une géométrie non euclidienne vérifiant les quatre premiers postulats d’Euclide, mais pour laquelle le cinquième postulat, qui équivaut à affirmer que par un point extérieur à une droite passe une et une seule droite qui lui est parallèle, est remplacé par le postulat selon lequel « par un point extérieur à une droite passent plusieurs droites parallèle
Graph embeddingIn topological graph theory, an embedding (also spelled imbedding) of a graph on a surface is a representation of on in which points of are associated with vertices and simple arcs (homeomorphic images of ) are associated with edges in such a way that: the endpoints of the arc associated with an edge are the points associated with the end vertices of no arcs include points associated with other vertices, two arcs never intersect at a point which is interior to either of the arcs. Here a surface is a compact, connected -manifold.
Separated setsIn topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different.
Linkless embeddingIn topological graph theory, a mathematical discipline, a linkless embedding of an undirected graph is an embedding of the graph into three-dimensional Euclidean space in such a way that no two cycles of the graph are linked. A flat embedding is an embedding with the property that every cycle is the boundary of a topological disk whose interior is disjoint from the graph. A linklessly embeddable graph is a graph that has a linkless or flat embedding; these graphs form a three-dimensional analogue of the planar graphs.
Théorème de plongement de NashEn géométrie différentielle, le théorème de plongement de Nash, dû au mathématicien John Forbes Nash, affirme que toute variété riemannienne peut être plongée de manière isométrique dans un espace euclidien. « De manière isométrique » veut dire « conservant la longueur des courbes ». Une conséquence de ce théorème est que toute variété riemannienne peut être vue comme une sous-variété d'un espace euclidien. Il existe deux théorèmes de plongement de Nash : Le premier (1954), portant sur les variétés de classe C1.
Surface de RiemannEn géométrie différentielle et géométrie analytique complexe, une surface de Riemann est une variété complexe de dimension 1. Cette notion a été introduite par Bernhard Riemann pour prendre en compte les singularités et les complications topologiques qui accompagnent certains prolongements analytiques de fonctions holomorphes. Par oubli de structure, une surface de Riemann se présente comme une variété différentielle réelle de dimension 2, d'où le nom surface. Elles ont été nommées en hommage au mathématicien allemand Bernhard Riemann.
ConjectureEn mathématiques, une conjecture est une assertion pour laquelle on ne connaît pas encore de démonstration, mais que l'on croit fortement être vraie (en l'absence de contre-exemple, ou comme généralisation de résultats démontrés). Une conjecture peut être choisie comme hypothèse ou postulat pour étudier d'autres énoncés. Si une conjecture se révèle indécidable relativement au système d'axiomes dans laquelle elle s'insère, elle peut être érigée en nouvel axiome (ou rejetée par la mise en place d'un nouvel axiome).
Atle SelbergAtle Selberg (né le à Langesund (Norvège) et mort le à Princeton (New Jersey)) est un mathématicien norvégien connu pour son travail en théorie analytique des nombres et dans la théorie des formes automorphes, en particulier en liaison avec la théorie spectrale. Dès sa jeunesse, Selberg a été influencé par l'œuvre de Ramanujan. Il a fait ses études à l'université d'Oslo et soutenu son doctorat en 1943. Il a été élève de Viggo Brun. Durant la Seconde Guerre mondiale, il a travaillé seul à cause de l'occupation de la Norvège par l'Allemagne nazie.
Conjecture de Pólyathumb|right|Fonction sommatoire de la fonction de Liouville L(n) jusqu'à n = . thumb|right|Gros plan sur la fonction sommatoire de la fonction de Liouville L(n) dans la région où la conjecture de Pólya est en défaut. En théorie des nombres, la conjecture de Pólya énonce que la plupart (c'est-à-dire plus de la moitié) des entiers naturels inférieurs à un entier donné ont un nombre impair de facteurs premiers. La conjecture a été proposée par le mathématicien hongrois George Pólya en 1919.
Système embarquéUn système embarqué est un système électronique et informatique autonome, souvent temps réel, spécialisé dans une tâche précise. Le terme désigne aussi bien le matériel informatique que le logiciel utilisé. Ses ressources sont généralement limitées spatialement (encombrement réduit) et énergétiquement (consommation restreinte). L'un des premiers systèmes modernes embarqués reconnaissables a été le Apollo Guidance Computer en 1967, le système de guidage de la mission lunaire Apollo, développé par Charles Stark Draper du Massachusetts Institute of Technology.
Système d'exploitation embarquéUn système d'exploitation embarqué est un système d'exploitation pouvant être installé sur un système embarqué. Ce système d'exploitation est conçu avec des spécificités à gérer afin de répondre à des besoins spécifiques au type de système embarqué. Un système d'exploitation est un programme qui gère le matériel. Il sert d'intermédiaire entre l'application logicielle et le matériel informatique (périphériques, capteurs, moteurs...).
Conjecture de CramérEn mathématiques, la conjecture de Cramér, formulée par le mathématicien suédois Harald Cramér en 1936, pronostique l'asymptotique suivante pour l'écart entre nombres premiers : où gn est le n-ième écart, pn est le n-ième nombre premier et désigne le symbole de Bachmann-Landau ; cette conjecture n'est pas démontrée à ce jour. Cramér avait auparavant, en 1920, démontré un énoncé plus faible : sous l'hypothèse de Riemann (qui elle-même n'est pas démontrée non plus).
Logiciel enfouiLes logiciels enfouis ou embarqués (embedded software), sont des entités autonomes qui remplissent une mission indépendante, parfois critique, sans intervention humaine, en général en interaction directe avec l’environnement extérieur que celui-ci soit physique ou informatique. Ces systèmes autonomes peuvent être isolés mais ils sont la plupart du temps reliés et communiquent à travers un réseau grâce à un logiciel d'intermédiation.
