- Crochet (typographie)
-
Pour les articles homonymes, voir crochet.
Un crochet est un signe de ponctuation. Il peut être ouvrant (« [ ») ou fermant (« ] »).
Sommaire
Typographie
En typographie, des crochets indiquent que l'on a remplacé (ou ajouté) un mot dans une citation pour qu'elle reste compréhensible hors de son contexte : « Il [François] tourna la page du journal. » Des points de suspension entre crochets […] signalent que l'on a raccourci une citation[1],[2].
En typographie française, le crochet ouvrant sert également en poésie où il signale la continuité d'un vers trop long pour tenir sur une seule ligne, comme ci-dessous.
De toute sa longueur Sur de trop courtes lignes Le vers s'étalait. Tant continuait [ l'horreur Qu'on usa du crochet pour signe.
Les crochets peuvent aussi servir de parenthèses imbriquées dans d'autres parenthèses, mais ce n'est pas obligatoire.
Un crochet ouvrant est précédé d'une espace, et un crochet fermant doit être suivi d'une espace.
Mathématiques
En mathématiques, les crochets servent dans toutes les situations, par exemple à indiquer un intervalle. Un crochet tourné vers l'intérieur indique un intervalle fermé (par exemple [1;2]), et un crochet tourné vers l'extérieur indique un intervalle ouvert (par exemple ).
Les crochets servent aussi à désigner couramment des crochets de Lie. Ils sont parfois introduits sans faire une mention explicite à la structure d'algèbres de Lie.
Les crochets désignent aussi dans la théorie des groupes le commutateur de deux éléments. Si G est un groupe, [G,G] désigne parfois le groupe dérivé de G, sous-groupe engendré par les commutateurs. C'est le plus petit sous-groupe normal dont le quotient est commutatif. D'autres notations sont cependant employées pour le désigner.
Leur emploi a été introduit en 1629 par Albert Girard.
Informatique
Dans certains langages de programmation, comme le C ou le PHP, les crochets indiquent un élément d'un tableau. Par exemple, en C, tab[1] indique que l’on veut accéder à l’élément 1 du tableau tab (la numérotation commence à 0, il s’agit donc du deuxième élément).
Notes et références
- Code de rédaction interinstitutionnel — 10.1. Ponctuation », Office des publications, 2010. Consulté le 21 janvier 2010 Personnel de rédaction, «
- La citation : comment citer ? », InfoSphère, 2010. Consulté le 21 janvier 2010 Personnel de rédaction, «
Wikimedia Foundation. 2010.