Il grassetto da lavagna (noto anche con la forma inglese blackboard bold) è una famiglia di tipi di carattere usata comunemente per scrivere le lettere in stampatello maiuscolo in alcune notazioni matematiche (tipicamente per indicare alcuni insiemi numerici particolari). La caratteristica delle lettere in grassetto da lavagna è quello di avere alcune aste raddoppiate, tipicamente quelle verticali o oblique.
Storia Il grassetto da lavagna nasce dalla tecnica usata per evidenziare in grassetto le lettere quando si scrive su una lavagna con il gessetto, raddoppiando le aste delle lettere o scrivendo con il gesso di traverso piuttosto che con l'estremità. Nella tipografia a macchina da scrivere l'effetto di grassetto era invece tipicamente ottenuto ribattendo due volte ogni lettera con un leggero offset tra le due battiture. Questo metodo per ottenere manualmente un effetto tipografico è stato poi riassorbito dalla stessa tipografia come nuovo stile dei caratteri, probabilmente a partire dalla pubblicazione del testo di analisi complessa di Gunning e Rossi (1965). L'origine dell'attribuzione è talvolta attribuita a Nicolas Bourbaki ma, mentre i componenti del collettivo usavano o sostenevano la notazione nelle proprie pubblicazioni personali, i libri a nome di Bourbaki usavano solitamente il normale grassetto.
Alcuni matematici non riconoscono distinzione fra il grassetto da lavagna e il comune grassetto, considerando il primo solo un metodo per raffigurare manualmente il grassetto alla lavagna, e impiegano solo il secondo nella produzione scritta. In merito, la 14ª edizione (1993) del Chicago Manual of Style consiglia di "confinare l'uso del grassetto da lavagna all'aula""blackboard bold should be confined to the classroom" (13.14), mentre l'edizione successiva (2003) indica che "i simboli open-faced sono riservati per i sistemi numerici familiari"."open-faced (blackboard) symbols are reserved for familiar systems of numbers" (14.12)
Codifica Nel software tipografico TeX, standard de facto per la composizione tipografica di testi scientifici, il grassetto da lavagna viene tipicamente ottenuto impiegando il comando \mathbb{} fornito dal package amsfonts, che include i font della American Mathematical Society. Ad esempio il codice \mathbb{N} produce .
In Unicode, nel Basic Multilingual Plane (BMP) sono codificate nell'area Letterlike Symbols (2100–214F) le lettere maiuscole in grassetto da lavagna di impiego più comune (C, H, N, P, Q, R e Z), indicate come DOUBLE-STRUCK CAPITAL C ecc. I restanti caratteri sono codificati in grassetto da lavagna fuori dal BMP: le maiuscole (eccetto quelle già presenti nel BMP) tra U+1D538 e U+1D550, le minuscole tra U+1D552 e U+1D56B e le cifre numeriche tra U+1D7D8 e U+1D7E1.
La seguente tabella riporta i caratteri Unicode in grassetto da lavagna, confrontati con il tipico rendering in LaTeX e indica l'interpretazione matematica, che in questo stile è quasi univoca e universale.
In aggiunta, la lettera greca mi in grassetto da lavagna (non presente nella codifica Unicode) viene usata a volte per indicare il gruppo delle radici dell'unità.
Unicode (esadecimale)CarattereSignificato matematicoU+1D538𝔸Indica uno spazio affine o l'anello degli adeli. Talvolta indica i numeri algebrici o gli interi algebrici.U+1D552𝕒U+1D539𝔹A volte rappresenta una palla (ball in inglese), un dominio booleano o il gruppo di Brauer di un campo.U+1D553𝕓U+2102ℂRappresenta l'insieme dei numeri complessi.U+1D554𝕔U+1D53B𝔻Rappresenta il disco aperto unitario nel piano complesso, o le frazioni decimali.U+1D555𝕕U+2145ⅅU+2146ⅆPuò indicare il simbolo di differenziale.U+1D53C𝔼Indica il valore atteso (expected value) di una variabile aleatoria, uno spazio euclideo, o un campo in una catena di campi.U+1D556𝕖U+2147ⅇUsato talvolta per indicare la costante e.U+1D53D𝔽Rappresenta un campo (in inglese field). Può anche rappresentare una superficie di Hirzebruch o un gruppo libero (con un indice che indica il numero di generatori).U+1D557𝕗U+1D53E𝔾Può indicare un gruppo o una grassmanniana.U+1D558𝕘U+210DℍIndica il corpo dei quaternioni (la H sta per Hamilton), o il semipiano superiore del piano complesso, lo spazio iperbolico (hyperbolic space), una iperomologia (hyperhomology) o l'insieme delle funzioni olomorfeU+1D559𝕙U+1D540𝕀Può indicare la funzione identità di una struttura algebrica, o l'insieme dei numeri immaginari (i multipli dell'unità immaginaria).U+1D55A𝕚U+2148ⅈUsato occasionalmente per indicare l'unità immaginaria.U+1D541𝕁Usato a volte per indicare l'insieme dei numeri irrazionali.U+1D541𝕛U+2149ⅉU+1D542𝕂Indica tipicamente un campo (in tedesco Körper, letteralmente "corpo"), in particolare un campo scalare. Può anche indicare uno spazio compatto.U+1D55C𝕜U+1D543𝕃Usato talvolta per indicare la classe di complessità logaritmica deterministca.U+1D55D𝕝U+1D544𝕄Rappresenta il gruppo mostro, o l'insieme di tutte le matrici di una certa dimensione (es. 𝕄(m, n)).U+1D55E𝕞U+2115ℕRappresenta i numeri naturali.U+1D55F𝕟U+1D546𝕆Rappresenta gli ottetti.U+1D560𝕠U+2119ℙRappresenta lo spazio proiettivo, la probabilità di un evento, l'insieme dei numeri primi, un insieme potenza, i numeri reali positivi, i numeri irrazionali, il forcing di un ordine parziale (poset, che sta per partially ordered set).U+1D561𝕡U+211AℚIndica l'insieme dei numeri razionali (la Q sta per quoziente).U+1D562𝕢U+211DℝIndica i numeri reali.U+1D563𝕣U+1D54A𝕊Indica i sedenioni, o la sfera.U+1D564𝕤U+1D54B𝕋Indica un toro, un gruppo circolare, un'algebra di Hecke (Hecke indicava il suo operatore con Tn o 𝕋𝕟), un semianello in geometria tropicale o uno spazio di twistor.U+1D565𝕥U+1D54C𝕌U+1D566𝕦U+1D54D𝕍Indica tipicamente uno spazio vettoriale.U+1D567𝕧U+1D54E𝕎Indica i numeri interi non negativi (non-negative whole numbers), indicati anche con ℕ0.U+1D568𝕨U+1D54F𝕏Usato a volte per indicare un arbitrario spazio metrico.U+1D569𝕩U+1D550𝕐U+1D56A𝕪U+2124ℤRappresenta l'insieme dei numeri interi (dal tedesco Zahlen, che significa "numeri").U+1D56B𝕫U+213EℾU+213DℽU+213FℿU+213CℼU+2140⅀U+1D7D8𝟘U+1D7D9𝟙Usato per denotare la funzione indicatrice, la matrice identità o il massimale di un insieme con ordinamento parziale.U+1D7DA𝟚U+1D7DB𝟛U+1D7DC𝟜U+1D7DD𝟝U+1D7DE𝟞U+1D7DF𝟟U+1D7E0𝟠U+1D7E1𝟡
Note
Altri progetti
Collegamenti esterni
Categoria:Notazioni matematiche Categoria:Tipografia