Skip to content

Commit

Permalink
Des corrections et ajout de la leçon 241.
Browse files Browse the repository at this point in the history
  • Loading branch information
Skyost committed Apr 26, 2024
1 parent 4eb58c5 commit 4985a23
Show file tree
Hide file tree
Showing 5 changed files with 482 additions and 6 deletions.
2 changes: 1 addition & 1 deletion content/latex/lecons/201.tex
Expand Up @@ -124,7 +124,7 @@
\begin{example}
La suite de polynômes réels $(r_n)$ définie par récurrence par
\[ r_0 = 0 \text{ et } \forall n \in \mathbb{N}, r_{n+1} : t \mapsto r_n(t) + \frac{1}{2} (t - r_n(t)^2) \]
converge vers $\sqrt{.}$.
converge vers $\sqrt{.}$ sur $[0,1]$.
\end{example}

\subsection{Espaces \texorpdfstring{$L_p$}{Lp}}
Expand Down
2 changes: 1 addition & 1 deletion content/latex/lecons/203.tex
Expand Up @@ -207,7 +207,7 @@
\begin{example}
La suite de polynômes réels $(r_n)$ définie par récurrence par
\[ r_0 = 0 \text{ et } \forall n \in \mathbb{N}, r_{n+1} : t \mapsto r_n(t) + \frac{1}{2} (t - r_n(t)^2) \]
converge vers $\sqrt{.}$.
converge vers $\sqrt{.}$ sur $[0,1]$.
\end{example}

\subsubsection{Étude d'équations différentielles}
Expand Down
2 changes: 1 addition & 1 deletion content/latex/lecons/209.tex
Expand Up @@ -80,7 +80,7 @@
\begin{example}
La suite de polynômes réels $(r_n)$ définie par récurrence par
\[ r_0 = 0 \text{ et } \forall n \in \mathbb{N}, r_{n+1} : t \mapsto r_n(t) + \frac{1}{2} (t - r_n(t)^2) \]
converge vers $\sqrt{.}$.
converge vers $\sqrt{.}$ sur $[0,1]$.
\end{example}

\subsubsection{Interpolation}
Expand Down
8 changes: 5 additions & 3 deletions content/latex/lecons/228.tex
Expand Up @@ -351,10 +351,12 @@

\reference{242}

\begin{theorem}[Bernstein]
\begin{theorem}[Bernstein]
On suppose $I = [0,1]$ et $f$ continue sur $[0,1]$. On note
\[ \forall n \in \mathbb{N}^*, \, \forall x \in [0,1], \, B_n(f)(x) = \sum_{k=0}^n f \left(\frac{k}{n}\right) b_n^k(x) \text{ avec } b_n^k(x) = \binom{n}{k} x^k (1-x)^{n-k} \]
\end{theorem}
\[ B_n(f) : x \mapsto \sum_{k=0}^{n} f\left(\frac{k}{n}\right) \binom{n}{k} x^k (1-x)^{n-k} \]
Alors,
\[ \Vert B_n(f) - f \Vert_\infty \longrightarrow_{n \rightarrow +\infty} 0 \]
\end{theorem}

\reference{304}
\dev{theoreme-de-weierstrass-par-la-convolution}
Expand Down

0 comments on commit 4985a23

Please sign in to comment.