1A(yᵢ-x)=⌈|yᵢ-x|/(|yᵢ-x|+1)⌉ (A)’.
Donc dans notre exemple, si nous vérifions l’appartenance de chaque élément x=xₙ=yᵢ₌ₙ ∈ SeqA’ᵢ₌₂₃=(511;177;174;0;152;1228;959;60;555;199;1244;1244;1244;1244;1244;1244;1244;1244;57;138;250;
12171;499) en replaçant par les valeurs correspondantes à x=xₙ=0 et yᵢ ∈ SeqA’ᵢ₌₂₃ dans l’expression 1A(x)=⌈|yᵢ-x|/(|yᵢ-x|+1)⌉ avec ∀ yᵢ ∈ SeqA’ᵢ₌₂₃=(yᵢ₌₁; yᵢ₌ₙ₊₁; yᵢ₌ₙ₊₂; yᵢ₌ₙ₊₃; yᵢ₌ₙ₊₄; yᵢ₌ₙ₊₅; yᵢ₌ₙ₊₆; yᵢ₌ₙ₊₇;….yᵢ₌₂₃) soit l’expression:
1A(yᵢ-x)={ 1A(x)=0 ∨ 1A(x)=1 | ⌈|yᵢ₌₁-x|/(|yᵢ₌₁-x|+1)⌉ ∪⌈|yᵢ₌₂-x|/(|yᵢ₌₂-x|+1)⌉ ∪⌈|yᵢ₌₃-x|/(|yᵢ₌₃-x|+1)⌉ ∪⌈|yᵢ₌₄-x|/(|yᵢ₌₄-x|+1)⌉ ∪⌈|yᵢ₌₅-x|/(|yᵢ₌₅-x|+1)⌉ ∪⌈|yᵢ₌₆-x|/(|yᵢ₌₆-x|+1)⌉ ∪⌈|yᵢ₌₇-x|/(|yᵢ₌₇-x|+1)⌉ ∪ ⌈ |yᵢ₌₈-x|/(|yᵢ₌₈-x|+1)⌉∪⌈|yᵢ₌₉-x|/(|yᵢ₌₉-x|+1)⌉ ∪ ⌈|yᵢ₌₁₀-x|/(|yᵢ₌₁₀-x|+1)⌉ ∪ ⌈|yᵢ₌₁₁-x|/(|yᵢ₌₁₁-x|+1)⌉∪⌈|yᵢ₌₁₂-x|/(|yᵢ₌₁₂-x|+1)⌉∪⌈|yᵢ₌₁₃-x|/(|yᵢ₌₁₃-x|+1)⌉∪⌈|yᵢ₌₁₄-x|/(|yᵢ₌₁₄-x|+1)⌉∪⌈|yᵢ₌₁₅-x|/(|yᵢ₌₁₅-x|+1)⌉∪⌈|yᵢ₌₁₆-x|/(|yᵢ₌₁₆-x|+1)⌉∪⌈|yᵢ₌₁₇-x|/(|yᵢ₌₁₇-x|+1)⌉∪⌈|yᵢ₌₁₈-x|/(|yᵢ₌₁₈-x|+1)⌉ ∪ ⌈|yᵢ₌₁₉-x|/(|yᵢ₌₁₉-x|+1)⌉∪⌈|yᵢ₌₂₀-x|/(|yᵢ₌₂₀-x|+1)⌉ ∪ ⌈|yᵢ₌₂₁-x|/(|yᵢ₌₂₁-x|+1)⌉ ∪⌈|yᵢ₌₂₂-x|/(|yᵢ₌₂₂-x|+1)⌉ ∪⌈|yᵢ₌₂₃-x|/(|yᵢ₌₂₃-x|+1)⌉ } (A1)’↔ (A2)’
1A(yᵢ-x)={ 1A(x)=0 ∨ 1A(x)=1 | ⌈|511-x|/(|511-x|+1)⌉ ∪ ⌈|177-x|/(|177-x|+1)⌉ ∪ ⌈|174-x|/(|174-x|+1)⌉ ∪ ⌈|0-x|/(|0-x|+1)⌉ ∪ ⌈|152-x|/(|152-x|+1)⌉ ∪ ⌈|1228-x|/(|1228-x|+1)⌉ ∪ ⌈|959-x|/(|959-x|+1)⌉ ∪ ⌈|60-x|/(|60-x|+1)⌉ ∪ ⌈|555-x|/(|555-x|+1)⌉ ∪ ⌈|199-x|/(|199-x|+1)⌉ ∪ ⌈|1244-x|/(|1244-x|+1)⌉ ∪ ⌈|1244-x|/(|1244-x|+1)⌉ ∪⌈|1244-x|/(|1244-x|+1)⌉ ∪ ⌈|1244-x|/(|1244-x|+1)⌉ ∪ ⌈|1244-x|/(|1244-x|+1)⌉ ∪ ⌈|1244-x|/(|1244-x|+1)⌉ ∪ ⌈ |1244-x|/(|1244-x|+1)⌉ ∪ ⌈|1244-x|/(|1244-x|+1)⌉ ∪ ⌈|57-x|/(|57-x|+1)⌉ ∪ ⌈ |138-x|/(|138-x|+1)⌉∪ ⌈|250-x|/(|250-x|+1)⌉ ∪ ⌈|12171-x|/(|12171-x|+1)⌉ ∪ ⌈|499-x|/(|499-x|+1)⌉ } (A2)’ ↔ (A3)’
Pour x=0, 1A(yᵢ-x)={1A(x)=0 ∨ 1A(x)=1 | ⌈|511-0|/(|511-0|+1)⌉ ∪⌈|177-0|/(|177-0|+1)⌉∪⌈|174-0|/(|174-0|+1)⌉ ∪⌈|0-0|/(|0-0|+1)⌉∪⌈|152-0|/(|152-0|+1)⌉ ∪ ⌈|1228-0|/(|1228-0|+1)⌉ ∪ ⌈|959-0|/(|959-0|+1)⌉ ∪ ⌈|60-0|/(|60-0|+1)⌉∪⌈|555-0|/(|555-0|+1)⌉ ∪⌈|199-0|/(|199-0|+1)⌉∪⌈|1244-0|/(|1244-0|+1)⌉ ∪⌈|1244-0|/(|1244-0|+1)⌉∪⌈|1244-0|/(|1244-0|+1)⌉ ∪⌈|1244-0|/(|1244-0|+1)⌉∪⌈|1244-0|/(|1244-0|+1)⌉ ∪ ⌈|1244-0|/(|1244-0|+1)⌉ ∪ ⌈|1244-0|/(|1244-0|+1)⌉ ∪⌈|1244-0|/(|1244-0|+1)⌉ ∪⌈|57-0|/(|57-0|+1)⌉ ∪⌈|138-0|/(|138-0|+1)⌉ ∪⌈|250-0|/(|250-0|+1)⌉ ∪⌈|12171-0|/(|12171-0|+1)⌉ ∪⌈|499-0|/(|499-0|+1)⌉ } (A3)’↔(A4)’
Pour x=0, 1A(yᵢ-x)={1A(yᵢ-x)=0 ∨ 1A(yᵢ-x)=1 | Seq(0;1)ᵢ₌₂₃=(1;1;1;0;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1
;1;1;1;1)} (A4)’.
Donc cette dernière expression de la représentation ensembliste de la fonction caractéristique fondamentale d’appartenance de x à SeqA’ᵢ₌₂₃ notée 1A(x)=⌈|yᵢ-x|/(|yᵢ-x|+1)⌉ signifie que seul 0 appartient à SeqA’ᵢ₌₂₃ et donc il nous faut compléter la relation d’appartenance pour quelle soit exhaustive en écrivant la fonction caractéristique d’appartenance fondamentale de tous les autres éléments de SeqA’ᵢ₌₂₃ autre que 0, soit pour toutes autres valeurs possible que la valeur de 0 de x=xₙ=yᵢ₌ₙ ∈ SeqA’ᵢ₌₂₃. Nous obtenons ainsi l’expression finale suivante:
∪ᵢ₌₁→ᵢ₌₂₃1A(yᵢ-x)/Card(SeqA’ᵢ₌₂₃)=1A(yᵢ-511)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-177)/Card(SeqA’ᵢ₌₂₃)
∪ 1A(yᵢ-174)/Card(SeqA’ᵢ₌₂₃) ∪1A(yᵢ-0)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-152)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1228)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-959)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-60)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-555)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-199)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-57)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-138)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-250)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-12171)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-499)/Card(SeqA’ᵢ₌₂₃) (A5)’ ↔(A6)’
∪ᵢ₌₁→ᵢ₌₂₃1A(yᵢ-x)/Card(SeqA’ᵢ₌₂₃)={1A(yᵢ-x)=0 ∧ 1A(yᵢ-x)=1 | Seq(0;1)ᵢ₌₂₃=(1;1;1;1;1;1;1;1;1;1;1;1;
1;1;1;1;1;1;1;1;1;1;1)} (A6)’ ↔ (A6′)’.
Donc la fonction caractéristique fondamentale dite fonction caractéristique d’appartenance de tous les éléments x à un ensemble quelconque noté SeqA »ᵢ tel que yᵢ₌ₙ ∈ SeqA »ᵢ, si elle est exhaustive notée ∪ᵢ₌ₙ→ᵢ₌ₙ₊∞ 1A(yᵢ-x)/Card(SeqA »ᵢ₌ₙ₊∞), avec 1A(yᵢ-x)=⌈|yᵢ-x|/(|yᵢ-x|+1)⌉, alors elle est aussi appelée la fonction caractéristique de segmentation fondamentale de SeqA »ᵢ qui, après que les expressions obtenues par leur sommation soient définies comme une suite de nombres, avec l’opérateur représenté par le symbole sigma correspondant à la somme d’une suite de nombres en général (noté ∑ n=1→n=∞: [a(n)i], où i représente l’indice de sommation, a(n)i est une variable indexée représentant chaque nombre successif de la série, n=1 est la limite inférieure de sommation, et n=∞ est la limite supérieure de sommation); la somme totale n’est plus une suite de nombre à indice de sommation, mais plus simplement la somme totale de tous les éléments indexés sur N* d’un ensemble SeqA »ᵢ₌ₙ₊∞ ⊆ R dont le cardinal n(SeqA »ᵢ₌ₙ₊∞)=Card(SeqA »ᵢ₌ₙ₊∞)=ω que nous connaissons comme correspondant à l’expression a(n), notée ∑n=1→n=x: [a(n)], est définie comme suit:
∀ yᵢ ∈ SeqA »ᵢ₌ₙ₊∞=(yᵢ₌ₙ; yᵢ₌ₙ₊₁; yᵢ₌ₙ₊₂; yᵢ₌ₙ₊₃; yᵢ₌ₙ₊₄; yᵢ₌ₙ₊₅; yᵢ₌ₙ₊₆; yᵢ₌ₙ₊₇…yᵢ₌ₓ; yᵢ₌ₓ₊₁;….yᵢ₌ₙ₊∞) ⊆ R; ∀ x ∈ R alors x ∈ SeqA »ᵢ₌ₙ₊∞ ↔ SeqA »ᵢ₌ₙ₊∞=({x ∈ [yᵢ₌ₙ; yᵢ₌ₙ₊∞] | yᵢ-x=0}) ; ∀ n=nᵢ ∈ SeqNᵢ₌ₙ₊∞=(nᵢ₌₁; nᵢ₊₁; nᵢ₊₂; nᵢ₊₃; nᵢ₊₄; nᵢ₊₅; nᵢ₊₆; nᵢ₊₇…nᵢ₌ₓ; nᵢ₌ₓ₊₁;…nᵢ₌ₙ₊∞ ) ⊆ N* ↔ SeqNᵢ=({ n=nᵢ ∈ [nᵢ₌₁; nᵢ₌∞] | nᵢ₌ₓ₊₁-nᵢ₌ₓ=1}) ⊆ N*; :
SGMTFDMT([xᵢ₌₁; xᵢ₌ₙ₊∞]) ↔ ∪ᵢ₌ₙ→ᵢ₌ₙ₊∞ 1A(yᵢ-x)/Card(SeqA’ᵢ₌ₙ₊∞)={1A(yᵢ-x)=0 ∧ 1A(yᵢ-x)=1 | Seq(0;1)ᵢ₌ₙ₊∞=(1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1……)} (A6′)’↔ (A7)’
SGMTFDMT([xᵢ₌₁; xᵢ₌ₙ₊∞])=∪ᵢ₌₁→ᵢ₌ₙ₊∞ ( ⌈|yᵢ-x|/(|yᵢ-x|+1)⌉ / ( ∑ n=1→n=∞: [(⌈|yᵢ|/(|yᵢ|+1)⌉)] + ∑ n=1→n=∞: [(1-⌈|yᵢ|/(|yᵢ|+1)⌉)]) ) (A7)’.
∴
Maintenant que nous avons déterminé la représentation fondamentale de la fonction caractéristique, illustrée dans les termes de l’expression (A6′)’, nous pouvons donc simplifier cette dernière expression équivalente (A7)’, en considérant l’expression de la fonction caractéristique de segmentation fondamentale comme équivalente à l’autre expression de la fonction caractéristique à l’origine ou fondamentale de l’appartenance d’un élément à un ensemble d’élément, que nous avons définie dans notre introduction à notre ouvrage, intitulé « Avant tout commencement« , qui est une fonction définie sur un ensemble SeqA »ᵢ₌ₙ₊∞ ⊆ R qui explicite l’appartenance ou non à un sous-ensemble A de l’ensemble SeqA »ᵢ₌ₙ₊∞ ⊆ R de tout élément de l’ensemble SeqA »ᵢ₌ₙ₊∞ ⊆ R telle que:
1A: R → {0,1}
- 1A(yᵢ-x)=0, si yᵢ-x=0 ∧ x ∈ SeqA »ᵢ₌ₙ₊∞
- 1A(yᵢ-x)=1, si yᵢ-x≠0 ∧ x ∉ SeqA »ᵢ₌ₙ₊∞
L’expression de cette fonction caractéristique notée 1A(yᵢ-x) de yᵢ-x=0 et x appartenant à SeqA »ᵢ₌ₙ₊∞ est encore définie tout d’abord comme suit:
∀ yᵢ ∈ SeqA »ᵢ₌ₙ₊∞=(yᵢ₌ₙ; yᵢ₌ₙ₊₁; yᵢ₌ₙ₊₂; yᵢ₌ₙ₊₃; yᵢ₌ₙ₊₄; yᵢ₌ₙ₊₅; yᵢ₌ₙ₊₆; yᵢ₌ₙ₊₇…yᵢ₌ₓ; yᵢ₌ₓ₊₁;….yᵢ₌ₙ₊∞) ⊆ R; ∀ x ∈ R alors x ∈ SeqEᵢ₌ₙ₊∞ ↔ SeqEᵢ₌ₙ₊∞=({xᵢ ∈ [yᵢ₌ₙ; yᵢ₌ₙ₊∞] | yᵢ-x=0}) ; ∀ n=nᵢ ∈ SeqNᵢ₌ₙ₊∞=(nᵢ₌₁; nᵢ₊₁; nᵢ₊₂; nᵢ₊₃; nᵢ₊₄; nᵢ₊₅; nᵢ₊₆; nᵢ₊₇…nᵢ₌ₓ; nᵢ₌ₓ₊₁;…Nᵢ₌ₙ₊∞ ) ⊆ N* ↔ SeqNᵢ=({ n=nᵢ ∈ [nᵢ₌₁; nᵢ₌∞] | nᵢ₌ₓ₊₁-nᵢ₌ₓ=1}) ⊆ N*:
1A(x)=⌈|yᵢ-x|/(|yᵢ-x|+1)⌉ (A’)’.
⁂
Donc d’après notre définition ci-dessus notre nouvelle expression simplifiée de la fonction caractéristique de segmentation fondamentale ne comprendra plus les termes de l’union d’éléments de séquence de nombres dont un seul à la valeur de zéro et tous donc sauf un seul élément ont une valeur de 1 ce qui résulte en une opération de division par le cardinal de l’ensemble pour réduire l’ensemble des éléments résultants de l’opération ensembliste d’union en un ensemble d’éléments à valeur 1 et non pas chacun à valeur du cardinal de l’ensemble, donc la justification de la simplification de cette nouvelle expression étant maintenant seulement expliquée dans son mécanisme, il nous reste à l’écrire pour achever de la simplifier en la définissant comme suit:
∀ yᵢ ∈ SeqA »ᵢ₌ₙ₊∞=(yᵢ₌ₙ; yᵢ₌ₙ₊₁; yᵢ₌ₙ₊₂; yᵢ₌ₙ₊₃; yᵢ₌ₙ₊₄; yᵢ₌ₙ₊₅; yᵢ₌ₙ₊₆; yᵢ₌ₙ₊₇…yᵢ₌ₓ; yᵢ₌ₓ₊₁;….yᵢ₌ₙ₊∞) ⊆ R; ∀ x ∈ R alors x ∈ SeqA »ᵢ₌ₙ₊∞ ↔ SeqA »ᵢ₌ₙ₊∞=({x ∈ [yᵢ₌ₙ; yᵢ₌ₙ₊∞] | yᵢ-x=0}) ; ∀ n=nᵢ ∈ SeqNᵢ₌ₙ₊∞=(nᵢ₌₁; nᵢ₊₁; nᵢ₊₂; nᵢ₊₃; nᵢ₊₄; nᵢ₊₅; nᵢ₊₆; nᵢ₊₇…nᵢ₌ₓ; nᵢ₌ₓ₊₁;…nᵢ₌ₙ₊∞ ) ⊆ N* ↔ SeqNᵢ=({ n=nᵢ ∈ [nᵢ₌₁; nᵢ₌∞] | nᵢ₌ₓ₊₁-nᵢ₌ₓ=1}) ⊆ N*:
SGMTFDMT([xᵢ₌₁;xᵢ₌ₙ₊∞]) ↔ ∪ᵢ₌₁→ᵢ₌ₙ₊∞ (1-1A(yᵢ-x))={1-1A(yᵢ-x)=0 ∧ 1-1A(yᵢ-x)=1 | Seq(0;1)ᵢ₌ₙ₊∞=(1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1……)} (A’1′) ↔ (A’2′)
SGMTFDMT([xᵢ₌₁;xᵢ₌ₙ₊∞])=∪ᵢ₌₁→ᵢ₌ₙ₊∞( 1-⌈|yᵢ-x|/(|yᵢ-x|+1)⌉ ) (A’2′).
⁂
Donc en reprenant notre exemple précédent , si nous vérifions l’appartenance de chaque élément x=xₙ=yᵢ ∈ SeqA’ᵢ₌₂₃=(511;177;174;0;152;1228;959;60;555;199;1244;1244;1244;1244;1244;1244;1244
;1244;57;138;250;12171;499) en replaçant par les valeurs correspondantes à x=xₙ=0 et yᵢ ∈ SeqA’ᵢ₌₂₃ dans l’expression 1-1A(x)=1-⌈|yᵢ-x|/(|yᵢ-x|+1)⌉ avec ∀ yᵢ ∈ SeqA’ᵢ₌₂₃=(yᵢ₌₁; yᵢ₌ₙ₊₁; yᵢ₌ₙ₊₂; yᵢ₌ₙ₊₃; yᵢ₌ₙ₊₄; yᵢ₌ₙ₊₅; yᵢ₌ₙ₊₆; yᵢ₌ₙ₊₇;….yᵢ₌₂₃) soit l’expression:
1-1A(yᵢ-x)={ 1-1A(x)=0 ∨ 1- 1A(x)=1 | 1-⌈|yᵢ₌₁-x|/(|yᵢ₌₁-x|+1)⌉ ∪ 1-⌈|yᵢ₌₂-x|/(|yᵢ₌₂-x|+1)⌉ ∪ 1-⌈|yᵢ₌₃-x|/(|yᵢ₌₃-x|+1)⌉ ∪ 1-⌈|yᵢ₌₄-x|/(|yᵢ₌₄-x|+1)⌉ ∪ 1-⌈|yᵢ₌₅-x|/(|yᵢ₌₅-x|+1)⌉ ∪ 1-⌈|yᵢ₌₆-x|/(|yᵢ₌₆-x|+1)⌉ ∪ 1-⌈|yᵢ₌₇-x|/(|yᵢ₌₇-x|+1)⌉ ∪ 1-⌈|yᵢ₌₈-x|/(|yᵢ₌₈-x|+1)⌉ ∪ 1-⌈|yᵢ₌₉-x|/(|yᵢ₌₉-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₀-x|/(|yᵢ₌₁₀-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₁-x|/(|yᵢ₌₁₁-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₂-x|/(|yᵢ₌₁₂-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₃-x|/(|yᵢ₌₁₃-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₄-x|/(|yᵢ₌₁₄-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₅-x|/(|yᵢ₌₁₅-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₆-x|/(|yᵢ₌₁₆-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₇-x|/(|yᵢ₌₁₇-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₈-x|/(|yᵢ₌₁₈-x|+1)⌉ ∪ 1-⌈|yᵢ₌₁₉-x|/(|yᵢ₌₁₉-x|+1)⌉ ∪ 1-⌈|yᵢ₌₂₀-x|/(|yᵢ₌₂₀-x|+1)⌉ ∪ 1-⌈|yᵢ₌₂₁-x|/(|yᵢ₌₂₁-x|+1)⌉ ∪ 1-⌈|yᵢ₌₂₂-x|/(|yᵢ₌₂₂-x|+1)⌉ ∪ 1-⌈|yᵢ₌₂₃-x|/(|yᵢ₌₂₃-x|+1)⌉ } (A’1’1) ↔ (A’2’1)
1-1A(yᵢ-x)={ 1-1A(x)=0 ∨ 1-1A(x)=1 | 1-⌈|511-x|/(|511-x|+1)⌉ ∪ 1-⌈|177-x|/(|177-x|+1)⌉ ∪ 1-⌈|174-x|/(|174-x|+1)⌉ ∪ 1-⌈|0-x|/(|0-x|+1)⌉ ∪ 1-⌈|152-x|/(|152-x|+1)⌉ ∪ 1-⌈|1228-x|/(|1228-x|+1)⌉ ∪ 1-⌈|959-x|/(|959-x|+1)⌉ ∪ 1-⌈|60-x|/(|60-x|+1)⌉ ∪ 1-⌈|555-x|/(|555-x|+1)⌉ ∪ 1-⌈|199-x|/(|199-x|+1)⌉ ∪ 1-⌈|1244-x|/(|1244-x|+1)⌉ ∪ 1-⌈|1244-x|/(|1244-x|+1)⌉ ∪ 1-⌈|1244-x|/(|1244-x|+1)⌉ ∪ 1-⌈|1244-x|/(|1244-x|+1)⌉∪ 1-⌈|1244-x|/(|1244-x|+1)⌉ ∪ 1-⌈|1244-x|/(|1244-x|+1)⌉ ∪ 1-⌈|1244-x|/(|1244-x|+1)⌉ ∪ 1-⌈|1244-x|/(|1244-x|+1)⌉ ∪ 1-⌈|57-x|/(|57-x|+1)⌉ ∪ 1-⌈|138-x|/(|138-x|+1)⌉ ∪ ⌈1-|250-x|/(|250-x|+1)⌉ ∪ 1-⌈|12171-x|/(|12171-x|+1)⌉ ∪ 1-⌈|499-x|/(|499-x|+1)⌉ } (A’2’1) ↔ (A’3’1)
Pour x=0, 1A(yᵢ-x)={1A(x)=0 ∨ 1A(x)=1 | 1-⌈|511-0|/(|511-0|+1)⌉ ∪ 1-⌈|177-0|/(|177-0|+1)⌉ ∪ 1-⌈|174-0|/(|174-0|+1)⌉ ∪ 1-⌈|0-0|/(|0-0|+1)⌉ ∪ 1-⌈|152-0|/(|152-0|+1)⌉ ∪ 1-⌈|1228-0|/(|1228-0|+1)⌉ ∪ 1-⌈|959-0|/(|959-0|+1)⌉ ∪ 1-⌈|60-0|/(|60-0|+1)⌉ ∪ 1-⌈|555-0|/(|555-0|+1)⌉ ∪ 1-⌈|199-0|/(|199-0|+1)⌉ ∪ 1-⌈|1244-0|/(|1244-0|+1)⌉ ∪ 1-⌈|1244-0|/(|1244-0|+1)⌉ ∪ 1-⌈|1244-0|/(|1244-0|+1)⌉ ∪ 1-⌈|1244-0|/(|1244-0|+1)⌉∪⌈|1244-0|/(|1244-0|+1)⌉ ∪ 1-⌈|1244-0|/(|1244-0|+1)⌉ ∪ 1-⌈|1244-0|/(|1244-0|+1)⌉ ∪ 1-⌈|1244-0|/(|1244-0|+1)⌉ ∪ 1-⌈|57-0|/(|57-0|+1)⌉ ∪ 1-⌈|138-0|/(|138-0|+1)⌉ ∪ 1-⌈|250-0|/(|250-0|+1)⌉ ∪ 1-⌈|12171-0|/(|12171-0|+1)⌉ ∪ 1-⌈|499-0|/(|499-0|+1)⌉ } (A’3’1) ↔ (A’4’1)
Pour x=0, 1A(yᵢ-x)={1-1A(x)=0 ∨ 1-1A(x)=1 | Seq(0;1)ᵢ₌₂₃=(0;0;0;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
;0)} (A’4’1).
SGMTFDMT([xᵢ₌₁; xᵢ₌₂₃]) ↔ ∪ᵢ₌₁→ᵢ₌₂₃1A(yᵢ-x)/Card(SeqA’ᵢ₌₂₃)=1A(yᵢ-511)/Card(SeqA’ᵢ₌₂₃) ∪
1A(yᵢ-177)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-174)/Card(SeqA’ᵢ₌₂₃) ∪1A(yᵢ-0)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-152)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1228)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-959)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-60)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-555)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-199)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-1244)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-57)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-138)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-250)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-12171)/Card(SeqA’ᵢ₌₂₃) ∪ 1A(yᵢ-499)/Card(SeqA’ᵢ₌₂₃) (A5)’ ↔(A6)’
SGMTFDMT([xᵢ₌₁; xᵢ₌₂₃]) ↔ ∪ᵢ₌₁→ᵢ₌₂₃1A(yᵢ-x)/23=1A(yᵢ-511)/23 ∪ 1A(yᵢ-177)/23 ∪ 1A(yᵢ-174)/23
∪1A(yᵢ-0)/23 ∪ 1A(yᵢ-152)/23 ∪ 1A(yᵢ-1228)/23 ∪ 1A(yᵢ-959)/23 ∪ 1A(yᵢ-60)/23 ∪ 1A(yᵢ-555)/23 ∪ 1A(yᵢ-199)/23 ∪ 1A(yᵢ-1244)/23 ∪ 1A(yᵢ-1244)/23 ∪ 1A(yᵢ-1244)/23 ∪ 1A(yᵢ-1244)/23 ∪ 1A(yᵢ-1244)/23 ∪ 1A(yᵢ-1244)/23 ∪ 1A(yᵢ-1244)/23 ∪ 1A(yᵢ-1244)/23 ∪ 1A(yᵢ-57)/23 ∪ 1A(yᵢ-138)/23 ∪ 1A(yᵢ-250)/23 ∪ 1A(yᵢ-12171)/23 ∪ 1A(yᵢ-499)/23 (A5)’ ↔(A6)’
SGMTFDMT([xᵢ₌₁;xᵢ₌₂₃]) ↔∪ᵢ₌₁→ᵢ₌₂₃1A(yᵢ-x)/23={1A(yᵢ-x)=0 ∧ 1A(yᵢ-x)=1 | Seq(0;1)ᵢ₌₂₃=(1;1;1;1;
1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1;1)} (A6)’ ↔ (A6′)’.
⁂
Néanmoins après avoir simplifié l’expression de la fonction caractéristique de segmentation fondamentale, nous remarquons que le terme supprimé qui correspond à l’expression du cardinal d’un ensemble est modifiable pour devenir l’expression encore plus simplifiée de cette fonction caractéristique et que nous définissons maintenant à nouveau comme suit:
1A: R → {0, 1}:
- 1A(yᵢ)=1, si yᵢ ∈ SeqA »ᵢ₌ₙ₊∞
- 1A(yᵢ)=0, si yᵢ ∉ SeqA »ᵢ₌ₙ₊∞
L’expression de cette fonction caractéristique des éléments yᵢ de ∈ SeqA »ᵢ₌ₙ₊∞ notée, 1A(yᵢ ) est définie comme suit:
∀ yᵢ ∈ SeqA »ᵢ₌ₙ₊∞=(yᵢ₌ₙ; yᵢ₌ₙ₊₁; yᵢ₌ₙ₊₂; yᵢ₌ₙ₊₃; yᵢ₌ₙ₊₄; yᵢ₌ₙ₊₅; yᵢ₌ₙ₊₆; yᵢ₌ₙ₊₇…yᵢ₌ₓ; yᵢ₌ₓ₊₁;….yᵢ₌ₙ₊∞) ⊆ R; ∀ x ∈ R alors x ∈ SeqA »ᵢ₌ₙ₊∞ ↔ SeqA »ᵢ₌ₙ₊∞=({x ∈ [yᵢ₌ₙ; yᵢ₌ₙ₊∞] | yᵢ-x=0}) ; ∀ n=nᵢ ∈ SeqNᵢ₌ₙ₊∞=(nᵢ₌₁; nᵢ₊₁; nᵢ₊₂; nᵢ₊₃; nᵢ₊₄; nᵢ₊₅; nᵢ₊₆; nᵢ₊₇…nᵢ₌ₓ; nᵢ₌ₓ₊₁;…nᵢ₌ₙ₊∞ ) ⊆ N* ↔ SeqNᵢ=({ n=nᵢ ∈ [nᵢ₌₁; nᵢ₌∞] | nᵢ₌ₓ₊₁-nᵢ₌ₓ=1}) ⊆ N*:
1A(yᵢ)=⌈|yᵢ|/(|yᵢ|+1)⌉)] ∪ (1-⌈|yᵢ|/(|yᵢ|+1)⌉)
Remarquons que l’expression du cardinal de n’importe quel ensemble d’éléments d’une séquence de nombres après que les expressions obtenues par leur sommation soient définies comme une suite de nombres, avec l’opérateur représenté par le symbole sigma correspondant à la somme d’une suite de nombres en général (noté ∑ n=1→n=∞: [a(n)i], où i représente l’indice de sommation, a(n)i est une variable indexée représentant chaque nombre successif de la série, n=1 est la limite inférieure de sommation, et n=∞ est la limite supérieure de sommation); la somme totale n’est plus une suite de nombre à indice de sommation, mais plus simplement la somme totale de tous les éléments indexés sur N* d’un ensemble SeqA »ᵢ₌ₙ₊∞ ⊆ R dont le cardinal n(SeqA »ᵢ₌ₙ₊∞)=Card(SeqA »ᵢ₌ₙ₊∞)=ω que nous connaissons comme correspondant à l’expression a(n), notée ∑n=1→n=x: [a(n)], est définie comme suit:
Card(SeqA »ᵢ₌ₙ₊∞) = ( ∑ n=1→n=∞: [(1A(yᵢ))] ) + ( ∑ n=1→n=∞: [(1-1A(yᵢ))] ) = ( ∑ n=1→n=∞: [(1-⌈|yᵢ|/(|yᵢ|+1)⌉)] ) + ( ∑ n=1→n=∞: [(⌈|yᵢ|/(|yᵢ|+1)⌉)] ) (A’1’1′)
Alors l’expression de l’opération ensembliste correspondant à l’expression de la fonction caractéristique de segmentation fondamentale est donc:
SGMTFDMT( [yᵢ₌₁;yᵢ₌ₙ₊∞] ) = (1-1A(yᵢ)) ∪ 1A(yᵢ)=(1-⌈|yᵢ|/(|yᵢ|+1)⌉) ∪ ⌈|yᵢ|/(|yᵢ|+1)⌉ (A’2’1′)
⁂
Nous devons maintenant pour conclure ce premier titre de notre chapitre, nous demander à quoi sert le terme de fondamentale dans l’expression de la fonction caractéristique de segmentation fondamentale autrement qu’à exprimer celui ci, et la réponse est que ce n’est simplement pas exactement comme ce à quoi sert l’expression de la fonction caractéristique à l’origine ou fondamentale d’appartenance d’un élément à un ensemble, ou le terme de fondamentale permet de catégoriser une fonction caractéristique comme étant par extension toutes les autres expressions possibles de fonction caractéristiques d’appartenance mais pas seulement, et donc à toutes les replacer fondamentalement éventuellement. Tandis qu’ici le terme de fondamentale sert à catégoriser strictement en les séparant dans une catégorie différente toutes les autres fonctions de segmentation que l’on qualifiera de générales parce qu’elles sont toutes à la fois des fonctions d’annulations et des fonction de segmentation contrairement à la fonction caractéristique de segmentation fondamentale qui n’est absolument pas simultanément une fonction caractéristique d’annulation de part son unique propriété de non annulation.
Mais il pourrait sembler que la définition du terme de fondamentale dans les termes de fonctions caractéristiques de sous segmentation ne soit plus la même et ne corresponde plus à la même propriété d’unicité comme précédemment pour la fonction caractéristique de segmentation fondamentale dont les éléments sont tous et toujours de valeurs dans {1}, parce que le terme fondamentale dans les termes de fonction caractéristique de sous segmentation fondamentale correspondrait à un processus unique d’une expression unique pour obtenir cette deuxième fonction caractéristique, mais pas seulement car en fait il correspond aussi à la référence à l’origine du début de la séquence correspondant à la représentation de la fonction caractéristique de sous segmentation fondamentale, soit le premier élément à valeur d’indexe de position égal à 1, plus familièrement au début de la séquence, ce que nous explicitons maintenant dans le deuxième titre suivant de notre chapitre.
⁂
Ci-dessus à droite mon illustration « d’artiste » (le dernier terme signifiant qu’il manque à cette représentation les parenthèses et séparateurs qui sied à la rigueur mathématique) de la représentation séquentielle de la fonction caractéristique de sous segmentation double fondamentales de deux types, représentées sous les trois séquences caractéristiques.
Laisser un commentaire