Accès plus rapide que le navigateur!
43 relations: Axiome du choix, Axiome du choix dépendant, Axiomes de Peano, Énigme de combustion de mèches, Bijection, Complémentaire (théorie des ensembles), Conditions de chaîne, Couple (mathématiques), Définition par récurrence, Ensemble des parties d'un ensemble, Ensemble fini, Ensemble infini, Ensemble vide, Entier naturel, Entier relatif, Extremum, Famille (mathématiques), Fraction dyadique, Georg Cantor, Inclusion (mathématiques), Intervalle (mathématiques), John von Neumann, Kenneth Kunen, Majorant ou minorant, Mathématiques, Nombre ordinal, Nombre transfini, Oméga, Ordinal de Hartogs, Ordre total, Raisonnement par récurrence, Récurrence transfinie, Réunion disjointe, Relation bien fondée, Relation binaire, Relation d'équivalence, Relation d'ordre, Schéma d'axiomes de remplacement, Section commençante, Théorème de Zermelo, Théorie des ensembles, Théorie des ensembles de Zermelo-Fraenkel, Type d'ordre.
Axiome du choix
Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo.
Nouveau!!: Ensemble bien ordonné et Axiome du choix · Voir plus »
Axiome du choix dépendant
En mathématiques, l'axiome du choix dépendant, noté DC, est une forme faible de l'axiome du choix (AC), suffisante pour développer une majeure partie de l'analyse réelle.
Nouveau!!: Ensemble bien ordonné et Axiome du choix dépendant · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Ensemble bien ordonné et Axiomes de Peano · Voir plus »
Énigme de combustion de mèches
En mathématiques récréatives, les énigmes de combustion de mèches sont un type de casse-tête mathématique dans lesquels sont données des longueurs de cordes ou de mèches brûlant (de manière non uniforme) pendant un temps donné pris pour unité, et qu'on doit allumer de manière à mesurer une certaine durée.
Nouveau!!: Ensemble bien ordonné et Énigme de combustion de mèches · Voir plus »
Bijection
En mathématiques, une bijection ou application bijective (parfois appelée correspondances biunivoques) est une application qui est à la fois injective et surjective, autrement dit pour laquelle tout élément de son ensemble d'arrivée possède un et un seul antécédentC'est-à-dire est image d'exactement un élément de son domaine de définition.
Nouveau!!: Ensemble bien ordonné et Bijection · Voir plus »
Complémentaire (théorie des ensembles)
En mathématiques, et plus particulièrement en théorie des ensembles, le complémentaire d'une partie A d'un ensemble E est constitué de tous les éléments de E n'appartenant pas à A. Le complémentaire de A est.
Nouveau!!: Ensemble bien ordonné et Complémentaire (théorie des ensembles) · Voir plus »
Conditions de chaîne
Les conditions de chaîne (ascendante et descendante) sont deux propriétés mathématiques sur les ordres, identifiées initialement par Emmy Noether dans le contexte de l'algèbre commutative.
Nouveau!!: Ensemble bien ordonné et Conditions de chaîne · Voir plus »
Couple (mathématiques)
En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé.
Nouveau!!: Ensemble bien ordonné et Couple (mathématiques) · Voir plus »
Définition par récurrence
fractales, cette courbe est définie par récurrence. En mathématiques, on parle de définition par récurrence pour une suite, c'est-à-dire une fonction définie sur les entiers positifs et à valeurs dans un ensemble donné.
Nouveau!!: Ensemble bien ordonné et Définition par récurrence · Voir plus »
Ensemble des parties d'un ensemble
En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide).
Nouveau!!: Ensemble bien ordonné et Ensemble des parties d'un ensemble · Voir plus »
Ensemble fini
En mathématiques, un ensemble fini est un ensemble qui possède un nombre fini d'éléments, c'est-à-dire qu'il est possible de compter ses éléments, le résultat étant un nombre entier.
Nouveau!!: Ensemble bien ordonné et Ensemble fini · Voir plus »
Ensemble infini
En mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers.
Nouveau!!: Ensemble bien ordonné et Ensemble infini · Voir plus »
Ensemble vide
En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément.
Nouveau!!: Ensemble bien ordonné et Ensemble vide · Voir plus »
Entier naturel
En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).
Nouveau!!: Ensemble bien ordonné et Entier naturel · Voir plus »
Entier relatif
En mathématiques, un entier relatif, un entier rationnel ou simplement un nombre entier est un nombre qui se présente comme un entier naturel auquel on a adjoint un signe positif ou négatif indiquant sa position par rapport à 0 sur un axe orienté.
Nouveau!!: Ensemble bien ordonné et Entier relatif · Voir plus »
Extremum
Un extremum (pluriel extrema ou extremums), ou extrémum (pluriel extrémums), est une valeur extrême, soit maximum, soit minimum.
Nouveau!!: Ensemble bien ordonné et Extremum · Voir plus »
Famille (mathématiques)
En mathématiques, la notion de famille est une généralisation de celle de suite, suite finie ou suite indexée par tous les entiers naturels.
Nouveau!!: Ensemble bien ordonné et Famille (mathématiques) · Voir plus »
Fraction dyadique
alt.
Nouveau!!: Ensemble bien ordonné et Fraction dyadique · Voir plus »
Georg Cantor
Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).
Nouveau!!: Ensemble bien ordonné et Georg Cantor · Voir plus »
Inclusion (mathématiques)
En mathématiques, l’inclusion est une relation d'ordre entre ensembles.
Nouveau!!: Ensemble bien ordonné et Inclusion (mathématiques) · Voir plus »
Intervalle (mathématiques)
En mathématiques, un intervalle (du latin) est étymologiquement un ensemble ordonné de points compris entre deux bornes.
Nouveau!!: Ensemble bien ordonné et Intervalle (mathématiques) · Voir plus »
John von Neumann
John von Neumann (János Lajos Neumann) (János Lajos Neumann en hongrois), né le à Budapest et mort le à Washington, est un mathématicien et physicien américano-hongrois.
Nouveau!!: Ensemble bien ordonné et John von Neumann · Voir plus »
Kenneth Kunen
Herbert Kenneth Kunen, né le à New York et mort le à Madison (Wisconsin), est un mathématicien américain, professeur émérite de mathématiques à l'université du Wisconsin à Madison qui travaillait en théorie des ensembles et à ses applications en topologie et en théorie de la mesure.
Nouveau!!: Ensemble bien ordonné et Kenneth Kunen · Voir plus »
Majorant ou minorant
En mathématiques, soient (E, ≤) un ensemble ordonné et F une partie de E; un élément x de E est.
Nouveau!!: Ensemble bien ordonné et Majorant ou minorant · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Ensemble bien ordonné et Mathématiques · Voir plus »
Nombre ordinal
Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc.
Nouveau!!: Ensemble bien ordonné et Nombre ordinal · Voir plus »
Nombre transfini
Le mathématicien George Cantor (1918). Les nombres transfinis sont des nombres exposés et étudiés par le mathématicien Georg Cantor.
Nouveau!!: Ensemble bien ordonné et Nombre transfini · Voir plus »
Oméga
Oméga (capitale Ω, minuscule ω; en grec ωμέγα) est la et dernière lettre de l'alphabet grec, précédée par psi.
Nouveau!!: Ensemble bien ordonné et Oméga · Voir plus »
Ordinal de Hartogs
En théorie des ensembles, l'ordinal de Hartogs d'un ensemble A désigne le plus petit ordinal qui ne s'injecte pas dans A. Son existence utilise le remplacement et se démontre sans l'axiome du choix, contrairement au théorème de Zermelo qui revient à l'existence d'un ordinal en bijection avec A, et équivaut, lui, à l'axiome du choix.
Nouveau!!: Ensemble bien ordonné et Ordinal de Hartogs · Voir plus »
Ordre total
En mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que \forall x,y\in E\quad x\le y\texty\le x. On dit alors que E est totalement ordonné par ≤.
Nouveau!!: Ensemble bien ordonné et Ordre total · Voir plus »
Raisonnement par récurrence
suite de dominos. Si la propriété est vraie au rang n0 (''i. e.'' le premier domino de numéro 0 tombe) et si sa véracité au rang ''n'' implique celle au rang ''n'' + 1 (''i. e.'' la chute du domino numéro ''n'' fait tomber le domino numéro ''n'' + 1) alors la propriété est vraie pour tout entier (''i. e.'' tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
Nouveau!!: Ensemble bien ordonné et Raisonnement par récurrence · Voir plus »
Récurrence transfinie
En mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts.
Nouveau!!: Ensemble bien ordonné et Récurrence transfinie · Voir plus »
Réunion disjointe
En mathématiques, la réunion disjointe est une opération ensembliste.
Nouveau!!: Ensemble bien ordonné et Réunion disjointe · Voir plus »
Relation bien fondée
En mathématiques, une relation bien fondée (encore appelée relation noethérienne ou relation artinienne) est une relation binaire vérifiant l'une des deux conditions suivantes, équivalentes d'après l'axiome du choix dépendant (une version faible de l'axiome du choix).
Nouveau!!: Ensemble bien ordonné et Relation bien fondée · Voir plus »
Relation binaire
En mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation.
Nouveau!!: Ensemble bien ordonné et Relation binaire · Voir plus »
Relation d'équivalence
En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété.
Nouveau!!: Ensemble bien ordonné et Relation d'équivalence · Voir plus »
Relation d'ordre
Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.
Nouveau!!: Ensemble bien ordonné et Relation d'ordre · Voir plus »
Schéma d'axiomes de remplacement
Le schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem.
Nouveau!!: Ensemble bien ordonné et Schéma d'axiomes de remplacement · Voir plus »
Section commençante
En mathématiques, et plus précisément en théorie des ordres, une section commençante (également appelée segment initial ou sous-ensemble fermé inférieurement) d'un ensemble ordonné (X,≤) est un sous-ensemble S de X tel que si x est dans S et si y ≤ x, alors y est dans S. Dualement, on appelle section finissante (ou sous-ensemble fermé supérieurement) un sous-ensemble F tel que si x est dans F et si x ≤ y, alors y est dans F.
Nouveau!!: Ensemble bien ordonné et Section commençante · Voir plus »
Théorème de Zermelo
En mathématiques, le théorème de Zermelo, appelé aussi théorème du bon ordre, est un résultat de théorie des ensembles, démontré en 1904 par Ernst Zermelo, qui affirme.
Nouveau!!: Ensemble bien ordonné et Théorème de Zermelo · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Ensemble bien ordonné et Théorie des ensembles · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor.
Nouveau!!: Ensemble bien ordonné et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Type d'ordre
En mathématiques, en particulier dans la théorie des ensembles, deux ensembles ordonnés X et Y sont dits avoir le même type d'ordre s'ils sont isomorphes pour l'ordre, c'est-à-dire, s'il existe une bijection f: X → Y telle que f et son inverse soient strictement croissantes (c'est-à-dire préservent l'ordre).
Nouveau!!: Ensemble bien ordonné et Type d'ordre · Voir plus »
