Que vaut-il préférer pour l'ensemble vide ?

Tout ce qui concerne le langage TeX/LaTeX et ses variantes. Ce langage est utilisable sur le forum via les balises tex.
[participation réservée aux utilisateurs inscrits]
Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
François D.
Utilisateur chevronné
Utilisateur chevronné
Messages : 1367
Inscription : dimanche 30 juillet 2006, 10:04
Localisation : Alsace

Que vaut-il préférer pour l'ensemble vide ?

Message non lu par François D. »

Bonjour à tous

Dans une réunion hier, je me suis fait amicalement reprendre car, dans un document LaTeX que j'avais préparé, j'avais utilisé la commande \varnothing au lieu de la commande \emptyset pour générer le symbole de l'ensemble vide.

Pour mémoire : \varnothing produit $\varnothing$ tandis que \emptyset produit $\emptyset$ .

Selon vous, que faut-il préférer, mathématiquement parlant ?
Tryphon
Modérateur honoraire
Modérateur honoraire
Messages : 1839
Inscription : mercredi 01 juin 2005, 18:39
Localisation : Un peu plus à l'Ouest

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par Tryphon »

Personnellement, je préfère \varnothing, qui ressemble plus à ce qu'on voyait dans le Fraysse-Arnaudiès, avec lequel j'ai appris les maths. J'ai quand même un peu l'impression qu'outre de l'enculage de mouche, c'est une question de goût, et je serais curieux de voir un argument recevable en faveur de l'un ou de l'autre (notamment celui de ton collègue).
Pas de questions en MP
La calculatrice, c'est comme Linux, c'est de la merde !
pg
Modérateur spécialisé
Modérateur spécialisé
Messages : 2613
Inscription : vendredi 15 juin 2007, 00:31

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par pg »

Si j'en crois cette page sur Earliest Uses of Symbols of Set Theory and Logic, c'est dans Bourbaki que le symbole est intervenu pour la première fois. C'est donc là qu'il faudrait regarder pour voir comment était fait le "vrai" symbole.

Si on regarde le standard unicode, ça semble plutôt être \varnothing qui est utilisé aujourd'hui. C'est aussi lui qu'on retrouve dans le livre "lexiques des règles typographique en usage à l'imprimerie nationale" (ce qui ne veut pas forcément dire grand chose).

Maintenant, d'un point de vue esthétique, \varnothing est quand même plus élégant que \emptyset, qui n'est qu'un vulgaire zéro barré. Et en plus, ça évite toute confusion possible avec un O barré dans certains langages.
rebouxo
Modérateur honoraire
Modérateur honoraire
Messages : 6962
Inscription : mercredi 15 février 2006, 13:18
Localisation : le havre
Contact :

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par rebouxo »

+1 avec Tryphon : je dirais même plus c'est l'enculage de coléoptère !
+1 avec Tryphon et pg sur le côté esthétique. Rappelons qu'une des motivations de Knuth était d'avoir un livre agréable. J'ai remis la main sur des brochures des Irem des années 1980. Une horreur sans nom. Brrrr

Olivier
Clembou

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par Clembou »

Moi j'utilise plus \emptyset (la commande veut bien dire ensemble vide) pour représenter l'ensemble vide. Mais quand on utilise la package mathpazo (pour le changement de police d'écriture) l'emptyset se transforme en \varnothing. Donc aucune différence !
nirosis
Modérateur honoraire
Modérateur honoraire
Messages : 1803
Inscription : samedi 28 mai 2005, 14:48
Localisation : Orsay, France

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par nirosis »

je préfère \varnothing d'un point de vue esthétique, mais je comprendrais le sens des 2 symboles dans la lecture d'un document alors...
Après c'est sûr qu'on s'en moque un peu et que reprendre quelqu'un pour ça est du foutage de gueule.
Faut croire qu'ils n'avaient rien d'autre à dire pendant la réunion? :wink:
François D.
Utilisateur chevronné
Utilisateur chevronné
Messages : 1367
Inscription : dimanche 30 juillet 2006, 10:04
Localisation : Alsace

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par François D. »

La personne qui a fait cette remarque a été honnête et reconnu dans la foulée être un peu maniaque, mais le prof de lycée que je suis n'a pas trop osé contredire un enseignant du supérieur :wink: ...

Cela dit, j'ai aussi le sentiment que je maîtrise peut-être un peu mieux LaTeX que cette personne, qui ignorait probablement la commande \varnothing, dont le nom, forcément différent d'\emptyset, en indique tout de même bien le sens ...

Bon allez, tout cela est finalement assez secondaire :) .
EricK
Utilisateur chevronné
Utilisateur chevronné
Messages : 1481
Inscription : jeudi 02 novembre 2006, 22:38
Contact :

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par EricK »

Perso il y a longtemps que j'ai arrêté d'enculer les mouches à coup de \emptyset, je trouve le \varnothing bien mieux pour ça et je n'utilise donc plus que celui-là.
oleanet
Utilisateur éprouvé
Utilisateur éprouvé
Messages : 257
Inscription : dimanche 24 décembre 2006, 15:17

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par oleanet »

EricK a écrit :Perso il y a longtemps que j'ai arrêté d'enculer les mouches à coup de \emptyset, je trouve le \varnothing bien mieux pour ça et je n'utilise donc plus que celui-là.
Oui et bien moi, en tant que mouche, je trouve cela dommage :cry:
nirosis
Modérateur honoraire
Modérateur honoraire
Messages : 1803
Inscription : samedi 28 mai 2005, 14:48
Localisation : Orsay, France

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par nirosis »

Pitié cyrille, ne passe pas par ici, ça pourrait déraper. :arrow:
pg
Modérateur spécialisé
Modérateur spécialisé
Messages : 2613
Inscription : vendredi 15 juin 2007, 00:31

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par pg »

Je viens de vérifier dans les Bourbaki. Dans celui des années 1960, c'est Ø (lettre O majuscule barrée) qui est utilisé, probablement parce qu'aucun autre caractère n'était disponible pour ce nouveau symbole. Puis dans celui des années 1970, c'est le symbole \varnothing qui est utilisé.
MB
Administrateur
Administrateur
Messages : 8058
Inscription : samedi 28 mai 2005, 14:23
Statut actuel : Enseignant
Contact :

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par MB »

Plusieurs notations pour la même chose. Ce sont des choses qui arrivent.

$$ \{\} = \varnothing = \emptyset $$
(\emptyset est un peu moche non ?)

nirosis a écrit :Pitié cyrille, ne passe pas par ici, ça pourrait déraper. :arrow:
Ca ne risque pas, il est allergique à LaTeX je crois.
MB. (rejoignez pCloud et bénéficiez de 10Go de stockage en ligne gratuits)
Pas d'aide en message privé. Merci de consulter ce sujet avant de poster votre premier message.
rebouxo
Modérateur honoraire
Modérateur honoraire
Messages : 6962
Inscription : mercredi 15 février 2006, 13:18
Localisation : le havre
Contact :

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par rebouxo »

MB a écrit :
nirosis a écrit :Pitié cyrille, ne passe pas par ici, ça pourrait déraper. :arrow:
Ca ne risque pas, il est allergique à LaTeX je crois.
Non, il est allergique au latex !

Si avec ça, cela ne dérape pas,...

Olivier :arrow:
guiguiche
Modérateur général
Modérateur général
Messages : 8191
Inscription : vendredi 06 janvier 2006, 15:32
Statut actuel : Enseignant
Localisation : Le Mans
Contact :

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par guiguiche »

N'ayez crainte, j'avais invité Cyrille à passer voir :mrgreen:
Pas d'aide par MP : les questions sont publiques, les réponses aussi.
Tu as apprécié l'aide qui t'a été fournie ? Alors n'hésite pas à rendre la pareille à quelqu'un d'autre.
Un peu d'autopromotion.
ajre

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par ajre »

pg a écrit :Si j'en crois cette page sur Earliest Uses of Symbols of Set Theory and Logic, c'est dans Bourbaki que le symbole est intervenu pour la première fois. C'est donc là qu'il faudrait regarder pour voir comment était fait le "vrai" symbole.
Ayant une copie de la troisième édition je suis aller regarder (désolé pour la qualité de l'image) personellement je le trouve plus joli que les deux proposé ici. il ressemble à varnothing en ayant la taille de emptyset. Après c'est peut être lié au fait que j'ai appris les mathématiques avec les bourbakis.

Image
marco56
Utilisateur chevronné
Utilisateur chevronné
Messages : 1136
Inscription : jeudi 25 novembre 2010, 22:10

Re: Que vaut-il préférer pour l'ensemble vide ?

Message non lu par marco56 »

Joli déterrage !
Répondre
  • Sujets similaires
    Réponses
    Vues
    Dernier message