From 5ffa011f24854202dcb00e1d3e89ad0a6472197c Mon Sep 17 00:00:00 2001 From: Anthony Debucquoy Date: Tue, 3 Jan 2023 11:29:03 +0100 Subject: [PATCH 1/7] mid chap3 --- src/math/calculus/chap2.md | 120 +++++++++++++++++++++++++++++++++++-- src/math/calculus/chap3.md | 108 ++++++++++++++++++++++++++++++++- 2 files changed, 221 insertions(+), 7 deletions(-) diff --git a/src/math/calculus/chap2.md b/src/math/calculus/chap2.md index b83ed0f..0b80494 100644 --- a/src/math/calculus/chap2.md +++ b/src/math/calculus/chap2.md @@ -12,19 +12,37 @@ La limite d'une fonction se note \\[\lim\limits_{x \to a}f(x) = b\\] ou \\[f(x) Pour considérer \\(f(x) \xrightarrow[x \to a]{} b\\) on demande que \\(a \in adh(dom(f))\\)[^adh] **Attention** la notation \\(\to \text{ et } \lim\\) ne sont pas les mêmes... -En effet, si \\(a \nin adh(dom(f))\\) alors f(x) tend vers b est vrai mais lim f(x) n'existe pas +En effet, si \\(a \notin adh(dom(f))\\) alors f(x) tend vers b est vrai mais lim f(x) n'existe pas +**ATTENTION**: pour l'examen! seul manière de le prouver +- Soient \\(A, B \subseteq \mathbb{R} \text{ et } B \subseteq A\\) + - Si \\(\lim\limits_{x\to a \\\\ x\in A}f(x) = b\\) + - Alors \\(\lim\limits_{x\to a \\\\ x\in B}f(x) = b\\) -### L'unicitée de la limite +**idée**: Pour \\(\lim\limits_{x \to a} f(x) = b\\), si \\(a \in dom(f)\\) alors, + - soit \\(\lim\limits_{x\to a} f(x)\\) n'éxiste pas + - soit \\(\lim\limits_{x\to a} f(x)\\) existe et vaut f(a) + +## Limites possibles + +\\[ + \lim\limits_{x \to \begin{cases}b \in \mathbb{R} \\\\ +\infty \\\\ -\infty\end{cases}}f(x) = \begin{cases}b \in \mathbb{R} \\\\ +\infty \\\\ -\infty\end{cases} +\\] + +### Unicitée de la limite - Soient \\(f : \mathbb{R} \to \mathbb{R} \quad a \in adh(dom(f)) \quad b_1, b_2 \in \mathbb{R} \cup \\{ - \infty , + \infty \\}\\) - Si \\(f(x) \xrightarrow[x \to a]{} b_1 et f(x) \xrightarrow[x \to a]{} b_2\\) - alors \\(b_1 = b_2\\) -- si \\(\exists (x_n), (y_n) \subseteq dom(f) \text{ tel que } x_n \to a \text{ et } y_n \to a \text{ et } f(x_n) \to b \text{ et } f(y_n) \to b' ( b \neq b' ) +- si \\(\exists (x_n), (y_n) \subseteq dom(f) \text{ tel que } x_n \to a \text{ et } y_n \to a \\) et \\(f(x_n) \to b \text{ et } f(y_n) \to b' ( b \neq b' )\\) - alors \\(\lim\limits_{x \to a}f(x)\\) n'existe pas -## l'adhérence +- S'il existe 2 ensembles \\(A_1, A_2\\) tel que + - \\(\lim\limits_{x \to a \\\\ x \in A_1}f(x) \text{ et }\lim\limits_{x \to a \\\\ x \in A_2}f(x)\\) existent et sont différentes, + - Alors \\(\lim\limits_{x\to a} f(x)\\) n'éxiste pas + +## Adhérence l'adherence d'un ensemble coorespond à l'ensemble lui meme uni avec les points adherents @@ -32,17 +50,109 @@ l'adherence d'un ensemble coorespond à l'ensemble lui meme uni avec les points - **L'adhérence** de E est l'ens noté \\(adh(E)\\) défini par - \\(adh(E) = \\{x \in \mathbb{R} \vert \exists (x\_n) \subseteq E \quad x\_n \to x\\}\\) -- **remarques** +- **Remarques** - \\(E \subseteq adh(E)\\) - \\(adh(E) \nsubseteq E\\) - Il peut arriver que \\(E = adh(E)\\) - Toutes les suites sont adh à \\(\mathbb{R}\\) et \\(adh(\mathbb{R}) = \mathbb{R}\\) +## Régles de calculus + +- Soient \\(f, g: \mathbb{R} \to \mathbb{R} \quad a\in adh(dom(f)) \quad b,c \in \mathbb{R}\\) + - Si \\(\lim\limits_{x \to a} f(x) = b \text{ et } \lim\limits_{x \to a} g(x) = c\\) + - Alors \\(\lim\limits_{x \to a} f(x) + g(x) = b + c\\) + - Alors \\(\lim\limits_{x \to a} f(x) * g(x) = b * c\\) + - Alors \\(\lim\limits_{x \to a} f(x) / g(x) = b / c (\text{si } c\neq 0)\\) + +- **Remarque** + - \\(dom(f+g) = dom(f) \cap dom(g)\\) + - \\(dom(f\*g) = dom(f) \cap dom(g)\\) + - \\(dom(f/g) = dom(f) \cap dom(g)\backslash \\{0\\}\\) ## Théorem de localité +Si nous regardons la fonction sur un interval pertinent pour étudier la convergence de cette fonction, nous pouvons en déduire la convergence en un point de cette fonction + - Soient \\(f : \mathbb{R} \to \mathbb{R} \quad a \in adh(dom(f)) \quad b \in \mathbb{R} \cup \\{-\infty , +\infty \\} \quad r > 0\\) - On a \\(\lim\limits_{x\to a} f(x) = b \text{ ssi } \lim\limits_{x\to a \\\\ x\in [a-r,a+r]} f(x) = b\\) +Notre définition devient alors \\(\forall (x\_n) \subseteq dom(f) \cap A \quad (x\_n \to a) \implies (f(x\_n) \to b) \text{ où } A =[a-r,a+r]\\) + +Ce qui veut dire que sur cet interval, nous pouvons y trouver une convergence vers un point. et par unicitée de a limite, si ce point converge, alors ce point converge peut import l'interval de la fonction! + +## Théorem d'exhaustivité + +Certaines fonctions ne nous permettent pas de connaitre la valeur d'une limite d'un simple coup d'oeuil. ou bien cette valeur peut être ambigue car est sur un "point jonction". +Nous utilisons alors le théorem d'exhaustivité. + +Le but est de poser plusieurs sous-ensemble du domaine qui ensemble forment le domaine lui même (exhaustif). et ensuite d'étudier la limite sur chaquns de ces ensembles + +par exhaustivitée nous verons si une seule limite ou si plusieurs limites sont présentes... dans le cas d'une seul limite, nous savons que notre limite existe. dans le cas contraire, notre limite n'éxiste pas +à cause de l'unicité de notre limite... + +- Soit \\(f: \mathbb{R} \to \mathbb{R} \quad a, b \in \mathbb{R} \quad A\_1, A\_2 \subseteq \mathbb{R}\\) + - on prend \\(r \in \mathbb{R} \text{ tq } r > 0 \\) et \\([a-r, a+r] \cup dom(f) \subset A_1 \cup A_2\\) + - Si \\(f(x) \xrightarrow[\substack{x \to a \\\\ x\in A_1}]{} b\\) et \\(f(x) \xrightarrow[\substack{x \to a \\\\ x\in A_2}]{} b\\) + +On peut également utiliser cette formule, plus précise dans certains cas: + +- Soit \\(f : \mathbb{R} \to \mathbb{R} \quad a\in \mathbb{R} \text{ tq } a \in adh(]-\infty , a[ \cap dom(f)) \text{ et } a \in adh(]a, + \infty [ \cap dom(f))\\) + - si \\(\lim\limits_{x\to a \\\\ x < a} f(x) \text{ et } \lim\limits_{x\to a \\\\ x > a} f(x)\\) existent, sont égales et valent f(a) + - alors \\(\lim\limits_{x \to a} f(x)\\) existe et vaut cette valeur commune + +## Théorem des valeurs intérmédiaires + +On sait que si dans l'interval d'une fonction, le début et la fin de cet interval sont de signes opposés, que nous trouverons au moins un point de la droite qui croisera l'axe des abscisses + +- Soient \\(f: [a, b] \to \mathbb{R}\\) une application continue tq \\(f(a) * f(b) < 0\\) + - Alors il existe \\(\xi \in ]a, b[ \text{ tq } f(\xi ) = 0\\) + +> Nous voyons l'importantce des hypothéses! Si la fonction n'est pas une application continue, ou que les signes ne sont pas opposés ou encore que nous regardons la fonction sur un autre ensemble. +> Alors le théorem ne serait pas forcément vrai! + +## Convergence dominée + +**Attention pour l'examen!!** + +La convergence dominée permet de comparer la limite d'une fonction (g(x)) pour en déduire la convergence d'une fonctione plus petit que sa valeur absolue diminuée d'un réel. + +- Soient \\(f, g: \mathbb{R} \to \mathbb{R} \quad a \in adh(dom(f)) \quad b \in \mathbb{R}\\) + - Supposons qu'il existe un réel \\(r > 0 \text{ tel que } [a - r, a + r] \cap dom(f) \subset Dom(g)\\) et \\(\forall x \in [a-r, a+r] \cap dom(f) \quad \vert f(x) - b \vert \leq g(x)\\) + - alors si \\( g(x) \xrightarrow[x \to a]{} 0, x \in A\\) + - On a \\(f(x) \xrightarrow[x \to a]{} b, x \in A\\) + +## La continuitée des fonctions + +On parle d'une fonction continue lorsque tout les points de cette fonction sont continue. +Un point d'une fonction est continue si celui-ci a une limite et que la valeur de cette limite est la valeur de la fonction en ce point + +On dit souvent que c'est une fonction qui se trace sans lever le crayon. mais c'est faux! +déjà cela dépend du domaine de la fonction + +- Soient \\(f: \mathbb{R} \to \mathbb{R} \quad a \in dom(f)\\) + - On dit que f est **continue en a** + - si \\(\lim\limits_{x\to a} f(x) = f(a)\\) + - (déf par suites) \\(\forall (x\_n) \subseteq dom(f) \quad x\_n \to a \implies f(x\_n) \to f(a)\\) + - On dit que f est **continue** + - si \\(\forall a \in dom(f) \quad f \text{ est continue en } a\\) + +Finalement, f est continue lorsque un point du domaine ne converge pas... c'est graphiquement lorsqu'il y a une cassure dans la fonction. mais si cette cassure apparait sur un point qui n'est pas dans le domaine, alors la fonction reste continue + +On note alors \\(\mathscr{C}(A, B) = \\{f:A\to B \vert f \text{ est une application continue }\\}\\)\ + +(ex: \\(f(x) = x^2 \qquad f \in \mathscr{C}(\mathbb{R}, \mathbb{R})\\)) + + +### Régles de calculs + +- Soient \\(f, g: \mathbb{R} \to \mathbb{R} \quad a\in dom(f) \quad a\in dom(g)\\) + - Si f et g sont continue en a + - Alors \\(f + g\\) est aussi continue en a + - Alors \\(f * g\\) est aussi continue en a + - Alors \\(f / g\\) est aussi continue en a (si \\(g(a) \neq 0\\)) + - Si f est continue en \\(a \in dom(f)\\) et g est continue en \\(f(a) \in dom(g)\\) + - alors \\(g \circ f\\) est continue en a + [^adh]:[L'adhérence](#ladhérence) + diff --git a/src/math/calculus/chap3.md b/src/math/calculus/chap3.md index 2ad934d..fedfb11 100644 --- a/src/math/calculus/chap3.md +++ b/src/math/calculus/chap3.md @@ -2,14 +2,118 @@ Une fonction \\( f : \mathbb{R} \to \mathbb{R}\\) est **dérivable** en un \\( a \in dom(f)\\) Si \\[ - \lim\limits_{x \to a \\\\ x \in dom(f) \\{a\\}} \frac{f(x) - f(a)}{x - a} \text{ existe } + \lim\limits_{x \to a \\\\ x \in dom(f) \backslash\\{a\\}} \frac{f(x) - f(a)}{x - a} \text{ existe } \\] Dans ce cas la dérivée de f en a est la valeur de \\(\lim\limits_{x \to a} \frac{f(x) - g(x)}{x - a}\\) -> Mais ceci require l'unicitee de la limite +> Mais ceci require [l'unicitee de la limite](./chap2.md#unicitée-de-la-limite) Donc \\(a \in adh(dom(f) \backslash \\{a\\}) \cap dom(f) \\) +Il faut qu'il existe \\((x\_n) \subseteq dom(f) \backslash \\{a\\} \text{ tq } x\_n \to a\\) (donc que a \\(\in dom(f)\\) ne soit pas un point isolé) + +## Notation + +Quand la dérivée est définie, on la note +- \\(f'(a)\\) +- \\(D\_x f(a)\\) +- \\(\partial \_x f(a)\\) + +- Si \\(f, g: \mathbb{R} \to \mathbb{R}\\) + - La **composée de f avec g** est la fonction \\((f \circ g)\\) définie par + - \\(f \circ g: \mathbb{R} \to \mathbb{R}: x \mapsto f (\circ g)(x) = f(g(x))\\) + - \\(dom(f \circ g) = \\{x \in \mathbb{R} \vert x\in dom(g) et g(x) \in dom(f)\\}\\) + +- Dérivée de composée de fonctions + - \\(\partial \_x (f(x)\vert \_{x = x} ) * \partial \_x g(x)\\) + +## Interpretation graphique + +Nous calculons donc la pente de la droite (\\(\frac{f(b) - f(a)}{b-a}\\)) + +Mais nous prenons des valeurs où \\(b \to a\\) donc nous avons une fonction tangeante à la fonction + +- La droite **Tangeante** est la droite + - de la pente \\(\partial f(a)\\) + - passant par \\((a, f(a))\\) + +Une equation cartésienne serait : \\(y = f(a) + \partial f(a)\*(x-a)\\) + +- ex: \\(f(x) = x ^ 3 \quad a = 1\\) + - \\(\partial f(x) = 3x^2 \quad \partial f(a) = 3\\) + +## Interpretation de l'hypothése + +- pour \\(a \in dom(f) \cap adh(dom(f) \backslash \\{a\\})\\) + - Si a \\(\notin adh(dom(f) \backslash \\{a\\})\\) + - alors \\(\exists r > 0 \quad [a-r, a+r] \cup dom(f) = \\{a\\}\\) + - On ne pourrait pas trouver la dérivée car pas assez de points proche de a + - Nous évitons juste d'avoir un point isolé + +## Régles de calculs + +- Soient \\(f, g: \mathbb{R} \to \mathbb{R}\\) deux fonctions dérivables en a et \\(a \in dom(f) \cap dom(g) \cap adh(dom(f)\backslash \\{a\\}) \cap adh(dom(f)\backslash \\{a\\})\\) + - Si \\(\partial (f+g)(a)\\) + - Alors \\(\partial f(a) + \partial g(a)\\) + - Si \\(\partial (f\*g)(a)\\) + - Alors \\(\partial f(a) * g(a) + f(a) * \partial g(a)\\) + - Si \\(\partial (f/g)(a)\\) + - Alors \\(\frac{\partial f(a) * g(a) - f(a) * \partial g(a)}{(g(a))^2}\\) + - Si \\(\partial (f\circ g)(a)\\) + - \\(\partial f(g(a)) * \partial g(a)\\) + +## Dérivés de fonctions de base + +- \\(\partial \_x (k) = 0 \quad k \in \mathbb{R}\\) +- \\(\partial \_x (x^n) = n * x ^{n - 1} \quad n \in \mathbb{Z}\\) +- \\(\partial \_x (x^\alpha ) = \alpha * x ^{\alpha - 1} \quad \alpha \in \mathbb{R}\\) +- \\(\partial \_x (cos(x)) = -sin(x) \\) +- \\(\partial \_x (sin(x)) = cos(x) \\) +- \\(\partial \_x (ln(x)) = 1/x\\) +- \\(\partial \_x (e^x) = e^x\\) + +## fonctions réciproques + +Une fonction réciproque est l'image d'une fonction "inverse" (retournée sur l'axe x et l'axe y) + +- On appelle g la **fonction réciproque** de f et on la note \\(f ^{-1}\\) (attention, différent de \\(\frac{1}{f}\\)) + - \\(\forall x, x' \in dom(f) \quad x \neq x \quad f(x) \neq f(x')\\) (donc f une fonction injective) + - \\(g: \mathbb{R} \to \mathbb{R} \quad y \mapsto (x \text{ tq } f(x) = g)\\) (est bien une fonction car f est injective) + - \\(\implies dom(g) = Im(f)\\) + - Pour ces fonction on sait que + - \\(\forall x dom(f) \quad g(f(x)) = x\\) + - \\(\forall y dom(g) \quad f(g(y)) = y\\) + +### Dérivée de fonctions réciproques + +\\[\partial f^{-1}(y) = \frac{1}{\partial f(f^{-1}(y))}\\] + +- Si \\(f: [a, b] \to \mathbb{R}\\) est injective et \\(c \in [a,b]\\) et f est dériable en c + - Alors \\(f^{-1}\\) est dérivable en \\(f(c)\\) et \\(\partial f^{-1}(c) = \frac{1}{\partial f(c)}\\) + +### Dérivée de arcsin + +\\(sin(x)\\) n'est pas injective. on ne peux donc pas prendre sa réciproque + +on se restrain donc à l'interval \\([\frac{-\pi}{2}; \frac{\pi}{2}] \to \mathbb{R}\\) alors sin(x) est injective et nous pouvons prendre sa réciproque + +cette fonction est appelée arcsin et est la fonction réciproque de sin +nous avons également arccos qui est la fonction réciproque de cos +ainsi que arctan qui est la fonction réciproque de arctan + +- donc \\(dom(arcsin) = Im(sin) = [-1, 1]\\) +- on a \\(\forall y \in [-1; 1] \quad sin(arcsin(y)) = y\\) +- on a \\(\forall x \in [\frac{-\pi}{2}; \frac{\pi}{2}] \quad arcsin(sin(x)) = x\\) + +On peut dériver les 2 cotés de l'équation sur [-1;1] et nous pouvons en déduire que +\\[\partial \_x arcsin(x) = \frac{1}{\sqrt{1 - y^2}}\\] +## Minimum et Maximum de fonctions + +**Rappel**: [Croissance et décroissance de fonctions](../ineq/sqrt.html#défintions) + +- Si f est croissante et dérivable en \\(a \in dom(f) \cap adh(dom(f) \backslash \\{a\\})\\) + - Alors \\(\partial f(a) \geq 0\\) + From 47d6b291c1d7cbfc5d56001c5dbce10c41ea4889 Mon Sep 17 00:00:00 2001 From: Anthony Debucquoy Date: Wed, 4 Jan 2023 15:44:11 +0100 Subject: [PATCH 2/7] finish cours, pas au propre --- src/math/calculus/chap3.md | 60 ++++++++++++++++++++++++++ src/math/calculus/chap4.md | 87 ++++++++++++++++++++++++++++++++++++++ 2 files changed, 147 insertions(+) diff --git a/src/math/calculus/chap3.md b/src/math/calculus/chap3.md index fedfb11..19c2739 100644 --- a/src/math/calculus/chap3.md +++ b/src/math/calculus/chap3.md @@ -12,6 +12,12 @@ Donc \\(a \in adh(dom(f) \backslash \\{a\\}) \cap dom(f) \\) Il faut qu'il existe \\((x\_n) \subseteq dom(f) \backslash \\{a\\} \text{ tq } x\_n \to a\\) (donc que a \\(\in dom(f)\\) ne soit pas un point isolé) +- On dit que f est dérivable sur \\(A \subseteq dom(f)\\) + - Si \\(\forall a\in A \quad a \in dom(f) \cap adh(dom(f) \backslash \\{a\\})\\) et f est dériable en a + +- si \\(f: \mathbb{R} \to \mathbb{R}\\) est dérivable en \\(a \in dom(f)\\) + - alors f est continue en a + ## Notation Quand la dérivée est définie, on la note @@ -115,5 +121,59 @@ On peut dériver les 2 cotés de l'équation sur [-1;1] et nous pouvons en dédu - Si f est croissante et dérivable en \\(a \in dom(f) \cap adh(dom(f) \backslash \\{a\\})\\) - Alors \\(\partial f(a) \geq 0\\) +- Si \\(f: [a,b] \to \mathbb{R}\\) une application continue sur [a,b] et dérivable sur ]a,b[ + - Si \\(\forall x \in ]a,b[ \quad \partial f(x) \geq 0\\) + - alors f est croissante sur [a,b] + +- Soit \\(f: \mathbb{R} \to \mathbb{R} \quad a\in dom(f)\\) + - a est un point **min** à f (ou f atteint son min en a) + - Si \\(\forall x\in dom(f) \quad f(x) \geq f(a)\\) + - Si \\(\partial f(a) = 0\\) et f est décroissante sur \\(]-\infty , a[\\) et f est croissante sur \\([a, +\infty [\\) + - a est un point **max** à f (ou f atteint son min en a) + - Si \\(\forall x\in dom(f) \quad f(x) \leq f(a)\\) +Ces points a ne sont pas forcément unique. on peut avoir plusieurs a minimum mais \\(f(a) = f'(a)\\) + +- Si a est un min/max de f et f est dérivable en a + - \\(\forall r > 0 \quad [a-r, a] \cap dom(f) \neq \emptyset \\) et \\(\forall r > 0 \quad [a, a+r] \cap dom(f) \neq \emptyset \\) + - alors \\(\partial f(a) = 0\\) + +- Si \\(\partial f(a) = 0 \text{ et } \partial ^2 f(a) > 0\\) + - alors \\(\exists r > 0 \quad \begin{align}& f \searrow \text{ sur } [a-r, a] \\\\ & f \nearrow \text{ sur } [a, a + r] \end{align}\\) + - d'où a est un point min de f sur [a-r, a+r] + - f est défini et dérivée 2 fois sur [a-e, a+e]\ (ou en général r < e) + + + +### Théorem de la moyenne + +Ce théorem décrit le fait que dans application continue, si nous prenons un interval [a,b] et regardons la pente entre a et b. nous pourons trouver un point qui à une valeur de dérivée égale à cette pente + +- Si \\(f: [a,b] \to \mathbb{R}\\) une application continue sur [a,b] et dérivable sur ]a,b[ + - alors il existe un \\(\xi \in ]a,b[\\) tq \\(f(b) - f(a) = \partial f(\xi ) (b-a)\\) +\\[ +\partial y(\xi) = \frac{f(b) - f(a)}{b-a} +\\] + + +## Dérivés multiples + +Il est possible de dériver la dérivée d'une fonction et ce à plusieurs reprise + +- Si \\(f: \mathbb{R} \to \mathbb{R}\\) + - On appelle la **fonction dérivée** la fonction \\(\partial f: \mathbb{R} \to \mathbb{R} \quad a \mapsto \partial f(a)\\) + - \\(dom(\partial f) = \\{a \in dom(f) \vert a \in adh(dom(f) \backslash \\{a\\}) \text{ et a est dérivée en a }\\}\\) + - si \\(a \in dom(\partial f) \cap adh(dom(\partial f) \backslash \\{a\\}\\) + - alors, on peut regarder si \\(\partial(\partial f)(a)\\) existe. + - Si c'est le cas, on appelle ca la dérivée seconde de f et on la note \\(\partial ^2 f(a)\\) + +- soit \\(k \in \mathbb{N}\\) si f possède k-1 dérivé sur un interval autour de \\(a \in dom(f) \text{ et } \partial ^{k-1} f\\) est dérivable en a + - alors, on dit que la dérivée \\(k^e\\) dans f en a existe et on la note \\(\partial ^k f(a) = \partial (\partial ^{k-1} f) f(a)\\) + +Définition par récurence + +\\[ + \partial ^0 f = f \\\\ + \partial ^k = \partial(\partial ^{k-1} f) +\\] diff --git a/src/math/calculus/chap4.md b/src/math/calculus/chap4.md index 56b320c..9818ffc 100644 --- a/src/math/calculus/chap4.md +++ b/src/math/calculus/chap4.md @@ -1 +1,88 @@ # Développement de Taylor + +Nous pouvons voir que + +\\[ + f(x) \approx f(a) + \partial f(a)(x-a) \\\\ + \Downarrow \\\\ + f(x) \xrightarrow[x \to a]{} f(a) +\\] + +attention, f continue en a n'impliques pas que f est dérivée en a + +Nous cherchons donc à éttendre ca affin d'avoir une approximantion de fonction avec un polynome et ainsi pouvoir effectuer des opérations de limites sur ces fonctions + +## Petit-o + +On veut que \\(f(x) - (mx+p) \\) tende vers 0 plus vite que x-a + +- g est une fonction ("qui converge plus vite vers 0 que x-a quand x \to a") + - g est un petit-o ("o()") de x-a + +- Soit \\(f: \mathbb{R} \to \mathbb{R} \quad a \in dom(f)\\) + - On dit que la droite d'équation \\(y = mx + p\\ est **tangeante au graph de f** + - si \\(f(x) - (mx + p)\\) est un o (petit-o) de (x-a) quand \\(x\to a\\) + - càd \\(\lim\limits_{x\to a} \frac{f(x) - (mx + p)}{x - a} = 0\\) et \\(f(a) - (ma+p) = 0\\) + +- g est un **petit-o** de \\((x-a) ^k \quad k \in \mathbb{N}\\) si + - \\(\frac{g(x)}{(x-a) ^k} \xrightarrow[x\to a]{} 0\\) et \\(g(a) = 0 \text{ si } a \in dom(g)\\) + - se note \\(f(x) = o((x-a)^k)\\) + +- Donc + - \\(g(x) = o(1) \implies g(x) \xrightarrow[x\to a \\\\ \neq]{} 0\\) et \\(g(a) = 0 \text{ si } a \in dom(g)\\) + - \\((x-a)^l = o((x-a)^k)\\) + - si \\(l > k\\) + +### Notation + +\\(o(x-a)\\) représente une fonction qui est un petit o de x-a quand x tends vers a qui peut changer à chauqes occurences de o(x-a) + +ca représente ce qui est négligeable pour une fonction quand sa limite tend vers 0 + +\\[ + f(x) = o(g(x)) \iff \lim\limits_{x\to +\infty } \frac{f(x)}{g(x)} = 0 +\\] + +- Soit \\(f: \mathbb{R} \to \mathbb{R} \quad a \in dom(f) \cap adh(dom(f) \backslash \\{a\\})\\) + - Alors f est dérivée en \\(a \iff \exists m,p \quad y=mx+p\\) est tangeant au graphe de f en \\((a, f(a))\\) + - Auquel cas \\(m = \partial f(a) \text{ et } p = f(a) - \partial f(a) * a\\) + +### Régles de calculs pour "o" + +- \\(o(x-a) + o(x-a) = (x-a)\\) +- si \\(f = o(x-a)\\) + - alors \\(f(x) \xrightarrow[x \to a]{} 0\\) +- \\(o(x-a) * o(x-a) = o(x-a)\\) + +## Continuitée de fonctions dérivables + +Comme vu dans le paragraphe sur [la continuitée des fonctions](./chap2.html#la-continuitée-des-fonctions) +Nous pouvons noter +- \\(\mathscr{C}(A;B) = \\{f:A \to B \text{ application } | f \text{ est continue en } A\\}\\) + +Ajoutons à cette notation: +- \\(\mathscr{C} ^1 (A;B) = \\{f: A\to B \text{ application } | f \text{ est dérivable sur A } \text{ et } \partial f \text{ est continue sur } A\\}\\) +- \\(\mathscr{C} ^k (A;B) = \\{f: A\to B \text{ application } | f^k \text{ est dérivable sur A } \text{ et } \partial^k f: A \to B \text{ est continue sur } A\\}\\) + +Comme les fonctions dérivables sur A sont continue sur A. On a: \\(\mathscr{C}^1(A;B) \subseteq \mathscr{C}^0 (A;B)\\) +De plus \\(\mathscr{C}^2(A;B) \subseteq \mathscr{C}^1(A;B) \subseteq \mathscr{C}^0 (A;B)\\) + +## Polynomes + +Nous cherchons à transformer notre fonction en un polynome + +\\[ +f(x) = P(x) + o((x-a) ^k) \quad P \in \mathbb{P}^{\leq k} = \\{P \text{ polynome } | \text{ deg } P \leq k\\} +\\] + +- Soit \\(f: \mathbb{R} \to \mathbb{R} \quad a \in dom(f) \cap adh(dom(f) \backslash \\{a\\}) \quad k \in \mathbb{N}\\) + - On dit que \\(P \in \mathbb{P} ^{\leq k}= \\{P \text{ polynome } | \text{ deg } P \leq k\\}\\) est un **Dévelopement de Taylor** de f en a d'ordre k + - Si \\(f(x) = P(x) + o((x-a)^k)\\) + +Si un Dévelopement de Taylor de f en a d'odre k existe alors il est unique. + +- Si \\(f: I \to \mathbb{R} \quad I \text { un interval } \quad a \in I \text{ sauf son bord } \quad k \in \mathbb{N} \\) et \\(f \in \mathscr{C} ^k (I; R)\\) + - Alors le D.T. de f en a d'ordre k est le Polynome: \\(\sum_{i = 0}^{k} \frac{\partial ^i f(a)}{i!} * (x - a)^i\\) + +- Si \\(f: I \to \mathbb{R} \quad I \text { un interval } \quad a \in I \text{ sauf son bord } \quad k \in \mathbb{N} \\) et f est k + 1 fois dérivable en I + - Alors \\(\forall x \in I \quad \exists \xi \in [a, x] \qquad f(x) = \sum_{i = 0}^{k} \frac{\partial ^i f(a)}{i!} * (x - a)^i + \underbrace{\frac{\partial k+1 f(\xi )}{(k+1) !} * (x - a)^{k+1}}\_{o((x-a)^k)}\\) From 457889f87f0a85e8074da3039965cd7f4e2c7722 Mon Sep 17 00:00:00 2001 From: Anthony Debucquoy Date: Thu, 5 Jan 2023 14:56:57 +0100 Subject: [PATCH 3/7] typo --- src/math/calculus/chap1.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/calculus/chap1.md b/src/math/calculus/chap1.md index 8b36582..4575057 100644 --- a/src/math/calculus/chap1.md +++ b/src/math/calculus/chap1.md @@ -22,7 +22,7 @@ Une [fonction](../logique/fonctions.md) est une relation qui à chaques élémen f: A \to B: x\mapsto y = x^2 \\] -**Atention, A n'est pas forcément le domaine** mais \\(f \subseteq A\\) Toujours +**Attention, A n'est pas forcément le domaine** mais \\(f \subseteq A\\) Toujours ### Le domaine d'une suite @@ -46,7 +46,7 @@ On dit qu'une suite est **majorée** ou **bornée supérieurement** / **minorée - \\((x\_n)\\) est **Décroissante** et **Non Minorée**, - Alors \\(x\_n \xrightarrow[n \to + \infty]{} - \infty\\) -- Soit \\((x\_n)\_{n\in I} \subseteq \mathbb{R}\\), si soit: +- Soit \\((x\_n)\_{n\in I} \subseteq \mathbb{R}\\): - On dit que \\((x\_n)\\) est **Bornée** si: - \\(\exists R\_1, R\_2 \in \mathbb{R} , \forall n \in I \quad R\_1 \leq x\_n \leq R\_2\\) - (équivalent à : ) \\( \exists R > 0, \forall n \in I \quad |x\_n| \geq R\\) From 7b4bfcf51ccb416549b22ee77f9c1711a9b60ce3 Mon Sep 17 00:00:00 2001 From: Anthony Debucquoy Date: Thu, 5 Jan 2023 20:40:10 +0100 Subject: [PATCH 4/7] adding method to resolve set --- src/math/calculus/chap1.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/math/calculus/chap1.md b/src/math/calculus/chap1.md index 4575057..4a73f6b 100644 --- a/src/math/calculus/chap1.md +++ b/src/math/calculus/chap1.md @@ -216,6 +216,16 @@ Pour construire une sous-suite, on pioche des éléments. mais: \\] - Alors, \\( (y\_n) et (z\_n)\\) sont des sous-suites **Exhaustives** de \\((x\_n) \text{ si } \varphi\_1(J\_1) \cup \varphi\_2(J\_2) = I\\) +## Méthode de résolution + +### Méthode du monome de plus haut degrés + +On divise numérateur et dénominateur par le même \\(n^i\\) de plus haut degré +Nous obtenons alors des limites plus faciles à gérer par rdc + +Dans le cas où les termes sont du type \\(a^n\\) alors on applique la même méthode pour +le |a| le plus grand + ## Notations le terme générale d'une suite est noté From e00d9282c341346dc06b8ff87965881c9a77adbe Mon Sep 17 00:00:00 2001 From: Anthony Debucquoy Date: Thu, 5 Jan 2023 23:34:42 +0100 Subject: [PATCH 5/7] fixup! adding method to resolve set --- src/math/calculus/chap2.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/calculus/chap2.md b/src/math/calculus/chap2.md index 0b80494..b994742 100644 --- a/src/math/calculus/chap2.md +++ b/src/math/calculus/chap2.md @@ -19,7 +19,7 @@ En effet, si \\(a \notin adh(dom(f))\\) alors f(x) tend vers b est vrai mais lim - Si \\(\lim\limits_{x\to a \\\\ x\in A}f(x) = b\\) - Alors \\(\lim\limits_{x\to a \\\\ x\in B}f(x) = b\\) -**idée**: Pour \\(\lim\limits_{x \to a} f(x) = b\\), si \\(a \in dom(f)\\) alors, +- **idée**: Pour \\(\lim\limits_{x \to a} f(x) = b\\), si \\(a \in dom(f)\\) alors, - soit \\(\lim\limits_{x\to a} f(x)\\) n'éxiste pas - soit \\(\lim\limits_{x\to a} f(x)\\) existe et vaut f(a) From ef5b2199007aae6911c26f7f2826093dc19edfad Mon Sep 17 00:00:00 2001 From: Anthony Debucquoy Date: Wed, 11 Jan 2023 10:31:01 +0100 Subject: [PATCH 6/7] adding rdc pour petit-o --- src/math/calculus/chap3.md | 2 +- src/math/calculus/chap4.md | 11 ++++++++++- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/src/math/calculus/chap3.md b/src/math/calculus/chap3.md index 19c2739..befd868 100644 --- a/src/math/calculus/chap3.md +++ b/src/math/calculus/chap3.md @@ -153,7 +153,7 @@ Ce théorem décrit le fait que dans application continue, si nous prenons un in - Si \\(f: [a,b] \to \mathbb{R}\\) une application continue sur [a,b] et dérivable sur ]a,b[ - alors il existe un \\(\xi \in ]a,b[\\) tq \\(f(b) - f(a) = \partial f(\xi ) (b-a)\\) \\[ -\partial y(\xi) = \frac{f(b) - f(a)}{b-a} +\partial f(\xi) = \frac{f(b) - f(a)}{b-a} \\] diff --git a/src/math/calculus/chap4.md b/src/math/calculus/chap4.md index 9818ffc..7eb84b7 100644 --- a/src/math/calculus/chap4.md +++ b/src/math/calculus/chap4.md @@ -49,10 +49,19 @@ ca représente ce qui est négligeable pour une fonction quand sa limite tend ve ### Régles de calculs pour "o" -- \\(o(x-a) + o(x-a) = (x-a)\\) - si \\(f = o(x-a)\\) - alors \\(f(x) \xrightarrow[x \to a]{} 0\\) - \\(o(x-a) * o(x-a) = o(x-a)\\) +- \\((x-a)^m = o((x-a)^n) (\text{ si } m > n)\\) +- \\(f(x) * o((x-a)^n) = o((x-a)^n)\\) +- \\(o((x-a)^n) + o((x-a)^n) = o((x-a)^n)\\) +- \\(o((x-a)^n) = o((x-a)^m) (\text{si } m \leq n)\\) +- \\(o((x-a)^n)^m = o((x-a)^{n * m})\\) +- \\(o((x-a)^n) = o(1) * (x-a)^n\\) +- \\(o(1) * (x-a)^n = o((x-a)^n)\\) +- \\(o((x-a)^n) * o((x-a)^m) = o((x-a)^{n + m})\\) +- \\(o((x-a)^n) * o((x-a)^n) = o((x-a)^n)\\) + ## Continuitée de fonctions dérivables From 27b327e3f904252c981d14f56d677184105ffbe3 Mon Sep 17 00:00:00 2001 From: Anthony Debucquoy Date: Wed, 8 Feb 2023 13:18:04 +0100 Subject: [PATCH 7/7] start math nouveau quadri --- src/SUMMARY.md | 2 ++ src/math/all/chap1.md | 14 ++++++++++++++ src/math/all/index.md | 3 +++ 3 files changed, 19 insertions(+) create mode 100644 src/math/all/chap1.md create mode 100644 src/math/all/index.md diff --git a/src/SUMMARY.md b/src/SUMMARY.md index 415cb36..72e475e 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -24,6 +24,8 @@ - [Limites de fonctions](./math/calculus/chap2.md) - [Dérivabilité des fonctions](./math/calculus/chap3.md) - [Développement de Taylor](./math/calculus/chap4.md) +- [Algèbre Linéaire](./math/all/index.md) + - [Espaces Euclidiens ?](./math/all/chap1.md) # Physique générale I - [Mecanique](./phys/meca/index.md) - [Chapitre 1](./phys/meca/chap1.md) diff --git a/src/math/all/chap1.md b/src/math/all/chap1.md new file mode 100644 index 0000000..36a77e9 --- /dev/null +++ b/src/math/all/chap1.md @@ -0,0 +1,14 @@ +# Titre à définir + +## Etudions \\( R^2 \\) + +- \\(R^2\\) est un ensemble tq \\( \\{ (a,b) \vert a \in \mathbb{R} \land b \in \mathbb{R} \\} \\) + +## Sous-Espaces Vectoriels + +- Soit \\(V \subseteq \mathbb{R} ^n\\) + - On dit que V est un **Sous-Ensemble Vectoriel** de \\(\mathbb{R}^n\\) ssi + 1) \\(V \neq \emptyset \\) + 2) \\(\forall v_1 \in V \quad \forall v_2 \in V v_1 + v_2 \in V \\) + 3) \\(\forall \lambda \in \mathbb{R} \quad \forall v \in V \lambda * v \in V \\) + diff --git a/src/math/all/index.md b/src/math/all/index.md new file mode 100644 index 0000000..de11613 --- /dev/null +++ b/src/math/all/index.md @@ -0,0 +1,3 @@ +# Algèbre Linéaire + +