En mathématiques, un cardinal mesurable est un cardinal sur lequel existe une mesure définie pour tout sous-ensemble. Cette propriété fait qu'un tel cardinal est un grand cardinal.
Un cardinal mesurable est un cardinal non dénombrable κ tel qu'il existe une mesure μ non triviale,
κ-additive, à valeurs dans , définie sur tous les sous-ensembles de κ ; μ est donc une application de l'ensemble des parties de κ vers telle que :
Pour toute famille (avec α
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
The course is based on Durrett's text book
Probability: Theory and Examples.
It takes the measure theory approach to probability theory, wherein expectations are simply abstract integrals.
In this course, various aspects of probability theory are considered. The first part is devoted to the main theorems in the field (law of large numbers, central limit theorem, concentration inequaliti
En mathématiques et en théorie des ensembles, l'univers constructible, ou l'univers constructible de Gödel, noté , est une classe d'ensembles qui peuvent entièrement être décrits en termes d'ensembles plus simples. Elle a été introduite en 1938 par Kurt Gödel dans son article sur . Il y montrait que cette classe est un de la théorie ZF et que l'axiome du choix et l'hypothèse généralisée du continu sont vrais dans ce modèle. Ceci prouve que ces deux propositions sont cohérentes avec les axiomes de ZF, à condition que ZF soit déjà cohérente.
En mathématiques, et en particulier en théorie des ensembles et en logique mathématique, un univers est un ensemble (ou parfois une classe propre) ayant comme éléments tous les objets qu'on souhaite considérer dans un contexte donné. Structure (mathématiques) Dans de nombreuses utilisations élémentaires de la théorie des ensembles, on se place en réalité dans un ensemble général U (appelé parfois univers de référence), et les seuls ensembles considérés sont les éléments et les sous-ensembles de U ; c'est ce point de vue qui a amené Cantor à développer sa théorie en partant de U = R, l'ensemble des nombres réels.
L'axiome de détermination est un axiome alternatif de la théorie des ensembles affirmant que certains jeux (au sens de la théorie des jeux) infinis sont déterminés. Cet axiome n'est pas compatible avec l'axiome du choix mais implique l'axiome du choix dénombrable pour les familles d'ensembles de réels et implique également une forme faible de l'hypothèse du continu.
Explore l'additivité dénombrable des ensembles mesurables et les propriétés de l'algèbre sigma, en soulignant l'importance de la compréhension des fonctions mesurables dans l'analyse.
Explore les modèles de jouets, les sigma-algèbres, les variables aléatoires à valeur T, les mesures et l'indépendance dans la théorie des probabilités.
Ranking queries, which return only a subset of results matching a user query, have been studied extensively in the past decade due to their importance in a wide range of applications. In this thesis, we study ranking queries in novel environments and setti ...
We consider a set V of elements and an optimization problem on V: the search for a maximum (or minimum) cardinality subset of V verifying a given property a"similar to. A d-transversal is a subset of V which intersects any optimum solution in at least d el ...
A set of phylogenetic trees with overlapping leaf sets is consistent if it can be merged without conflicts into a supertree. In this paper, we study the polynomial-time approximability of two related optimization problems called the maximum rooted triplets ...