Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
Accès plus rapide que le navigateur!
 

Treillis (ensemble ordonné)

Indice Treillis (ensemble ordonné)

En mathématiques, un treillis est une des structures algébriques utilisées en algèbre générale.

70 relations: Adhérence (mathématiques), Algèbre de Boole (structure), Algèbre de Kleene, Algèbre générale, Algebra Universalis, Annales Henri Poincaré, Associativité, Borne supérieure et borne inférieure, Bulletin of the American Mathematical Society, Cambridge University Press, Diagramme de Hasse, Distance (mathématiques), Distributivité, Divisibilité, Droite réelle achevée, Ensemble, Ensemble des parties d'un ensemble, Ensemble négligeable, Ensemble ordonné filtrant, Entier naturel, Espace complet, Espace métrique, Espace topologique, Espace uniforme, Extremum, Filtre (mathématiques), Fonction mesurable, Garrett Birkhoff, Groupe symétrique, Idéal (théorie des ordres), Idempotence, Implication réciproque, Informatique théorique, Injection (mathématiques), Intégrale de Lebesgue, Intérieur (topologie), Isomorphisme, Loi commutative, Loi d'absorption, Loi de composition interne, Majorant ou minorant, Mathématiques, Morphisme, Morphologie mathématique, Nicolas Bourbaki, Nombre positif, Ordre partiel complet, Ordre total, Paire, Partition d'un ensemble, ..., Pergamon Press, Plongement, Plus grand commun diviseur, Plus petit commun multiple, Point fixe, Produit direct (groupes), Relation antisymétrique, Relation binaire, Relation d'équivalence, Relation d'ordre, Relation réflexive, Relation transitive, Richard Dedekind, Segment (mathématiques), Sigle, Springer Science+Business Media, Structure algébrique, Théorème de Knaster-Tarski, Treillis de Galois, Treillis des sous-groupes. Développer l'indice (20 plus) »

Adhérence (mathématiques)

En topologie, l'adhérence d'une partie d'un espace topologique est le plus petit ensemble fermé contenant cette partie.

Nouveau!!: Treillis (ensemble ordonné) et Adhérence (mathématiques) · Voir plus »

Algèbre de Boole (structure)

'''Exemple d'algèbre de Boole''': l'ensemble des parties de l'ensemble x, y, z illustré par son diagramme de Hasse. En mathématiques, une algèbre de Boole, ou parfois anneau de Boole, est une structure algébrique étudiée en particulier en logique mathématique.

Nouveau!!: Treillis (ensemble ordonné) et Algèbre de Boole (structure) · Voir plus »

Algèbre de Kleene

En mathématiques, une algèbre de Kleene (du nom du logicien américain Stephen Cole Kleene) correspond à l'un des deux concepts suivants.

Nouveau!!: Treillis (ensemble ordonné) et Algèbre de Kleene · Voir plus »

Algèbre générale

L'algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l'étude des structures algébriques et de leurs relations.

Nouveau!!: Treillis (ensemble ordonné) et Algèbre générale · Voir plus »

Algebra Universalis

Algebra Universalis est une revue mathématique à comité de lecture centrée sur l'algèbre universelle et la théorie des treillis.

Nouveau!!: Treillis (ensemble ordonné) et Algebra Universalis · Voir plus »

Annales Henri Poincaré

Les Annales Henri Poincaré et les Annales de l'institut Henri-Poincaré sont une revue scientifique en trois séries (A, B, C) qui publie des articles originaux de recherche fondamentale, émanant de l'Institut Henri-Poincaré.

Nouveau!!: Treillis (ensemble ordonné) et Annales Henri Poincaré · Voir plus »

Associativité

En mathématiques, et plus précisément en algèbre générale, une loi de composition interne ou loi interne \star sur un ensemble est dite associative si pour tous, et dans: En notant m:E\times E\to E,\;(x,y)\mapsto x\star y, l'associativité se traduit par le diagramme commutatif suivant: Parmi les lois associatives, on peut citer les lois d'addition et de multiplication des nombres réels, des nombres complexes et des matrices carrées, l'addition des vecteurs, et l'intersection, la réunion d'ensembles.

Nouveau!!: Treillis (ensemble ordonné) et Associativité · Voir plus »

Borne supérieure et borne inférieure

En mathématiques, les notions de borne supérieure et borne inférieure d'un ensemble de nombres réels interviennent en analyse, comme cas particulier de la définition générale suivante: la borne supérieure (ou le supremum) d'une partie d'un ensemble (partiellement) ordonné est le plus petit de ses majorants.

Nouveau!!: Treillis (ensemble ordonné) et Borne supérieure et borne inférieure · Voir plus »

Bulletin of the American Mathematical Society

Le Bulletin of the American Mathematical Society, souvent abrégé Bull.

Nouveau!!: Treillis (ensemble ordonné) et Bulletin of the American Mathematical Society · Voir plus »

Cambridge University Press

Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.

Nouveau!!: Treillis (ensemble ordonné) et Cambridge University Press · Voir plus »

Diagramme de Hasse

En mathématiques, le diagramme de Hasse, du nom du mathématicien allemand Helmut Hasse, est une représentation visuelle d'un ordre fini.

Nouveau!!: Treillis (ensemble ordonné) et Diagramme de Hasse · Voir plus »

Distance (mathématiques)

En mathématiques, une distance est une application qui formalise l'idée intuitive de distance, c'est-à-dire la longueur qui sépare deux points.

Nouveau!!: Treillis (ensemble ordonné) et Distance (mathématiques) · Voir plus »

Distributivité

En mathématiques, plus précisément en arithmétique et en algèbre générale, la distributivité d'une opération par rapport à une autre est une généralisation de la propriété élémentaire: « le produit d'une somme est égal à la somme des produits ».

Nouveau!!: Treillis (ensemble ordonné) et Distributivité · Voir plus »

Divisibilité

En arithmétique, on dit qu'un entier a est divisible par un entier b s'il existe un entier k tel que a.

Nouveau!!: Treillis (ensemble ordonné) et Divisibilité · Voir plus »

Droite réelle achevée

En mathématiques, la droite réelle achevée est l'ensemble ordonné constitué des nombres réels auxquels sont adjoints deux éléments supplémentaires: un plus grand élément, noté et un plus petit élément, noté, chap.

Nouveau!!: Treillis (ensemble ordonné) et Droite réelle achevée · Voir plus »

Ensemble

Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles.

Nouveau!!: Treillis (ensemble ordonné) et Ensemble · Voir plus »

Ensemble des parties d'un ensemble

En mathématiques, l'ensemble des parties d'un ensemble, parfois appelé ensemble puissance, est l'ensemble de tous les sous-ensembles d'un ensemble donné (y compris cet ensemble lui-même et l'ensemble vide).

Nouveau!!: Treillis (ensemble ordonné) et Ensemble des parties d'un ensemble · Voir plus »

Ensemble négligeable

Le triangle de Sierpiński est un exemple d'ensemble nul de points dans \mathbbR^2. En théorie de la mesure, dans un espace mesuré, un ensemble négligeable est un ensemble de mesure nulle ou une partie d'un tel ensemble.

Nouveau!!: Treillis (ensemble ordonné) et Ensemble négligeable · Voir plus »

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.

Nouveau!!: Treillis (ensemble ordonné) et Ensemble ordonné filtrant · Voir plus »

Entier naturel

En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).

Nouveau!!: Treillis (ensemble ordonné) et Entier naturel · Voir plus »

Espace complet

En mathématiques, un espace métrique complet est un espace métrique dans lequel toute suite de Cauchy converge dans ce même espace.

Nouveau!!: Treillis (ensemble ordonné) et Espace complet · Voir plus »

Espace métrique

En mathématiques et plus particulièrement en topologie, un espace métrique est un ensemble au sein duquel une notion de distance entre les éléments de l'ensemble est définie.

Nouveau!!: Treillis (ensemble ordonné) et Espace métrique · Voir plus »

Espace topologique

La topologie générale est une branche des mathématiques qui fournit un vocabulaire et un cadre général pour traiter des notions de limite, de continuité, et de voisinage.

Nouveau!!: Treillis (ensemble ordonné) et Espace topologique · Voir plus »

Espace uniforme

En mathématiques, la notion d'espace uniforme, introduite en 1937 par André Weil, est une généralisation de celle d'espace métrique.

Nouveau!!: Treillis (ensemble ordonné) et Espace uniforme · Voir plus »

Extremum

Un extremum (pluriel extrema ou extremums), ou extrémum (pluriel extrémums), est une valeur extrême, soit maximum, soit minimum.

Nouveau!!: Treillis (ensemble ordonné) et Extremum · Voir plus »

Filtre (mathématiques)

En mathématiques, et plus particulièrement en topologie générale, un filtre est une structure définie sur un ensemble, et permettant d'étendre la notion de limite aux situations les plus générales.

Nouveau!!: Treillis (ensemble ordonné) et Filtre (mathématiques) · Voir plus »

Fonction mesurable

Soient E et F des espaces mesurables munis de leurs tribus respectives ℰ et ℱ.

Nouveau!!: Treillis (ensemble ordonné) et Fonction mesurable · Voir plus »

Garrett Birkhoff

Garrett Birkhoff, né le à Princeton dans le New Jersey (États-Unis) et mort le à Water Mill dans l'État de New York (États-Unis), est un mathématicien américain.

Nouveau!!: Treillis (ensemble ordonné) et Garrett Birkhoff · Voir plus »

Groupe symétrique

En mathématiques, plus particulièrement en algèbre, le groupe symétrique d'un ensemble E est le groupe des permutations de E, c'est-à-dire des bijections de E sur lui-même.

Nouveau!!: Treillis (ensemble ordonné) et Groupe symétrique · Voir plus »

Idéal (théorie des ordres)

En mathématiques, un idéal au sens de la théorie des ordres est un sous-ensemble particulier d'un ensemble ordonné.

Nouveau!!: Treillis (ensemble ordonné) et Idéal (théorie des ordres) · Voir plus »

Idempotence

En mathématiques et en informatique, l'idempotence signifie qu'une opération a le même effet qu'on l'applique une ou plusieurs fois.

Nouveau!!: Treillis (ensemble ordonné) et Idempotence · Voir plus »

Implication réciproque

En mathématiques, plus précisément en calcul propositionnel, une implication réciproque est une proposition interchangeant la prémisse et la conclusion d'une implication.

Nouveau!!: Treillis (ensemble ordonné) et Implication réciproque · Voir plus »

Informatique théorique

Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique.

Nouveau!!: Treillis (ensemble ordonné) et Informatique théorique · Voir plus »

Injection (mathématiques)

Une application f est dite injective ou est une injection si tout élément de son ensemble d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de son ensemble de départ ne peuvent pas avoir la même image par f. Lorsque les ensembles de départ et d'arrivée de f sont tous les deux égaux à la droite réelle ℝ, f est injective si et seulement si son graphe intersecte toute droite horizontale en au plus un point.

Nouveau!!: Treillis (ensemble ordonné) et Injection (mathématiques) · Voir plus »

Intégrale de Lebesgue

En mathématiques, l’intégrale de Lebesgue désigne à la fois une théorie relative à l'intégration et à la mesure, et le résultat de l'intégration d'une fonction à valeurs réelles définie sur \mathbb (ou sur \mathbb^n) muni de la mesure de Lebesgue.

Nouveau!!: Treillis (ensemble ordonné) et Intégrale de Lebesgue · Voir plus »

Intérieur (topologie)

Le point x est dans l'intérieur de S car il y a une boule centrée en x entièrement incluse dans S. Le point y n'est pas dans l'intérieur de S. En mathématiques, l'intérieur (abrégé en int) est une notion de topologie appliquée à une partie d'un espace topologique.

Nouveau!!: Treillis (ensemble ordonné) et Intérieur (topologie) · Voir plus »

Isomorphisme

En mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structureSi, pour beaucoup de structures en algèbre, cette seconde condition est automatiquement remplie, ce n'est pas le cas en topologie par exemple où une bijection peut être continue sans que sa réciproque le soit.

Nouveau!!: Treillis (ensemble ordonné) et Isomorphisme · Voir plus »

Loi commutative

En mathématiques, et plus précisément en algèbre générale, une opération binaire est commutative si l'ordre des opérandes ne changent pas le résultat.

Nouveau!!: Treillis (ensemble ordonné) et Loi commutative · Voir plus »

Loi d'absorption

En algèbre, la loi d'absorption est une identité reliant deux lois de composition interne.

Nouveau!!: Treillis (ensemble ordonné) et Loi d'absorption · Voir plus »

Loi de composition interne

En mathématiques, et plus précisément en algèbre générale, une loi de composition interne est une application qui, à deux éléments d'un ensemble E, associe un élément de E. Autrement dit, c'est une opération binaire par laquelle E est stable.

Nouveau!!: Treillis (ensemble ordonné) et Loi de composition interne · Voir plus »

Majorant ou minorant

En mathématiques, soient (E, ≤) un ensemble ordonné et F une partie de E; un élément x de E est.

Nouveau!!: Treillis (ensemble ordonné) et Majorant ou minorant · Voir plus »

Mathématiques

Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.

Nouveau!!: Treillis (ensemble ordonné) et Mathématiques · Voir plus »

Morphisme

visualisation du critère valuatif de w:morphismes propres En mathématiques, le morphisme est la relative similitude d'objets mathématiques considérés du point de vue de ce qu'ils partagent comme entités ou par leurs relations.

Nouveau!!: Treillis (ensemble ordonné) et Morphisme · Voir plus »

Morphologie mathématique

La morphologie mathématique est une théorie et technique mathématique et informatique d'analyse de structures qui est liée avec l'algèbre, la théorie des treillis, la topologie et les probabilités.

Nouveau!!: Treillis (ensemble ordonné) et Morphologie mathématique · Voir plus »

Nicolas Bourbaki

Nicolas Bourbaki est un mathématicien imaginaire, sous le nom duquel un groupe de mathématiciens francophones, formé en 1935 à Besse (Puy-de-Dôme) sous l'impulsion d'André Weil, a commencé à écrire et à éditer des textes mathématiques à la fin des.

Nouveau!!: Treillis (ensemble ordonné) et Nicolas Bourbaki · Voir plus »

Nombre positif

Un nombre positif est un nombre qui est supérieur à zéro, par exemple 3 ou e.

Nouveau!!: Treillis (ensemble ordonné) et Nombre positif · Voir plus »

Ordre partiel complet

Il existe plusieurs notions non équivalentes dordre partiel complet (ou CPO).

Nouveau!!: Treillis (ensemble ordonné) et Ordre partiel complet · Voir plus »

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 \forall x,y\in E\quad x\le y\texty\le x. On dit alors que E est totalement ordonné par ≤.

Nouveau!!: Treillis (ensemble ordonné) et Ordre total · Voir plus »

Paire

Une paire est un ensemble qui comprend exactement deux éléments.

Nouveau!!: Treillis (ensemble ordonné) et Paire · Voir plus »

Partition d'un ensemble

Les 52 partitions d'un ensemble à 5 éléments. Les points noirs représentent les éléments de l'ensemble. Une région colorée correspond à un bloc de la partition qui regroupe plusieurs points noirs. Un point noir isolé signifie que cet élément appartient à un bloc qui est un singleton. En mathématiques, une partition d'un ensemble est un ensemble de parties non vides de deux à deux disjointes et dont l'union est.

Nouveau!!: Treillis (ensemble ordonné) et Partition d'un ensemble · Voir plus »

Pergamon Press

Pergamon Press est une ancienne maison d'édition scientifique britannique qui a pris un essor considérable après son rachat par Robert Maxwell en 1951.

Nouveau!!: Treillis (ensemble ordonné) et Pergamon Press · Voir plus »

Plongement

Dans de nombreuses branches des mathématiques, on peut être amené à comparer deux « objets » entre eux en montrant que l'un des « objets » est un « sous-objet » de l'autre (parfois via une injection, remplaçant l'inclusion ensembliste).

Nouveau!!: Treillis (ensemble ordonné) et Plongement · Voir plus »

Plus grand commun diviseur

En arithmétique élémentaire, le plus grand commun diviseur ou '''PGCD''' de deux nombres entiers non nuls est le plus grand entier qui les divise simultanément.

Nouveau!!: Treillis (ensemble ordonné) et Plus grand commun diviseur · Voir plus »

Plus petit commun multiple

En mathématiques, et plus précisément en arithmétique, le plus petit commun multiple – en abrégé PPCM – (peut s'appeler aussi PPMC, soit « plus petit multiple commun ») de deux entiers non nuls a et b est le plus petit entier strictement positif qui soit multiple de ces deux nombres.

Nouveau!!: Treillis (ensemble ordonné) et Plus petit commun multiple · Voir plus »

Point fixe

En mathématiques, pour une application d'un ensemble dans lui-même, un élément de est un point fixe de si.

Nouveau!!: Treillis (ensemble ordonné) et Point fixe · Voir plus »

Produit direct (groupes)

En mathématiques, et plus particulièrement en théorie des groupes, le produit direct d'une famille de groupes est une structure de groupe qui se définit naturellement sur le produit cartésien des ensembles sous-jacents à ces groupes.

Nouveau!!: Treillis (ensemble ordonné) et Produit direct (groupes) · Voir plus »

Relation antisymétrique

En mathématiques, une '''relation''' (binaire, interne) sur un ensemble est dite antisymétrique si elle vérifie: ce qui signifie que l'intersection de son graphe avec celui de sa relation réciproque est incluse dans la diagonale de, autrement dit: R \cap R^ \subset \Delta_X.

Nouveau!!: Treillis (ensemble ordonné) et Relation antisymétrique · Voir plus »

Relation binaire

En mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation.

Nouveau!!: Treillis (ensemble ordonné) et Relation binaire · Voir plus »

Relation d'équivalence

En mathématiques, une relation d'équivalence permet, dans un ensemble, de mettre en relation des éléments qui sont similaires par une certaine propriété.

Nouveau!!: Treillis (ensemble ordonné) et Relation d'équivalence · Voir plus »

Relation d'ordre

Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.

Nouveau!!: Treillis (ensemble ordonné) et Relation d'ordre · Voir plus »

Relation réflexive

En mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité).

Nouveau!!: Treillis (ensemble ordonné) et Relation réflexive · Voir plus »

Relation transitive

En mathématiques, une relation transitive est une relation binaire pour laquelle une suite d'objets reliés consécutivement aboutit à une relation entre le premier et le dernier.

Nouveau!!: Treillis (ensemble ordonné) et Relation transitive · Voir plus »

Richard Dedekind

Julius Wilhelm Richard Dedekind (né le à Brunswick et mort le dans la même ville) est un mathématicien allemand et un proche disciple de Ernst Kummer en arithmétique.

Nouveau!!: Treillis (ensemble ordonné) et Richard Dedekind · Voir plus »

Segment (mathématiques)

AB. En géométrie, un segment de droite (souvent abrégé en « segment ») est une portion de droite délimitée par deux points, appelés extrémités du segment.

Nouveau!!: Treillis (ensemble ordonné) et Segment (mathématiques) · Voir plus »

Sigle

Un sigle est un ensemble de lettres initiales majuscules qui, épelé ou prononcé de manière syllabique, forme un mot servant d'abréviation.

Nouveau!!: Treillis (ensemble ordonné) et Sigle · Voir plus »

Springer Science+Business Media

Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.

Nouveau!!: Treillis (ensemble ordonné) et Springer Science+Business Media · Voir plus »

Structure algébrique

En mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité.

Nouveau!!: Treillis (ensemble ordonné) et Structure algébrique · Voir plus »

Théorème de Knaster-Tarski

Le théorème de Knaster-Tarski est un théorème de point fixe pour une application croissante d'un treillis complet dans lui-même.

Nouveau!!: Treillis (ensemble ordonné) et Théorème de Knaster-Tarski · Voir plus »

Treillis de Galois

Visualisation d'un treillis de Galois, sur des données sociosémantiques Un treillis de Galois est un treillis dont la construction est basée sur une correspondance de Galois mais peut aussi être définie en termes de rectangles maximaux d'une relation.

Nouveau!!: Treillis (ensemble ordonné) et Treillis de Galois · Voir plus »

Treillis des sous-groupes

8. En mathématique, le treillis des sous-groupes d'un groupe G est le treillis constitué des sous-groupes de G, muni de l'inclusion comme relation d'ordre partielle.

Nouveau!!: Treillis (ensemble ordonné) et Treillis des sous-groupes · Voir plus »

Redirections ici:

Ensemble réticulé, Idéal d'un treillis, Réseau ordonné, Théorie des treillis, Treillis (mathématiques), Treillis complet.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »