5
1
UN MODELE SUPERFILTRE
NON ARCHIMEDIEN
6
7
Appelons N lensemble des entiers naturels. Ce dernier est censé, dans les
conditions dun modèle non standard, à représenter une famille F non vide
de sous-ensembles non vides de N. La définition de ce modèle entraîne les
propriétés suivantes :
1. Tout sous-ensemble vide
f
nappartient pas à F ;
2. Soient deux sous-ensembles non vides 1
E et 2
E tels que :
FE1Î et FE2Î entraînant FEE 21 ÎÇ
(1
E inter 2
E appartenant à F) ;
3. Pour tout 1
E inclus dans N, NE1Ì on a FE1Î. De même le
complément de 1
E, noté (1
E sécrit par : (FE1Î ;
4. Pour tout entier naturel 0
n, lensemble
{
}
0n 1 nn ; Nn E 0³Î=
appartient à F.
Cet ensemble de définitions utilise laxiome gödelien du choix ce qui
entraîne la non descriptibilité explicite (modèle implicite).
Dans N, considérons lensemble
R
de toutes les suites de nombres réels
n
x
. Il convient alors de définir sur
R
la relation déquivalence pour
lensemble des entiers n tel que
nn y=x
appartient à F.
Onfinit maintenant lensemble des réels
R
défini par :
(
)
y-x
R
.
On constate ainsi que
R
est un ensemble infiniment grand, totalement
ordonné, muni dune valeur absolue, non archimédienne. Soit R lensemble
des réels pour les lois déduites coordonnée à coordonnée de
R
à
R
, à
partir de
R
. De ce fait, lensemble
R
, par rapport à lensemble R contient
des éléments pouvant être infiniment grandes ou infiniment petites. Le
modèle
R
du fait des « deux infinis » (petit ou grand) est non standard de E
et fournit pour les calculs des règles (pouvant être algorithmiques) du calcul
infinitésimal sur les grandeurs réelles. Cest ainsi que tout élément
z
de
R
est infiniment petit si, pour tout
0
>
e
(
e
infiniment petit),
R
e
on a :
e<z
. Dans lapplication du « superfiltre » en Physique Noétique,
lalgorithme unique est un processus de Fusion Espace¬temps que jestime
extrapolable axiomatiquement en « Fusion mathématique ».
8
1 / 4 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !