Voir la source de Analyse non standard

En [[mathématiques]], et plus précisément en [[analyse (mathématiques)|analyse]], '''l'analyse non standard''' est un ensemble d'outils développés depuis 1960 afin de traiter la notion d'[[infiniment petit]] de manière rigoureuse. Pour cela, une nouvelle notion est introduite, celle d'objet standard (s'opposant à celle d'objet non standard), ou plus généralement de [[théorie des modèles|modèle]] standard ou de [[modèle non standard]]. Cela permet de présenter les principaux résultats de l'analyse sous une forme plus intuitive que celle exposée traditionnellement depuis le {{XIXe siècle}}.

== Historique ==
La naissance du [[calcul différentiel]] et infinitésimal au {{XVIIe siècle}} mena à l'introduction et à l'utilisation de quantités [[infiniment petit]]es. [[Gottfried Wilhelm Leibniz|Leibniz]], [[Leonhard Euler|Euler]] et [[Augustin Louis Cauchy|Cauchy]] en firent grand usage. Cependant, ils ne purent éclairer pleinement la nature même de ces infiniment petits. Leur usage disparut au {{XIXe siècle}} avec le développement de la rigueur en analyse, par [[Karl Weierstrass|Weierstrass]] et [[Richard Dedekind|Dedekind]].

Il fallut attendre la deuxième moitié du {{XXe siècle}} pour qu'une introduction rigoureuse des infiniment petits soit proposée. Après une approche due à [[Abraham Robinson]] en 1961, issue des travaux de la [[logique mathématique]] et utilisant la notion de [[théorie des modèles|modèle]], [[Wilhelmus Luxemburg]] popularisa en 1962 une construction (déjà découverte par [[Edwin Hewitt]] en 1948) des infiniment petits (et des autres [[nombre hyperréel|hyperréels]]) par une [[Ultraproduit|ultrapuissance]] de <math>\mathbb R</math><ref>Voir l'article d'André Pétry, [http://www.emis.de/journals/BBMS/Bulletin/sup961/petry.pdf « Balade en Analyse non standard sur les traces de A. Robinson »]{{pdf}}.</ref>{{,}}<ref>Cette méthode utilise l'''axiome de l'[[ultrafiltre]]'', version faible de l'[[axiome du choix]]</ref>, donnant ainsi naissance à une nouvelle théorie, ''l'analyse non standard''. En 1977, [[Edward Nelson (mathématicien)|Edward Nelson]] fournit une autre présentation de l'analyse non standard<ref>Laquelle est souvent jugée plus commode d'emploi pour l'enseignement : c'est par exemple le point de vue adopté par F. Diener et G. Reeb dans l'ouvrage cité en référence.</ref> – appelée IST (''{{Langue|en|Internal Set Theory}}'', c'est-à-dire « Théorie des ensembles internes » en anglais) – fondée sur l'[[Théorie des ensembles de Zermelo-Fraenkel|axiomatique de Zermelo-Frankel]] à laquelle est ajouté un nouveau prédicat : le prédicat standard. Le comportement de ce nouveau prédicat est fondé sur trois axiomes nouveaux :
# l'axiome d'idéalisation ;
# l'axiome de standardisation ;
# l'axiome de transfert.

Le sens du qualificatif standard donné par ces axiomes est celui d'objet appartenant à l'horizon perceptible, non standard comme étant au-delà de l'horizon perceptible. Un ensemble peut donc être [[Ensemble standard|standard]] ou non standard (on dit aussi charmé), il ne peut être les deux. Seront standard les objets usuels des [[mathématiques classiques]] (1, 2, <math>\pi</math>…). Les infiniments petits ou infiniments grands introduits seront non standard.

== Intérêt de l'analyse non standard ==

Il y a deux types d'applications : 
* il a été établi qu'un énoncé classique, possédant une démonstration dans le cadre de l'analyse non standard, était vrai dans le cadre des mathématiques classiques. La situation est tout à fait comparable à celle des mathématiciens d'avant 1800, qui s'autorisaient à utiliser les nombres imaginaires à condition que le résultat final soit bien réel. L'analyse non standard permet donc de donner de nouvelles démonstrations (souvent plus simples) de théorèmes classiques ;
* l'analyse non standard permet en outre de manipuler les concepts nouveaux de nombre infiniment petit ou d'infiniment grand qui ont posé tant de problèmes aux mathématiciens et qui avaient été bannis de l'analyse. Elle est donc plus générale que l'analyse classique, de même que l'analyse complexe est plus générale que l'analyse réelle ;
* cependant, l'analyse non standard a eu à ce jour peu d'influence. Peu de théorèmes nouveaux ont été mis au point au moyen de celle-ci, et pour le moment, elle constitue essentiellement une réécriture de l'ensemble de l'analyse au moyen de nouveaux concepts. Il convient de préciser qu'on ne saurait s'attendre à de nouveaux résultats en analyse élémentaire ; des applications intéressantes doivent être cherchées, par exemple, du côté de l'étude des  [[équation différentielle|systèmes différentiels]] « lents-rapides » et de leurs « canards »<ref>Voir à ce sujet le dernier chapitre du livre de F. Diener et G. Reeb cité en référence, ainsi que l'article de Nils Berglund, [http://images.math.cnrs.fr/Des-canards-dans-mes-neurones. ''Des canards dans mes neurones''], donnant un exemple d'application de l'analyse non standard à l'étude d'équations différentielles.</ref>.

== Les axiomes ==

* On se place dans le cadre de la [[théorie des ensembles]] de Zermelo-Fraenkel.
* Les objets ou les ensembles définis par cette théorie seront qualifiés d'internes ou classiques. C'est le cas de tous les objets et ensembles usuels que nous connaissons : <math>\pi, e, 2, \mathbb N, \mathbb R, \mathbb C</math>…
* On introduit un nouveau prédicat, étranger à la théorie de Zermelo-Fraenkel, et qui s'applique sur les ensembles et objets internes précédents. Un tel ensemble ou objet pourra être qualifié de standard ou de non standard. Par exemple, on pourra parler d'entier standard et d'entier non standard. Le mot « standard » n'est pas défini, pas plus que ne sont définis les mots « ensemble » ou « appartenance ». Ce sont ce qu'on appelle des notions primitives. On explique seulement la façon dont on peut utiliser cette nouvelle notion, au moyen des axiomes qui suivent.

=== Axiome d'idéalisation ===

{{Article détaillé|Principe d'idéalisation}}
Soit R(x, y) une [[Relation binaire|relation]] « classique ». Par relation classique, on entend une relation ne faisant pas intervenir le nouveau prédicat « ''standard'' » dans son énoncé. Il s'agit donc d'une relation usuelle de nos mathématiques de tous les jours.

L'axiome d'idéalisation affirme que les deux propositions suivantes sont équivalentes :

# Pour chaque ensemble '''standard fini''' F, il existe x (noté dans la suite <math>x_F</math>) tel que R(x, y) pour tous les y appartenant à F ;
# Il existe x tel que R(x, y) pour tout y '''standard'''.

L'axiome signifie que, pour trouver un x qui vérifie une propriété relative à tous les y standard, il suffit qu'on puisse trouver un tel x relatif aux éléments y de n'importe quel [[ensemble standard]] fini.

==== Exemple 1 : Il existe un entier supérieur à tous les entiers standard ====

Nous voulons montrer que : il existe x entier, tel que, pour tout y standard entier, x > y. Soit donc R(x, y) défini par : x est entier et y est entier et x > y.
La proposition 1 de l'axiome d'idéalisation est bien vérifiée : si F est fini, il existe bien un entier x supérieur aux entiers y éléments de F. Par conséquent, l'axiome d'idéalisation énonce que la proposition 2 est aussi vérifiée et celle-ci correspond à notre énoncé.

Il existe donc un entier x supérieur à tous les nombres entiers standard. Cet entier sera donc non standard, sinon, il serait supérieur à lui-même. Nous venons donc de montrer qu'il existe au moins un entier non standard.

Les entiers supérieurs à x sont ''a fortiori'' non standard, sinon, x leur serait supérieur. Pour cette raison, dans l'ensemble <math>\mathbb N</math> des entiers, les entiers non standard sont également qualifiés d'inaccessibles, ou d'illimités, ou d'infiniment grands. Le terme « illimité » étant mal adapté, nous préférons donc le terme d'inaccessible ou d'infiniment grand. Les entiers non standard sont aussi appelés hypernaturels.

==== Exemple 2 : Tout [[ensemble infini]] possède un élément non standard ====
Considérons la relation x différent de y dans un ensemble E infini. Pour chaque partie finie standard F, il existe un élément x noté <math>x_F</math> appartenant à E tel que x soit différent de y pour tout y appartenant à F, puisque E est infini.

L'axiome d'idéalisation fournit alors l'existence d'un élément x appartenant à E et différent de '''tous''' les éléments '''standard''' y appartenant à E ; x est évidemment non standard.

On en déduit la propriété suivante :
:Dans tout ensemble infini, il existe au moins un élément non standard.

et par [[Proposition contraposée|contraposition]] :

: Si tous les éléments d'un ensemble sont standard, cet ensemble E est fini.

==== Exemple 3 : Théorème de Nelson ====

Ce théorème énonce que, si E est un ensemble, il existe une partie finie X de E contenant tous les éléments standard de E. Cependant, on ne peut en conclure que les éléments standard d'un ensemble quelconque ont une cardinalité finie, puisque les éléments standard ne constituent pas un ensemble. On définit pour cela la relation R(X, y) suivante : X est inclus dans E, X est fini et si y est élément de E, alors y est élément de X.

La proposition 1 de l'axiome d'idéalisation est bien vérifée pour toute partie finie F (standard ou non d'ailleurs) en prenant pour X l'intersection de F et E. Par conséquent, la proposition 2 de l'axiome d'idéalisation permet de valider le théorème de Nelson.

La partie X donnée par l'axiome est une partie interne ou classique. Elle ne se limite pas nécessairement aux seuls éléments standard de E, car, a priori, la collection des éléments standard, définie à partir de la relation non classique « être standard » est un objet externe, c'est-à-dire étranger aux mathématiques usuelles. En effet, la relation « être standard » ne fait pas partie des relations auxquelles s'appliquent les axiomes de ZFC, ce qui veut dire qu'il n'existe pas d'ensemble ne contenant que les entiers standard. Ainsi, dans les entiers, un ensemble X contenant tous les entiers standard est de la forme {0, 1, 2, …, ''n''} avec ''n'' non standard, et cet ensemble contient aussi des entiers non standard.

=== Axiome de transfert ===

Dès que tous les paramètres <math>E_i</math> d'une formule classique F ont des valeurs standard :

<center>Pour tout x standard, F(x, <math>E_1</math>, …, <math>E_n</math>) si et seulement si pour tout x, F(x, <math>E_1</math>, …, <math>E_n</math>)</center>

Autrement dit, pour vérifier qu'une formule usuelle dépendant de paramètres standard est vraie pour tout x, il suffit de la vérifier pour tout x standard. Intuitivement, nous ne pouvons accéder qu'aux éléments standard, et ce sont eux qui nous permettront de vérifier une formule classique. Cet axiome peut aussi s'exprimer (par négation) : 

<center>Il existe x standard, F(x, <math>E_1</math>, ..., <math>E_n</math>) si et seulement s’il existe x, F(x, <math>E_1</math>, ..., <math>E_n</math>)</center>

Si une propriété classique est vraie pour un x, alors elle est vraie pour un x standard. En voici quelques conséquences. La plus importante est le fait que si un objet mathématique est défini de façon classique de manière unique à partir d'objets standard, il est nécessairement standard. C'est donc le cas de <math> \varnothing, 0, 1, 2, \pi, e, i, \mathbb N, \mathbb R^n</math> pour ''n'' standard. De même, si E et F sont des ensembles standard, il en est de même de leur intersection, de leur réunion, de leur produit, de l'ensemble des applications de E dans F, de l'ensemble des parties de E. Si ''a'' et ''b'' sont deux nombres standard, il en est de même de ''ab'', ''a''+''b'', ''a''–''b'', ''a''/''b'', etc. Si ''n'' est standard, il en est de même de ''n''+1 ou de I<sub>''n''</sub> = {1, ..., ''n''}. Si A est une partie standard de <math>\mathbb R</math> bornée, Sup A et Inf A sont standard. Si f est une fonction standard (c’est-à-dire définie sur des ensembles standard et de graphe standard), alors l'image d'un élément standard est standard.

Enfin, cet axiome permet de montrer que, pour voir que deux ensembles standard sont égaux, il suffit de vérifier qu'ils possèdent les mêmes éléments standard. Ainsi, la seule partie standard de <math>\mathbb N</math> contenant tous les entiers standard est <math>\mathbb N</math> lui-même. Par contre, il existe des parties non standard contenant tous les entiers standard, à savoir les parties {0, 1, 2, ..., ''n''} avec ''n'' non standard.

=== Axiome de standardisation ===

{{Article détaillé|Principe de standardisation}}
Soit E un ensemble standard, soit P une propriété quelconque, faisant ou non intervenir le postulat « ''standard'' ». Alors :

<center>Il existe un ensemble A standard tel que pour tout x standard, x appartient à A si et seulement si x appartient à E et vérifie P(x)</center>

Cet axiome ne présente d'intérêt que si la propriété P est non classique (elle utilise le postulat « ''standard'' »). L'ensemble A n'est autre qu'un ensemble standard dont les éléments standard sont les éléments standard de E vérifiant la propriété P. Il se peut que A possède d'autres éléments, mais ils seront non standard. Par ailleurs, un ensemble standard étant défini de manière unique par ses éléments standard, il en résulte que A est unique. On l'appelle le standardisé de la collection {''x'' élément de E | P(''x'')} qui, a priori, n'est pas un ensemble au sens ZFC. L'interprétation intuitive qu'on peut donner à cet axiome est le suivant : la collection {''x'' élément de E | P(''x'')} ne nous est pas directement accessible. Nous ne pouvons concevoir que son standardisé. Nous insistons sur le fait que, si la propriété P utilise le postulat « ''standard'' », cette propriété est étrangère à l'axiomatique de Zermelo-Fraenkel (puisque le mot « ''standard'' » ne fait pas partie de cette axiomatique), et donc que la collection {''x'' élément de E | P(''x'')} n'est pas un ensemble au sens de Zermelo-Fraenkel, c'est pourquoi nous la qualifions de collection (plus techniquement, la propriété P n'est pas nécessairement [[v:Ensemble (mathématiques)/Définitions#Prédicat collectivisant|collectivisante]], et la notation {''x'' élément de E | P(''x'')} est formellement aussi illégale que le serait, par exemple, {''x'' | ''x''=''x''} pour désigner l'ensemble de tous les ensembles).

Par exemple, considérons E = <math>\mathbb N</math>, et P(''x'') la propriété ''x'' est standard. La collection {''x'' élément de E | P(''x'')} est la collection des éléments standard. Son standardisé est un ensemble standard contenant tous les éléments standard de <math>\mathbb N</math>. Nous avons déjà vu qu'il s'agissait de <math>\mathbb N</math> lui-même.

Considérons maintenant E = <math>\mathbb N</math>, et P(''x'') la propriété ''x'' est non standard. La collection {''x'' élément de E | P(''x'')} est la collection des éléments non standard. Son standardisé est l'ensemble vide.

== Les nombres en analyse non standard ==
=== Les entiers ===
{{article connexe|Modèle non standard de l'arithmétique}}
Rappelons que nous qualifions d'internes ou classiques les propriétés ou les ensembles n'utilisant pas le mot « ''standard'' ». Nous appelons externes ou non classiques les propriétés utilisant ce mot. Toutes les propriétés connues classiques restent valides en Analyse non standard. Ainsi, <math>\mathbb N</math> vérifie l'axiome de récurrence, pourvu que cet axiome soit appliqué à une propriété classique.

En revanche, le prédicat '''standard''' étant non classique, l'axiome de récurrence ne s'y applique pas. Ainsi, 0 est standard ; si ''n'' est standard, ''n'' + 1 aussi. Cependant, il existe des entiers non standard supérieurs à tous les entiers standard. De tels entiers non standard sont appelés infiniment grand.

Tout entier standard est inférieur à tout entier non standard. Si ''n'' est non standard, il en est de même des éléments supérieurs à ''n'' et de ''n'' – 1. On peut voir <math>\mathbb N</math> comme suit : 
:0 1 2 3 . . . . . . . . . ''n''-1 ''n'' ''n''+1 . . .
:entiers standard suivis des entiers non standard

On ne peut parler du plus petit entier non standard, pas plus que du plus grand entier standard, car ces propriétés n'étant pas classiques, elles ne définissent même pas d'ensembles, qui n'ont donc pas, et pour cause, les caractéristiques usuelles des sous-ensembles de <math>\mathbb N</math>.

Cependant, si P est une propriété quelconque, on montre que <math>\mathbb N</math> vérifie le principe de récurrence restreint suivant : 
<center> si P(0) est vrai, et si pour tout ''n'' standard, P(''n'') implique P(''n''+1), alors pour tout ''n'' standard, P(''n'') est vérifié.</center>

=== Les réels ===
On montre qu'on peut partitionner l'ensemble <math>\mathbb R</math> des réels en :
* les infinitésimaux ou infiniment petits, inférieurs en [[valeur absolue]] à tout réel standard strictement positif. À part 0, ils sont non standard. ''x'' – ''y'' infinitésimal est noté ''x'' ≈ ''y''. On dit que ''x'' et ''y'' sont infiniment proches.
* les illimités, supérieur en valeur absolue à tout réel (ou tout entier) standard. Ils sont non standard. Leurs inverses sont infinitésimaux.
* les appréciables.

Les appréciables et les infinitésimaux constituent les réels limités.

Par exemple : 
0,000...01 est infiniment petit si le nombre de 0 est un entier infiniment grand. Ce nombre est alors infiniment proche de 0.

Si ''n'' est un entier infiniment grand, alors 1/''n'' est infiniment petit.

On montre également que, pour chaque réel limité ''x'', il existe un unique réel °''x'' standard tel que la différence ''x'' – °''x'' soit infinitésimale. °''x'' s'appelle partie standard (ou ombre) de ''x'', à laquelle ''x'' est [[adégalité|adégal]].

Par exemple, 0,3333.....333 (où le nombre de 3 est un entier infiniment grand) est un réel limité et même un [[nombre décimal]] non standard, dont la partie standard est 1/3.

Tout réel limité se décompose de manière unique sous la forme standard + infinitésimal.

Les réels infiniment proches d'un réel donné constituent le halo de ce réel.

== Les suites en analyse non standard ==

Nous allons donner des propriétés non classiques des suites, qui, dans le cas des suites standard, coïncideront avec des propriétés usuelles.

=== Convergence d'une suite ===

Pour une suite standard <math>(a_n)</math>, il y a équivalence entre :
# la suite <math>(a_n)</math> converge vers ''l''
# ''l'' est standard et, pour tout ''n'' infiniment grand, <math>a_n</math> ≈ ''l''

En effet, si <math>(a_n)</math> est standard et converge vers ''l'', sa limite est standard (par transfert) et vérifie :

<center>pour tout ε > 0, il existe N tel que, pour tout ''n'' > N, | <math>a_n</math> - ''l'' | < ε</center>

Par transfert, on a alors :

<center>pour tout ε standard > 0, il existe N standard tel que, pour tout ''n'' > N, | <math>a_n</math> - ''l'' | < ε </center>

Si on prend ''n'' infiniment grand, ''n'' est alors supérieur à N donc | <math>a_n</math> - ''l'' | < ε, et cette inégalité étant vérifiée pour tout ε standard, on a bien <math>a_n</math> ≈ ''l''

Réciproquement, si, pour tout ''n'' infiniment grand, <math>a_n</math> ≈ ''l'' avec ''l'' standard, alors :

<center>pour tout ε standard > 0, il existe N tel que, pour tout ''n'' > N, | <math>a_n</math> - ''l'' | < ε</center>

Il suffit en effet de prendre N infiniment grand.

et par transfert :

<center>pour tout ε > 0, il existe N tel que, pour tout ''n'' > N, | <math>a_n</math> - ''l'' | < ε</center>

ce qui est la définition de la convergence.

On rappelle que l'équivalence énoncée n'est valide que pour les suites standard. Si on définit en effet <math>a_n = (-1)^n \alpha</math> avec α infiniment petit, alors <math>a_n</math> ≈ 0 pour tout ''n'' et pourtant la suite <math>(a_n)</math> ne converge pas (Il suffit de prendre ε = <math>\textstyle\frac12 \alpha</math>). En fait, l'axiome de transfert ne s'applique pas car la formule « pour tout ''n'' > N, | <math>a_n</math> - ''l'' | < ε » fait intervenir des éléments qui ne sont pas standard.

=== Convergence d'une [[sous-suite]] ===
Pour une suite <math>(a_n)</math> standard, il y a équivalence entre :
# il existe une sous-suite de <math>(a_n)</math> qui converge vers ''l'' ;
# ''l'' est standard et il existe ''n'' illimité tel que <math>a_n</math> ≈ ''l''.

En effet, si ''l'' est limite d'une sous-suite de <math>(a_n)</math>, alors ''l'' est standard par transfert, et pour tout ε > 0, il existe une infinité de ''n'' tel que | <math>a_n</math> - ''l'' | < ε. Cette propriété est donc vraie pour ε infiniment petit, et comme elle est vérifiée par une infinité de ''n'' et qu'il n'existe qu'un nombre fini d'entiers standard, il existe donc ''n'' infiniment grand tel que | <math>a_n</math> - ''l'' | < ε. Mais comme ε est infiniment petit, cela signifie que <math>a_n</math> ≈ ''l''.

Réciproquement, s'il existe ''n'' illimité tel que <math>a_n</math> ≈ ''l'', alors :

<center> pour tout ε standard > 0, pour tout N standard, il existe n > N, | <math>a_n</math> – ''l'' | < ε</center>

et par transfert :

<center> pour tout ε > 0, pour tout N, il existe n > N, | <math>a_n</math> – ''l'' | < ε</center>

ce qui exprime que ''l'' est [[valeur d'adhérence]] de la suite <math>(a_n)</math> et dans ce cas, il existe bien une sous-suite de <math>(a_n)</math> qui converge.

On en déduit le '''théorème de Bolzano-Weierstrass''', qui exprime, que, de toute suite réelle bornée, on peut extraire une sous-suite qui converge. Par transfert, il suffit de montrer ce théorème sur les suites standard. Soit donc <math>(a_n)</math> une suite standard bornée. Tous ses termes sont limités car, par transfert, on peut prendre un majorant et un minorant de <math>(a_n)</math> standard. On prend alors ''n'' illimité et ''l'' = °<math>a_n</math> partie standard de <math>a_n</math>. On applique alors l'équivalence montrée précédemment, la propriété 2 étant vérifiée.

=== Suite de Cauchy ===

Pour une suite <math>(a_n)</math> standard, il y a équivalence entre :
# <math>(a_n)</math> est une [[suite de Cauchy]]
# pour tout ''n'' et ''p'' illimités, <math>a_n</math> ≈ <math>a_p</math>

La démonstration suit une démarche comparable à celles des paragraphes précédents.

Montrons que, dans <math>\mathbb R</math>, toute suite de Cauchy converge. Par transfert, il suffit de montrer cette propriété sur les suites standard. Soit <math>(a_n)</math> une telle suite. Elle est bornée : en effet, il n'y a qu'un nombre fini d'entiers standard, et tous les <math>a_n</math> avec ''n'' illimités sont dans le même halo de l'un d'entre eux. Par transfert, la borne peut être choisie standard. Tous les termes de la suite sont donc limités. On prend alors ''l'' = °<math>a_p</math> partie standard de <math>a_p</math> avec ''p'' illimité. Alors, pour tout ''n'' illimité, <math>a_n</math> ≈ <math>a_p</math> ≈ ''l'', donc la suite converge vers ''l''.

== Les fonctions en analyse non standard ==
=== Continuité ===

La continuité d'une fonction dans <math>\mathbb R</math> se définit plus simplement avec l'analyse non standard. Pour une fonction standard, il y a équivalence entre 
# <math>f</math> est continue
# pour tout <math>y</math> infiniment petit et pour tout <math>x</math> standard, <math>f(x+y)</math> est infiniment proche de <math>f(x)</math>.

On montre le [[théorème des valeurs intermédiaires]] de la façon suivante. Soit ''f'' continue sur un segment [''a'', ''b''] avec ''f''(''a'') < 0 et ''f''(''b'') > 0. Alors il existe ''c'' entre ''a'' et ''b'' tel que ''f''(''c'') = 0. En effet, par transfert, il suffit de montrer ce théorème pour ''f'', ''a'' et ''b'' standard. Soit N un entier illimité et <math>x_k = a + k{b-a \over N}</math> pour ''k'' entre 0 et N. Si ''K'' est le premier ''k'' pour lequel <math>f(x_k) \ge 0</math> alors on prendra pour ''c'' la partie standard de <math>x_K</math>. On a en effet ''c'' infiniment proche de <math>x_K</math> et de <math>x_{K-1}</math>, de sorte que ''f''(''c'') sera infiniment proche du réel positif ou nul <math>f(x_K)</math> et infiniment proche du réel négatif <math>f(x_{K-1})</math>. Étant standard, ''f''(''c'') est nul.

On montre d'une façon comparable que ''f'' admet un maximum et un minimum.

=== Continuité uniforme ===

Pour une fonction standard, il y a équivalence entre 
# <math>f</math> est uniformément continue
# pour tout <math>y</math> infiniment petit et pour tout <math>x</math>, <math>f(x+y)</math> est infiniment proche de <math>f(x)</math>.

Par exemple, la fonction qui à ''x'' associe ''x''<sup>2</sup> est continue, puisque, si ''x'' est standard et ''y'' infiniment petit, on a :

:(''x''+''y'')<sup>2</sup> = ''x''<sup>2</sup> + 2''xy'' + ''y''<sup>2</sup> ≈ ''x''<sup>2</sup> puisque ''x'' étant limité, ''xy'' est infiniment petit, ainsi que ''y''<sup>2</sup>

Par contre, cette fonction n'est pas uniformément continue puisque, si ''x'' est infiniment grand et si ''y'' = 1/''x'', alors (''x''+''y'')<sup>2</sup> = ''x''<sup>2</sup> + 2 + ''y''<sup>2</sup> qui n'est pas infiniment proche de ''x''<sup>2</sup>.

Sur un segment [''a'', ''b''], toute fonction continue ''f'' est uniformément continue. Par transfert, il suffit de montrer cette propriété pour ''f'', ''a'' et ''b'' standard. Les éléments du segment sont alors tous limités, donc admettent tous une partie standard. Si ''x'' est élément de [''a'', ''b''], °''x'' sa partie standard et ''y'' infiniment petit, on a :

:''f''(''x''+''y'') = f(°''x'' + ''z'') avec ''z'' = ''y'' + ''x'' - °''x'' infiniment petit
:donc ''f''(''x''+''y'') ≈ ''f''(°''x'') ≈ ''f''(''x'') par continuité de ''f'' en °''x''

=== Dérivation ===
Pour une fonction standard définie sur un intervalle standard de <math>\mathbb R</math>, et pour ''x''<sub>0</sub> standard il y a équivalence entre :
# ''f'' est dérivable en ''x''<sub>0</sub> de dérivée ''l''
# pour tout x infiniment proche de ''x''<sub>0</sub>, <math>{{f(x)-f(x_0)}\over x-x_0}</math> ≈ ''l'', avec ''l'' standard.

=== Intégration ===

Pour une fonction standard ''f'' sur [''a'', ''b''] = I standard, il y a équivalence entre 
# ''f'' intégrable au sens de Riemann
# pour toute subdivision de [''a'', ''b''] ''a'' = ''x''<sub>0</sub> < ''x''<sub>1</sub> < ... < ''x<sub>n</sub>'' = ''b'' avec ''x<sub>i</sub>'' ≈ ''x''<sub>''i''+1</sub>, il existe deux [[Fonction étagée|fonctions en escalier]] φ et ψ relatives à la subdivision de façon que, pour tout ''x'' de I, φ(''x'') ≤ ''f''(''x'') ≤ ψ(''x''), et <math>\int_a^b \psi - \phi</math> ≈ 0. On pose alors <math>\int_a^b f</math> la partie standard de <math>\int_a^b \phi</math> ou de <math>\int_a^b \psi</math>.

== Notions diverses ==
Nous donnons ci-dessous des exemples d'équivalent en analyse non standard de notions de l'analyse classique, lorsqu'elles sont appliquées à des objets standard. Celles-ci ont pour but de montrer l'ampleur des domaines à explorer.

* [[Convergence simple]] vers ''f'' d'une suite (''f''<sub>''n''</sub>) de fonctions : pour tout ''n'' infiniment grand et tout ''x'' standard, ''f''<sub>''n''</sub>(''x'') ≈ ''f''(''x'').
* [[Convergence uniforme]] vers ''f'' d'une suite (''f''<sub>''n''</sub>) de fonctions : pour tout ''n'' infiniment grand et tout ''x'', ''f''<sub>''n''</sub>(''x'') ≈ ''f''(''x'').
* Compacité d'un espace K : tout point de K est presque standard (un point est presque standard s'il est infiniment proche d'un point standard)
* Complétude d'un espace E : tout point quasi standard est presque standard (un point ''x'' est quasi standard si pour tout r standard, ''x'' se trouve à une distance inférieure à ''r'' d'un point standard)

== Notes et références ==
=== Notes ===
{{Références}}
=== Référence ===
F. Diener, [[Georges Reeb|G. Reeb]], ''Analyse Non Standard'', Hermann, 1989 {{ISBN|9782705661090}}
== Voir aussi ==
=== Articles connexes ===
* [[Modèle non standard de l'arithmétique]]
* {{Lien|trad=Criticism of non-standard analysis|lang=en|fr=Critique de l'analyse non standard}}
* [[Nombre hyperréel]]
* [[Théorie des modèles]]

=== Bibliographie ===
* J. Bair, V. Henry, ''Analyse infinitésimale : le calculus redécouvert'', Academia Bruylant, Louvain-la-Neuve, 2008 {{ISBN|978-2-87209919-1}}
* [[André Deledicq]], Marc Diener, ''Leçons de calcul infinitésimal'', [[Armand Colin]], 1989 {{ISBN|9782705661090}}
* {{Article
 | langue          =en
 | prénom1         =E. 
 | nom1            =Nelson
 | titre           =Internal set Theory, a new approach to NSA
 | périodique      =Bull. Amer. Math. Soc.
 | volume          =83
 | numéro          =6
 | mois            =novembre
 | année           =1977
 | pages           =1165-1198
 | url texte       =http://www.math.princeton.edu/~nelson/papers/ist.pdf 
}}
* {{en}} E. Nelson, ''Radically Elementary Probability Theory'', [[Princeton University Press|PUP]], 1987 {{ISBN|9780691084749}}, traduction par T. Delbecque : ''[http://www.math.princeton.edu/~nelson/books/rept/rept.pdf Théorie radicalement élémentaire des probabilités]''
* Alain Robert, ''Analyse non standard'', [[Presses polytechniques et universitaires romandes|PPUR]], 1985 {{ISBN|9782880740726}}
* {{en}} E. E. Rosinger, « Short Introduction to Nonstandard Analysis ». {{arxiv|math/0407178v1}}
* [[Jean-Michel Salanskis]], ''Le [[Constructivisme (mathématiques)|constructivisme]] non standard'', [[Presses universitaires du Septentrion|presses universitaires du septentrion]], 1999, 349 pages.{{ISBN|2-85939-604-7}}

=== Liens externes ===
* [[Pierre de Fermat|Fermat]], [http://www.bibnum.education.fr/mathematiques/analyse/methode-pour-la-recherche-du-minimum-et-du-maximum ''Méthode pour la recherche du minimum et du maximum''], commentée avec une initiation à l'analyse non standard, sur le site [[Centre de ressources et d'information sur les multimédias pour l'enseignement supérieur|Bibnum]]
* {{en}} [[Howard Jerome Keisler|H. Jerome Keisler]], ''{{Lien|Elementary Calculus: An Infinitesimal Approach}}'' : une introduction au [[Calcul infinitésimal|calcul différentiel et intégral]] non standard, [http://www.math.wisc.edu/~keisler/calc.html disponible en ligne]
* {{en}} [[Terence Tao]], [http://terrytao.wordpress.com/2012/04/02/a-cheap-version-of-nonstandard-analysis/ ''A cheap version of non-standard analysis'']

{{portail|analyse}}

[[Catégorie:Analyse non standard| ]]