Discuter:Table des symboles mathématiques
Un article de Wikipédia, l'encyclopédie libre.
Quelles sont les définitions des symboles non définies dans la table Table des symboles mathématiques.
Il conviendrait de modifier : i est "le" nombre tel que i²=-1 car (-i)²=-1 également.
Sommaire |
[modifier] Erreur?
dites moi si je me trompe mais je pense que l'exemple pour le "A" à l'envers est faux.
- La proposition énoncée est vraie, si selon l'usage désigne l'ensemble des entiers naturels (ce serait faux, par exemple, pour n réel dans ]0;1[). --DSCH (pour m'écrire) 5 février 2007 à 06:03 (CET)
[modifier] Manque du signe "congru à"
L'espere ne pas me tromper de catégorie. J'étais venu pour chercher l'explication du symbole que je ne trouve pas . Il manque aussi ! pour la factorielle. le C de combinatoire.
- Il s'agit du signe "congru à" pour établir des relations de congruences (ça aide beaucoup ce que je dis : s), c'est vrai qu'il mériterait d'être inséré tout comme la factorielle.YODAfroman (d) 16 janvier 2008 à 23:40 (CET)
[modifier] définition de i.
Il conviendrait de modifier : i est "le" nombre tel que i²=-1 car (-i)²=-1 également. L'article indéfini serait plus judicieux.
[modifier] symbole "N'existe pas"
Il manque à la table des symboles le E à l'envers barré, quantificateur existentiel signifiant "n'existe pas"
[modifier] Présentation peu clair
Cet article est une très bonne idée, mais cependant comporte des lacunes et fait souffre d'une mauvaise présentation.
- Ce genre de critiques n'aident pas beaucoup, que changer ?YODAfroman (d) 16 janvier 2008 à 23:40 (CET)
[modifier] simple et double flèchee
La distinction entre simple (->) et double flèche (=>) existe. A -> B est une opérateur logique qui vaut ((non A) ou B) qui renvoit Faux si A Vrai et B Faux et Vrai dans tous les autres cas). A => B est un théorème : cela signifie que A -> B est tout le temps vrai.
[modifier] autres ensembles
je pense qu'on peut rajouter l'ensemble D (avec double barre ) pour les nombres décimaux et l'ensemble K ( aussi avec double barre ) pour les Réels et les Complexes
- Bonne idée. Par contre, K représente l'ensemble des réels ou celui des complexes ; lorsqu'un théorème est valable indépendamment de l'un ou de l'autre, par exemple dans un R-espace vectoriel ou C-espace vectoriel (à vérifier, ça tient de vieux souvenirs de prépa). A.K. (BlaBla) 25 octobre 2006 à 11:52 (CEST)
- En toute generalite, K (avec double barre) represente un corps, ou un corps a valuation discrete, ou R ou C, ... Ektoplastor, 25 octobre 2006, 17:46 CEST.
A propos de l'équivalence
la définition de deux suites équivalentes pourrait être ajoutée. Deux suites sont dites équivalents quand leur rapport tend vers 1 quand n tend vers l'infini. Nico
[modifier] Schémas de compréhension / remplacement
Je me permets la petite remarque sur un point de rigueur rarement employé : la différence entre et . En effet, le / signifie "tel que" ce qui n'est pas le cas de ; qui ne fait que marquer une séparation. Les définitions d'ensembles suivant ces deux exemples ne sont pas confondues : l'une est la définition par compréhension (proposée dans l'article) et l'autre par remplacement (des exmples en est donnés dans l'article mais écrits avec / au lieu de ;).
Peut-être serait-il bon d'envisager de les distinguer ? Par ailleurs, n'est pas un ensemble dans le cas général mais une classe. Si A est un ensemble, alors est un ensemble dès lors que P est exprimé en logique du premier ordre (symboliquement pour faire simple). Sans doute faut-il éviter d'être trop lourd dans un tel article introductif aussi y-a-t'il peut-être un moyen de s'en sortir pour être rigoureux sans devenir pompeux ? Je fais confiance aux auteurs.
[modifier] Racine carrée
Si je ne m'abuse les racines carrées de 4 sont +2 et -2. Il faudrait peut-être corriger, même si l'objet içi n'est pas de définir la racine carrée d'un nombre