I Notions de logique

(1)

Sommaire

[ MPSI – MATHEMATIQUES 1 ]...1

SOMMAIRE...1

1 – VOCABULAIRE DE LA THEORIE DES ENSEMBLES ...2

INOTIONS DE LOGIQUE...2

IINOTION D'ENSEMBLE...2

IIIPRODUIT CARTESIEN,GRAPHE,APPLICATION...3

IVRELATIONS BINAIRES...4

VLOI DE COMPOSITION INTERNE...5

2 – NOMBRES ENTIERS ET DENOMBREMENT...6

IL'ENSEMBLE DES ENTIERS NATURELS...6

IIENSEMBLES FINIS, CARDINAL...6

IIINUMERATION...7

IVANALYSE COMBINATOIRE...8

3 – STRUCTURES ALGEBRIQUES ...9

ISTRUCTURE DE GROUPE...9

IISTRUCTURE D'ANNEAU... 10

IIICORPS... 11

4 – ARITHMETIQUE DES ENTIERS RELATIFS, CORPS DES RATIONNELS ET DES REELS ... 12

IARITHMETIQUE DE ... 12

IILE CORPS DES RATIONNELS... 13

IIILE CORPS DES REELS... 13

5 – ESPACES VECTORIELS ... 16

IDEFINITION ET PREMIERES PROPRIETES... 16

IISOUS–ESPACES VECTORIELS... 16

IIIAPPLICATIONS LINEAIRES... 17

6 – FAMILLES LIBRES, FAMILLES LIEES, BASES, DIMENSIONS... 19

IFAMILLES LIBRES, LIEES, GENERATRICES... 19

IIDIMENSION... 20

IIIAPPLICATIONS LINEAIRES ET DIMENSION... 21

IVL'ALGEBRE DES NOMBRES COMPLEXES... 22

VEQUATIONS DIFFERENTIELLES LINEAIRES... 23

7 – SUITES REELLES ... 25

IGENERALITES... 25

IISUITES CONVERGENTES... 25

IIICONVERGENCE ET STRUCTURE DE ... 26

IVAPPROXIMATION D'UN REEL... 27

VCOMPARAISON DES SUITES... 27

VISUITES COMPLEXES... 28

(2)

!

"

I Notions de logique

#$%$&' (' $)& ($)) (+#&, $ ' -+ &

#$%$&' #$%$&' (' (' $)& ($)) (+#&, $)& ($)) (+#&, $ ' $ ' -+ & -+ &

#$%$&' (' $)& ($)) (+#&, $ ' -+ &

#$%$&'('$). /)$)*/-+') *$)(')(% &0 1 #'2, ( +-+ ,$)% +( ((#'2+ #+) 1 ,+#0 1/#'(/ 1# '$+3 +4 2, 0 1/#'(/. (2, +0 )&,-+ ,$)# ) 0 &*$,$)) &$5,6$)/*#'(($+(&,&%#$%$&'('$)&%$&&'2,&

$)) *(+#&,$ '-+ &. &782$, $%/# ($'# % #8 (()(9: % #('#0 )%#$%$&'('$)&906)0/3')'#+) )$+1 ,, )% +(

, 0/3')'#% #+) (2, 0 1/#'(/

4 8%,&;¬ < ∧ < ∨ < < ⇔

+($,$ ' /)$)*/($+=$+#&1# ' < )(',$ ' /)$)*/($+=$+#&3 +4

"

" #$%#' #$%#' #$%#' #$%#' /(/&0 &$)) (+#&, /(/&0 &$)) (+#&, /(/&0 &$)) (+#&, /(/&0 &$)) (+#&, $ ' $ ' $ ' $ ' -+ & -+ & -+ & -+ &

$88+(('1'(/9 &&$*'('1'(/ (0'&(#'2+('1'(/ 1 *, >$+> (, >(>

$'&0 $# ) )$) ()$)2⇔)$) $+2 2 ⇔)$) $+2

*$)) *(+#,$ '-+ * ?9 9 9 $+ ?9?9?9 % #8 (0 #8%,* #($+&,&*$)) *(+#&,$ '-+ &

%$+#, *$)&(#+'#9$), *@ #*@ (,-+ A .¬ 9 (-+ ,6$)%+'&& 3 '# +)$+$++) (3 *',8 )(

B B B

B #/0' #/0' #/0' #/0' * ( * ( * ( * (

#/0'* (. /)$)*/-+'*$8%$#( * #(') &1 #'2,& $#&-+ ,&1 #'2,&$)(0 &1 ,+#&9',0 1')(+) %#$%$&'('$) 4 8%, ;>4 &(+) )('#% '#>

II Notion d'ensemble )&82,&

)&82,& )&82,&

)&82,&

) )&82, &(*$)&('(+/06/,/8 )(& $+#($+($2=(4 (($+( )&82, 9,6/)$)*/>4 %% #(')(: > &(+)%#/0'* ( 4 & )&82,&) *$)&('(+ )(% &+) )&82, 0/8$)&(# ('$)% #,62&+#0 ; ∈ +)&)&

)&82, 0 &)$82#&; 9 9 9 9

"

" )&82,&0 % #('& )&82,&0 % #('& )&82,&0 % #('& )&82,&0 % #('&

#(' 0 . ($+( )&82, 0$)(,&/,/8 )(&&$)(0 )& &') ∈)6&(% &&78/(#'-+

6)&82, 0 &% #('&0 &()$(/ ∈ ⇔ ⊂

$+#($+( )&82, 9∅ ⊂ < < ≠ ∅

#$%#'/(/&0 ⊂; /3,4'1 ⊂

)('&78/(#'-+ ?⊂ ( ⊂? ⇔ . ?

# )&'('1 ⊂? (?⊂ ⊂

B B B

B /+)' /+)' /+)' /+)' $)9)(#&(' $)9)(#&(' $)9)(#&(' $)9)(#&(' $) $) $) $)

$88+(('39 &&$*'('39 '&(#'2+('3 ,6+)% ## %%$#(: ,6+(#

' 33/#)* 9 $8%, /8 )(' # ' 33/#)* 9 $8%, /8 )(' # ' 33/#)* 9 $8%, /8 )(' # ' 33/#)* 9 $8%, /8 )(' #

) ,$ '& +4,$'&0 $# ) 1 * 9+)'$) (')(#&*('$)

C . ∩

∆ . ∪ C ∩

0'33/#)* &78/(#'-+ ∆ &(*$88+(('1 0 8$

D D

D D + )(' + )(' + )(' + )(' 3' 3' 3' 3' * (+#& * (+#& * (+#& * (+#&

#$%#'/(/* # *(/#'&('-+ . >4∈ >

#/0'* (& &&$*'/&: 0 & )&82,&

(3)

!

B ) ,$ '&;

#/0'* (& )&82,&

∨ ∪

∧ ∩

⇔ .

¬ ⊂

$+ 4*,+&'3 ∆

' ⊂ 9 1 * *$88 %#$%#'/(/* # *(/#'&('-+ 9 ,$#&

. ⇔ ∀4∈ 9 4 -+ )('3'* (+#+)'1 #&,

≠E⇔ ∃4∈ 9 4 -+ )('3'* (+# 4'&()(',

!/ ('$)06+)-+ )('3'* (+#;$)*@ ) , -+ )('3'* (+#∀ ↔ ∃ ($))' * -+6',7 %#F& 0 8$

4 8%,; /3')'('$)06+) ,'8'( 0 &+'(

III Produit cartésien, Graphe, Application

#$0+' (* #(/&')

#$0+' #$0+' (* #(/&') (* #(/&')

#$0+' (* #(/&')

( )

{ }

∏

=

∈

n

=

1

i

E

i

x

1

, x

2

,..., x

n

; x

1

E

1

; x

2

E

2

;...; x

i

E

i

"

" # %@ # %@ # %@ # %@

) # %@ 06+) )&82, 1 #&+) )&82, ? &(+) % #(' 0+%#$0+'(* #(/&') ×?

B B

B B %%, %%, %%, %%, ' ' ' ' * (' * (' * (' * (' $) $) $) $)

) %%,'* ('$) &(, 0$))/ 0 B ')3$#8 ('$)&;

+) )&82, 0 0/% #(

+) )&82, 06##'1/ ?

+) # %@ 0 1 #&? (,-+ ∀4∈ 9∃G7∈?9497∈

!$(('$);

3 ; →? 4→7. 3 4

&(#'*('$) 0'8')+('$)0 ,6)&82, 0 0/% #(98H8 )&82, 06##'1/

#$,$) 8 )( + 8 )(('$)0 ,6)&82, 0 0/% #(98H8 )&82, 06##'1/

4;&')+&4 I4 )E

($+( %%,'* ('$)3 ')=*('1 $) &&$*' +) %%,'* ('$)&&+#=*('1 (,, -+ & 3 . 0 ($+( %%,'* ('$)3 &+#=*('1 $) &&$*' +) %%,'* ('$)#')=*('1 (,, -+ 3 #. 0?

%%, ' * (' $)' )=(' 1 9 %%, ' (' $)&+#=*( ' 1

3 ')=*('1 ⇔ ∀ 92 ∈ J9 ≠2 3 ≠3 2

⇔ ∀ 92 ∈ J93 . 3 2 . 2 *6&(: 0'# '8 &($+(&0'33/#)(&

3 &+#=*('1 ⇔ ∀7∈?9∃4∈ 97. 3 4 *6&(: 0'# ($+(,6)&82, 06##'1/ ((')(

3 2'=*('1 ⇔3 ')=*('1 (3 &+#=*('1

#8+(('$)06+) )&82, . 2'=*('$)0 1 #&

D D

D D $8%$&' $8%$&' $8%$&' $8%$&' (' (' (' (' $)0 & %%, $)0 & %%, $)0 & %%, $)0 & %%, ' ' ' ' * (' * (' * (' * (' $)& $)& $)& $)&

&&$*'('1'(/0 , *$8%$&'('$) 0 8$

*$8%$&/ 0 " ')=*('$)& &(+) ')=*('$) *$8%$&/ 0 " &+#=*('$)& &(+) &+#=*('$) *$8%$&/ 0 " 2'=*('$)& &(+) 2'=*('$)

K K K

K %%, %%, %%, %%, ' ' ' ' * (' * (' * (' * (' $)#/' $)#/' $)#/' $)#/' %#$-+ 06 %#$-+ 06 %#$-+ 06 %#$-+ 06 +) 2' +) 2' +) 2' +) 2' =(' =(' =(' =(' $) $) $) $)

3 &(2'=*('1 ⇔ ∀7∈?9∃G4∈ 97. 3 4

6', 4'&( (,-+ 3 . 0 (3 . 0? ,$#&3 2'=*('1 ( . 3 0 8$

$#$,,'# ; (3 2'=*('1 &→ 3 . 3

(4)

!

L L L

L 4()&' 4()&' 4()&' 4()&' $) +4 )&82,&0 % #( $) +4 )&82,&0 % #( $) +4 )&82,&0 % #( $) +4 )&82,&0 % #( '& '& '& '&

3 . M7∈?9∃4∈ 97. 3 4 N 3 &(,6'8 0'#*( 0 % #3

3 . M4∈ 93 4∈ N 3 &(,6'8 #/*'%#$-+ 9$+%#/ '8 0 % #3

&(&(2, % #3⇔3 ⊂

)% +( ,$#&0/3')'#,6%%,'* ('$)')0+'( 90 1 #& 9-+': 4 &&$*' 3 4 )0/8$)(# -+ 9%$+#3 ; →?9

3 . ?⇔3 &+#= *('1 3 3 . ⇔3 ')= *('1 3 3 ? . ?⇔3 &+#= *('1

O O O

O %%, %%, %%, %%, '* ('$) * # (/#'&('-+ ' ('$) * # (/#'&('-+ ' ('$) * # (/#'&('-+ ' ('$) * # *(/#'&('-+

⊂ 9$) %% ,, %%,'* ('$) * # *(/#'&('-+ 0 ,6%%,'* ('$) 0 1 #&ME9 N)$(/ χ ; →ME9 N

4→ &' 4 %% #(' )(: 9&')$)9E

) )$( ? $+ 9? ,6)&82, 0 & %%,'* ('$)&0 1 #&?

#$%; 6%%,'* ('$) ∈ → χ ME9 N &(2'= *('1 χ . χ

χ∩ .χ χ

χ∪ .χ Pχ χ χ χ∆ .χ Pχ "χ χ

Q Q Q

Q ? 8', ? 8', ? 8', ? 8', , , , ,

) %% ,, 3 8',, 06/,/8 )(&0 ')0 4/ % #+) )&82, 06')0'* &+) %%,'* ('$) 0 0 )&

!$(('$) ;4' '∈ +,' +0 3 ;→ ) 4'. 3 ' %$+#($+(' 0 )&

($+( 3 8',, 0 $) % +( &&$*' #, % #(' 0 M4'9'∈ N. 3 +) % #(' 0 $) % +( &&$*' #+) 3 8',, →

? 8',, 0 % #(' &06+) )&82, ' '∈ $5 ⊂

IV Relations binaires

,('$) 2') '# &+#+) )&82, ,('$) 2') '# &+#+) )&82, ,('$) 2') '# &+#+) )&82, ,('$) 2') '# &+#+) )&82,

) #,('$) 2') '# &+#+) )&82, &(, 0$))/ 0 " ')3$#8 ('$)& 9 $5 ⊂ J &( %% ,/ # %@ 0 * ((

#,('$) 4ℜ7⇔ 497∈

"

" ,('$) 06 ,('$) 06 ,('$) 06 ,('$) 06 /-+'1 ,)* /-+'1 ,)* /-+'1 ,)* /-+'1 ,)*

6&(+) #,('$) 2') '# #/3,4'1 4ℜ4 9&78/(#'-+ 4ℜ7 7ℜ4 ((# )&'('1 4ℜ7 (7ℜR 4ℜR 4;.9≡9

) % #('('$) 0 &(+) 3 8',, 0 % #(' &0 ' '∈ (,, -+ ;

∀'∈ 9'≠ ∅

∀ '9= ∈ J9'∩ =.∅$+' . =

∪ '.

*,&& 0 4 &(, % #(' 0 *$)&('(+/ % #,6)&82, 0 &/,/8 )(& ) #,('$) 1 *4 . M7∈ 97ℜ4N

#$%#'/(/&;

*,&& 0 4)6&(= 8 '&,6)&82, 1'0 * #',*$)(' )( +8$')&4

$+#0 +4/,/8 )(&4 (70 9&$'(',&&$)(0 8H8 *,&&9&$'(,6')(#&*('$) )(# ,+#*,&& &(1'0 ) %% ,, &7&(F8 3$)0 8 )(,0 #%#/&)()(&+) % #(' 0 (,, -+ ∀ 497 ∈ J94≠7 ¬4ℜ7 (

∀7∈ 9∃4∈ 97ℜ4

3 8',, 0 ,6)&82, 0 &*,&&& 0 &(+) % #('('$) 0

"

) )$( Iℜ, &$+& )&82, 0 *$)&('(+/0 &*,&&&06/-+'1 ,)* 0 %$+#, #,('$)ℜ ) % +(0/3')'#

0 & 0 0 )&90'(&,$' -+$(' )(90/0+'(&0 , 0

(5)

!

D

B B B

B ,('$) 06 ,('$) 06 ,('$) 06 ,('$) 06 $#0# $#0# $#0# $#0#

6&(+) #,('$) 2') '# #/3,4'1 9 )('&78/(#'-+ 4ℜ7 (7ℜ4 4. 7 ((# )&'('1 4;⊂9≤9S

) % #, 06$#0# ($(,&' &+#,6)&82, *$)&'0/#/90 +4/,/8 )(&&$)(($+=$+#&*$8% # 2,&9*6&(: 0'#

∀ 92∈ J9 ℜ2$+2ℜ

$+ )*$# ∀ 92∈ J9)$) ℜ2 2ℜ

)&, * &*$)(# '#9$) % #, 06$#0# % #(' ,

&(0'(($(,8 )($#0$))/% #≤ (% #(' ,,8 )($#0$))/% #S

48 =$# ⇔ ∀ ∈ 9 ℜ4

4. 4 ⇔48 =$# (4∈

4. +% ⇔4 &(, %,+&% ('(0 &8 =$# )(&0

@ ; )& 9($+( % #(' )$) 1'0 (8 =$#/ 08 (+) 2$#) &+%/#' +#

"

#0# ,4'*$ # %@'-+ $#0# ,%@ 2/('-+

V Loi de composition interne (LCI) /3')'('$)

/3')'('$) /3')'('$) /3')'('$)

) 0 &(+) %%,'* ('$) 0 J1 #&

) 8 8 &(+) )&82, 8+)' 06+) !$(/ 9A

$+#8+)'#+) )&82, 06+) &(#+*(+# ,/2#'-+ 9',3 +(0/3')'#+) $+%,+&' +#& 1/#'3' )(+) * #(') )$82#

0 %#$%#'/(/&9-+' &$)(,& 4'$8 &0 , &(#+*(+# ,/2#'-+

"

" #$%#'/(/&/1 )(+ , #$%#'/(/&/1 )(+ , #$%#'/(/&/1 )(+ , #$%#'/(/&/1 )(+ , ,&06 ,&06 ,&06 ,&06 +) +) +) +)

9A &( &&$*' ('3 &'∀ 4979R∈ ^B94A 7AR . 4A7 AR 9A &(*$88+(('3 &'∀ 497∈ ^"94A7. 7A4

∈ &() +(# %$+# 9A &'∀4∈ 9 A4. 4A . 4 )$('$) 0 +*@ I0#$'(

' 9A %$&&F0 +) /,/8 )() +(#9*6&(+) 8 8 +)'3F#

' 9A &( &&$*' ('3 (+)'3F#9', &( %% ,/8$)$T0

)&+) 8 8 +)'3F#94∈ &(0'(&78/(#'&2,⇔ ∃46∈ 946A4. 4A46. )$('$) 0 +*@ I0#$'(

)&+) 8$)$T0 9, &78/(#'-+ 0 4A7 &(76A469 (, &78/(#'-+ 0 4 &(+)'-+ 0 8$

4∈ &(#/ +,' #⇔ ∀ 79R∈ J94A7. 4AR 7. R (7A4. RA4 7. R )$('$) 0 +*@ I0#$'(

)&+) 8$)$T0 9($+(/,/8 )(&78/(#'&2, . ')1 #&'2, &(#/ +,' # 0 8$

A &(0'&(#'2+('3 % ## %%$#(: ⇔ ∀ 4979R∈ ^B94A 7 R . 4A7 4AR (: 0#$'(

A &(*$8% ('2, 1 *ℜ ⇔∀ 497946976∈ 9 4ℜ7 (46ℜ76 4A46ℜ7A76

B B B

B !$(( !$(( !$(( !$(( '$)& 00'('1 & (8+, '$)& 00'('1 & (8+, '$)& 00'('1 & (8+, '$)& 00'('1 & (8+, ('%, ('%, ('%, ('%, '* ('1 & '* ('1 & '* ('1 & '* ('1 &

) )$(#++) &&$*' ('1 (*$88+(('1 ' 9P &(+)'3F#9$) )$(# E&$) /,/8 )() +(# ' 4 +) &78/(#'-+ 9$) , )$(# 4 >,6$%%$&/>

/3')'('$) 0 Σ4'. 4 P 4"P P 4)

) )$(# ×+) ,$' &&$*' ('1

' 9× &(+)'3F#9$) )$(# &$) /,/8 )() +(# ' 4 +) &78/(#'-+ 9$) , )$(# 4 >,6')1 #&>

/3')'('$) 0 Π4'. 4 4" 4)

8 #-+ ;47⁾≠4⁾7⁾0 )&, * & /)/# ,

$#%@'&8

3 ; →? &(+) 8$#%@'&8 %$+#A ( ⇔ ∀ 497∈ ^"93 4A7 . 3 4 3 7

$#&-+ ,6)&82, 0 0/% #( &(, 8H8 -+ ,6)&82, 06##'1/ 9 (-+ , ,$' &(, 8H8 9$) % #, 06)0$8$#%@'&8 + )0 3 &(2'= *('1 9$) % #, 06'&$8$#%@'&8

' 3 #/+)'(* &0 +4%#$%#'/(/&93 &(+) +($8$#%@'&8 ' 3 ( &$)(0 &8$#%@'&8 &93 ) &(+) 0 8$

D D D

D #( #( #( #( ' &(2,9, ' &(2,9, ' &(2,9, ' &(2,9, $' ')0+'( $' ')0+'( $' ')0+'( $' ')0+'(

$'( ⊂ 9 ( 9A +) 8 8

&(2, %$+#A⇔ ∀ 497∈ J94A7∈

,$' ')0+'( A *$)&#1 * #(') &0 &%#$%#'/(/&0 A

&&$*' ('1'(/9 $88+(('1'(/<&' . /,/8 )() +(# %$+#A ( ∈ ,$#& . /,/8 )() +(# %$+#A

' 3 &(+) 8$#%@'&8 0 9A 1 #& ?9 93 &(&(2, %$+# < @/#'( 0 &%#$%#'/(/&0 9A 0 )&3 0 8$&

(6)

" ! ! ! !

K

I L'ensemble des entiers naturels

#$%#'/(/&* # *(/#'&('-+ &, '/ &: , 6 $#0#

#$%#'/(/&* # (/#'&('-+ &, #$%#'/(/& # *(/#'&('-+ &, '/ &: , '/ &: , 6 6 $#0# $#0#

#$%#'/(/&* # *(/#'&('-+ &, '/ &: , 6 $#0#

; , 4'&( +) )&82, 0'( )&82, 0 & )(' #&) (+#,& 7 )(,&%#$%#'/(/&&+'1 )(&;

, &($#0$))/ #,('$) 06$#0# &()$(/ ≤ ,&+'(,&B 4'$8 &0 / )$

$+( % #(' )$) 1'0 0 +) %,+&% ('(/,/8 )(

$+( % #(' )$) 1'0 (8 =$#/ +) %,+& # )0/,/8 )(

,+' 8H8 )6 % &0 %,+& # )0/,/8 )(

!$(('$) ; E . ')

&(+) )&82, ($(,8 )($#0$))/ 0 8$

"

" + &&+# + &&+# + &&+# + &&+#

∀)∈ A9∃G )6∈ 9) U )6 (∀%∈ 9%≤) $+)6≤% 0 8$

6%%,'* ('$)σ; )∈ → σ) . )6∈ A &(+) 2'=*('$) 0 8$

!$(('$) ; .σE

B B B

B '&$)) 8 )(% ##/+##) '&$)) 8 )(% ##/+##) '&$)) 8 )(% ##/+##) '&$)) 8 )(% ##/+##)

@/$#F8 ; $'( ⊂ 9E∈ (∀)∈ 9)∈ σ ) ∈ ,$#& . 0 8$

#')*'% 0+# '&$)) 8 )(% ##/*+##)* 3'2,93$#(

II Ensembles finis, cardinal )&82,&

)&82,& )&82,&

)&82,&

))))

∀)∈ 9). M%∈ 9 ≤%≤) N

E. ∅ . M N

∀ )9% ∈ J9∃3; )→ %')=*('1 )≤% 0/8$)&(# ('$) % ##/*+##)* &+#)

$#$,,'#&; ∀ )9% ∈ J9∃3; )→ %&+#=*('1 %≤)

∀ )9% ∈ J9∃3; )→ %2'=*('1 ) . % 3; )→ ) ≤) ')=*('1 ,$#& ,, &(2'=*('1

0/8$)&(# ('$) R #2 % ##/*+##)* &+#)

$#$,,'# ; 3; )→ ) ≤) &+#=*('1 ,$#& ,, &(2'=*('1

"

" #0') , #0') , #0') , #0') ,

+4 )&82,&&$)(/-+'%$()(&&6', 4'&( +) 2'=*('$) 0+%#8' #0 )&, &*$)0 #,('$) 06/-+'%$()* &(

#/3,4'1 9&78/(#'-+ 9 ((# )&'('1 $) ) % #, % &0 #,('$) 06/-+'1 ,)* * #',)64'&( % &,6)&82, 0 &

)&82,&

&(3')'⇔ .∅$+∃)∈ A9 /-+'%$()(: )

' +) )&82, &(3')' ()$) 1'0 9∃G )∈ A9 /-+'%$()(: ) )$82# &( %% ,/, * #0') ,0 9)$(/V

B B B

B #$%#'/(/&; #$%#'/(/&; #$%#'/(/&; #$%#'/(/&;

∀ ⊂ 9)$) 1'0 ; 3')' ⇔ 8 =$#/

0/8$)&(# ('$) % ##/*+##)*

$'( ⊂ 9 3')'9 ,$#&; 3')'

V ≤V 0 8$&

V . V .

$#$,,'#&; ' +) )&82, &(/-+'%$()(: ,6+) 0 &&&$+& )&82,& 9 ≠ 9 ,$#& &(')3')'

&(?&$)(0 +4 )&82,&3')'&)$) 1'0 &9 (3; →? ' V . V ?9 ,$#& 9"9B &$)(/-+'1 ,)(&;

3')=*('1

(7)

" ! ! ! !

L

" 3&+#=*('1 0 8$&

B 32'=*('1

(+0 0 & )&82,&0/)$82# 2,&9*6&(: 0'# ) 2'=*('$) 1 *

$' 0 *$8%$&'( '$) ')(#) 0 )&

∀ )9% ∈ AJ9

$'( 3')' 0 * #0') ,)9 ( 3')' 0 * #0') ,%9 ( 0'&=$')(&

$) 0/8$)(# -+ ∪ &(3')'

$) 0/8$)(# -+ 6/-+'%$()(: ( 6/-+'%$()(: 9($+&0'&=$')(& 6∪ 6 &(/-+'%$()(: ∪ ) 0/3')'( ,$#&) P % . V ∪ &%#$%#'/(/&0 P 0/*$+,)(0 * ,,&0 ∪

∀ )9% ∈ AJ9

$'( 3')' 0 * #0') ,)9 ( 3')' 0 * #0') ,%9

$) 0/8$)(# -+ × &(3')'

$) 0/8$)(# -+ &' 6/-+'%$()(: ( 6/-+'%$()(: 9 ,$#& 6× 6&(/-+'%$()(: × ) 0/3')'( ,$#&)×% . V ×

,8 )() +(# ;

D D D

D $88 $88 $88 $88 (%#$0+'(0 )&+) 8$)$T (%#$0+'(0 )&+) 8$)$T (%#$0+'(0 )&+) 8$)$T (%#$0+'(0 )&+) 8$)$T 0 $88+(('3 0 $88+(('3 0 $88+(('3 0 $88+(('3

!$(('$)&;

∏

=

×

=

+ + +

=

n 1

i i 1 2 n

n n

1

i i 1 2

x ...

x x x

x ...

x x x

∀ ⊂ 9 3')'9V .

Σ

^χ ⁴

∀ 9 ∈ J9 V ∪ . V P V V ∩ 0 8$

∀ 9 9 ∈ ^B9 V ∪ ∪ . V P V P V V ∩ V ∩ V ∩ P V ∩ ∩ /)/# ,'&('$) ; @+8

K K K

K '1'&'$) +, '1'&'$) +, '1'&'$) +, '1'&'$) +, '0' )) '0' )) '0' )) '0' ))

@/$#F8 ;∀ 92 ∈ × A9∃G -9#∈ J9 . 2-P # (#U 2 0 8$; 4'&()* 9 ) %#) )(2. ') M494≡ - N<+)'*'(/

III Numération

& 0 )+8/# ( '$)

) 0/3')'(+) &7&(F8 0 )+8/# ('$) ) 2 & % #, 0$))/ 0 &782$,&-+' 1$)(#%#/&)(#($+&,& )(' #&

*$8%#'& )(# E (

@/$#F8 ;∀4∈ A9∃G )∈ (∃G 4E94 9 94) ∈ME9 9 9 N^)P94.

Σ

⁴^' ^' ⁽⁴⁾^≠^E

0 8$; 4'&()* 9% #0'1'&'$)& +*,'0' )) & ) # 3,&9 (+)'*'(/% #')/ ,'(/&1 #'/ &; ) . 8 %+'&4'. 7'

"

" 1 )( 1 )( 1 )( 1 )( &06 &06 &06 &06 +) &7&(F8 0 +) &7&(F8 0 )+8/# ('$) +) &7&(F8 0 +) &7&(F8 0 )+8/# ('$) )+8/# ('$) )+8/# ('$)

+,8 )( &782$,&

,) 4I,) P *@'33#&&+,8 )(%$+#/*#'# 4

$8% # '&$) ; $) # #0 , )$82# 0 *@'33#&%+'&$) +(','& ,6$#0# ,4'*$ # %@'-+ 0 8$

%/# ('$)&;

$88 $) &+%%$& ,&)$82# 0 *@'33#&/ +4 0 8$; 0'1'&'$)& +*,'0' )) &0 &4'P 7' (#()+ &; R'

#$0+'( 06+) )(' #% #+) *@'33# 0 8$; % #',9: % +0 *@$&&%#F&

B B B

B 7&(F8 &0 )+8/# ( 7&(F8 &0 )+8/# ( 7&(F8 &0 )+8/# ( 7&(F8 &0 )+8/# ( '$) $+# )(& '$) $+# )(& '$) $+# )(& '$) $+# )(&

'49 +49 +'(9 'R /(@$0 &0 *$)1 #&'$)&;

+'( 0 0'1'&'$)& +*,'0' )) &

,*+,0'#*(% #0/3')'('$) 0 ,6/*#'(+# 06+) )$82# ) 2 &

&% #('*+,' #&;

(8)

" ! ! ! !

O

'∃W∈ A9 6. ^W9 ,$#&$) 0/(#8') 0'#*(8 )(,&)$82#&0 , 2 & 6 '∃W∈ A9 . 6^W9 ,$#&$) 0/(#8') 0'#*(8 )(,&)$82#&0 , 2 & 6

4%$) )( ' ('$) # %' 4%$) )( ' ('$) # %' 4%$) )( ' ('$) # %' 4%$) )( ' ('$) # %'0 0 0 0

1 *, * ,*+,0 4⁷9$) #'&-+ 067 % &&#, (8%&0 7 8+,('%,'* ('$)&

/(@$0 ; 0/*$8%$&#7 ) 2') '#9 (* ,*+,#4^"AA% $5% . ,) 7 I,) " P ,$#'(@8

IV Analyse combinatoire

#0') ,0 , 6)&82, 0 &% #(' &06 +) )&

#0') ,0 , 6)&82, 0 &% #(' &06 +) )&82, 3')' 82, 3')' 82, 3')' 82, 3')'

@/$#F8 ; V . ) V . "⁾ 0 8$% ##/*+##)* &+#)9 ) 3'4 )(+) %$')(

@/$#F8 ; ' '∈ +) % #('('$) 0 3')'9 ,$#&;

∀'∈ 9' &(3')'

&(3')' V .ΣV '

0 8$; +(','&('$) 06+) 3$)*('$) ')=*('1 9-+' : ' &&$*' '

#')*'% 0 &2 # #&; ' 3∈? &(&+#=*('1 9 (-+ ∀7∈?93 M7N &(3')'9 ,$#&;

3')'

V .

Σ

^{V 3 M7N}

&% #('*+,' #; '∃W∈ A9∀4∈3 M7N. W9 ,$#&V . W V ? 0 8$06%#F&, %#/*/0 )(

"

" /)$82#8 )(0 , /)$82#8 )(0 , /)$82#8 )(0 , /)$82#8 )(0 , 6)&82 6)&82, 0 & %%, 6)&82 6)&82 , 0 & %%, , 0 & %%, , 0 & %%, '* ('$)&06 '* ('$)&06 '* ('$)&06 '* ('$)&06 +) )&82, 3')' 0 )&+) +(# +) )&82, 3')' 0 )&+) +(# +) )&82, 3')' 0 )&+) +(# +) )&82, 3')' 0 )&+) +(#

@/$#F8 ; (?3')'& ? 3')'9 (V ? . V ?^V

0 8$% ##/*+##)* &+#) . V 9 ) 3'4 )(+) %$')( %+'&2 # #&

B B B

B /)$82#8 )(0 , /)$82#8 )(0 , /)$82#8 )(0 , /)$82#8 )(0 , 6)&82, 06 6)&82, 06 6)&82, 06 6)&82, 06 ')=( ')=( ')=( ')=( '$)&06 '$)&06 '$)&06 '$)&06 +) )&82, 3')' 0 )&+) +(# +) )&82, 3')' 0 )&+) +(# +) )&82, 3')' 0 )&+) +(# +) )&82, 3')' 0 )&+) +(#

@/$#F8 ; (?3')'& V 9? . V ? G I V ? V G

0 8$% ##/*+##)* &+#) . V 9 ) 3'4 )(+) %$')( %+'&2 # #&

## ) 8 )(0 % $2=(&% #8' ) ; )%. % G I ) % G

/-+'%$()* 1 *,6)&82, 0 &')=*('$)&06+) )&82, : % /,/8 )(&0 )&+) +(# : ) /,/8 )(&

!$82# 0 *$82') '&$)&

$'( % . M ⊂ 9V . % N

)$82# 0 *$82') '&$)&0 % /,/8 )(&0 )&) &(/-+'%$()(: % 9$5V . ) 0 8$&)&#/*+##)* 2 # #&0 )&+) * & /)/# ,

) ; )%. )G

%G )X% G

#$%#'/(/&;

)E. )). 0 8$

)%. )) % 0 8$; ∈ → &(+) 2'=*('$)

)%. ) %P ) % 0 8$; $) 3'4 +) %$')(

#' ) , 0 &* ,

?$#8+, 0+2')Y8 0 ! Z($) ; P 2⁾.

Σ

⁾^% ^%²^{) %} 0 8$% ##/*+##)* &+#) 4 #*'* &,'/& +4# *') &)^{'F8 &}0 ,6+)'(/; ,*+,0

−

= p +

a E n

0 k

a pkn

C

^$5 ∈ME9 9% N

Σ

⁾^W^{. "}⁾

Σ

^W ⁾^W^{. E}

Σ

^W ⁾^W^{. ) "}⁾ ^{DIEQIEE ;}

Σ

^W ⁾^W^.

Σ

⁾ ^W ⁾^W^{$+0/#'1 (}^{'$) 0} ^P ⁾

Σ

⁾^W^J. ^")⁾ ^{DIEQIEE ;} ^P ^")9*$ 33'*' )(0 ⁾

(9)

B

Q

I Structure de groupe 4'$8 &0 , &(#+*(+#

4'$8 &0 , &(#+*(+#

) #$+% . )&82, 8+)' 06+) &&$*' ('1 9 1 */,/8 )() +(#9 ((,-+ ($+(/,/8 )( &(&78/(#'&2, ' , ,$' &(*$88+(('1 9, #$+% &(0'( 2/,' )

$)&/-+ )* &;

)'*'(/0+) +(#90+&78/(#'-+

' 46&(, &78/(#'-+ 0 494 &(, &78/(#'-+ 0 46

#$%#'/(/&;

$+(/,/8 )( &(#/ +,' # 0 8$ 1 *, &78/(#'-+

6/-+ ('$) >4 . 2> +) &$,+('$) +)'-+ ; 4. 2

!$(('$) ;

' , #$+% &( 2/,' ) ; )$(('$) 00'('1 ')$) ; )$(('$) 8+,('%,'* ('1

* )(# 06+) #$+% &(M ∈ 9∀2∈ 9 2. 2 N "

"

" 4 8%,& 4 8%,& 4 8%,& 4 8%,&

#$+% & 2/,' )&; 9P 9∆ A9×

#$+% &)$) 2/,' )&; )&82, 0 &% #8+(('$)&0 0 )& 9

B B B

B #$+% &3')'& #$+% &3')'& #$+% &3')'& #$+% &3')'&

!$('$) 0 (2, 0+ #$+%

)&*@ -+ ,' ) (0 )&*@ -+ *$,$)) 0 , (2,9 *@ -+ /,/8 )(0 %% # [( 4 *(8 )(+) 3$'&

0 8$;7→472'= *('1

' V . 9 . M N 4;M∅N9∆ ME N9 P

' V . "9 . M 9 N (2, 0+ #$+% '8%$&/ % #, 0/3')'('$) 0+ #$+% 4;M∅9 M4NN9∆ ' V . B9 . M 9 9 2N (2, 0+ #$+% / ,8 )('8%$&/ 4;M 9 =9 =J N9× < I) 9 P

∀)∈ A9U⁾. MR∈ 9 R⁾. N @ -+ U⁾ &(+) #$+% 2/,' ) 0 * #0') ,) ;× 0 8$

$#%@'&8 &0 #$+%

3 ; → 6&(+) 8$#%@'&8 0 #$+% &'∀ 49 7 ∈ J9 3 47 . 3 4 3 7 ( ( 6&$)(0 +4 #$+% &8+,('%,'* ('3&

#$%#'/(/&;

3 . 6 0 8$ 1 *3 6(, 3 '(-+ ($+(/,/8 )( &(#/ +,' # 3 4 . 3 4 0 8$% #* ,*+,0 3 4 3 4

*$8%$&/ 0 0 +48$#%@'&8 &0 #$+% &(+) 8$#%@'&8 0 #$+%

8 #-+ ; ' 3 ; → &(+) 8$#%@'&8 %$+# 9 (%$+# 9A9 ,$#&3 &(+) #$+% %$+#A

D D D

D $+& $+& $+& $+& #$+% & #$+% & #$+% & #$+% &

&(+) &$+& #$+% 0 &' ;

&(+) % #(' 0

&(2, % #, ,$' 0+ #$+%

&(+) #$+% %$+#, ,$' ')0+'( 0 * ,, 0

' &(+) &$+& #$+% 0 9 ',&$)(, 8H8 ) +(#9 (,&/,/8 )(&$)(,&8H8 &&78/(#'-+ &

0 8$;*#/ ('$) 06+) 8$#%@'&8 '0 )('(/0 #$+% 0 1 #&

@/$#F8 ; $'( +) % #(' 0 6&(+) &$+& #$+% &' (&+,8 )(&' ;

≠ ∅

&(2, 0 8$⇔

∀4∈ 9 4 ∈

$#$,,'# ; $'( +) % #(' 0 6&(+) &$+& #$+% &' (&+,8 )(&' ;

∀≠ ∅497∈ J9 47 ∈ 0 8$⇔

4; ). MR∈ 9 R⁾. N &(+) &$+& #$+% 0 A9×

8 #-+ ;0 )&+) #$+% 9 ',7 ($+=$+#& +8$')&0 +4&$+& #$+% &;M N9 (

(10)

B

E

!$(('$) ;) . M) W9 W∈ N

&&$+& #$+% &0 &$)(0 , 3$#8 ) 9 $5)∈ 0 8$ +(','&('$) 0 , 0'1'&'$) +*,'0' ))

'1'&'$) +*,'0' )) 0 )& 0 8$

$'( +) #$+% 8+,('%,'* ('39 ( ' '∈ +) 3 8',, 0 &$+& #$+% &0 ,$#&∩ ' &(+) &$+& #$+% 0 8$

' ' &(, 3 8',, 0 ($+&,&&$+& #$+% &0 *$)() )( 9 . ∩ ' &(, &$+& #$+% ) )0#/% # ) , )$( #

&% #('*+,' #; #M4N. M4⁾9 )∈ N #$+% 8$)$ F) &' ')3')' 9 $+*7*,'-+ &' 3')' 0 8$

' 3 ; → 6 &(+) 8$#%@'&8 0 #$+%

&(+) &$+& #$+% 0 3 &(+) &$+& #$+% 0 6 0 8$

6 &(+) &$+& #$+% 0 3 &(+) &$+& #$+% 0 ) %% ,, '8 0+8$#%@'&8 3 , &$+& #$+% 3 9 )$(/ 8 3

) %% ,, )$7 +0+8$#%@'&8 3 , &$+& #$+% 3 M 6N9 )$(/\ #3 3 &+#= *('1 ⇔ 8 3 . 6 0 8$

3 ')= *('1 ⇔\ #3 . M N 0 8$

II Structure d'anneau 4'$8 &0 , &(#+*(+#

4'$8 &0 , &(#+*(+#

)) +. )&82, 8+)' 0 0 +4 )$(/ &× (P 9 (,-+6',3$#8 +) #$+% 2/,' ) 1 *, P (-+ ,×&$'(

&&$*' ('39 0'&(#'2+('3 % ## %%$#( +P9 (-+6',%$&&F0 +) /,/8 )() +(#

4 8%,&; 9 P 9× 9∆ , ∩

"

" )) +06%%, )) +06%%, )) +06%%, )) +06%%, '* ('$)& '* ('$)& '* ('$)& '* ('$)&

' &(+) )) + ( +) )&82, )$) 1'0 9 &(+) )) + 0 8$

B B

B B , , , , +, +, +, +, &0 )&+) )) + &0 )&+) )) + &0 )&+) )) + &0 )&+) )) +

!$(('$)& 00'('1 & (8+,('%,'* ('1 &

#$%#'/(/&;

4Σ '.Σ4 '

Σ Σ ' 2=.

E . E . E 0 8$;* ,*+,0 EP2

2 . 2. 2 0 8$;* ,*+,0 2P2

2 * . 2 * ( 2 * . 2 * 0 8$;* ,*+,0 2 *P*

$+#+) )) +*$88+(('3 ;

?$#8+, 0+2')Y8

$88 0 &(#8 &06+) &+'( /$8/(#'-+ ; - ). +E -^)P 0 8$

$88 0 &(#8 &06+) &+'( #'(@8/('-+ ; . P " P B P P ) .) )P

"

". J P "J P BJ P P )J .) )P ") P K

B. ^BP "^BP B^BP P )^B.)J )P J /8$)&(# ('$) ;

)P ^!P . )^!P P !P )^!P

Σ

W .

!

!PW

)^WP

)^!P . ) ^!P P !P ) ^!P

Σ

W .

!

!PW

) ^WP

"^!P . ^!P P !P ^!P

Σ

W .

!

!PW WP

) &$88 )(* &/ ,'(/&9 $) $2(' )(;

)P ^!P . !P !P

Σ

W . )

!PW

WP ) P 6$5;

!. !P )P ^!P

Σ

W .

!

!PW W )

, /8 )(&')1 #&'2,&

, , /8 )(&')1 #&'2,& /8 )(&')1 #&'2,&

, /8 )(&')1 #&'2,&

4 &(')1 #&'2, &6', 4'&( 70 )& (,-+ 4 7. 7 4.

)&+) )) +9 ,&/,/8 )(&')1 #&'2,&3$#8 )(+) #$+% 8+,('%,'* ('3 0 8$

(11)

B

D D D

D '1'&+#&0 R/#$ '1'&+#&0 R/#$ '1'&+#&0 R/#$ '1'&+#&0 R/#$

4 &(+) 0'1'&+#0 E &' 4)$) )+, (', 4'&( 70 )& (,-+ 4 7. E ' +) )) + &(*$88+(('3 (&)&0'1'&+#&0 R/#$9 ', &(0'(')(F # 4 8%,&; 9 P9× &(')(F # < 9∆ , ∩)6&(% &')(F #

) /,/8 )(406+) )) + &()',%$()(&'∃)∈ 9 4⁾. E D

K K K

K $+& $+& $+& $+& )) +4 )) +4 )) +4 )) +4

&(+) &$+& )) +0 &'

&(2, %$+#P (×

+)' 0 &,$'&')0+'(&9 *6&(+) )) +

∈

&(+) &$+& )) +0 &'

∀≠ ∅497∈ J9 4 7∈

∀ 497∈ J9 4 7∈

∈

+, 9P 9× &(+) &$+& )) +0 0 8$

L L

L L $#%@'&8 06)) +4 $#%@'&8 06)) +4 $#%@'&8 06)) +4 $#%@'&8 06)) +4

3 ; → 6&(+) 8$#%@'&8 06)) +&'

∀ 49 7∈ J9 3 4P 7 . 3 4 P 3 7

∀ 49 7∈ J9 3 47 . 3 4 3 7

3 . 6

' 3 &(+) &$+& )) +9 ,6'8 0 ($+(&$+& )) +0 &(+) &$+& )) +0 6

III Corps

4'$8 &0 , &(#+*(+#

K &(+) *$#%&&' *6&(+) )) +%$+#" ,$'&9 (,-+ ∀4∈KC MEN9 4 08 (+) ')1 #&

4 8%,&;

K &(+) *$#%&⇔ K9P &(+) #$+% 2/,' ) KA9× &(+) #$+%

× &(0'&(#'2+('1 % ## %%$#(:P ' , ,$'× &(*$88+(('1 9 , *$#%& &(0'(*$88+(('3

"

" $+& $+& $+& $+& $#%& $#%& $#%& $#%&

K6 &(+) &$+&*$#%&0 K &' 0 3 K 6&(2, %$+#P (×

K 6 &(+) *$#%& 1 *,&,$'&')0+'(&

K6 &(+) &$+&*$#%&0 K&' %#$%

K 6≠ ∅

∀ 497∈K6J9 4 7∈K 6

∀ 497∈K 6AJ9 4 7 ∈K 6A

B B

B B $#%@'&8 0 $#%& $#%@'&8 0 $#%& $#%@'&8 0 $#%& $#%@'&8 0 $#%&

3 ;K→K6&(+) 8$#%@'&8 0 *$#%&&' *6&(+) 8$#%@'&8 06)) + 3K &(+) &$+& *$#%&0 K6

) 8$#%@'&8 0 *$#%& &(($+=$+#&+) %%,'* ('$) ')= *('1 0 8$ 1 *\ #3

'1'&+#&0 R/#$

) *$#%&*$88+(('3 ) *$)(' )(% &0 0'1'&+#&0 R/#$ 0 8$

$+( )) +*$88+(('39 ')(F # (3')' &(+) *$#%& D

(12)

! ?9

!!

"

! "# $

I Arithmétique de

&( +) )) + *$88+( ('3 ')(F # & &$+& #$+% & 00'('3& 0 &$)( 0 , 3$#8 ) 9 -+' &( &( 2, % #×8 '& * )6&( % & +) &$+& )) + &' )≠

B

$)&(#+*('$) 0

) 0/3')'( &+# J+) # ,('$) 06/-+'1 ,)* ; 9 2ℜ *9 0 ⇔ P 0. * P 2 ( 0 +4,$'& 0 *$8%$&'('$) ')( #) ; 9 2 P *9 0 . P *9 2P 0

9 2× *9 0 . * P 209 0P 2*

) 0/8$)(# -+ * & ,$'& &$)( *$8% ('2,& 1 *ℜ ) /(+0' ,$#& JIℜ. %$+# -+ ) &$'( +) % #(' 9 ( -+

,6$) # (#$+1 ,& )$( ('$)& @ 2'(+ ,,& %$+# 9 ')&' -+ ,6$%%$&/

'1'&'2', '(/

∀ 92∈ J92S ⇔ ∃-∈ 9 . 2-⇔ ⊂2

# ,('$) S &( #/3,/4'1 ( (# )&'('1 )$) )('&78/(#'-+ 0 )&

∀ 92∈ J92S ( S2⇔S S. S2S⇔ . 2 ; ( 2&$)( ,$#& 0'(& &&$*'/&

#$%#'/(/& ;

2S ( 2≠E ∃G-∈ 9 . 2- 0 8$

E S . E

2SE #' ) 0+ ($+( 2)6&( % & +) '1'& +# 0 ]/#$

9 9 9 0'1'& )( ($+=$+#&

' ) 0'1'& *@ -+ /,/8 )( 06+) +%,(9 ,$#& ) 0'1'& ($+( *$82') '&$) ,')/ '# 0 ,6+%,(

"

∀ 92∈ J9∃G0∈ 9

0S ( 0S2

∀*∈ 9 * S ( * S2⇔* S0 0 8$ 1 * ,6)& 82, 0 & *$82') '&$)& ,')/ '# & 0 92 /)/# ,'& ('$) 0 , 0/3')'('$) 0+

& % #('*+,' #& ; ∧E . S S ( ∧ . S S

,$'∧ &( &&$*' ('1 ( *$88+( ('1 9 ( ∧2. ∧2 0 8$&

,$#'(@8 06+*,'0 ; 0'1'&'$)& +*,'0' )) & ) # 3 ,& 0 8$

' 0. ∧29 ,$#&∀W∈ A9 SWS0. W ∧W2 0 8$ % # 0$+2, 0'1'&'$)

' W6∈ A &( +) 0'1'& +# 0 ( 0 29∃ 6926906∈ J× 9 . 6W69 2. 26W69 ( 0. 06W69 ,$#& 06. 6∧26 0 8$ (#F& 1 +

( 2&$)( %# 8' #& )(# +4 ⇔,6)& 82, 0 ,+#& 0'1'& +#& &( M 9 N

⇔ ∧2. 0 8$

/)/# ,'& ('$) ; %# 8' #& )(# +40 )& ,+# )& 82,⇔ ∧ "∧ ∧ ).

∧2. 0⇔ ∃ 69 26∈ J9 . 0 6 ( 2. 026 ( 6∧26.

@/$#F8 0 R$+( ;∀ 9 2∈ J9 ∧2. ⇔ ∃ +91∈ J9 + P 21. 0 8$

/)/# ,'& ('$)

$)&/-+ )* & ;

∀ 9 29 * ∈ ^B9 ∧2. ( ∧* . ∧2* . 0 8$

/)/# ,'& ('$) ; ∧2 . ∧2". . ∧2). ∧ Π2'.

& % #('*+,' # ; ∧2. ∀ )9 % ∈ J9 ⁾∧2^%.

@/$#F8 0 +&& ;∀ 9 29 * ∈ ^B9 S2* . ( ∧2. S* 0 8$

4( )&'$) ;∀ '9 = 9 'S* ( '∧ =. $+ ' . = Π 'S* 0 8$ % # #/*+## )*

(13)

! ?9

!!

B

B B

B B )(' #& '##/0+('2,& )(' #& '##/0+('2,& )(' #& '##/0+('2,& )(' #& '##/0+('2,&

&( '##/0+*('2,⇔ )6&( % & ')1 #&'2, ( ',)6 *$88 0'1'& +#& -+ 9 9 9

&( %# 8' #⇔ &( '##/0+*('2, ( ^ E

,7 +) ')3')'(/0 )$82# % #8' #& (( % #(' 0 &( 0/)$82# 2, ( ')3')' 0 8$ % # ,_2&+#0

? ∀) ^ 9∃W∈ A9 ∃ 9 "9 9 W ∈ A^W9∃ % 9 %"9 9 %W ∈ A^W" : " 0'&(')*(& ( %# 8' #&9 ) .Π%= =

0/8$ % # #/*+## )* 3$#( <+)'*'(/: ,6$#0# %#F& 0 & 3 *( +#&

/( #8') ('$) 0+ 0 0 +4)$82# & ) +(','& )( , ') 0 & 4%$& )(& 0 *@ -+ 3 *( +# %# 8' # ) &( %# 8' #⇔ I) &( +) *$#%& D ; (@/$#F8 *@')$'&

∀ 9 2∈ J9∃G8∈ 9 ∩2 . 8 8 &( ,$#& ∨2 0 8$

∨ &( &&$*' ('3 ( *$88+( ('3

4( )&'$) ;∀ 9 "9 9 ) ∈ ⁾9∃G8∈ 9∩ ' . 8

#$%#'/(/& ;

∀ 9 2∈ J9 ∧2 ∨2 . S 2S 0 8$ % # 0$+2, 0'1'&'2','(/

/( #8') ('$) 0+ 0 0 +4)$82# & ) +(','& )( , 40 & 4%$& )(& 0 *@ -+ 3 *( +# %# 8' #

II Le corps des rationnels

$)&(#+*('$) 0

)& × A9 $) 0/3')'( +) # ,('$)9 ( 0 +4 9 2ℜ 69 26⇔ 26. 62 9 2 P 69 26. 26P 629226 9 2× 69 26. 69 226

) 1/#'3' -+ ℜ &( +) # ,('$) 06/-+'1 ,)* 9 ( -+ ,& 0 +4 &$)( &&$*' ('1 &9 *$88+( ('1 &9 -+6,,&

%$&&F0 )( +) ) +(# 9 -+ × &( 0'&(#'2+('3 % # # %%$#( : P9 ( -+ ℜ &( *$8% ('2, 1 * P (×

)& × A Iℜ9 $) 0/3')'( ,& ,$'& -+$(' )( &+# ,& *,&& & -+6/-+'1 ,)* 6%%,'* ('$)9 -+' : +) *$+%, 92

&&$*' & *,&& &( 0$)* +) 8$#%@'&8 &+#= *('3 %$+# P (× 6&( 0$)* +) )) + *$88+( ('3 #9 $) % +( (#$+1 # +) ')1 #& : ($+( *$+%, )$) )+,9 0$)* *6&( 2' ) +) *$#%& *$88+( ('3 (( *$)&(#+*('$) &( 1 ,'0 %$+# )6'8%$#(

-+ , )) + ')(F # <$) *#// ,$#& &$) *$#%& 0 & 3# *('$)& ,$#& $) %$& . × A Iℜ9 ( $) '0 )('3' , *,&& 0

9 1 *

∀ 92∈ A× A9∃G 69 26∈ A× A9 9 2ℜ 69 26 ( 6∧26. 0 8$ 4'&( )* P +)'*'(/

*$+%, 69 26 &( 0'( '##/0+*('2,

& +, +($8$#%@'&8 0 &( ,6'0 )('(/ D

"

" ,('$) 06 ,('$) 06 ,('$) 06 ,('$) 06 $#0# $#0# $#0# $#0#

)& 9≤

)& 9 4≤7⇔7 4∈

$8% ('2','(/ 1 * ,& $%/# ( +#& 0 8$

F , 0 & &' ) & ; 47≤E⇔4 ( 7&$)( 0 &' ) *$)(# '# 0 8$

,+# 2&$,+ ;

S4S. E⇔4. E

S4P 7S≤S4SP S7S 0 8$ ) 3 '& )( %,') 0 * &

SS4S S7SS≤S4 7S 0 8$ 06%#F& , %#/*/0 )(

)& 9 I2≤*I0⇔E≤* 2 0 (( # ,('$) , 8H8 1 ,+# 0 1/#'(/-+ ,& -+ &$' )( ,& # %#/& )( )(& 0 &

# ('$)) ,& *@$'&'& ) 0/8$)(# -+ *6&( +) # ,('$) 06$#0# ($( ,

) *$#%& &( #*@'8/0' ) ⇔ ∀ 49 7∈ PA× 9∃)∈ 9 )4^ 7 0 3

⇔ ∀R∈ 9∃)∈ 9 ) ^ R 0 8$⇔

&( +) *$#%& *$88+( ('3 ($( ,8 )( $#0$))/9 0 )& ( #*@'8/0' ) 0 8$

III Le corps des réels

!/* &&'(/06 +) 4( )&'$) 0

* ##/0 , ,$) + +# 0 , 0' $) , 06+) * ##/0 *Y(/ &( "

(14)

! ?9

!!

# 4J. " )6 % & 0 &$,+('$) 0 )& 0 8$ 2&+#0 . M4∈ P9 4JU " N)6 % & 0 2$#) &+%/#' +# 0 8$ 2&+#0

"

" 4'&( )* 4'&( )* 4'&( )* 4'&( )*

, 4'&( +) )& 82, -+' &( +) *$#%& *$88+( ('39 ($( ,8 )( $#0$))/9 7 )( , %#$%#'/(/0 , 2$#)

&+%/#' +# *6&( : 0'# ($+( % #(' 8 =$#/ 08 ( +) 2$#) &+%/#' +#

8 #-+ ; $+( % #(' 8')$#/ 08 ( +) 2$#) ')3/#' +# 0 8$

K

$)&(#+*('$) 0 # * +4& *('$)& *$88 )` )( & $+1 #( &

& &( +) & *('$) *$88 )` )( $+1 #( ⇔

• &⊂ <& ≠ ∅<& ≠

• ∀ 49 7∈&× 9 7≤4 7∈&

• & )6 % & 0 %,+& # )0/,/8 )(

&( )&+'( 0/3')' % # ,6)& 82, 0 & & *('$)& *$88 )` )( & $+1 #( &9

( $) '0 )('3' *@ -+ /,/8 )( 0 : & . M4∈ 9 4U N 6$5 ⊂

B B B

B #$%# #$%#'/(/& 0 #$%# #$%# '/(/& 0 '/(/& 0 '/(/& 0 1'& : 1'& 0 , 1'& : 1'& 0 , 1'& : 1'& 0 , 1'& : 1'& 0 , 6 6 6 6 $#0# $#0# $#0# $#0#

,+# 2&$,+

)( #1 ,,& ; ⊂ 9 )$) )+,9 &( +) ')( #1 ,, 0 ⇔ ∀ 92∈ J9 ≤29∀4∈ 9 ≤4≤2 4∈ 0 8$ -+ ` *$## &%$)0: ')( #1 ,, 0+ (7% 9 2 $+ 29 $+ 9→9 (*

0#$'( )+8/#'-+

0#$'( )+8/#'-+ @ 1/ @ 1/ @ 1/ @ 1/

U * # . J ( E≤ J ( ≠E * # &')$) . ME N

)' 8 =$#/ )' 8')$#/ 0 8$ ; P +%

) %$& . ∪M ∞9 P∞N 0/3')'('$) 0 ,6$#0# ≤0 )&

)& 9 ($+( % #(' )$) 1'0 08 ( +) 2$#) &+%/#' +# ( +) 2$#) ')3/#' +#

0/3')'('$) 06+) ')( #1 ,, 0 &( , 8H8 -+6+) ')( #1 ,, 0

$'( +) ')( #1 ,, 0 * . )3 ( 0. +% *9 0⊂ ⊂ *9 0 0 8$

. ∞9 P∞

#$2,F8 0 & 0 )& ; ')0/( #8') ('$)&

D D D

D )&'(/0 )&'(/0 )&'(/0 )&'(/0 0 )& 0 )& 0 )& 0 )&

3 ; →

)→) &( +) 8$#%@'&8 ')= *('3 0/8$ % # #/*+## )* ) '0 )('3' 3 1 * 9 ( ) 1 * )

⊂ ⊂ ⊂ * # &( +) *$#%& *$88+( ('3

#*@'8/0' ) 0 8$ % # ,62&+#0 ; 8 =$#/ 0 )& a

#(' )('F# ;∀4∈ 9∃G)∈ 9 )≤4U )P 0 8$ ; 4'&( )* &+'1 )( , &' ) 0 4<+)'*'(/

&( 0 )& 0 )& 9 *6&( : 0'# ∀ 49 7∈ J94U 7 ∃#∈ 9 4U # U 7 0 8$

K K

K K $+& $+& $+& $+& #$+% & 00'('3& 0 #$+% & 00'('3& 0 #$+% & 00'('3& 0 #$+% & 00'('3& 0

∀ ∈ ; 9 . MW 9 W∈ N. #

$'( +) &$+& #$+% 0 9P 0'33/# )( 0 ME N

$'( . )3 ∩ PA

&' ^ E ,$#& &( 0 , 3$#8 0 8$

&' . E ,$#& &( 0 )& 0 )& 0 8$

& &$+& #$+% & 00'('3& 0 &$)( 0 0 +43$#8 & ; 0'&*# (& ; 0 , 3$#8

0 )& & 0 )&

(15)

! ?9

!!

D K

& &$+& #$+% & 8+,('%,'* ('3& 0 PA &$)( 0 0 +43$#8 & ; 0'&*# (& ; 0 , 3$#8

0 )& & 0 )& PA +(','& ('$) 0+ 8$#%@'&8 4%$) )(' ,

L L

L L ## ('$)) , ## ('$)) , ## ('$)) , ## ('$)) , & & & &

∀ 49 ) ∈ P× A9∃G7∈ P9 7⁾.4 0 8$ ) %# ) )( +% M(∈ PA9 (⁾≤4N<+)'*'(/

∀)∈ 9√)∈ ) &( , * ##/06+) )$82# )(' #

C &( 0 )& 0 )& ;∀ 49 7 ∈ J94U 7 ∃'∈ C 9 4U ' U 7 0 8$

O O O

O )& 82,& 0= * )(& )& 82,& 0= * )(& )& 82,& 0= * )(& )& 82,& 0= * )(&

/3 ( &$)( 0'(& 0= * )(&⇔

{

^∀_{∀ ε}^{≠ ∅}^⊂_{^ E9}⁹²⁽⁽^{∈ ×}_∃^⊂^{≠ ∅}₉₂⁹_{∈ ×}^≤² _{9 E U 2} _U_ε

@ ' ( &$)( 0= * )(&9 +% . )3 0 8$

(16)

D

K

% & $ '

I Définition et premières propriétés $' 0 *$8%$&'('$) 4( #)

$' 0 $8%$&'('$) 4( #) $' 0 $8%$&'('$) 4( #) $' 0 *$8%$&'('$) 4( #)

4 8%, ; %#$0+'( 06+) &+'( % # +) &* ,'#

) ,$' 0 *$8%$&'('$) 4( #) &+# +) )& 82, 0 0$8 ') 06$%/# ( +#&Ω &( +) %%,'* ('$) 0 Ω × 1 #&

"

" (#+(+# 06&% 1 ($#' , (#+(+# 06&% * 1 ($#' , (#+(+# 06&% * 1 ($#' , (#+(+# 06&% * 1 *($#' ,

$'(K+) *$#%& *$88+( ('39 ( +) )& 82,

&( +)K &% * 1 *($#' ,&6', &( 8+)' 06+) P ( ,, -+ 9 P &$'( +) #$+% 2/,' )9 ( 06+) 0 0$8 ') 06$%/# ( +#&K9 ( ,, -+

∀ λ9µ9 49 7∈KJ× J9

λ 4P 7 .λ 4Pλ 7

" λ + µ 4.λ 4Pµ 4 B λ . µ 4 . λ .µ 4

K 4. 4

4 8%,& ; &+'( & #/ ,,&9 9 J9 (*

$+( *$#%& &( +) &% * 1 *($#' ,&+# *@ *+) 0 & & &$+& *$#%&

K⁾ &( +)K &% * 1 *($#' ,

&( +)K &% * 1 *($#' ,9 $5 &( +) )& 82, ( +) &% * 1 *($#' , K &( +)K &% * 1 *($#' , 4 8%, ; ^{9 2}

& /,/8 )(& 06+) &% * 1 *($#' ,&$)( %% ,/& 1 *( +#&9 ( ,& /,/8 )(& 06+) 0$8 ') 06$%/# ( +#& &$)( %% ,/&

&* ,'# &

) ,F2# $+K ,F2# &( +)K &% * 1 *($#' ,%$+# P ( ( +) )) + %$+# P (×9 ( ,-+

∀ λ9 49 7∈K× J9λ 4×7 . λ 4 ×7. 4× λ 7 )$('$) 06,F2# *$88+( ('1

4 8%,& ; &( +) ,F2# *$88+( ('1

%$+# ($+( &$+& *$#%&K60 K9K &( +) K6 ,F2# *$88+( ('1

B B B

B $)&/-+ )* & 0 & 4'$8 & $)&/-+ )* & 0 & 4'$8 & $)&/-+ )* & 0 & 4'$8 & $)&/-+ )* & 0 & 4'$8 &

9 P &( +) #$+% ', &( )$) 1'0 <',*$)(' )( , 1 *( +# )+,9 ( *@ -+ /,/8 )( &$) &78/(#'-+

∀ λ9µ9 49 7∈KJ× J9

λ 4 7 .λ 4 λ 7

" λ µ 4.λ 4 µ 4 0 8$&

B E_K 4. E

λ 4. E ⇔ λ . E_K$+ 4. E

II Sous–espaces vectoriels /3')'('$)

/3')'('$) /3')'('$) /3')'('$)

⊂ < &( &( 2, %$+# , &'∀ λ9 4∈K× 9λ .4∈

?⊂ &( +) &$+& &% * 1 *($#' ,0 &'

• ? &( 2, %$+# P (

• ?9 8+)' 0 , ,$' ')( #) ')0+'( % # P ( 0 , ,$' 4( #) ')0+'( % # 9 &( +)K &% * 1 *($#' ,

"

" # (/ # (/ # (/ # (/#'& ('$) #'& ('$) #'& ('$) #'& ('$)

?⊂ &( +) &$+& &% * 1 *($#' ,0 &' 0 3

• ?≠ ∅

• ? &( 2, %$+# P

• ? &( 2, %$+#

$#$,,'# ; ?⊂ &( +) &$+& &% * 1 *($#' ,0 &' %#$%

• ? )$) 1'0

• ∀ λ9µ9 49 7∈KJ× ?J9λ . 4Pµ 7∈?

(17)

D

L

$#$,,'# ; ?⊂ &( +) &$+& &% * 1 *($#' ,0 &' %#$%

• ?≠ ∅

• ∀ λ9 49 7∈K× ?J9λ . 4P 7∈?

4 8%, ; ? . M 4 9 9 4) < 4 P P ) 4). E N$5 '∈K9 &( +) &$+& &% * 1 *($#' ,0 K⁾

? &( +) &$+& ,F2# 0 9 -+' &( +) K ,F2# 9 &' ; 0 3

• ? &( 2, %$+# P9×9

• ? &( +)K ,F2# %$+# ,& ,$'& ')0+'( &

• ∈?

? &( +) &$+& ,F2# &' %#$%

• ?≠ ∅

• ∀ λ9 49 7∈K× ?J9λ . 4P 7∈? ( 47∈?

• ∈?

4 8%, ; 6)& 82, 0 & &+'( & 2$#)/ &

B B

B B $+& $+& $+& $+& &% * & 1 ($#' , &% & 1 ($#' , &% & 1 ($#' , &% & 1 *($#' , & ) & ) & ) & ) )0#/& )0#/& )0#/& )0#/&

$'( ?' '∈ +) 3 8',, 0 &$+& &% * & 1 *($#' ,& 0 ,$#&∩?' &( +) &$+& &% * 1 *($#' ,0 b 0 8$

*( .∩?'$5 ?' '∈ &( , 3 8',, 0 & &$+& &% * & 1 *($#' ,& 0 *$)( ) )(

4 8%, ; *$82') '&$) ,')/ '# 0 )& ^B 0 8$

' . M4 9 9 4%N *( . M4∈ 9∃ 9 9 % ∈K^%9 4.

Σ

'4'N; ,6)& 82, 0 & *$82') '&$)& ,')/ '# &

' 4' '∈ &( +) 3 8',, 3')' 0 1 *( +#& 0 9 *( 4'9 ' . % . M4∈ 9∃ 9 9 % ∈K^%9 4.

Σ

'4'N ' 4' '∈ &( +) 3 8',, ')3')' 0 1 *( +#& 0 9 +) *$82') '&$) ,')/ '# 0 & 1 *( +#& 0 &( +) 1 *( +# 0 , 3$#8

Σ

λ'4'$5 λ' '∈ &( +) 3 8',, 0 &* ,'# & %# &-+ ($+& )+,&9 *6&( : 0'# & +,& +) )$82# 3')' 06)(# +4

&$)( )$) )+,&

4' &( +) &7&(F8 0 /)/# ( +#& 0 *( 4'<' . %

$88 0 &$+&

$88 0 &$+& &% * & 1 ($#' , &% & 1 ($#' , &% & 1 ($#' , &% & 1 *($#' , & & & &

*( ?∪ . ? P 0 8$

/)/# ,'& ('$) ; ? P P ?%. M7∈ 9∃ 4 9 9 4% ∈? × ×?%9 7.

Σ

4'N. *( ∪?'

D D D

D $+& $+& $+& $+& &% * & 1 ($#' , &% & 1 ($#' , &% & 1 ($#' , &% & 1 *($#' , & &+%%, & &+%%, & &+%%, & &+%%, /8 )( '# & /8 )( '# & /8 )( '# & /8 )( '# &

+4&$+& &% * & 1 *($#' ,& ? ( 0 &$)( &+%%,/8 )( '# & &'

• . ? P

• ?∩ . ME N

) )$( ,$#& . ?⊕

) 3 '(9 * & B %#$%$&'('$)& &$)( /-+'1 ,)( &9 &' ? ( &$)( 0 +4&$+& &% * & 1 *($#' ,& 0 . ?⊕

" ∀4∈ 9∃G 79 R∈?× 9 4. 7P R 0 8$

B ∀4∈ 9∃ 79 R∈?× 9 4. 7P R (∀ 79 R∈?× 9 7P R. E 7. R. E 6$5+) 2'= *('$) )(# ( ?×

$+( &$+& &% * 1 *($#' , 08 ( + 8$')& +) &+%%,/8 )( '#

III Applications linéaires /3')'('$)

/3')'('$) /3')'('$) /3')'('$)

3 ; → 6 &( ,')/ '# &'

• ∀ 497∈ J93 4P7 . 3 4 P 3 7

• ∀ 49λ ∈ ×K9 3 λ4 .λ 3 4 ' 3 ( &$)( ,')/ '# &9 3 &( ,')/ '#

' 3 &( +) '&$8$#%@'&8 9 3 &( +) '&$8$#%@'&8

4 8%, ;@$8$(@/(' 1 *($#' ,, . %%,'* ('$) ,')/ '# 3 0 0 )& 9 ( ,, -+ ∃ λ ∈K9∀4∈ 9 3 4 .λ 4

$)&/-+ )* & ; 3 E . E 3 4 . 3 4

∀ λ9µ9 49 7∈KJ× ?J9 3λ . 4 Pµ 7 .λ . 3 4 Pµ 3 7 P /)/# ,'& ('$) 3 &( +) 8$#%@'&8 06, F2# &' *6&( +) %%,'* ('$) ,')/ '# ( +) 8$#%@'&8 06)) +4

(18)

D

O

"

" %%,'* ('$)& ,')/ '# & ( &$+& %%,'* ('$)& ,')/ '# & ( &$+& %%,'* ('$)& ,')/ '# & ( &$+& %%,'* ('$)& ,')/ '# & ( &$+& &% * & 1 ($#' ,& &% & 1 ($#' ,& &% & 1 ($#' ,& &% & 1 *($#' ,&

' 3 ; → 6&( ,')/ '# 9 3 ? &( +) &$+& &% * 1 *($#' , 0 6 0 8$

3 ? 6 &( +) &$+& &% * 1 *($#' , 0 3 &+#= *('1 ⇔ 8 3 . 6

3 ')= *('1 ⇔\ # 3 . M N

4 8%, ;&' . ?⊕ 9 $) % +( *$)) [(# , *$8%$#( 8 )( 0 ? &' $) *$)) [( &$) *$8%$#( 8 )( &+# , & '8 & 0 &

/,/8 )(& 0 ? ( &+# * +4 0 0 8$

' 3 ; → 6&( ,')/ '# 9 ', 4'&( ? ( , -+ . ?⊕\ # 3 < ,$#&9 ,6%%,'* ('$) 0 ? 1 #& 8 3 -+' : 7 &&$*' 3 7 &( +) '&$8$#%@'&8 0 8$

B B B

B &% * 1 ($#' , $+ , F2# 06%%,' ('$)& ,')/ &% * 1 ($#' , $+ , F2# 06%%,' ('$)& ,')/ &% * 1 ($#' , $+ , F2# 06%%,' ('$)& ,')/ &% * 1 ($#' , $+ , F2# 06%%,' ('$)& ,')/ '# & '# & '# & '# &

) )$( 9 6,6)& 82, 0 & %%,'* ('$)& ,')/ '# & 0 0 )& 6 9 6 &( +)K &% * 1 *($#' , 0 8$

9 . &( +) K , F2# )$) *$88+( ('1 9 , %#$0+'( /( '( , *$8%$&'('$) 9 0'&(#'2+('1 % # # %%$#( : P ' 3 ( &$)( ,')/ '# & 0 1 #& 6( 0 61 #& 669 3 &( ,')/ '# 0 1 #& 669 (

8 3 ⊂ 8

\ # 3 ⊂\ # 3

3 . E⇔ 8 3 ⊂\ # 0 8$

0/&' ) ,6)& 82, 0 & +($8$#%@'&8 0 #$+% ')/ '#

#$= *( +#&

#$= ( +#& #$= ( +#&

#$= *( +#&

$'( . ?⊕

% ; → &( +) %#$= *('$) 0 &+# ? % # ,,F, 8 )( : &( 0/3')' ')&' ;

∀4∈ 9∃G 79 R∈?× 9 4 . 7P R<% 4 . 7

,$#& % &( ,')/ '# <8 % . ? <\ # % . <% % . 0 0 8$&

%∈ &( +) %#$= *( +# &' % % . % ,$#& . \ # 3 ⊕ 8 3 0 8$

(19)

K ? 9? 9 9 ! !

Q

( ) #" # #

I Familles libres, liées, génératrices

? 8',, & ,'2# &9 3 8',, & ,'/ &

) 3 8',, 3')' 4' '∈ % &( 0'( ,'2# &'

∀ 9 9 % ∈K ^%9Σ '4'. E ∀'∈ %9 '. E ) % #, +&&' 0 &7&(F8 0 1 *( +#& ,')/ '# 8 )( ')0/% )0 )(&

) 3 8',, 3')' 4' '∈ % &( 0'( ,'/ &' ,, )6&( % & ,'2# 9 *6&( : 0'# &'

∃ 9 9 % ∈K ^%9Σ '4'. E (∃'∈ %9 '≠E ) % #, +&&' 0 &7&(F8 0 1 *( +#& ,')/ '# 8 )( 0/% )0 )(&

!$('$)& &+# , & 3 8',, & ;

• ) &$+& 3 8',, 0 4_{' '∈} &( 0 , 3$#8 4_{' '∈c}$5c⊂

• ) &+# 3 8',, 0 4' '∈ &( 0 , 3$#8 4' '∈\$5 ⊂\

• +4 3 8',, & 4_{' '∈} ( 7_{' '∈c}&$)( 0'&=$')( & &' ∩c .∅ ( -+ ∀ '9 = ∈ ×c9 4'≠7=

• /+)'$) 0 0 +4 3 8',, & 0'&=$')( & *#/ ('$) 06+) 3 8',, &+# ,6)& 82, 06')0 4 \ . ∪c

• 0=$)*('$) 06+) /,/8 )( : +) 3 8',, $) =$+( +) ')0 4 -+' )67/( '( % & +0/% #(

• +%%# &&'$) 06+) /,/8 )( : +) 3 8',, , 3 8',, *#// %$+# )& 82, 06')0 4 C M'EN /)/# ,'& ('$)

$'( 4' '∈ +) 3 8',, ')3')' 0 1 *( +#& 0 ,, &( ,'2# &'

∀ λ' '∈ +) 3 8',, 0 &* , '# & %# &-+ ($+& )+,&9Σ λ'4'. E ∀'∈ 9λ'. E ) 3 8',, ')3')' &( ,'2# ⇔($+( &$+& 3 8',, 3')' &( ,'2#

$'( 4' '∈ +) 3 8',, ')3')' 0 1 *( +#& 0 ,, &( ,'/ &'

∀ λ' '∈ +) 3 8',, 0 &* , '# & %# &-+ ($+& )+,& 8 '& )$) ($+& )+,&9Σ λ'4'. E ) 3 8',, ')3')' &( ,'/ ⇔+) &$+& 3 8',, &( ,'/

4 8%, ; %%,'* ('$)& %+'&& )* & 0 )& ,6)& 82, 0 & %%,'* ('$)& %$,7)Y8 &

⊂ 9 ≠ ∅9 &( +) % #(' ,'2# $+,'/ &' , 3 8',, _∈ &( ,'2# $+,'/

4 8%, ;0 )&K ⁾9 ,6)& 82, 0 & 1 *( +#& '. δ 9'9δ"9'9 δ)9' &( ,'2#

#$%#'/(/&

$+( &$+& 3 8',, 06+) 3 8',, ,'2# &( ,'2# $+( &+#3 8',, 06+) 3 8',, ,'/ &( ,'/ 0 8$

1 *( +# )+, )6%% #(' )( = 8 '& : +) 3 8',, ,'2# 6', %% #(' )( : +) 3 8',, 9 ,, &( ,'/

)& +) 3 8',, -+' %,+& 06+) 1 *( +#9 , & 1 *( +#& &$)( ($+& 0'&(')*(& 0 +4 : 0 +4 b 0 8$

) 3 8',, &( ,'/ ⇔ ∃'E∈ 9 4'E∈ *(M4'9 '∈ C M'ENN 0 8$

4' '∈ &( ,'2# 9 (∃4∈ 9 4' '∈ ∪M4 N &( ,'/ 4∈ *(M4'9 '∈ N 0 8$

"

" ? 8', ? 8', ? 8', ? 8',, & /)/# (#'* &9 2 & & , & /)/# (#'* &9 2 & & , & /)/# (#'* &9 2 & & , & /)/# (#'* &9 2 & &

4' '∈ &( +) 3 8',, /)/# (#'* 0 &' . *(M4'9 '∈ N9 *6&( : 0'# &'

∀4∈ 9∃ λ' '∈ %# &-+ ($+& )+,&9 4 .Σ λι4'

4 8%, ;, & 3$)*('$)& %+'&& )* & /)F# )( , & %$,7)Y8 &

) 2 & 06+) &% * 1 *($#' , &( +) 3 8',, ,'2# ( /)/# (#'*

) 3 8',, &( +) 2 & 0 ⇔ ∀4∈ 9∃Gλ' '∈ %# &-+ ($+& )+,&9 4 .Σ λ'4' 0 8$

) %% ,, *$$#0$))/ & 06+) 1 *( +# 4 0 )& , 2 & 4' '∈ , 3 8',, λ' '∈

8 #-+ ;,6$#0# 0 & 1 *( +#& 3' +# )( 0 )& , 2 & &( '8%$#( )( -+ )0$) *$)&'0F# , & *$$#0$))/ & 0 1 *( +#&

& B /)$)*/& &+'1 )(& &$)( /-+'1 , )(& ;

• &( +) 2 &

• &( ,'2# 8 4'8 , *6&( : 0'# &' $) 7 =$+( +) /,/8 )(9 ,, )6&( %,+& ,'2# 0 8$&

• &( /)/# (#'* 8')'8 , *6&( : 0'# &' ,, % #0+) /,/8 )(9 ,, )6&( %,+& /)/# (#'*

B B

B B 4'&( )* 0 & 2 & & 4'&( )* 0 & 2 & & 4'&( )* 0 & 2 & & 4'&( )* 0 & 2 & &

' &( +) 3 8',, ,'2# 0 ( +) 3 8',, /)/# ('* 0 ( ,, & -+ ⊂ 9 ,$#& ', 4'&( +) 2 & 9 ( ,, -+

⊂ ⊂

$#$,, '# & ;

• ' ≠ME N9 *$8%$#( 0 & 2 & & 0 8$

(20)

K ? 9? 9 9 ! !

"E

• @/$#F8 0 , 2 & ')*$8%,F( ; ' &( +) 3 8',, ,'2# 0 ( +) 3 8',, /)/# ('* 0 9 &( +) 2 &

$+2' ) ', 4'&( 6+) &$+& 3 8',, 0 9 ( ,, -+ ∪ 6&$'( +) 2 & 0 8$

4'&( )* 0 &+%%,/

4'&( )* 0 &+%%,/8 )( '# & 8 )( '# & 8 )( '# & 8 )( '# &

' $) #/ ,'& +) % #('('$) 06+) 2 & 9 $) % +( ) )0# # 0 +4 &$+& &% * & 1 *($#' ,& &+%%,/8 )( '# & 0 8$

/*'%#$-+ ; ) #/+)'&& )( 0 +4 3 8',, & ,'2# & ( 0'&=$')( & 06+) 2 & 9 $) % +( *#/ # +) 2 & 9 &' , & &$+& &% * &

1 *($#' ,& ) )0#/& % # , & 0 +4 3 8',, & &$)( &+%%,/8 )( '# &

' ? ( ?"&$)( 0 +4 &+%%,/8 )( '# & 0 ?9 ,$#& ',& &$)( '&$8$#%@ & 0 8$ ) +(','& )( +) %#$= *('$)

D D D

D # (/#'& ('$) 06 # (/#'& ('$) 06 # (/#'& ('$) 06 # (/#'& ('$) 06 +) +) +) +) %%,'* ('$) ,')/ '# % # ,6 %%,'* ('$) ,')/ '# % # ,6 %%,'* ('$) ,')/ '# % # ,6 %%,'* ('$) ,')/ '# % # ,6 '8 '8 '8 '8 06 06 06 06 +) 2 & +) 2 & +) 2 & +) 2 &

@/$#F8 ; ' ( 6&$)( 0 +4K &% * & 1 *($#' ,&9 +) 2 & 0 ( 6+) 3 8',, -+ ,*$)-+ 0 1 *( +#& 60 8H8 )& 82, 06')0 4 9 ,$#&

∃G3∈ 9 69∀'∈ 9 3 2' . 26' 0 8$

3 &( ')= *('1 ⇔ 6 &( ,'2#

3 &( &+#= *('1 ⇔ 6 &( /)/# (#'* 0 8$&

3 &( 2'= *('1 ⇔ 6 &( +) 2 & 0 6

II Dimension

&% * 1 *($#' , 0 0'8 )&'$) 3')'

) &% * 1 *($#' , 0 0'8 )&'$) 3')' &( +) &% * 1 *($#' , -+' % +( H(# ) )0#/ % # +) 3 8',, 3')' 4 8%, ;K⁾

"

" 4'&( )* 0 2 & & 0 )& +) 4'&( )* 0 2 & & 0 )& +) 4'&( )* 0 2 & & 0 )& +) 4'&( )* 0 2 & & 0 )& +) &% * 1 ($#' , 0 0'8 )&'$) 3')' &% 1 ($#' , 0 0'8 )&'$) 3')' &% 1 ($#' , 0 0'8 )&'$) 3')' &% 1 *($#' , 0 0'8 )&'$) 3')'

&( +) &% * 1 *($#' , 0 0'8 )&'$) 3')' 9 )$) #/0+'( +&') , ($) 1 *( +# )+,

' &( +) 3 8',, ,'2# 0 ( +) 3 8',, /)/# ('* 0 ( ,, & -+ ⊂ 9 ,$#& ', 4'&( +) 2 & 9 ( ,, -+

⊂ ⊂

/8$)&(# ('$) ;$) /(+0' ,6)& 82, 0 & 3 8',, & ,'2# & *$)( )+ & 0 )& ( *$)( ) )(

$#$,, '# & ;

• ' &( +) 3 8',, /)/# ('* 3')' 0 9 ', 4'&( +) &$+& 3 8',, 0 -+' &$'( +) 2 & 0 0 8$

• $+( &% * 1 *($#' , 0 0'8 )&'$) 3')' )$) #/0+'( +&') , ($) 1 *( +# )+, 08 ( +) 2 & 3')'

• @/$#F8 0 , 2 & ')*$8%,F( ; ' &( +) 3 8',, ,'2# 0 ( +) 3 8',, /)/# ('* 0 9 &( +) 2 &

$+2' ) ', 4'&( 6+) &$+& 3 8',, 0 9 ( ,, -+ ∪ 6&$'( +) 2 &

B B B

B '8 )&'$) 06 '8 )&'$) 06 '8 )&'$) 06 '8 )&'$) 06 +) &% * 1 ($#' , 0 0'8 )&'$) 3')' +) &% 1 ($#' , 0 0'8 )&'$) 3')' +) &% 1 ($#' , 0 0'8 )&'$) 3')' +) &% 1 *($#' , 0 0'8 )&'$) 3')'

;∀ 4 9 4"9 9 4% ∈ ^%9∀ 79 7"9 9 7%P ∈ ^%P9∀=∈ %P9 7=∈ *( M4'9 '∈ %N ,$#& 7' '∈ %P &( ,'/

% # #/*+## )* &+# %

@/$#F8 ; $+( & , & 2 & & 06+) &% * 1 *($#' , 0 0'8 )&'$) 3')' 9 )$) #/0+'( +&') , ($) 1 *( +# )+,9 &$)( 3')' &

( $)( , 8H8 * #0') , 0 8$

' &( +) &% * 1 *($#' , 0 0'8 )&'$) 3')' 9 &' . ME N9 0'8 . E9 &')$)9 0'8 . V $5 &( +) 2 & 0 4 8%, ;0'8K⁾. ) <%$,7)Y8 & ) )0#/& % # , & 3$)*('$)& %+'&& )* & &$)( 0 0'8 )&'$) ')3')'

(( )('$) ;, )$('$) 0 0'8 )&'$) &( 0/% )0 )( 0+*$#%& 0 2 & ;

L/( )( +) &$+& *$#%& 0 K9 ( +)K &% * 1 *($#' ,9 $) 0'8L . 0'8LK 0'8_K L

@/$#F8 ; ' &( +) &% * 1 *($#' , 0 0'8 )&'$) 3')' 9 )$) #/0+'( +&') , ($) 1 *( +# )+,9 0'8 . )⇔ &( '&$8$#%@ :K⁾ 0 8$

$'( 0 0'8 )&'$) )≥ 9 ( 4' '∈ %+) 3 8',, 0 % 1 *( +#& 0

• ' ,, &( /)/# (#'* 9 %≥)9 ( &' % . )9 *6&( +) 2 &

• ' ,, &( ,'2# 9 )≤%9 ( &' % . )9 *6&( +) 2 &

'8 )&'$) 06 +) &$+&

'8 )&'$) 06 +) &$+& &% * 1 ($#' , &% 1 ($#' , &% 1 ($#' , &% 1 *($#' ,

' ? &( +) &$+& &% * 1 *($#' , 0 0 0'8 )&'$) 3')' 9 ,$#& 0'8 ?≤0'8 9 ( ? . ⇔0'8 ? . 0'8 0 8$

I Notions de logique

Sommaire