Notation mathématique

Notation (mathématiques)

Pour les articles homonymes, voir Notation.

On utilise en mathématiques un ensemble de notations pour condenser et formaliser les énoncés et les démonstrations.

Quand deux traductions d'une notation sont données, l'une est la traduction mot-à-mot et l'autre est la traduction naturelle.

Sommaire

1 Introduction
2 Opérateurs logiques
3 Ensembles
- 3.1 Ensembles usuels
- 3.2 Relations sur les ensembles
4 Quantificateurs
5 Symboles arithmétiques
- 5.1 Somme
- 5.2 Produit
6 Voir aussi

Introduction

Comme tous les autres langages formels, ces notations ont pour but de retirer l'ambiguïté d'une proposition en la décomposant en un ensemble limité de symboles dont l'agencement ne peut avoir qu'un unique sens.

Par exemple, pour dire que $x$ vaut un, on utilisera :

$x=1\,$

Ce langage permet aussi dans une moindre mesure de faciliter la communication entre des mathématiciens ne parlant pas la même langue. S'il ne remplace pas complètement le langage naturel, il permet d'exprimer les concepts mathématiques les plus complexes sous une forme qui est identique suivant les langues et les cultures, évitant ainsi les quiproquos sur les concepts mathématiques, par des gens ne maîtrisant pas toutes les subtilités grammaticales et syntaxiques de la langue de communication employée.

Malheureusement, certains concepts du langage formel mathématique restent spécifiques à une culture donnée. Ainsi, dans la littérature mathématique francophone, l'assertion $A \subset B$ signifie « l'ensemble A est un sous-ensemble ou est égal à B » alors que dans la littérature mathématique anglophone, il signifiera plutôt « l'ensemble A est un sous-ensemble strict de B ».

La liste de symboles qui suit n'est pas exhaustive. Cependant, l'ensemble des symboles présentés ici sont utilisés de façon universelle dans la littérature mathématique francophone.

Opérateurs logiques

Voir algèbre de Boole pour plus de détails.

$\land$ , et.
$\lor$ , ou.
$\Rightarrow$ , implique.
$\Leftrightarrow$ , équivaut à.

Ensembles

Ensembles usuels

$\mathbb{N}$ , ensemble des entiers naturels.
$\mathbb{Z}$ , ensemble des entiers relatifs.
$\mathbb{D}$ , ensemble des nombres décimaux.
$\mathbb{Q}$ , ensemble des rationnels.
$\mathbb{R}$ , ensemble des nombres réels.
$\mathbb{R_+}$ , ensemble des nombres réels positifs ou nuls.
$\mathbb{R_-}$ , ensemble des nombres réels négatifs ou nuls.
$\mathbb{C}$ , ensemble des nombres complexes.
$\mathbb{N^*}, \mathbb{Z}^*, \mathbb{D^*}, \mathbb{Q^*}, \mathbb{R^*}, \mathbb{R_{+}^*}, \mathbb{R_{-}^*}, \mathbb{C^*}$ , les mêmes ensembles privés de zéro.

Relations sur les ensembles

$\in$ , appartenance.

$n\in\mathbb{N}$

n appartient à l'ensemble des entiers naturels.
n est un entier naturel.

$\subset$ , inclusion.

$\mathbb{Z} \subset \mathbb{Q}$

$\mathbb{Z}$ est inclus dans $\mathbb{Q}$ .
Les entiers relatifs sont des rationnels.

Quantificateurs

Voir calcul des prédicats pour un point de vue plus théorique sur ces notations.

Pour tout

Notation

$\forall$ , pour tout, quel que soit.

Exemples

$\forall n, ( n\in\mathbb{N} \Rightarrow n\ge 0 )$

Quel que soit n entier naturel, n est supérieur ou égal à zéro.
$\mathbb{N}$ est minoré par zéro.

$\forall n\in\mathbb{N}, n\ge 0$

Forme condensée.

$\forall a\in\mathbb{R}, ( a \le 0 \land a \ge 0 \Rightarrow a = 0 )$

Pour tout réel a, si a est inférieur ou égal à zéro, et si a est supérieur ou égal à zéro, alors a est nul.
Tout réel, à la fois supérieur ou égal à zéro et inférieur ou égal à zéro, est nul.

Il existe

Notation

$\exists$ , il existe (au moins un).

Exemples

$\exists n, n\in\mathbb{N}$

Il existe un élément dans $\mathbb{N}$ .
$\mathbb{N}$ est non vide.

$\exists x, x\in\mathbb{R} \land x \ge 1$

Il existe un réel x tel que x soit plus grand ou égal à un.
$\mathbb{R}$ n'est pas majoré par 1.

$\exists x\in\mathbb{R}, x \ge 1$

Forme condensée.

Exemples généraux

$\forall n \in\mathbb{N}, \exists m\in\mathbb{N}, m \ge n$

Pour tout entier naturel n, il existe un autre entier naturel m tel que m soit supérieur ou égal à n.
Tout entier naturel est inférieur ou égal à au moins un autre entier naturel.

$\exists m\in\mathbb{N}, \forall n \in\mathbb{N}, m \ge n$

Il existe un entier naturel m tel que quel que soit l'entier naturel n, m soit plus grand que n.
$\mathbb{N}$ est majoré.

On notera donc que l'ordre des quantificateurs est important : la première proposition est vraie, l'autre est fausse.

$\forall (a,l)\in\mathbb{R}^2, \exists f : \mathbb{R} \rightarrow \mathbb{R}, \forall \epsilon \in \mathbb{R_+^*}, \exists \alpha\in\mathbb{R_+^*}, \forall x\in[a-\alpha,a+\alpha], |f(x)-l|\le\epsilon$

Pour tout réels a et l, il existe une application f de $\mathbb{R}$ dans $\mathbb{R}$ telle que f tend vers l en a.

Les quantificateurs permettent de définir les notions mathématiques.

Il existe un unique

La notation $\exists !$ qui signifie il existe un unique.... Ce quantificateur se définit à partir des quantificateurs précédents et de l'égalité. Pour P(x) une propriété de x :

∃! x P(x) équivaut par définition à ∃ x [P(x) ∧ ∀ y (P(y) ⇒ y = x)]

ou de façon équivalente :

∃! x P(x) équivaut à ∃ x P(x) ∧ ∀ x ∀ y [(P(x) ∧ P(y)) ⇒ y = x] .

Exemple. $\forall x \in \R^*,\ \exists ! y \in \R^*,\ xy=1$ : pour tout x réel non nul, il existe un unique réel y non nul tel que le produit xy soit égal à 1. En d'autres termes, x admet un unique inverse pour la multiplication.

Symboles arithmétiques

Ces symboles sont utilisés pour simplifier l'écriture de longues séries (par exemple en évitant d'utiliser des pointillés). On utilise dans chacun de ces cas une variable dite variable muette qui va prendre des valeurs dans un ensemble précis. Cette variable muette va alors permettre la description d'un terme générique placé après le symbole.

Somme

$\sum$ (Lettre grecque : Sigma majuscule)

Exemple: Si $n$ est un entier strictement positif :; $\sum_{k=1}^n k^2 =1^2+2^2+3^2+4^2+\ldots+n^2 = \frac{n(n+1)(2n+1)}{6}$; Ici $k$ est la variable muette, elle prend ses valeurs dans l'ensemble $[1, n]$ (ensemble d'entiers). Le terme général de cette somme est $k 2$ .

Autre exemple: $Ω$ étant l'ensemble des entiers pairs positifs; $\sum_{k\in\Omega,\ k<50} k^{2} = \sum_{k=0}^{24} (2k)^2$; Ici $k$ appartient à un ensemble défini par deux conditions : ses éléments sont des entiers positifs pairs et ils sont strictement plus petits que 50

Exemple de somme infinie: $\forall x \in \R,\ \sum_{k=0}^\infty \frac{x^k}{k!} = e^x$; On aurait pu écrire de manière moins condensée :; $1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\dots+\frac{x^k}{k!}+\dots = e^x$

Produit

$\prod$ (Lettre grecque : Pi majuscule)

Ce symbole s'utilise de manière analogue au symbole somme.

Exemple: $\prod_{k=1}^{n} \exp(k^{2}) = \exp\left(\sum_{k=1}^{n} k^{2}\right) = \exp\left(\frac{n(n+1)(2n+1)}{6}\right)$; On aurait pu écrire de manière moins condensée :; $\exp(1^2)\cdot\exp(2^2)\cdot\exp(3^2)\cdot\ldots\cdot\exp(n^2) = \exp\left(\frac{n(n+1)(2n+1)}{6}\right)$

Voir aussi

Portail des mathématiques

Ce document provient de « Notation (math%C3%A9matiques) ».

Catégories : Vocabulaire des mathématiques | Logique mathématique | Algèbre générale | Langage formel

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Notation mathématique de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

NOTATION MATHÉMATIQUE — Pour connaître une langue naturelle, il n’est pas nécessaire d’en apprendre l’histoire ni, pour comprendre sa littérature, de faire l’étude historique de la grammaire et du vocabulaire. À cet égard, le langage mathématique, en raison de son… … Encyclopédie Universelle
Notation (mathématiques) — Pour les articles homonymes, voir Notation. On utilise en mathématiques un ensemble de notations pour condenser et formaliser les énoncés et les démonstrations. Ces notations ce sont dégagées peu à peu au fil de l histoire des mathématiques et de … Wikipédia en Français
Notation (mathematiques) — Notation (mathématiques) Pour les articles homonymes, voir Notation. On utilise en mathématiques un ensemble de notations pour condenser et formaliser les énoncés et les démonstrations. Quand deux traductions d une notation sont données, l une… … Wikipédia en Français
mathématique — [ matematik ] adj. et n. f. • 1265; lat. mathematicus, gr. mathêmatikos « scientifique », de mathêma « science » I ♦ Adj. 1 ♦ Relatif aux mathématiques, à la mathématique (cf. ci dessous, II); qui utilise les mathématiques, s exprime par elles.… … Encyclopédie Universelle
Notation de Conway — Notation des flèches chaînées de Conway La notation des flèches chaînées de Conway est un moyen d exprimer de très grands nombres créée par le mathématicien John Horton Conway. Elle consiste en une suite finie d entiers positifs séparés par des… … Wikipédia en Français
Notation des fleches chainees de Conway — Notation des flèches chaînées de Conway La notation des flèches chaînées de Conway est un moyen d exprimer de très grands nombres créée par le mathématicien John Horton Conway. Elle consiste en une suite finie d entiers positifs séparés par des… … Wikipédia en Français
Notation des flèches chaînées de conway — La notation des flèches chaînées de Conway est un moyen d exprimer de très grands nombres créée par le mathématicien John Horton Conway. Elle consiste en une suite finie d entiers positifs séparés par des flèches, comme par exemple . Comme… … Wikipédia en Français
Notation de puissance de Knuth — Notation des puissances itérées de Knuth En mathématiques, la notation des puissances itérées de Knuth est une notation qui permet d écrire de très grands entiers et qui a été introduite par Donald Knuth en 1976. L idée de cette notation est… … Wikipédia en Français
Notation des puissances iterees de Knuth — Notation des puissances itérées de Knuth En mathématiques, la notation des puissances itérées de Knuth est une notation qui permet d écrire de très grands entiers et qui a été introduite par Donald Knuth en 1976. L idée de cette notation est… … Wikipédia en Français
Notation des puissances itérées de Knuth — En mathématiques, la notation des puissances itérées de Knuth est une notation qui permet d écrire de très grands entiers et qui a été introduite par Donald Knuth en 1976. L idée de cette notation est basée sur la notion d exponentiation répétée … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Notation mathématique