Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
coursI

coursI

Ratings: (0)|Views: 21 |Likes:
Published by Melek Saadi

More info:

Published by: Melek Saadi on Jul 13, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

07/13/2011

pdf

text

original

 
Universit´e Paris 8 Introduction aux maths g´en´erales — B. Mariou
U.F.R. L.I.T. Automne 2004
Cours d’introduction aux matematiques en´erales
premi`ere partie
0 Lire et ´ecrire des math´ematiques
2
— Les phrases 2 — Les paragraphes 4 — D´emontrer 6
1 Ensembles et applications
8
La th´eorie axiomatique des ensembles 8 ´El´ements de th´eorie na¨ıve des ensembles 9 Applications 11
2 Les entiers naturels
14
— L’ensemble
I
et la ecurrence 14 Ensembles finis 15
3 Arithm´etique
18
— Divisibilie et division euclidienne 18 — Plus grand commun diviseur 19 — Teor`eme de Bezout 20 — Nombrespremiers 22
4 Structures alebriques en´erales
24
— Relations binaires et lois internes 24 — Groupes 25 — Anneaux et corps 27
5 Le corps des eels
29
Ses ´el´ements, ses op´erations, son ordre, sa compl´etude 29 Propri´et´e d’Archim`ede, rationnels dans
IR
30 Intervalles eels 31
Benoˆıt Mariou — octobre 2004 — documents disponibles sur
http://ufr6.univ-paris8.fr/lit-math/maths/BM/cours.html
 
Chapitre 0. Lire et ´ecrire des math´ematiques 
2
0 — LIRE ET´ECRIRE DES MATH´EMATIQUES
Un cours de math´ematiques est un discours dans une langue particuli`ere. Cette langue est proche de la languenaturelle mais elle comporte aussi une partie purement symbolique.Qu’il vienne du langage courant ou qu’il soit symbolique, un terme du discours math´ematique a toujours un senspr´ecis et son utilisation est codifi´ee.Voici quelques unes des r`egles les plus usit´ees. Leur connaissance vous permettra, d’abord de lire correctementchacune des phrases d’un texte math´ematique (
§
1), ensuite de vous rep´erer dans le texte en en maˆıtrisant lastructure (
§
2), enfin de produire vous emes un discours rendant compte d’un raisonnement (
§
3).
1 Les phrases.
Dans un texte math´ematique, la plupart des phrases concernent des objets ou des propri´et´es math´ematiques.
Certaines de ces
phrases
sont volontairement
´ecrites en langue naturelle
afin de commenter, introduire,reformuler des notions purement techniques. Ici, on ne s’attarde pas sur ce type de phrases ; mais il faut biengarder `a l’esprit que cette partie non symbolique du discours a pour but d’
aider le lecteur `a comprendre lapartie symbolique
.
Les
phrases techniques
remplissent en´eralement une des deux fonctions suivantes :
1. (d´efinition/notation) Nommer ou d´efinir un objet ou une propri´et´e.2. (assertion) Affirmer qu’une propri´et´e est vraie.
Exemples.
1) efinitions/Notations.a)
”Pour 
x
nombre eel, la 
valeur absolue
de
x
est le plus grand des deux nombres
x
et 
x
.”
Cette phrase efinit la notion de
valeur absolue
du eel
x
.b)
”Un entier est 
pair
s’il est divisible par 2.”
Cette phrase efinit la propret´e
”ˆetre pair”
pour les entiers.c)
”Posons
a
=
 
10
e
t
2
dt
.”
d)
”Notons
l’intervalle
[0
,
1]
.”
e)
”Si 
x
est un nombre r´eel,
|
x
|
esigne la valeur absolue de
x
.”
Ces trois derni`eres phrases introduisent des notations : nouvelles repesentations symboliques d’objets/pro-pri´et´es d´ej`a efinis.f)
”Soit 
x
un eel strictement positif.”
Ici encore, il s’agit d’une notation : on sait qu’il existe des r´eels strictement positifs, on en consid`ere un, onle nomme
x
.Dans tous les cas, les efinitions/notations peuvent ˆetre ´evit´ees : ce sont des raccourcis permettant de nommerbri`evement des concepts complexes.2) Assertions.a)
”Le nombre
2
7
27
est entier.”
b)
”Il existe un nombre entier premier sup´erieur `
2
100
.”
c)
”Pour tout nombre eel 
x
tel que
x
2
>
2
, on a 
x >
1
.”
d)
”Pour tout entier 
n
,
n
est pair si et seulement si 
n
2
est multiple de 4.”
Les assertions (ou propositions) sont des phrases susceptibles d’ˆetre vraies ou fausses. En g´en´eral, on n’´ecrit
 
Chapitre 0. Lire et ´ecrire des math´ematiques 
3que des assertions vraies. Tout le travail math´ematique consiste `a justifier cette erie,
i.e.
`a montrer qu’unecertaine assertion est vraie.
Vocabulaire particulier.
On a vu plusieurs expressions caract´eristiques du discours math´ematique. Certainessont sp´ecifiques aux efinitions/notations :
soit 
,
notons
,
posons
,
on dit que
,
on appelle
,
esigne
, ...
Structure des assertions.
Les assertions peuvent ˆetre plus ou moins complexes. Certaines sont
basiques
comme :
n
est pair”
, not´ee
A
(
n
) (pour rappeler qu’elle epend de
n
) ;
n
2
est multiple de 4”
, not´ee
B
(
n
).D’autres sont obtenues en
coordonnant
des assertions plus simples , par exemple :
(
n
)
: ”si 
n
est pair alors
n
2
est multiple de 4”
, qui est de la forme
”si 
A
(
n
)
alors
B
(
n
)
.D’autres, enfin, peuvent ˆetre obtenues en
quantifiant
des assertions plus simples, par exemple :
D
: ”Pour tout entier 
n
, si 
n
est pair alors
n
2
est multiple de 4”
, qui est de la forme
”Pour tout entier 
n
,
(
n
)
.
Coordinations et quantifications.
Les principales coordinations sont
et 
,
ou 
,
si ...alors
...,
si et seulement si 
.Les quantifications sont
il existe ...
et
pour tout ...
. Enfin, on consid`ere souvent la
egatio
d’une assertion.Dans ce qui suit,
A
et
B
sont deux assertions.
A
et 
B
vraie
si les deux,
A
et
B
, sont vraies,
fausse
si au moins une des deux est fausse.Exemple :
x
est un entier et 
x >
2
est vraie pour
x
= 2, fausse pour
x
=32
,
1
,
12.
A
ou 
B
vraie
si au moins une de
A
ou de
B
est vraie,
fausse
si les deux sont fausses.Exemple :
n
27
ou 
n
est un carr´e”
est vraie pour
n
= 17
,
64
,
25, fausse pour
n
= 30.
si 
A
alors
B
(
A
implique
B
)
vraie
si, d`es que
A
est vraie,
B
aussi,
fausse
si
A
est vraie et
B
est fausse.Exemple :
”si 
n
est multiple de 4 alors
n
est pair”
est vraie pour tous les entiers, notamment pour
n
= 2
,
3
,
4.
”Si 
n
est premier alors
2
n
+ 1
est premier”
est fausse pour
n
= 7.
A
si et seulement si 
B
(
A
´equivaut `
B
)
vraie
si elles sont toutes les deux fausses ou toutes les deux vraies,
fausse
si l’une est vraie et l’autre fausse.Exemple :
n
pair si et seulement si 
n
2
est multiple de 4”
est vraie pour tous les entiers, notamment pour
n
= 2
,
3.Et
x
2
4
si et seulement si 
x
2
est fausse pour
x
=
3.
il existe
x
tel que
A
(
x
)
(symbole :
xA
(
x
))
vraie
s’il existe un ´el´ement
a
tel que
A
(
a
) est vraie,
fausse
si, pour aucun ´el´ement
a
,
A
(
a
) n’est vraie.Exemple :
”il existe un entier premier sup´erieur `
2
100
est vraie. Et
”il existe un entier 
n
tel que
n
est un care e
110
n
120
est fausse.
pour tout 
x
,
A
(
x
)
(symbole :
xA
(
x
))
vraie
si
A
(
a
) est vraie pour chaque ´el´ement
a
,
fausse
si, pour au moins un
a
,
A
(
a
) est fausse.Exemple :
”tout eel positif est un carr´e”
est vraie. Et
”tout entier a au moins deux diviseurs positifs”
est fausse
non 
A
(
”n´egation de
A
)
vraie
si
A
est fausse,
fausse
si
A
est vraie.
Remarques.
1. La erit´e d’une assertion quantifi´ee epend de l’ensemble o`u la variable peut prendre ses valeurs :
”il existe
x
tel que
x
2
= 2
est fausse pour les entiers et vraie pour les r´eels,
”tout eel positif est un carr´e”
est vraie alors que
”tout eel est un carr´e”
est fausse.2. Par efinition de la egation, on a quelques propri´et´es simples ; par exemple :

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->