Résultats de la recherche

{{confusion|K-théorie}} {{Titre mis en forme|Théorie ''k''-catégorique}} ...

...de somme (disjointe) d'ensembles, ou [[réunion disjointe]] en théorie des ensembles}} ...e la définition d'un ensemble de sommes sur plusieurs ensembles de 4, avec des tailles différentes]] ...

...melo (Z)|théories des ensembles de Zermelo]] et de [[Théorie des ensembles de Zermelo-Fraenkel|Zermelo-Fraenkel]]. .... Un tel ensemble est nommé ''ensemble des parties'' de ''E'', d'où le nom de l'axiome. ...

...peut être utilisé pour la preuve du [[théorème fondamental de l'évaluation des actifs]]. ...cker|titre=Quelques remarques sur un théorème de Yan.|périodique=Séminaire de Probabilités XXIV, Lect. Notes Math.|éditeur=Springer|année=1990}}</ref>. ...

...it autrement, le cardinal associé à l'[[ordinal de Hartogs]] de l'ensemble des [[entier naturel|entiers naturels]]). ...t ℵ₁. En présence de l'[[axiome du choix]], [[théorème de Zermelo|tous les ensembles pouvant être bien ordonnés]], ℵ₁ est le plus petit cardinal infini non déno ...

{{Voir homonymes|Théorème de König}} Le '''théorème de Kőnig''' en [[théorie des ensembles]] est dû au mathématicien [[Hongrie|hongrois]] [[Julius König|Julius Kőnig] ...

...a < \operatorname{cf}(2^\kappa)</math> (où cf(''α'') est la [[cofinalité]] de&nbsp;''α''). ...lle application ''G'' d'une partie de la [[Classe (mathématiques)|classe]] des [[Nombre ordinal|ordinaux]] vers elle-même telle que : ...

...rtaines classes de propositions suivant la théorie en jeu) peut se déduire de l'[[axiome du choix]]. Il fut découvert en 1975 par Diaconescu<ref>{{en}} R ...]] quelconque. En utilisant l'[[axiome de compréhension]], on définit deux ensembles ...

...s explicites, sur la loi des temps d'atteinte. Le '''[[théorème]] d'arrêt de Doob''' est dû à [[Joseph Leo Doob]]. {{Théorème| ...

...naux]] sont incompatibles avec l'[[axiome du choix]]. Leur ajout conduit à des contradictions. Selon certaines conséquences du théorème de Kunen, il s'ensuit que : ...

...l'anneau. Vus comme parties de l'[[anneau de Boole]] de toutes les parties de ''X'' (considéré comme un [[pseudo-anneau]]), ils en sont les sous-anneaux ...</ref>|Un '''anneau d'ensembles''' est un ensemble <math>\mathcal R</math> de parties d'un ensemble <math>X</math> qui vérifie : ...

...orté sur la [[Théorie des ensembles|théorie axiomatique des ensembles]] et la [[combinatoire]]. ...notable comprend la preuve de la [[conjecture de Dinitz]]. En théorie des ensembles, il prouve avec [[András Hajnal]] que si ℵ _{ω ₁} est un ...

{{ébauche|algèbre|théorie des ensembles}} ...tion|Une '''algèbre d'ensembles''' est un ensemble <math>\mathcal B</math> de parties d'un ensemble <math>X</math> qui vérifie : ...

{{Ébauche|théorie des ensembles}} ...[[Suite (mathématiques)|suite]] (''x{{ind|n}}''){{ind|''n''∈ℕ}} d'éléments de ''X'', il existe ''i'' et ''j'' tels que ''i < j'' et ''x{{ind|i}} ≤ x{{ind ...

...lexité (informatique théorique)|théorie de la complexité]], le '''théorème de Courcelle''' est le suivant : ...[complexité en temps|temps]] linéaire dans la classe des [[Graphe (théorie des graphes)|graphes]] avec une [[largeur arborescente]] bornée.}} ...

En [[mathématiques]], et en particulier en [[théorie des ensembles]] et en [[logique mathématique]], un '''univers''' est un [[ensemble]] (ou == Théorie élémentaire des ensembles et probabilités == ...

{{homon|Théorème de Rado}} ...mand [[Richard Rado]]. Ce théorème a été démontré dans sa thèse <cite lang=de>Studien zur Kombinatorik</cite> (1933). ...

...}}ℕ}} d'éléments de la [[Tribu (mathématiques)|tribu]] {{math|Σ}}, '''tous de mesure finie''', avec *[[Mesure de comptage]] sur un [[ensemble dénombrable]] ...

En [[mathématiques]], le '''théorème de Howie''', du nom du mathématicien [[John M. Howie]], énonce qu'une applicat ...pi_1 \circ ... \circ \pi_n</math><ref name=oraux>{{ouvrage|titre=Exercices de mathématiques, oraux x-ens |sous-titre=algèbre 1 |éditeur=Cassini |année=20 ...

...ibus. Ce choix a l'intérêt de permettre d'éviter l'introduction de parties de mesure infinie. ...&pg=PA8}}.</ref>|Un '''δ-anneau''' sur un ensemble ''X'' est un [[anneau d'ensembles]] sur ''X'' stable par [[intersection (mathématiques)|intersection]] [[ense ...