Signature (algèbre)

Page d'aide sur l'homonymie Pour les articles homonymes, voir Signature (homonymie).

En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, fonction et de relation, chacun ayant une arité, qui est un entier naturel indiquant le nombre d'arguments (un symbole de constante peut-être vu comme un symbole de fonction d'arité 0). La signature fournit les éléments primitifs pour la construction d'un langage du premier ordre (égalitaire en général) sur cette signature. En calcul des prédicats à plusieurs types d'objet et en théorie des types, chaque symbole possède un type (l'arité n'est pas suffisante).

En calcul des prédicats, il est courant d'appeler langage, la signature[1] (un langage du premier ordre au sens large, c'est-à-dire l'ensemble des formules du premier ordre, est en effet caractérisé par sa signature).

Par exemple la signature (+,-,0), symboles de fonctions d'arité respectivement 2, 2 et 0, permet de définir le langage de la théorie des groupes (au premier ordre).

Voir aussi

Références

  1. Cori-Lascar, t I, ch. 3, pp 139-140 de l'édition 1993, définit d'abord en section 1.1 un langage du premier ordre comme comportant une partie commune : variables d'individus, symboles logiques, etc. et une partie variable qui définit le langage et qui est ce que le présent article appelle signature ; dès la section 1.2 le langage est identifié avec cette partie variable (la signature) qui le définit. Toujours dans le même ouvrage, il est précisé que, sauf mention contraire, le langage est supposé par défaut égalitaire, c'est-à-dire que l'égalité fait par défaut partie du langage (au sens large) et a un statut particulier (elle sera toujours interprétée par l'identité dans les modèles). Le signe d'égalité n'apparait donc pas dans la signature. Ces conventions sont courantes en théorie des modèles, voir par exemple David Marker, Model theory : an introduction, Springer 2002.

Bibiographie

  • (en) Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal Algebra. Springer-Verlag. ISBN 3540905782. Voir en particulier pp. 22-24.
  • René Cori et Daniel Lascar, Logique mathématique I. Calcul propositionnel, algèbres de Boole, calcul des prédicats  [détail des éditions]

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Signature (algèbre) de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Signature (algebre) — Signature (algèbre) Pour les articles homonymes, voir Signature. En mathématiques, une signature pour une structure algébrique A sur un ensemble sous jacent S est une liste d opérations (avec leurs arités) qui caractérise A. Les signatures sont… …   Wikipédia en Français

  • Signature algébrique — Signature (algèbre) Pour les articles homonymes, voir Signature. En mathématiques, une signature pour une structure algébrique A sur un ensemble sous jacent S est une liste d opérations (avec leurs arités) qui caractérise A. Les signatures sont… …   Wikipédia en Français

  • Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… …   Wikipédia en Français

  • Algebre de Clifford — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… …   Wikipédia en Français

  • Algèbre de Clifford du plan euclidien) — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… …   Wikipédia en Français

  • Algebre de Lie — Algèbre de Lie En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel (parfois même une algèbre) qui est munie d un crochet de Lie. Sommaire 1 Définitions, exemples et premières propriétés 1 …   Wikipédia en Français

  • Signature (mathematiques) — Signature (mathématiques) Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Pour les articles homonymes, voir Signature. Signature en mathématiques peut faire référence à : signature, la liste de ses …   Wikipédia en Français

  • Algèbre universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces …   Wikipédia en Français

  • Algèbre de Clifford — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être… …   Wikipédia en Français

  • Algèbre géométrique (structure) — Pour les articles homonymes, voir « Algèbre (homonymie) » et notamment la branche de mathématiques appelée algèbre géométrique. L algèbre géométrique est une algèbre multilinéaire avec une interprétation géométrique mise au point par… …   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.