Séance de cours

Inversion de Möbius: posets

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.

Description

Cette séance de cours couvre l'inversion de Möbius pour les posets, définissant des ensembles partiellement ordonnés, la réflexivité, la transitivité et l'antisymétrie. Il explique l'algèbre d'incidence, la convolution, la fonction delta et les inverses gauche/droite. La fonction Möbius, la fonction zeta et la preuve de l'inversion de Möbius sont également discutées.

Source officielle

Proximité ontologique

Mathématiques

Logique mathématique: Théorie des ensembles

Concepts associés (32)

Ensemble partiellement ordonné

En mathématiques, un ensemble partiellement ordonné (parfois appelé poset d'après l'anglais partially ordered set) formalise et généralise la notion intuitive d'ordre ou d'arrangement entre les éléments d'un ensemble. Un ensemble partiellement ordonné est un ensemble muni d'une relation d'ordre qui indique que pour certains couples d'éléments, l'un est plus petit que l'autre. Tous les éléments ne sont pas forcément comparables, contrairement au cas d'un ensemble muni d'un ordre total.

Groupe ordonné

Un groupe ordonné est un groupe muni d'une relation d'ordre respectée par les translations. Soit (G,.) un groupe (la loi du groupe étant notée multiplicativement) et ≤ une relation d'ordre sur G. On dit que celle-ci est compatible avec la loi du groupe lorsque pour tous éléments x, y et z du groupe, la relation x ≤ y entraîne les deux relations zx ≤ zy et xz ≤ yz. Un groupe ordonné est un ensemble muni simultanément d'une loi de groupe et d'une relation d'ordre compatible.

Incidence algebra

In order theory, a field of mathematics, an incidence algebra is an associative algebra, defined for every locally finite partially ordered set and commutative ring with unity. Subalgebras called reduced incidence algebras give a natural construction of various types of generating functions used in combinatorics and number theory. A locally finite poset is one in which every closed interval [a, b] = {x : a ≤ x ≤ b} is finite.

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 On dit alors que E est totalement ordonné par ≤. Une relation binaire ≤ sur un ensemble E est un ordre total si (pour tous éléments x, y et z de E) : x ≤ x (réflexivité) ; si x ≤ y et y ≤ x, alors x = y (antisymétrie) ; si x ≤ y et y ≤ z, alors x ≤ z (transitivité) ; x ≤ y ou y ≤ x (totalité). Les trois premières propriétés sont celles faisant de ≤ une relation d'ordre.

Formule d'inversion de Möbius

La formule d'inversion de Möbius classique a été introduite dans la théorie des nombres au cours du par August Ferdinand Möbius. Elle a été généralisée plus tard à d'autres « formules d'inversion de Möbius ». La version classique déclare que pour toutes fonctions arithmétiques f et g, on a si et seulement si f est la transformée de Möbius de g, où μ est la fonction de Möbius et les sommes portent sur tous les diviseurs strictement positifs d de n.

Afficher plus

Séances de cours associées (49)

Limites et topologies inverses

Explore les limites inverses, les finitions infinies et les topologies de Hausdorff en théorie de groupe et en topologie.

Relations et séquences

Couvre les relations, les séquences et les posets, en mettant l'accent sur des propriétés telles que l'antisymétrie et la transitivité, et introduit des progressions arithmétiques et géométriques.

Fonctions arithmétiques : fonctions multiplicatives et convolution de Dirichlet

Couvre les fonctions multiplicatives, la convolution de Dirichlet et la fonction de Mobius dans les fonctions arithmétiques.

Ordre partiel: Relations, Séquences, Somme

Introduit des commandes partielles, des treillis et des commandes lexicographiques sur les produits cartésiens.

Relations et séquences: ensembles et séries géométriques bien ordonnés

Explore les relations d'équivalence, les ensembles bien ordonnés, les séries géométriques et les ensembles dénombrables.

Afficher plus

Concepts associés (32)

Ensemble partiellement ordonné

Groupe ordonné

Incidence algebra

Ordre total

Formule d'inversion de Möbius

Afficher plus