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

Tout ce qui concerne le langage LaTeX et ses variantes. Ce langage est supporté sur le forum via les balises tex.

Modérateur : gdm_tex

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 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
Utilisateur chevronné
Utilisateur chevronné
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 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
Modérateur
Messages : 2600
Inscription : vendredi 15 juin 2007, 00:31

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

Message 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 global
Modérateur global
Messages : 6962
Inscription : mercredi 15 février 2006, 13:18
Localisation : le havre

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

Message 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
Utilisateur confirmé
Utilisateur confirmé
Messages : 97
Inscription : lundi 08 janvier 2007, 18:34
Localisation : Seclin, Nord

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

Message 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 !
Clément Boulonne - Professeur freelance de mathématiques
Spécialiste LaTeX et informatique
Site web (Enseignement / CAPES / Licence / Libramaths) : http://cboumaths.wordpress.com

nirosis
Administrateur
Administrateur
Messages : 1803
Inscription : samedi 28 mai 2005, 14:48
Localisation : Orsay, France

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

Message 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 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

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

Message 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 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
Administrateur
Administrateur
Messages : 1803
Inscription : samedi 28 mai 2005, 14:48
Localisation : Orsay, France

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

Message par nirosis »

Pitié cyrille, ne passe pas par ici, ça pourrait déraper. :arrow:

pg
Modérateur
Modérateur
Messages : 2600
Inscription : vendredi 15 juin 2007, 00:31

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

Message 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 : 7138
Inscription : samedi 28 mai 2005, 14:23
Statut actuel : Enseignant

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

Message 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 (Pas d'aide en Message Privé)
Merci d'utiliser MathJax (voir ici) et d'éviter le style SMS pour la lisibilité des messages.

rebouxo
Modérateur global
Modérateur global
Messages : 6962
Inscription : mercredi 15 février 2006, 13:18
Localisation : le havre

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

Message 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 global
Modérateur global
Messages : 8075
Inscription : vendredi 06 janvier 2006, 15:32
Statut actuel : Enseignant
Localisation : Le Mans

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

Message 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
Utilisateur débutant
Utilisateur débutant
Messages : 1
Inscription : jeudi 23 mars 2017, 22:59

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

Message 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 éprouvé
Utilisateur éprouvé
Messages : 864
Inscription : jeudi 25 novembre 2010, 22:10

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

Message par marco56 »

Joli déterrage !