Cet articlene cite pas suffisamment ses sources().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant lesréférences utiles à savérifiabilité et en les liant à la section « Notes et références ».
En pratique :Quelles sources sont attendues ?Comment ajouter mes sources ?Legras de tableau noir[1] oudu tableau noir[2],[3], ou encorelettres ajourées[4] oulettres double barre oublackboard gras, est un style defonte 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 demathématiques et dephysique. Les symboles décrivent généralement desensembles de nombres.
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.
EnUnicode, quelques caractères Blackboard gras (C, H, N, P, Q, R et Z) sont disponibles dans leBMP (bloc2100–214F). Le symbole C, par exemple, est appelé « DOUBLE-STRUCK CAPITAL C » (U+2102). Les autres caractères apparaissent en dehors du BMP, deU+1D538
àU+1D550
(lettres majuscules, en excluant ceux déjà présents dans le BMP), deU+1D552
àU+1D56B
(lettres minuscules) et deU+1D7D8
àU+1D7E1
(chiffres). Étant en dehors du BMP, ils sont rarement disponibles.
Dans certains textes, ces symboles sont simplement mis engras. Le Blackboard gras trouve son origine dans les tentatives d'écrire des lettres en gras sur destableaux noirs (blackboards en anglais) dans le but de les distinguer des autres symboles.
Une rumeur affirme queNicolas Bourbaki, un groupe de mathématiciens français, a introduit ces symboles, mais plusieurs raisons vont à l'encontre de cette idée :
Le tableau suivant montre les symboles les plus fréquemment utilisés.
La première colonne montre la lettre telle que rendue enLaTeX. La deuxième contient le code Unicode. La troisième montre le symbole même, qui s'affiche correctement si lenavigateur web supporte Unicode et qu'il a accès à une bibliothèque de caractères appropriée (si ce n'est pas le cas, voirAide:Unicode). La quatrième donne l'usage le plus fréquent en mathématiques.
LaTeX | Unicode | Symbole | Usage en mathématiques | |
---|---|---|---|---|
Latin | ||||
U+1D538 | 𝔸 | Représente l'espace affine ou l'anneau des adèles. Parfois, peut représenter unnombre algébrique ou laclôture algébrique de ℚ souvent notée. | ||
U+1D552 | 𝕒 | |||
U+1D539 | 𝔹 | Représente uneboule, parfois unanneau de Boole. | ||
U+1D553 | 𝕓 | |||
U+2102 | ℂ | Représente l'ensemble desnombres complexes. | ||
U+1D554 | 𝕔 | |||
U+1D53B | 𝔻 | Représente le disque unité dans unplan complexe, l'ensemble desnombres 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'unevariable aléatoire. | ||
U+1D556 | 𝕖 | |||
U+2147 | ⅇ | Parfois utilisé pour représenter la constante mathématiquee. | ||
U+1D53D | 𝔽 | Représente uncorps commutatif. Souvent utilisé pour un corps fini, accompagné d'un indice pour l'ordre. Peut aussi représenter lasurface de Hirzebruch. | ||
U+1D557 | 𝕗 | |||
U+1D53E | 𝔾 | Représente unegrassmannienne. | ||
U+1D558 | 𝕘 | |||
U+210D | ℍ | Représente l'ensemble desquaternions (aussi appelés « hypernombres ») en référence à leur inventeurHamilton, la partie supérieure duplan 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 lafonction indicatrice. Également, à l'occasion, l'ensemble desnombres imaginaires (c'est-à-dire tous les multiples dei), qui est plus souvent indiqué par iℝ. | ||
U+1D55A | 𝕚 | |||
U+2148 | ⅈ | Parfois pour l'unité imaginaire | ||
U+1D541 | 𝕁 | Représente parfois lesnombres irrationnels (ℚ ôté de ℝ : ℝ\ℚ). | ||
U+1D55B | 𝕛 | |||
U+2149 | ⅉ | |||
U+1D542 | 𝕂 | Représente souvent uncorps quelconque noté ainsi plutôt queℂ, celui-ci étant déjà pris par lecorps complexe. | ||
U+1D55C | 𝕜 | |||
U+1D543 | 𝕃 | Représente le motif de Lefschetz (voirMotif (géométrie algébrique)). | ||
U+1D55D | 𝕝 | |||
U+1D544 | 𝕄 | Parfois utilisé pour legroupe Monstre. L'ensemble de toutes les matricesm parn est parfois noté 𝕄(m,n). | ||
U+1D55E | 𝕞 | |||
U+2115 | ℕ | Représente lesentiers naturels. | ||
U+1D55F | 𝕟 | |||
U+1D546 | 𝕆 | Représente lesoctonions. | ||
U+1D560 | 𝕠 | |||
U+2119 | ℙ | Représente unespace projectif, laprobabilité d'un évènement, l'ensemble desnombres premiers ou l'ensemble des parties d'un ensemble. | ||
U+1D561 | 𝕡 | |||
U+211A | ℚ | Représente l'ensemble desnombres rationnels. Le Q rappelle lequotient. | ||
U+1D562 | 𝕢 | |||
U+211D | ℝ | Représente l'ensemble desnombres réels. | ||
U+1D563 | 𝕣 | |||
U+1D54A | 𝕊 | Représente lessédénions ou unesphère. | ||
U+1D564 | 𝕤 | |||
U+1D54B | 𝕋 | Représente untore ou legroupe circulaire. | ||
U+1D565 | 𝕥 | |||
U+1D54C | 𝕌 | Représente le groupe desracinesn-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 unespace vectoriel ou unevarié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 unespace métrique arbitraire. | ||
U+1D569 | 𝕩 | |||
U+1D550 | 𝕐 | |||
U+1D56A | 𝕪 | |||
U+2124 | ℤ | Représente l'ensemble desentiers relatifs. Le Z provient deZahlen, mot allemand pour entiers. | ||
U+1D56B | 𝕫 | |||
Grec | ||||
U+213E | ℾ | |||
U+213D | ℽ | |||
U+213F | ℿ | |||
U+213C | ℼ | |||
U+2140 | ⅀ | |||
Chiffres | ||||
U+1D7D8 | 𝟘 | |||
U+1D7D9 | 𝟙 | Régulièrement, enthéorie des ensembles, représente l'élémenttop duforcing d'unensemble partiellement ordonné. Parfois utilisé pour la matrice identité d'unanneau matriciel ou pour désigner lafonction caractéristique. | ||
U+1D7DA | 𝟚 | Représente souvent, dans lathéorie des catégories, la catégorie intervallaire. | ||
U+1D7DB | 𝟛 | |||
U+1D7DC | 𝟜 | |||
U+1D7DD | 𝟝 | |||
U+1D7DE | 𝟞 | |||
U+1D7DF | 𝟟 | |||
U+1D7E0 | 𝟠 | |||
U+1D7E1 | 𝟡 |