Gras de tableau noir

Un exemple de lettres en gras de tableau noir.

Le gras de tableau noir[1] ou du tableau noir[2],[3], ou encore lettres ajourées[4] ou lettres double barre ou blackboard gras, est un style de fonte de caractères où l’on retrouve certaines lettres avec une barre, oblique ou verticale, en double. Elle est régulièrement utilisée dans les textes de mathématiques et de physique. Les symboles décrivent généralement des ensembles de nombres.

Description

[modifier | modifier le code]

TeX, le logiciel le plus utilisé pour produire des textes mathématiques, ne possède pas cette fonte de caractères, mais l'AMS fournit le jeu de caractères. Par exemple, le R en Blackboard gras s'écrit \mathbb{R} tant en mode texte qu'en mode mathématique.

En Unicode, quelques caractères Blackboard gras (C, H, N, P, Q, R et Z) sont disponibles dans le BMP (bloc 2100–214F). Le symbole C, par exemple, est appelé « DOUBLE-STRUCK CAPITAL C » (U+2102). Les autres caractères apparaissent en dehors du BMP, de U+1D538 à U+1D550 (lettres majuscules, en excluant ceux déjà présents dans le BMP), de U+1D552 à U+1D56B (lettres minuscules) et de U+1D7D8 à U+1D7E1 (chiffres). Étant en dehors du BMP, ils sont rarement disponibles.

Dans certains textes, ces symboles sont simplement mis en gras. Le Blackboard gras trouve son origine dans les tentatives d'écrire des lettres en gras sur des tableaux noirs (blackboards en anglais) dans le but de les distinguer des autres symboles.

Une rumeur affirme que Nicolas Bourbaki, un groupe de mathématiciens français, a introduit ces symboles, mais plusieurs raisons vont à l'encontre de cette idée :

  1. Ces symboles n'apparaissent pas dans les livres publiés par Bourbaki (ce sont des symboles en noirs seulement) avant ou au début de la période où ils apparaissent dans les textes mathématiques. Par exemple, dans les publications de l'université de Princeton, ces lettres étaient barrées (un I barrait le R et le C), tout comme dans l'ouvrage typographié de Gunning et Rossi sur les variables complexes.
  2. Jean-Pierre Serre, membre de Bourbaki, s'est publiquement opposé à son utilisation ailleurs que sur un tableau[5].

Le tableau suivant montre les symboles les plus fréquemment utilisés.

La première colonne montre la lettre telle que rendue en LaTeX. La deuxième contient le code Unicode. La troisième montre le symbole même, qui s'affiche correctement si le navigateur web supporte Unicode et qu'il a accès à une bibliothèque de caractères appropriée (si ce n'est pas le cas, voir Aide:Unicode). La quatrième donne l'usage le plus fréquent en mathématiques.

LaTeX Unicode Symbole Usage en mathématiques
U+1D538 𝔸 Représente l'espace affine ou l'anneau des adèles. Parfois, peut représenter un nombre algébrique ou la clôture algébrique de ℚ souvent notée .
U+1D552 𝕒
U+1D539 𝔹 Représente une boule, parfois un anneau de Boole.
U+1D553 𝕓
U+2102 Représente l'ensemble des nombres complexes.
U+1D554 𝕔
U+1D53B 𝔻 Représente le disque unité dans un plan complexe, l'ensemble des nombres décimaux ou la partie décimale d'un nombre.
U+1D555 𝕕
U+2145
U+2146 Peut représenter le symbole de la différentielle.
U+1D53C 𝔼 Représente l'espérance mathématique d'une variable aléatoire.
U+1D556 𝕖
U+2147 Parfois utilisé pour représenter la constante mathématique e.
U+1D53D 𝔽 Représente un corps commutatif. Souvent utilisé pour un corps fini, accompagné d'un indice pour l'ordre. Peut aussi représenter la surface de Hirzebruch.
U+1D557 𝕗
U+1D53E 𝔾 Représente une grassmannienne.
U+1D558 𝕘
U+210D Représente l'ensemble des quaternions (aussi appelés « hypernombres ») en référence à leur inventeur Hamilton, la partie supérieure du plan complexe ou l'espace hyperbolique.
U+1D559 𝕙
U+1D540 𝕀 Utilisé parfois pour représenter l'intervalle unité fermé ou l'idéal de polynômes qui disparaissent dans un sous-ensemble. À l'occasion, l'application d'une identité sur une structure algébrique ou la fonction indicatrice. Également, à l'occasion, l'ensemble des nombres imaginaires (c'est-à-dire tous les multiples de i), qui est plus souvent indiqué par iℝ.
U+1D55A 𝕚
U+2148 Parfois pour l'unité imaginaire
U+1D541 𝕁 Représente parfois les nombres irrationnels (ℚ ôté de ℝ : ℝ\ℚ).
U+1D55B 𝕛
U+2149
U+1D542 𝕂 Représente souvent un corps quelconque noté ainsi plutôt que , celui-ci étant déjà pris par le corps complexe.
U+1D55C 𝕜
U+1D543 𝕃 Représente le motif de Lefschetz (voir Motif (géométrie algébrique)).
U+1D55D 𝕝
U+1D544 𝕄 Parfois utilisé pour le groupe Monstre. L'ensemble de toutes les matrices m par n est parfois noté 𝕄(m, n).
U+1D55E 𝕞
U+2115 Représente les entiers naturels.
U+1D55F 𝕟
U+1D546 𝕆 Représente les octonions.
U+1D560 𝕠
U+2119 Représente un espace projectif, la probabilité d'un évènement, l'ensemble des nombres premiers ou l'ensemble des parties d'un ensemble.
U+1D561 𝕡
U+211A Représente l'ensemble des nombres rationnels. Le Q rappelle le quotient.
U+1D562 𝕢
U+211D Représente l'ensemble des nombres réels.
U+1D563 𝕣
U+1D54A 𝕊 Représente les sédénions ou une sphère.
U+1D564 𝕤
U+1D54B 𝕋 Représente un tore ou le groupe circulaire.
U+1D565 𝕥
U+1D54C 𝕌 Représente le groupe des racines n-ièmes de l'unité (souvent noté ) ou l'ensemble des nombres de module un (c.-à-d. le cercle unité qui également l'ensemble de toutes les racines de l'unité ; dans ce cas simplement noté ).
U+1D566 𝕦
U+1D54D 𝕍 Représente un espace vectoriel ou une variété affine créée par un ensemble de polynômes ou la variance d'une variable aléatoire.
U+1D567 𝕧
U+1D54E 𝕎 Représente à l'occasion l'ensemble de tous les entiers naturels positifs, que l'on représente aussi par ℕ0.
U+1D568 𝕨
U+1D54F 𝕏 Parfois utilisé pour indiquer un espace métrique arbitraire.
U+1D569 𝕩
U+1D550 𝕐
U+1D56A 𝕪
U+2124 Représente l'ensemble des entiers relatifs. Le Z provient de Zahlen, mot allemand pour entiers.
U+1D56B 𝕫
U+213E
U+213D
U+213F
U+213C
U+2140
U+1D7D8 𝟘
U+1D7D9 𝟙 Régulièrement, en théorie des ensembles, représente l'élément top du forcing d'un ensemble partiellement ordonné. Parfois utilisé pour la matrice identité d'un anneau matriciel ou pour désigner la fonction caractéristique.
U+1D7DA 𝟚 Représente souvent, dans la théorie des catégories, la catégorie intervallaire.
U+1D7DB 𝟛
U+1D7DC 𝟜
U+1D7DD 𝟝
U+1D7DE 𝟞
U+1D7DF 𝟟
U+1D7E0 𝟠
U+1D7E1 𝟡

Notes et références

[modifier | modifier le code]
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Blackboard bold » (voir la liste des auteurs).

Bibliographie

[modifier | modifier le code]

Lien externe

[modifier | modifier le code]