Imaginons par exemple le même univers mais où la virgule est une fonction de l'univers dans lui même, si et seulement si elle n'est pas une virgule de demarcation. Et imaginons que cette fonction qui prend en entree un élément de F(a,b,c) retire à cet element al premiere accolade ouvrante et la seconde virgule de tout type si elle existe , si et seulement si le résultat a un sens et renvoi une virgule sinon. on peut imaginer plein d'autres fonctions de ce type... Est-ce que certaines sont "valides", et dans ce cas, est-ce qu'à votre avis ça peut servir à quelque chose, comme par exemple avoir des application en maths "classique".
Cette écriture n'est pas interdite, mais la chose est que $,$, $\{$ et $\}$ ne sont pas des objets mathématiques; en fait ce ne sont pas des symboles du langage de la théorie des ensembles.
Maxtimax écrivait:
Cette écriture n'est pas interdite, mais la chose est que $,$, $\{$ et $\}$ ne sont pas des objets mathématiques; en fait ce ne sont pas des symboles du langage de la théorie des ensembles.
Il faut mettre \{ pour obtenir une accolade en LaTeX.
Réponses
Je me demande s'il y a un moyen d’exploiter ce genre de chose... même si cette écriture precise doit-être interdite (non?)
Je dirai un peu plus loin le problème de maths qui m'y a fait penser, mais d'abord j'essaie de voir si c'est une piste possible...
Soit F(a,b,c) l'ensemble des ensembles qu'ont peut écrire avec un nombre fini d'accolade de virgule, d'ensemble vide , a , b et c.
On pose
a= {
b= ,
c= }
Peut-il y avoir une écriture ambiguë?
note : L'utilisation de Latex ici, risque de s’avérer compliquée
Alain :-D
Par ailleurs, même s'il n'y pas d’ambiguïté, est-ce que ces écritures sont valides?
Alain
Merci AD pour le lien!
edit : Peut venir de {a,b,c} ou de {{b,b}}.
Cette écriture n'est pas interdite, mais la chose est que $,$, $\{$ et $\}$ ne sont pas des objets mathématiques; en fait ce ne sont pas des symboles du langage de la théorie des ensembles.
Il faut mettre \{ pour obtenir une accolade en LaTeX.
Cordialement.