• Aucun résultat trouvé

1. Les propriétés habituelles de l’addition et de la multiplication sur N sont supposées connues.

N/A
N/A
Protected

Academic year: 2022

Partager "1. Les propriétés habituelles de l’addition et de la multiplication sur N sont supposées connues."

Copied!
1
0
0

Texte intégral

(1)

31HU03MI 13-14

Logique 24 mars 2015

Test – corrigé n

1

1. Les propriétés habituelles de l’addition et de la multiplication sur N sont supposées connues.

L’exponentiation est définie par les égalité suivantes (récurrence avec paramètre) : x

0

= 1 et x

s(y)

= x

y

· x ,

montrer que x

y+z

= x

y

· x

z

(justifier soigneusement).

Solution :

On démontrexy+z=xy·xz par récurrence surz(pour un entiery fixé).

0 :

xy+0 =xy définition de l’addition xy·1 1neutre pour la multiplication xy·x0 définition de l’exponentielle

y→s(y) : hypothèse de récurrence xy+z=xy·xz

xy+s(z) =xs(y+z) définition de l’addition

=xy+z·x définition de l’exponentielle

= (xy·xz)·x hypothèse de récurrence

=xy·(xz·x) associativité de la multiplication

=xy·xs(z) définition de l’exponentielle

2. On pose pour n ∈ Z , S

n

= {x ∈ Z / x ≥ n}, Z

est l’ensemble des entiers négatifs. On rappelle que l’inclusion sur un ensemble de parties est une relation d’ordre.

Indiquer si les ensembles A et B , munis de l’inclusion, sont bien ordonnés :

A = {∅} ∪ {S

n

/ n ∈ N } et B = {∅} ∪ {S

n

/ n ∈ Z

}

et justifier.

Solution :

Un ensemble ordonné (cf. rappel) est bien ordonné si tous ses sous-ensembles non vides possèdent un plus petit élément.

a. Le sous-ensemble {Sn / n ∈ N} de

A

, ne possède pas de plus petit élément car Sn+1(Sn, donc aucunSn ne peut être le plus petit élément de ce sous-ensemble.

Par conséquent(

A

,⊂)n’est pas bien ordonné.

b. Montrons que(

B

,⊂)est bien ordonné. Soit

C

un sous-ensemble de

B

non vide. Deux cas sont possibles :

∅ ∈

C

: L’ensemble vide est le plus petit élément de

C

.

∅∈/

C

: Alors

C

⊂ {Sn / n∈Z}. Soitn0le plus élément de l’ensemble (non vide car

C

est non vide){n∈N/ −n∈

C

}. AlorsS−n0 est le plus petit élément de

C

, car sin0≤n,S−n0⊂S−n (sin0≤n,−n0≥ −n, donc six≥ −n0, alorsx≥ −n).

On a bien montré que tout sous-ensemble non vide

C

de

B

possède un plus petit élément.

Références

Documents relatifs

Montrer que si les suites de termes pairs, impairs et multiples de trois sont toutes les trois convergentes, elles ont même limite et que donc la suite est convergente.. Sa limite

Dans ce jeu radiodiffus´ e o` u vous pouvez gagner mille euros, l’animateur vous pr´ esente dix nombres entiers distincts tir´ es au hasard entre 1 et 100 inclus et vous avez une

On définit l'union et l'intersection de deux ensembles flous A et B, comme respectivement le plus petit ensemble flou contenant A et B, et le plus grand ensemble flou contenu dans A

 Le plus grand terme en haut (on ne peut pas déplacer les termes)..  Les virgules

En second : On place la virgule au résultat en comptant le nombre de chiffres au total après la virgule.. III) Comment effectuer un calcul mentalement ? 1) En

Soit E partiellement bien ordonné ; ou bien E contient une antichaîne infinie dont les éléments ont des hauteurs toutes différentes et c'est terminé ; ou bien E n'en contient

Question 1 indiquez le plus petit masque (sous la forme /nn) du plus petit réseau à utiliser pour accueillir : (répondre sur le sujet).. •

— Tout espace métrique E, dont tout point possède un voisinage homéomorphe à un ensemble linéaire fermé bornée est une somme topologique d^ espaces topologiques dont chacun est