Table des matières
48 relations: André Néron, Axiome de séparation (topologie), Équidissection, Bout (topologie), Catégorie de Fukaya, Domaine lipschitzien, Ensemble maigre, Espace compactement engendré, Espace de Baire (théorie des ensembles), Espace de Fréchet, Espace séparable, Espace séquentiel, Faisceau pervers, Fonction digamma, Forme bilinéaire, Formule du nombre de classes, Intégrale de Borwein, Liste d'énoncés indécidables dans ZFC, Longueur d'une démonstration, MathJax, Médaille Fields, NLab, Nombre cyclique (théorie des groupes), Nombre hyperréel, Nombre p-adique, Pierre Pansu, PlanetMath, Polynôme minimal des valeurs spéciales trigonométriques, Projet Polymath, Quasi-isomorphisme, Résidu quadratique, Série des inverses des nombres premiers, Smash-produit, Stack Exchange Network, Théorème d'accélération de Gödel, Théorème de Baire, Théorème de Banach-Schauder, Théorème de Grunwald-Wang, Théorème de Kronecker (approximation diophantienne), Théorème de Kruskal, Théorème de l'élément primitif, Théorème de Mazurkiewicz (théorie des ensembles), Théorème de Niemytzki-Tychonoff, Théorème de Steinhaus, Théorème de Whitehead, Ultrafinitisme, Vladimir Arnold, 26 (nombre).
André Néron
André Néron, né le à La Clayette et mort le à Clichy, est un mathématicien français.
Voir MathOverflow et André Néron
Axiome de séparation (topologie)
En topologie, un axiome de séparation est une propriété satisfaite par certains espaces topologiques, similaire à la propriété de séparation de Hausdorff (dite aussi T2), et concernant la séparation de points ou de fermés, du point de vue soit de voisinages, soit de fonctions continues réelles.
Voir MathOverflow et Axiome de séparation (topologie)
Équidissection
Une équidissection d'un carré en 6 triangles En mathématiques, et plus précisément en géométrie, une équidissection d'un polygone est un découpage de celui-ci en triangles d'aires égales.
Voir MathOverflow et Équidissection
Bout (topologie)
En mathématiques, un bout d'un espace topologique est de manière informelle une « composante connexe à l'infini » de cet espace.
Voir MathOverflow et Bout (topologie)
Catégorie de Fukaya
En topologie symplectique, un domaine actif de la recherche mathématique, la categorie de Fukaya d'une variété symplectique (M, \omega) est la catégorie \mathcal F (M) dont les objets sont les sous-variétés lagrangiennes de M, et les morphismes sont les groupes d'homologie de Floer: \mathrm (L_0, L_1).
Voir MathOverflow et Catégorie de Fukaya
Domaine lipschitzien
En mathématiques, un domaine lipschitzien (ou domaine « à frontière lipschitzienne ») est un ouvert d'un espace euclidien dont la frontière est « suffisamment régulière », au sens (fort) où cet ouvert est localement l'hypographe strict d'une fonction lipschitzienne.
Voir MathOverflow et Domaine lipschitzien
Ensemble maigre
En topologie, dans le contexte des espaces de Baire, un ensemble maigre (on dit aussi de première catégorie) est une partie d'un espace de Baire qui, en un sens technique, peut être considérée comme de taille infime.
Voir MathOverflow et Ensemble maigre
Espace compactement engendré
En mathématiques, un espace topologique est dit compactement engendré si c'est un k-espace faiblement Hausdorff.
Voir MathOverflow et Espace compactement engendré
Espace de Baire (théorie des ensembles)
En mathématiques, et plus précisément en topologie générale, l’espace de Baire est le nom donné — d'après René Baire — à l'ensemble de toutes les suites d'entiers, muni d'une certaine topologie.
Voir MathOverflow et Espace de Baire (théorie des ensembles)
Espace de Fréchet
Un espace de Fréchet est une structure mathématique d'espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de Banach même en l'absence d'une norme.
Voir MathOverflow et Espace de Fréchet
Espace séparable
En mathématiques, et plus précisément en topologie, un espace séparable est un espace topologique contenant un sous-ensemble dense et au plus dénombrable, c'est-à-dire contenant un ensemble fini ou dénombrable de points dont l'adhérence est égale à l'espace topologique tout entier.
Voir MathOverflow et Espace séparable
Espace séquentiel
En mathématiques, un espace séquentiel est un espace topologique dont la topologie est définie par l'ensemble de ses suites convergentes.
Voir MathOverflow et Espace séquentiel
Faisceau pervers
En mathématiques, les faisceaux pervers sont des objets de certaines catégories abéliennes associées à des espaces topologiques, pouvant être une variété réelle ou complexe, ou des espaces plus généraux topologiquement stratifiés, éventuellement singuliers.
Voir MathOverflow et Faisceau pervers
Fonction digamma
En mathématiques, la fonction digamma ou fonction psi est définie comme la dérivée logarithmique de la fonction gamma: \psi(z).
Voir MathOverflow et Fonction digamma
Forme bilinéaire
En mathématiques, plus précisément en algèbre linéaire, une forme bilinéaire est une application qui à un couple de vecteurs associe un scalaire, et qui a la particularité d'être linéaire en ses deux arguments.
Voir MathOverflow et Forme bilinéaire
Formule du nombre de classes
En théorie des nombres, la formule du nombre de classes relie de nombreux invariants importants d'un corps de nombres à une valeur spécifique de sa fonction zêta de Dedekind.
Voir MathOverflow et Formule du nombre de classes
Intégrale de Borwein
En mathématiques, une intégrale de Borwein est une intégrale mettant en jeu des produits de sinc(ax), où sinc est la fonction sinus cardinal, définie par sinc(x).
Voir MathOverflow et Intégrale de Borwein
Liste d'énoncés indécidables dans ZFC
Cette liste d'énoncés indécidables dans ZFC est formée d'affirmations dont il est démontré qu'elles sont indépendantes de la théorie des ensembles ZFC (la théorie prise comme fondement des mathématiques contemporaines, formée des axiomes de Zermelo–Fraenkel auxquels on adjoint l'axiome du choix), c'est-à-dire que cette théorie (en supposant qu'elle soit consistante) ne peut ni les démontrer, ni démontrer leur négation.
Voir MathOverflow et Liste d'énoncés indécidables dans ZFC
Longueur d'une démonstration
En mathématiques, la longueur d'une démonstration dépend du langage (naturel ou formel) dans lequel elle est rédigée, ainsi que des résultats préliminaires sur lesquels elle s'appuie.
Voir MathOverflow et Longueur d'une démonstration
MathJax
MathJax est une bibliothèque logicielle JavaScript cross-browser qui affiche les formules mathématiques dans des navigateurs web, en utilisant les balises de, LaTeX ou de MathML.
Médaille Fields
La médaille Fields est la plus prestigieuse récompense en mathématiques avec le prix Abel.
Voir MathOverflow et Médaille Fields
NLab
Le nLab est un wiki pour les notes, les exposés et le travail collaboratif (y compris la recherche originale) dans le cadre de la recherche en mathématiques, en physique et en philosophie.
Voir MathOverflow et NLab
Nombre cyclique (théorie des groupes)
En théorie des groupes, un nombre cyclique est un entier n tel qu'il n'existe qu'un groupe fini d'ordre n (à isomorphisme près): le groupe cyclique (ℤ/''n''ℤ, +), ou encore, un entier n tel que tout groupe d'ordre n soit cyclique.
Voir MathOverflow et Nombre cyclique (théorie des groupes)
Nombre hyperréel
520x520px En mathématiques, le corps ordonné des nombres hyperréels constitue une extension, notée *ℝ, des nombres réels usuels, permettant de donner un sens rigoureux aux notions de quantité infiniment petite ou infiniment grande.
Voir MathOverflow et Nombre hyperréel
Nombre p-adique
Les entiers 3-adiques, avec des représentations obtenues par dualité de Pontriaguine. En mathématiques, et plus particulièrement en théorie des nombres, pour un nombre premier fixé, les nombres -adiques forment une extension particulière du corps \Q des nombres rationnels, découverte par Kurt Hensel en 1897.
Voir MathOverflow et Nombre p-adique
Pierre Pansu
Pierre Pansu, né le à Lyon est un mathématicien français, membre du groupe Arthur Besse.
Voir MathOverflow et Pierre Pansu
PlanetMath
PlanetMath est une encyclopédie de mathématiques en ligne.
Voir MathOverflow et PlanetMath
Polynôme minimal des valeurs spéciales trigonométriques
π/''n''. En mathématiques, et plus précisément en algèbre, on peut chercher à calculer le polynôme minimal d'un nombre de la forme, ou avec rationnel, que nous appelons dans cet article une « valeur spéciale trigonométrique ».
Voir MathOverflow et Polynôme minimal des valeurs spéciales trigonométriques
Projet Polymath
Le projet Polymath (Polymath project) est un projet de résolution collective de problèmes mathématiques.
Voir MathOverflow et Projet Polymath
Quasi-isomorphisme
En mathématiques, un quasi-isomorphisme est une application induisant un isomorphisme en homologie.
Voir MathOverflow et Quasi-isomorphisme
Résidu quadratique
En mathématiques, plus précisément en arithmétique modulaire, un entier naturel est un résidu quadratique modulo s'il possède une racine carrée en arithmétique modulaire de module.
Voir MathOverflow et Résidu quadratique
Série des inverses des nombres premiers
Représentation de la somme des inverses des nombres premiers (en bleu). On observe que la somme diverge lentement vers l'infini car elle est borné inférieurement par une fonction divergente (en rouge). En mathématiques, la série des inverses des nombres premiers est la série de terme général, où désigne le -ème nombre premier.
Voir MathOverflow et Série des inverses des nombres premiers
Smash-produit
En mathématiques et plus précisément en topologie algébrique, le smash-produit X∧Y de deux espaces topologiques pointés (X, x) et (Y, y) est le quotient du produit X × Y par les identifications pour tout x ∈ X et tout y ∈ Y. Cet espace dépend du pointage (sauf si X et Y sont homogènes).
Voir MathOverflow et Smash-produit
Stack Exchange Network
est un réseau de sites anglophones de questions et réponses à édition collaborative, chacun traitant d'un thème particulier.
Voir MathOverflow et Stack Exchange Network
Théorème d'accélération de Gödel
En logique mathématique, le théorème d'accélération de Gödel (ou théorème de speed-up), démontré par Kurt Gödel en 1936, montre l'existence de théorèmes ayant des démonstrations très longues, mais qui peuvent être considérablement raccourcies en utilisant un système d'axiomes légèrement plus puissant.
Voir MathOverflow et Théorème d'accélération de Gödel
Théorème de Baire
Le théorème de Baire, dit aussi lemme de Baire, est un théorème de topologie dû au mathématicien René Baire.
Voir MathOverflow et Théorème de Baire
Théorème de Banach-Schauder
En analyse fonctionnelle, le théorème de Banach-Schauder, également appelé théorème de l'application ouverte, est un résultat fondamental qui affirme qu'une application linéaire continue surjective entre deux espaces de Banach (ou plus généralement: deux espaces vectoriels topologiques complètement métrisables) est ouverte.
Voir MathOverflow et Théorème de Banach-Schauder
Théorème de Grunwald-Wang
En théorie algébrique des nombres, le théorème de Grunwald-Wang est un exemple de principe local-global, selon lequel — hormis dans certains cas précisément identifiés — un élément d'un corps de nombres K est une puissance n-ième dans K si c'est une puissance n-ième dans le complété K pour presque tout idéal premier p de K'' (c'est-à-dire pour tous sauf un nombre fini).
Voir MathOverflow et Théorème de Grunwald-Wang
Théorème de Kronecker (approximation diophantienne)
Le théorème de Kronecker en théorie des nombres est un résultat d'approximation diophantienne simultanée de N réels.
Voir MathOverflow et Théorème de Kronecker (approximation diophantienne)
Théorème de Kruskal
En mathématiques, le théorème des arbres de Kruskal est un résultat de théorie des graphes conjecturé en 1937 par Andrew Vázsonyi et démontré indépendamment en 1960 par Joseph Kruskal et S. Tarkowski, affirmant que l'ensemble des arbres étiquetés par un ensemble muni d'un bel ordre est lui-même muni d'un bel ordre.
Voir MathOverflow et Théorème de Kruskal
Théorème de l'élément primitif
En mathématiques, et plus spécifiquement en algèbre, le théorème de l'élément primitif est un des théorèmes de base de la théorie des corps.
Voir MathOverflow et Théorème de l'élément primitif
Théorème de Mazurkiewicz (théorie des ensembles)
Le théorème de Mazurkiewicz en théorie des ensembles énonce qu'il existe un sous-ensemble du plan affine réel qui rencontre chaque droite en exactement deux points.
Voir MathOverflow et Théorème de Mazurkiewicz (théorie des ensembles)
Théorème de Niemytzki-Tychonoff
Le théorème de Niemytzki-Tychonoff est une caractérisation de la compacité des espaces métrisables.
Voir MathOverflow et Théorème de Niemytzki-Tychonoff
Théorème de Steinhaus
Le théorème de Steinhaus.
Voir MathOverflow et Théorème de Steinhaus
Théorème de Whitehead
En théorie de l'homotopie (une branche des mathématiques et plus précisément de la topologie algébrique), le théorème de Whitehead établit que si une application continue f entre deux espaces topologiques connexes X et Y induit un isomorphisme sur tous leurs groupes d'homotopie, alors f est une équivalence d'homotopie dès que X et Y ont le type d'homotopie de CW-complexes.
Voir MathOverflow et Théorème de Whitehead
Ultrafinitisme
En philosophie des mathématiques, l'ultrafinitisme, (aussi connu sous le nom d'ultraintuitionnisme, finitisme strict, ou encore de finitisme fort) est une forme extrême de finitisme.
Voir MathOverflow et Ultrafinitisme
Vladimir Arnold
Vladimir Igorevitch Arnold (en Владимир Игоревич Арнольд), né le à Odessa et mort le dans le, est un mathématicien soviétique puis russe.
Voir MathOverflow et Vladimir Arnold
26 (nombre)
Le nombre 26 (vingt-six) est l'entier naturel qui suit 25 et qui précède 27.
Voir MathOverflow et 26 (nombre)
Également connu sous le nom de Math Overflow.