« Recherche:Mobilité générale/L'ensemble absolu » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 93 :
 
On vérifie que tout ensemble indénombrable (abstrait, théorique) est élément de (<u>ABS</u> , n) et que tout ensemble dénombrable (concret, pratique) également. On déduit que (<u>ABS</u> , 1) est un TOUT concret provenant de (<u>ABS</u> , 0) qui est un RIEN abstrait.
 
 
=== Principe de division ===
Si <u>ABS</u> est un ensemble intégral, n'oublions pas qu'il est aussi ''sémantique'' (intelligent) sous forme duale.C'est-à-dire :<br><br>
<center>''∀x ∈ <u>ABS</u> : ∃n tel que <u>ABS</u> = x ∈ n ∨ x ∈ n + 1''</center><br>
 
On montre facilement qu'il existe une valeur intermédiaire ENTRE n et n + 1 qui vérifie (ni-n ; ni-n + 1) ∨ (soit-l'un ; soit-l'autre), qui est ''spirituelle'' (imaginaire). L'intervalle qui relie ces deux horizons matériels sémantiques correspond au plus petit intervalle ''matériel'' ENTRE les deux (par équivalence [n , n + 1] = ]n , n + 1[). Ayant même centre de gravité ''g'', on peut, sans modifier la description, diviser <u>ABS</u> sur ''g''. Nous obtenons alors
une partie contenant n et une autre, distincte, contenant n + 1. Ces deux parties, bornées sur n et ''g'' d'une part, et ''g'' et n + 1 d'autre part, sont absolument raccordables et consolidables. Elles sont appelées '''parties duales''' de <u>ABS</u> et sont <u>indissociables</u>. Ces deux parties sont sémantiquement '''opposées''' et de taille '''identique''' (si ce n'était pas le cas, il existerait des éléments de l'une qui n'auraient pas de correspondant dans l'autre).
 
De card<u>ABS</u> = 1 (entité unique ayant un intermédiaire imaginaire), nous passons à card<u>ABS</u> = 2 (entité duale du monde sémantique ayant un centre de gravité réel). ''g'' est alors un ''artefact'' réalisé autour duquel « gravite » <u>ABS</u>. L'origine du monde sémantique gravitationnel (réel) dépend donc de l'identification de ''g''.<br><br>
<center>''<u>ABS</u> = n = [—n/2 , ''g'' , +n/2] = {—n/2 , ''g'' , +n/2} = ]—n/2 , ''g'' , +n/2[ = [—n/2] ∪ ]—n/2 , ''g''[ ∪ [''g''] ∪ ]''g'' , +n/2[ ∪ [+n/2]</center><br>
 
Et nous déduisons que le plus petit ensemble matériel divisible est obtenu pour n = 2. Ce qui est logiquement conforme à nos propositions précédentes.