
.
![[a,b]](http://latex.ilemaths.net/latex-1.tex?[a,b])
est un segment inclus dans
)
.

est un espace vectoriel normé.
I. Approximation par des fonctions en escaliers
Définition
Une application
![f:[a,b]\longrightarrow \mathbb{R}](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow \mathbb{R})
est dite en escaliers si et seulement si il existe une subdivision
)
de
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
tq

est constante sur chaque intervalle ouvert
![]x_k,x_{k+1}[](http://latex.ilemaths.net/latex-2.tex?]x_k,x_{k+1}[)
avec
Propriétés
1) Toute fonction en escaliers sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
est bornée sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
.
2) Toute combinaison linéaire de fonctions en escaliers sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
est une fonction en escaliers sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
.
3) Si

est une

algèbre normée, le produit de deux fonctions en escaliers sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
et à valeurs dans

est une fonction en escaliers.
4) La restriction d'une fonction en escaliers sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
à un segment
![[c,d]](http://latex.ilemaths.net/latex-2.tex?[c,d])
inclus dans
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
est une fonction en escaliers sur
![[c,d]](http://latex.ilemaths.net/latex-2.tex?[c,d])
.
5) Si
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F)
est en escaliers, il en est de même de la fonction :
![|f|:[a,b]\longrightarrow \mathbb{R}](http://latex.ilemaths.net/latex-2.tex?|f|:[a,b]\longrightarrow \mathbb{R})
,
|)
.
Théorème
Toute fonction
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F )
continue, est limite uniforme sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
d'une suite de fonctions en escaliers.
II. Approximation par des fonctions continues par morceaux
Définition
Une application
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F)
est dite continue par morceaux ssi il existe une subdivision
)
de
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
telle que pour tout
![k\in [|0,p+1|]](http://latex.ilemaths.net/latex-2.tex?k\in [|0,p+1|])
on ait:
. 
est continue sur
![]x_k,x_{k+1}[](http://latex.ilemaths.net/latex-2.tex?]x_k,x_{k+1}[)
.
. 
et

existent dans

.
Propriétés
1) Si
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F)
est continue par morceaux, alors elle ne présente sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
qu'un nombre fini de points de discontinuité (Réciproque est fausse en général).
2) Toute fonction
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F)
continue par morceaux est bornée sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
.
3) Toute combinaison linéaire de fonctions continues par morceaux
![f,g:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f,g:[a,b]\longrightarrow F)
est une fonction continue par morceaux.
4) Si

est une

algèbre normée, le produit de deux fonctions
![f,g:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f,g:[a,b]\longrightarrow F)
continues par morceaux est une fonction continue par morceaux.
5) La restriction d'une fonction
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F)
continue par morceaux à un segment
![[c,d]](http://latex.ilemaths.net/latex-2.tex?[c,d])
inclus dans
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
est une fonction continue par morceaux sur
![[c,d]](http://latex.ilemaths.net/latex-2.tex?[c,d])
.
6) Si
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F)
est continue par morceaux, il en est de même de la fonction :
![||f||:[a,b]\longrightarrow \mathbb{R}](http://latex.ilemaths.net/latex-2.tex?||f||:[a,b]\longrightarrow \mathbb{R})
,
Théorème
Toute fonction
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F )
continue par morceaux est limite uniforme sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
d'une suite de fonctions en escaliers.
III. Approximation par des fonctions continues et affines par morceaux
Définition
Définition
Une application
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F)
est dite affine par morceaux ssi il existe une subdivision
)
de
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
telle que

est affine sur chaque
)
.
Théorème
Toute fonction
![f:[a,b]\longrightarrow F](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow F )
continue est limite uniforme sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
d'une suite de fonctions continues et affines par morceaux.
IV. Approximation polynomiale
Ici
Théorème (1er Th. de Weierstrass)
Toute fonction
![f:[a,b]\longrightarrow K](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow K )
continue est limite uniforme sur
![[a,b]](http://latex.ilemaths.net/latex-2.tex?[a,b])
d'une suite de fonctions polynomiales.
Définition
On appelle polynôme trigonométrique de fonction

tq :

,
_{-n\leq k\leq n} \in \mathbb{C})
tq :

,
Remarque :
Un polynome trigonométrique s'exprime aussi comme suit :
Où
![(a_k)_{k \in \left[\hspace{-1ex}\left[\hspace{0.5ex} 0,n \hspace{0.5ex} \right]\hspace{-1ex}\right]} }](http://latex.ilemaths.net/latex-1.tex?(a_k)_{k \in \left[\hspace{-1ex}\left[\hspace{0.5ex} 0,n \hspace{0.5ex} \right]\hspace{-1ex}\right]} })
et
![(b_k)_{k\in \left[\hspace{-1ex}\left[\hspace{0.5ex} 1,n \hspace{0.5ex} \right]\hspace{-1ex}\right]} }](http://latex.ilemaths.net/latex-1.tex?(b_k)_{k\in \left[\hspace{-1ex}\left[\hspace{0.5ex} 1,n \hspace{0.5ex} \right]\hspace{-1ex}\right]} })
sont deux familles de complexes.
Théorème (2ème Th. de Weierstrass)
Toute fonction
![f:[a,b]\longrightarrow \mathbb{C}](http://latex.ilemaths.net/latex-2.tex?f:[a,b]\longrightarrow \mathbb{C} )
continue et

périodique est limite uniforme sur

d'une suite de polynomes trigonométriques.