Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

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

Dans cours

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics as diverse as mathematical reasoning, combinatorics, disc ...

Description

Cette séance de cours couvre les concepts de relations, de séquences et de sommation, y compris les relations d'équivalence, les ensembles partiels ordonnés, les relations inverses et les ensembles bien ordonnés. Il se penche également sur la preuve de la formule de sommation pour les séries géométriques et les propriétés des ensembles dénombrables.

Enseignant·e

Karl Aberer

Co-Founder of LinkAlong Sarl, 2017.Vice-president EPFL for Information Systems, 2012 –2016.Director of the Swiss National Centre for Mobile Information and Communication Systems NCCR MICS (mics.ch), 2005 -2012.Member of the Swiss Research and Technology Council SWTR, consulting the Swiss Federal government, 2004 - 2011.

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.

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.

Ensemble bien ordonné

En mathématiques, un ensemble ordonné (E, ≤) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite : Toute partie non vide de E possède un plus petit élément. Formellement cela donne ∀X⊆E, X≠∅ ⇒ (∃u∈X, ∀v∈X u≤v). Si (E, ≤) est bien ordonné alors ≤ est nécessairement un ordre total, c'est-à-dire que deux éléments quelconques x et y de E sont toujours comparables. En effet, l'ensemble { x, y } possède un plus petit élément, donc on a x ≤ y ou y ≤ x.

Ensemble ordonné filtrant

En mathématiques, un ensemble ordonné filtrant est un ensemble ordonné (c'est-à-dire dans lequel on peut dire que certains éléments sont plus grands que d'autres) tel que pour toute paire d'éléments, il existe un élément qui est plus grand que chaque élément de la paire. Cela sous-entend en premier lieu que ce troisième élément peut être comparé aux deux premiers, ce qui n'est pas automatique dans un ensemble ordonné (implicitement partiellement ordonné, par opposition à totalement ordonné).

Couple (mathématiques)

En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé. Le couple des deux objets et est noté . Si et sont distincts, le couple est distinct du couple ; en cela, la notion de couple se distingue de la notion de paire où l'ordre des éléments est indifférent. Pour désigner un couple, les anglophones emploient d'ailleurs ordered pair, c’est-à-dire paire ordonnée. Les objets a et b sont appelés respectivement première composante et deuxième composante du couple (a, b).

Afficher plus

Séances de cours associées (27)

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.

Relations d'équivalence et ordres partiels

Introduit des relations d'équivalence, des partitions, des ordres partiels et des concepts d'ordre total avec des exemples et des définitions.

Ordre partiel: Relations, Séquences, Somme

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

Integers: Concepts élémentaires

Couvre les concepts fondamentaux liés aux entiers, y compris les propriétés des ensembles bien ordonnés et le principe d'induction.

Fractales et étranges attracteurs

Plonge dans la renormalisation, les fractales et les attracteurs étranges, explorant les propriétés des ensembles dénombrables et innombrables.

Afficher plus

Concepts associés (32)

Ensemble partiellement ordonné

Ordre total

Ensemble bien ordonné

Ensemble ordonné filtrant

Couple (mathématiques)

Afficher plus