Structure (logique mathématique)


Structure (logique mathématique)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Structure.
Page d'aide sur l'homonymie Ne doit pas être confondu avec Structure (mathématiques).

En logique mathématique, plus précisément en théorie des modèles, une structure est un ensemble muni de fonctions et de relations définies sur cet ensemble. Les structures usuelles de l'algèbre sont des structures en ce sens. On utilise également le mot modèle comme synonyme de structure (voir Note sur l'utilisation du mot modèle).

La sémantique de la logique du premier ordre se définit dans une structure.


Sommaire

Definition

Formellement, une structure peut être définie comme un triplet \mathcal A=(A, \sigma, I) représentant respectivement un ensemble non vide A , une signature σ, et une interprétation I qui indique comment la signature doit être interprétée sur le domaine. On nomme σ-structure une structure de signature σ.

Domaine

L'ensemble A est le domaine, ou ensemble de base de la structure \mathcal A.

En théorie des modèles, l'ensemble de base d'une structure est toujours non vide (sinon certaines lois de la logique du premier ordre ne seraient pas préservées).

L'ensemble de base d'une structure \mathcal A est souvent noté |\mathcal A| (ou dans la suite \operatorname{dom}(\mathcal A))) ; il peut arriver qu'une structure et son ensemble de base soient notés de la même façon.

La signature

Article détaillé : Signature (algèbre).

La signature d'une structure comporte un ensemble de symboles de fonctions et de symboles de relations avec une fonction qui associe à chaque symbole s un entier naturel n=\operatorname{ar}(s) qui est appelé l'arité de s, puisqu'il est l'arité de l'interprétation de s (voir ci dessous : L'interprétation).

La plupart du temps, l'égalité fait partie du langage par défaut, et n'apparaît pas dans la signature. L'interprétation de l'égalité est toujours l'identité, quelle que soit la structure.

Les signatures en algèbre ne contiennent souvent que des symboles de fonctions. En algèbre universelle une signature ne contenant pas de symboles de relation est appelé une signature algébrique, et une structure ayant une telle signature est appelée algèbre.

L'interprétation

L'interprétation I de \mathcal A associe une ou des fonctions et relations aux symboles de la signature. À chaque symbole de fonction f d'arité n est associé une fonction f^{\mathcal A}=I(f) d'arité n dont l'ensemble de départ est \operatorname{dom}(\mathcal A)^n et l'ensemble d'arrivée est \operatorname{dom}(\mathcal A).

À chaque symbole de relation R d'arité n est associée une relation d'arité n sur l'ensemble de base, soit R^{\mathcal A}\subseteq A^n.

Un symbole de fonction c d'arité 0 est appelé symbole de constante, son interprétation c^{\mathcal A} est un élément de l'ensemble de base.

S'il n'y a pas d'ambiguïté, on note parfois de la même façon un symbole et son interprétation ; par exemple si f est un symbole de fonction d'arité 2 sur \mathcal A, il arrive d'écrire f:\mathcal A^2\rightarrow\mathcal A plutôt que f^{\mathcal A}:|\mathcal A|^2\rightarrow|\mathcal A|.

Exemples

Une signature usuelle σf pour un corps commutatif comporte deux symboles de fonctions d'arité 2, + et ×, un symbole de fonction d'arité 1 pour l'opposé, , et deux symboles de constantes 0 et 1. Il est possible d'énoncer les axiomes de corps dans un langage du premier ordre sur cette signature.

Une structure pour cette signature comporte un ensemble d'éléments A avec deux fonction d'arité 2, une fonction d'arité 1, et deux éléments distinctifs ; mais il n'y a pas de nécessité à ce qu'il satisfasse n'importe des axiomes des corps commutatifs. Les nombres rationnels Q, les nombres réels R et les nombres complexes C, comme n'importe quels autres corps commutatifs, peuvent être vu comme une σ-structures de manière évidente:

\mathcal Q = (Q, \sigma_f, I_{\mathcal Q})
\mathcal R = (R, \sigma_f, I_{\mathcal R})
\mathcal C = (C, \sigma_f, I_{\mathcal C})

I_{\mathcal Q}(+)\colon Q\times Q\to Q est l'addition des nombres rationnels,
I_{\mathcal Q}(\times)\colon Q\times Q\to Q est la multiplication des nombres rationnels,
I_{\mathcal Q}(-)\colon Q\to Q est la fonction qui prend chaque nombre rationnel x et l'envoie sur -x,
I_{\mathcal Q}(0)\in Q est le nombre 0,
I_{\mathcal Q}(1)\in Q est le nombre 1;

et I_{\mathcal R} et I_{\mathcal C} sont définis de manière similaire.

Mais l'anneau Z des nombres entiers, qui n'est pas un corps commutatif est aussi une σf-structure de la même manière. La définition de σf-structure ne nécessite pas que n'importe quel axiome des corps commutatifs soit valide dans une σf-structure.

Une signature pour les corps ordonnés utilise un symbole de relation d'arité 2 tel que < or ≤ (des structures ayant de telles signatures ne sont pas des algèbres au sens de l'algèbre universelle[réf. souhaitée]).

Le langage de la théorie des ensembles comporte, en plus de l'égalité, un seul symbole, qui est un symbole de relation d'arité 2 noté ∈, pour l'appartenance. Une structure pour cette signature est donc un ensemble (les éléments) muni d'une relation d'arité 2 sur ces éléments, qui est l'interprétation du symbole ∈.

Note sur l'utilisation du mot modèle

Le terme modèle, en théorie des modèles, est synonyme de « structure », mais tend à être utilisé dans différents contextes. Typiquement, on utilise le terme « modèle » quand on a une théorie à l'esprit, et que l'on considère seulement, parmi les \mathcal L-structures, celles qui sont des modèles de cette théorie, c'est-à-dire qui satisfont toutes les formules axiomes de la théorie.

On tend par contre à utiliser le mot « structure » quand ses propriétés sont moins connues ou moins spécifiées.

Voir aussi



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Structure (logique mathématique) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Structure (logique mathematique) — Structure (logique mathématique) Dans la discipline mathématique de théorie des modèles, une structure pour un langage formel (référée comme structure , et communément écrite avec une capitale gothique) est une paire ordonnée dont le premier… …   Wikipédia en Français

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

  • Logique Mathématique — La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et Hilbert de donner une …   Wikipédia en Français

  • Logique mathematique — Logique mathématique La logique mathématique est née à la fin du XIXe siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et… …   Wikipédia en Français

  • Logique mathématique — La logique mathématique, ou logique formelle, est une discipline des mathématiques introduite à la fin du XIXe siècle et qui s est donnée comme objet l étude des mathématiques en tant que langage. Les objets fondamentaux de la logique… …   Wikipédia en Français

  • Proposition (logique mathématique) — Calcul des propositions Pour les articles homonymes, voir Déduction. Le calcul des propositions ou calcul propositionnel est une théorie logique qui définit les lois formelles du raisonnement. C est la version moderne de la logique stoïcienne. C… …   Wikipédia en Français

  • Structure (mathématiques) — Pour les articles homonymes, voir Structure.  Ne doit pas être confondu avec Structure (logique mathématique). En mathématiques, une structure désigne toute théorie « plus forte » que la théorie des ensembles, c est à dire une… …   Wikipédia en Français

  • LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… …   Encyclopédie Universelle

  • mathématique — [ matematik ] adj. et n. f. • 1265; lat. mathematicus, gr. mathêmatikos « scientifique », de mathêma « science » I ♦ Adj. 1 ♦ Relatif aux mathématiques, à la mathématique (cf. ci dessous, II); qui utilise les mathématiques, s exprime par elles.… …   Encyclopédie Universelle

  • Structure (mathematiques) — Structure (mathématiques) Pour les articles homonymes, voir Structure. En mathématiques, une structure désigne une théorie « plus forte » que la théorie des ensembles, c est à dire une théorie qui en contient tous les axiomes, signes et …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.