Re: [Unicode] Bloc 2100 "Symboles de type lettre"

[Jacques Melot <jacques.melot AT isholf.is>]

 Le 7/09/00, à 20:16 +0200, nous recevions de Sylvain MOISAND :

> Voici ma maigre contribution mathématique...
>
> Olivier RANDIER a écrit :
> >
> > 2114 Symbole lb barré
> > = livres
> > Euh... c'est de livres de poids qu'il s'agit ?
>
> il me semble aussi.
>
> > 2119 P majuscule ajouré
> > De mémoire, c'est l'ensemble des positifs, non ?
>
> De mémoire, plutôt les espaces projectifs...
>
> > 210D H majuscule ajouré
> > Par contre, celui-là, je sais pas. Des matheux dans la salle ?
>
> Pour le H, ce sont les espaces hilbertiens
>
> A noté que le Q ajouré est aussi utilisé pour noté les espaces p-adiques
> et que certaines de ces lettres ajourées peuvent donc avoir plusieurs
> sens.



   Oui, c'est assez curieux. Ces caractères ajourés, en somme, ne 
doivent leur existence qu'à une défaillance technique : 
l'impossibilité de dessiner rapidement des caractères gras 
convaincants sur le tableau des écoles, peut-être aussi y a-t-il eu 
une influence d'un truc employé sur les machines à écrire électriques 
consistant à produire des caractères ajourés de pacotille en 
imprimant deux fois la même lettre avec un léger décalage vers la 
droite (utilisé dans les polycopiés de fac).
   Ils ne sont pas vraiment nécessaires en mathématiques où le gras 
semble pouvoir toujours les remplacer. Un simple coup d'oeil dans 
Bourbaki ou dans Yosida (Funct. an.) montre que ces auteurs s'en 
passent, le premier en général, le second, plus précisément, pour ses 
espaces hilbertiens, puisqu'on en parle.

   Jacques Melot

P.-S.  Au fait, Q ajouré est aussi et avant tout utilisé pour le 
corps des rationnels, tout simplement (ça parlera peut-être mieux au 
plus grand nombre que le vocabulaire de l'analyse diophantienne...)



> > 2120 Symbole anglais marque de service
> > Je le connaissais pas celui-là. Enfin, j'imagine que son absence en
> > français doit beaucoup à la connotation qu'il y aurait. Pour ceux qui n'ont
> > pas l'image, c'est les lettres SM en supérieur (si, si) ;-)))
>
> C'est bien, ça me permettra d'avoir un caractère pour signé de mes
> initiales !
>
> Sylvain MOISAND (Unicode 2120 !)