• Aucun résultat trouvé

Feuille de TD n

N/A
N/A
Protected

Academic year: 2022

Partager "Feuille de TD n"

Copied!
2
0
0

Texte intégral

(1)

Universit´e de Reims Champagne-Ardennes Ma0304 Arithm´etique, 2013-2014

Feuille de TD n

1

Relations d’ordre, relations d’´equivalence et ensembles de nombres

Relations d’ordre

Exercice 1. Dire si les relations binaires suivantes sont des relations d’ordre ou non.

Justifier.

1. L’ensemble F(X, E) des fonctions d’un ensemble X dans un ensemble ordonn´e (E,≺), muni de la relation binaire

f g si pour tout xX, f(x)g(x).

2. Le produit cart´esien E×F des ensembles ordonn´es (E,E) et (F,F) muni de la relation binaire

(x, y)(x0, y0) si xE x0 etyF y0.

3. Le produit cart´esien E×F des ensembles ordonn´es (E,E) et (F,F) muni de la relation binaire

(x, y)(x0, y0) si (xE x0, x6=x0) ou (x=x0 et yF y0).

4. Le cercle unit´eC de centre O muni de la relation binaire

AB si la mesure principale de l’angle ([OA),[OB)) est positive ou nulle.

5. L’ensemble ordonn´e (E,≺) muni de la relation binaire duale x0 y sixy.

Construction de l’ensemble Q

Exercice 2. On d´efinit la relation binaire S sur Z×Z

∀(p, q),(p0, q0)Z×Z,(p, q)S(p0, q0)pq0 =p0q.

1. Montrer que S est une relation d’´equivalence sur Z×Z. On note Q l’ensemble quotient Z×Z/S, et on appelle nombres rationnels ses ´el´ements.

Soient x, y deux rationnels, et (a, b),(c, d) des repr´esentants respectifs de xety. On pose x×y=CS(ac, bd), i.e. a

b × c d = ac

bd.

1

(2)

Universit´e de Reims Champagne-Ardennes Ma0304 Arithm´etique, 2013-2014

2. Montrer que le produit × est bien d´efinie, et que × est (a) commutatif : ∀x, y Q, x×y =y×x,

(b) associatif : ∀x, y, zQ, (x×y)×z =x×(y×z).

Montrer de plus que

(a) 11 est l’´el´ement neutre pour × : ∀xQ, x× 11 = 11 ×x=x.

(b) tout ´el´ementxQnon nul est sym´etrisable :∃yQtel quex×y=y×x= 11. Soient x, y deux rationnels, et (a, b),(c, d) des repr´esentants respectifs de xety. On pose

x+y =CS(ad+bc, bd), i.e. a b + c

d = ad+bc bd . 3. Montrer que l’addition + est bien d´efinie, et que + est

(a) commutative : ∀x, y Q, x+y =y+x,

(b) associatif : ∀x, y, zQ, (x+y) +z =x+ (y+z).

Montrer de plus que

(a) 01 est l’´el´ement neutre pour + : ∀xQ, x+ 01 = 01 +x=x.

(b) tout ´el´ement x Q admet un sym´etrique pour l’addition : ∃y Q tel que x+y=y+x= 01,

(c) ×est distributif par rapport `a + : ∀x, y, z Q, x×(y+z) = x×y+x×z.

On a ici montr´e que (Q,+,×) est un corps commutatif.

Propri´et´es de l’ensemble R

Exercice 3. eterminer, lorsqu’elles existent, les bornes sup´erieures et inf´erieures des ensembles suivants :

A={a+bn, n N} et B ={1

n + (−1)n, nN}.

Exercice 4. Soient A etB deux parties non vides et major´ees de R. Montrer que 1. AB sup(A)sup(B),

2. AB est major´ee, et d´eterminer sup(AB,

3. si AB 6=∅, AB est major´ee. Peut-on d´eterminer sup(AB) ? Exercice 5. Densit´e de Q et RQ dans R

1. On montre que pour tout x < y eels, il existe rQ tel que r∈]x, y[.

(a) Traiter le cas yx >1.

(b) Cas g´en´eral : montrer qu’il existe pZ tel que pypx > 1. Conclure.

2. Montrer que RQ est dense dansR.

2

Références

Documents relatifs

Vous admettrez que le PGCD de 2 nombres successifs dans la suite de Fi- bonacci est le pire des cas.. Quelle est la complexit´e du nombre d’´etapes du calcul du PGCD de a, b

JC) est un math´ ematicien de la Gr` ece an- tique, auteur des ´ El´ ements, qui sont consid´ er´ es comme l’un des textes fondateurs des math´ ematiques modernes.. Il partit en

[r]

Calculer le nombre de points p´ eriodiques de p´ eriode q, pour q

On appelle matrice de permutation une matrice dont chaque ligne et chaque colonne admet exactement un coefficient non nul, ce coefficient ´ etant ´ egal ` a 12. Expliquer

Quel choix judicieux de d´enominateur commun peut-on proposer2. Calculer le d´enominateur commun choisi

[r]

Etudier les lois suivantes (sont-elles des LCI, associatives, commutatives, ´ avec ´ el´ ement neutre, sym´ etrique d’un ´ el´ ement sym´ etrisable