Séance de cours

Dimension Hausdorff et mouvement brownien

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

MATH-330: Martingales and Brownian motion

Introduction to the theory of discrete-time martingales (optional stopping and convergence theorems) and its applications (gambler's ruin, branching processes, Pólya urns...). Introduction to Brownian motion. ...

Description

Cette séance de cours couvre le concept de la dimension Hausdorff, en se concentrant sur la dimension des ensembles où le mouvement brownien est exactement nul. L'instructeur explique le calcul et la vérification de la dimension Hausdorff, fournissant des exemples pour illustrer le concept. La discussion aborde également la relation entre la dimension Hausdorff et le mouvement brownien, en soulignant l'importance de comprendre la dimension des ensembles par rapport aux processus stochastiques.

Source officielle

Concepts associés (19)

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 . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.

Théorie naïve des ensembles

Les ensembles sont d'une importance fondamentale en mathématiques ; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles. Il y a plusieurs façons de développer la théorie des ensembles et plusieurs théories des ensembles existent. Par théorie naïve des ensembles, on entend le plus souvent un développement informel d'une théorie des ensembles dans le langage usuel des mathématiques, mais fondée sur les axiomes de la théorie des ensembles de Zermelo ou de Zermelo-Fraenkel avec axiome du choix dans le style du livre Naive Set Theory de Paul Halmos.

Théorie des ensembles de Zermelo

La théorie des ensembles de Zermelo, est la théorie des ensembles introduite en 1908 par Ernst Zermelo dans un article fondateur de l'axiomatisation de la théorie des ensembles moderne, mais aussi une présentation moderne de celle-ci, où les axiomes sont repris dans le langage de la logique du premier ordre, et où l'axiome de l'infini est modifié pour permettre la construction des entiers naturels de von Neumann. Cette section présente les axiomes originaux de l'article de Zermelo paru en 1908, numérotés comme dans cet article.

Théorie des ensembles de Zermelo-Fraenkel

vignette|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. L'axiomatisation a été élaborée au début du par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.

Constructive set theory

Axiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.

Afficher plus

Séances de cours associées (64)

Régularité Lemmas et théorèmes de densité

Explore les lemmas de régularité et les théorèmes de densité pour le partitionnement des graphes et l'identification des structures.

Produit cartésien en algèbre linéaire

Explore le produit cartésien en algèbre linéaire et la méthode d'induction pour prouver des propositions.

Propriétés de levage et catégories de modèles

Couvre l'étude des propriétés de levage dans les catégories, en mettant l'accent sur les propriétés de levage à gauche et à droite.

Produit cartésien MOOC: Analyse I MOOC: Analyse I (partie 1) : Prélude, notions de base, les nombres réels

Couvre le concept du produit cartésien, mettant l'accent sur l'ordre des éléments en paires.

Deux définitions de l'action du groupe

Explorer deux définitions de l'action de groupe sur un ensemble, en mettant l'accent sur les propriétés et les applications.

Afficher plus

Concepts associés (19)

Théorie des ensembles

Théorie naïve des ensembles

Théorie des ensembles de Zermelo

Théorie des ensembles de Zermelo-Fraenkel

Constructive set theory

Afficher plus