∴
Article de cette rubrique en cours de rédaction!
∴
© "Tous droits réservés" - 2012 par Cédric Christian Bernard Gagneux né le 19/07/64.
∴
"En informatique, une file d’attente (queue) est un ensemble d’entités qui sont maintenues dans une séquence et qui peuvent être modifiées par l’ajout d’entités à une extrémité de la séquence et la suppression d’entités à l’autre extrémité de la séquence. Par convention, la fin de la séquence à laquelle les éléments sont ajoutés est appelée l’arrière, la queue ou l’arrière de la file d’attente, et la fin à laquelle les éléments sont supprimés est appelée la tête ou l’avant de la file d’attente, de manière analogue aux mots utilisés lorsque les gens font la queue pour attendre des biens ou des services. L’opération d’ajout d’un élément à l’arrière de la file d’attente est connue sous le nom d’"en-queue", et l’opération de suppression d’un élément à l’avant est connue sous le nom de retrait de la file d’attente. D’autres opérations peuvent également être autorisées, y compris souvent une opération peek ou front qui renvoie la valeur de l’élément suivant à retirer de la file d’attente sans le mettre en file d’attente. Les opérations d’une file d’attente en font une structure de données FIFO (premier entré, premier sorti). Dans une structure de données FIFO, le premier élément ajouté à la file d’attente sera le premier à être supprimé. Cela équivaut à l’exigence selon laquelle, une fois qu’un nouvel élément est ajouté, tous les éléments qui ont été ajoutés auparavant doivent être supprimés avant que le nouvel élément puisse être supprimé. Une file d’attente est un exemple de structure de données linéaire ou de manière plus abstraite, d’une collection séquentielle." Extrait de l'article intitulé "File d’attente (type de données abstraites)", publié par Wikipédia, l'encyclopédie libre et en ligne.
∴
"Terminaison: Ce qui termine quelque chose met fin à quelque chose. Dans l'espace Partie terminale ou extrémité. Synonyme: bout". Extrait de l'article « terminaison », dans Trésor de la langue française informatisé, 2012.
∴
I) LES EXPRESSIONS ALGEBRIQUES NUMERIQUES DE LA FONCTION CARACTÉRISTIQUE DE TERMINAISONS SEGMENTALES SIMPLES
∴
1) L'expression générale de la fonction caractéristique de terminaisons premières simples:
1ATₙ₌₁(SeqAᵢ({xₙ→ₙ₌ᵢ})) ↔ 1'A(1A(SeqAᵢ({xₙ→ₙ₌ᵢ})))
∴
Pour définir l'expression générale ou systématique de cette fonction de terminaison caractéristique simple, c'est-à-dire dont la terminaison caractéristique n'est que d'une seule valeur, nous commençons par montrer que même si le résultat de la fonction d'annulation caractéristique simple est identique à celui de la fonction de Terminaison caractéristique simple, pourtant elle est structurellement différente de cette dernière. Ainsi donc pour le montrer, nous allons commencer par illustrer encore, mais différemment de ce que nous avons énoncé dans l'introduction de notre sous-titre, "I) LA FONCTION DE TERMINAISON CARACTÉRISTIQUE", en prenant l'exemple d'une autre séquence de nombres appartenant à l'ensemble noté SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...) ↔ SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}), ∀ n ∈ N*, ∀ x ∈ R, et soit la notation de SeqAᵢ, l'indice i correspondant à la quantité de variables de cet ensemble (n l'indice des variables de cet ensemble correspondant à la valeur de la position de ces variables dans la séquence de nombres de R), soit la sous séquence de nombres appartenant à l'ensemble des entiers naturels N*, et représentée comme suit:SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃})=(511,177,174,571,152,1228,959,60,555,199,1244,1244,1244,1244,1244,
1244,1244,1244, 57,138, 250, 12171,499).
Ensuite, nous considérons cette autre fonction indicatrice de l'ensemble des nombres qui sont caractéristiques de la sous séquence des éléments répétés de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) excepté le dernier élément soit SeqAᵢ₌₁({xₙ₌₁₈})=(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1244,0,0,0,0,0), et cette suite de nombres répétés sans le dernier élément répété est représentée par une sous séquence SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₈} \ {xₙ₌₁₈}) ↔ SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})=(0,0,0,0,0,0,0,0,0,0,1244,1244,1244,1244,1244,1244,1244,0
,0,0,0,0,0) ↔ SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})=(0,0,0,0,0,0,0,0,0,0,1244,1244,1244,1244,1244,1244,
1244,1244,0,0,0,0,0) - SeqAᵢ₌₁({xₙ₌₁₈})=(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1244, 0,0,0,0,0)
=(0,0,0,0,0,0,0,0,0,0,1244,1244,1244,1244,1244,1244,1244,0,0,0,0,0,0),
dont nous obtenons la fonction indicatrice correspondante à celle de la suite de nombres caractéristiques des éléments de SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}), définie comme suit:
1A: E→ {0,1}:
dont nous obtenons la fonction indicatrice correspondante à celle de la suite de nombres caractéristiques des éléments de SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}), définie comme suit:
1A: E→ {0,1}:
- 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})*n)=1, si SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})*n ≠0.
- 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})*n)=0, si SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})*n=0
L'expression de cette fonction indicatrice notée 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})), est définie comme suit:
Soit, Index(SeqAᵢ₌₁({xₙ₌₁₁})) ↔ Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁({xₙ₌₁₈}))
↔ Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}); soit n'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})) =Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=7
↔ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁)=18-11=7; ∀ n ∈ N*, ∀ xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}):
a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))⌉+1)))*xₙ ) +1)⌉ (1) → (2)
(2) ↔ a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))⌉+1)))*xₙ ) +1)⌉ → (3)
(3) ↔ a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁))⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₈))-1|⌉-⌈n/(Ind(xₙ₌₁₈))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁))⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₈))-1|⌉-⌈n/( Ind(xₙ₌₁₈))⌉+1)))*xₙ ) +1)⌉ → (4)
(4) ↔ a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉ (5) ↔ (1)
L'expression (5) ↔ (1) de la fonction indicatrice notée 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})), dont les éléments sont caractéristique des nombres de SeqAᵢ₌₂₃=({xₙ₌₁→ₙ₌₂₃}) qui sont répétés en excluant le dernier nombre répété, est représentée par Seq(1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=(0,0,0,0,0,0,0,0,0,0,1,1,1
Soit, Index(SeqAᵢ₌₁({xₙ₌₁₁})) ↔ Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁({xₙ₌₁₈}))
↔ Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}); soit n'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})) =Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=7
↔ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁)=18-11=7; ∀ n ∈ N*, ∀ xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}):
a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))⌉+1)))*xₙ ) +1)⌉ (1) → (2)
(2) ↔ a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))⌉+1)))*xₙ ) +1)⌉ → (3)
(3) ↔ a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁))⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₈))-1|⌉-⌈n/(Ind(xₙ₌₁₈))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁))⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₈))-1|⌉-⌈n/( Ind(xₙ₌₁₈))⌉+1)))*xₙ ) +1)⌉ → (4)
(4) ↔ a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉ (5) ↔ (1)
L'expression (5) ↔ (1) de la fonction indicatrice notée 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})), dont les éléments sont caractéristique des nombres de SeqAᵢ₌₂₃=({xₙ₌₁→ₙ₌₂₃}) qui sont répétés en excluant le dernier nombre répété, est représentée par Seq(1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=(0,0,0,0,0,0,0,0,0,0,1,1,1
,1,1,1,1,0,0,0,0,0,0).
Maintenant nous considérons aussi cette autre fonction indicatrice qui est la fonction caractéristique inverse de la fonction caractéristique précédente 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})) et notée, 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))) ↔ 1-1A(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) \ {xₙ₌₁₁→ₙ₌₁₇})) dont les éléments caractérisent la séquence, SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) \ {xₙ₌₁₁→ₙ₌₁₇})=(511; 177; 174; 571; 152; 1228;
∴
959;60;555;199;0;0;0;0;0;0;0;1244;57;138;250;12171;499), dont nous obtenons l'expression de fonction indicatrice inverse définie comme suit:
1A: E→ {0,1}:
1A: E→ {0,1}:
- 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=0, si SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})≠0.
- 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1, si SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=0
L'expression de cette fonction indicatrice de SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}), est définie comme suit:
Soit, Index(SeqAᵢ₌₁({xₙ₌₁₁})) ↔ Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁({xₙ₌₁₈}))
↔Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit n'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=Card'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))
=7 ↔ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁)=18-11=7; et ∀ n ∈ N*, ∀ xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}):
(1') ↔ a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ (((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))⌉+1)))*xₙ )+1)⌉ → (2')
(2') ↔ a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))⌉+1)))*xₙ ) / ( (((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))⌉+1)))*xₙ ) +1)⌉ → (3')
(3') ↔ a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁))⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₈))-1|⌉-⌈n/(Ind(xₙ₌₁₈))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁))⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₈))-1|⌉-⌈n/( Ind(xₙ₌₁₈))⌉+1)))*xₙ ) +1)⌉ → (4')
(4') ↔ a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉ ↔ (1')
L'expression (4') ↔ (1') de la fonction indicatrice notée 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))
caractéristique des nombres de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) soit la suite des nombres appartenant à SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}), qui ne sont pas répétés en excluant le dernier nombre répété, est représentée par Seq(1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=(1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,1,1,1,1,1,1).
SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) ↔ SeqAᵢ₌₂₃=(511,177,174,571,152,1228,959,60,555,199,1244,1244,1244,
1244,1244,1244,1244,1244,57,138, 250,12171,499), soit n'( SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))
=Card'(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))=23, ce n'est pas seulement parce que sa valeur correspond à l'indice i de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}), car ce n'est pas le cas lorsque des éléments de la séquence sont nuls et dans ce cas l'indice i de SeqAᵢ est supérieur à la valeur du cardinal; ou bien encore parce que nous connaissons aussi la valeur de la fonction Index qui est notée Ind(xₙ) de chaque élément ordonné de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}), et donc que nous connaissons nécessairement le cardinal de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) qui est égal à la valeur de l'index du dernier élément de l'ensemble des nombres de cette séquence, car à nouveau ce n'est pas le cas lorsque des éléments de la séquence sont nuls puisque cette valeur d'index sera supérieure à la valeur du cardinal; mais, c'est seulement que nous connaissons l'expression de ce cardinal notée n'( SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))=Card'( SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))=23, et qui est égal à
Soit, Index(SeqAᵢ₌₁({xₙ₌₁₁})) ↔ Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁({xₙ₌₁₈}))
↔Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit n'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=Card'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))
=7 ↔ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁)=18-11=7; et ∀ n ∈ N*, ∀ xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}):
(1') ↔ a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ (((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+Card(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))⌉+1)))*xₙ )+1)⌉ → (2')
(2') ↔ a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))⌉+1)))*xₙ ) / ( (((⌈ |n/(Ind(xₙ₌₁₁)-1+1)-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1)⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁)-1+1+ Ind(xₙ₌₁₈)-Ind(xₙ₌₁₁))⌉+1)))*xₙ ) +1)⌉ → (3')
(3') ↔ a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/(Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁))⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₈))-1|⌉-⌈n/(Ind(xₙ₌₁₈))⌉+1)))*xₙ ) / ( ( ((⌈ |n/(Ind(xₙ₌₁₁))-1|⌉-⌈n/(Ind(xₙ₌₁₁))⌉+1))*xₙ+(1-((⌈ |n/(Ind(xₙ₌₁₈))-1|⌉-⌈n/( Ind(xₙ₌₁₈))⌉+1)))*xₙ ) +1)⌉ → (4')
(4') ↔ a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉ ↔ (1')
L'expression (4') ↔ (1') de la fonction indicatrice notée 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))
caractéristique des nombres de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) soit la suite des nombres appartenant à SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}), qui ne sont pas répétés en excluant le dernier nombre répété, est représentée par Seq(1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=(1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,1,1,1,1,1,1).
∴
Si nous connaissons le cardinal des éléments non nul de l'ensemble des éléments de la séquenceSeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) ↔ SeqAᵢ₌₂₃=(511,177,174,571,152,1228,959,60,555,199,1244,1244,1244,
1244,1244,1244,1244,1244,57,138, 250,12171,499), soit n'( SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))
=Card'(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))=23, ce n'est pas seulement parce que sa valeur correspond à l'indice i de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}), car ce n'est pas le cas lorsque des éléments de la séquence sont nuls et dans ce cas l'indice i de SeqAᵢ est supérieur à la valeur du cardinal; ou bien encore parce que nous connaissons aussi la valeur de la fonction Index qui est notée Ind(xₙ) de chaque élément ordonné de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}), et donc que nous connaissons nécessairement le cardinal de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) qui est égal à la valeur de l'index du dernier élément de l'ensemble des nombres de cette séquence, car à nouveau ce n'est pas le cas lorsque des éléments de la séquence sont nuls puisque cette valeur d'index sera supérieure à la valeur du cardinal; mais, c'est seulement que nous connaissons l'expression de ce cardinal notée n'( SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))=Card'( SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))=23, et qui est égal à
la somme des valeurs égales à 1, caractérisant par la fonction indicatrice les éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) qui sont non nuls. En effet, sachant que l'expression de la fonction caractéristique fondamentale de toute séquence de nombres de valeurs non nulles, est définie comme suit:
1A: E→ {0,1}:
1A: E→ {0,1}:
- 1A(xₙ)=1 si xₙ ≠0
- 1A(xₙ)=0 si xₙ=0
L'expression de cette fonction caractéristique 1A(xₙ) de l'expression a(n)=xₙ, est définie comme suit:
∀ xₙ ∈ R, ∀ n ∈ N*: 1A(xₙ)=⌈ |xₙ|/(|xₙ|+1) ⌉ (α).
Alors nous obtenons l'expression du cardinal spécial noté n'(X) ou Card'(X) du sous-ensemble de toutes les variables non nulles, xₙ de l'ensemble noté SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆,
xₙ₊₇...) ↔ SeqAᵢ({xₙ₌₁→ₙ₌ᵢ₊₁}), ∀ n ∈ N*, ∀ x ∈ R.
Dans la notation de SeqAᵢ, l'indice i correspondant à la quantité de variables de cet ensemble (n l'indice des variables de cet ensemble correspondant à la valeur de la position de ces variables dans la séquence de nombres de R. Card'(X) ou n'(X) est définie comme suit, 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 SeqE dont le cardinal n(E)=Card(E)=x que nous connaissons comme correspondant à l'expression a(n), notée ∑n=1→n=x: [ a(n) ], de cette séquence de nombres définie comme suit:
∀ xₙ ∈ R, ∀ n ∈ N*: 1A(xₙ)=⌈ |xₙ|/(|xₙ|+1) ⌉ (α).
Alors nous obtenons l'expression du cardinal spécial noté n'(X) ou Card'(X) du sous-ensemble de toutes les variables non nulles, xₙ de l'ensemble noté SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆,
xₙ₊₇...) ↔ SeqAᵢ({xₙ₌₁→ₙ₌ᵢ₊₁}), ∀ n ∈ N*, ∀ x ∈ R.
Dans la notation de SeqAᵢ, l'indice i correspondant à la quantité de variables de cet ensemble (n l'indice des variables de cet ensemble correspondant à la valeur de la position de ces variables dans la séquence de nombres de R. Card'(X) ou n'(X) est définie comme suit, 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 SeqE dont le cardinal n(E)=Card(E)=x que nous connaissons comme correspondant à l'expression a(n), notée ∑n=1→n=x: [ a(n) ], de cette séquence de nombres définie comme suit:
a(n)=n'(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...xₙ₌ᵢ)=Card'(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}))=∑ n=1→n=∞: [ (1A(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})))i] =∑ n=1→n=∞: [ ⌈|xₙ|/(|xₙ|+1)⌉ ] (β).
↔ Card'(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}))=∑ n=1→n=∞: [ ⌈|xₙ|/(|xₙ|+1)⌉ ] (β').
Remarquons que si nous obtenons le cardinal des valeurs non nulles par les expressions précédentes () et (), nous pouvons obtenir inversement le cardinal des valeurs nulles de l'ensemble des éléments de SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...xₙ₌ᵢ), noté n''SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})) ↔ Card''(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})), et défini comme suit:
a(n)=n''(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...xₙ₌ᵢ)=Card''(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}))=∑ n=1→n=∞: [ (1-1A(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})))i] =∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ] (γ).
↔ Card''(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}))=∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ] (γ').
Mais nous remarquons surtout que le cardinal d'une séquence de nombres comme définit ci-dessus, c'est à dire déterminé par notre expression (β) comme égal à la quantité de valeurs non nulles de cette séquence, est en fait non conforme à la définition standard du cardinal d'un ensemble de nombres, et de surcroit le cardinal d'une séquence qui est définie normalement comme la somme des valeurs nulles et non nulles de cette même séquence et dont l'expression serait alors ce qu'elle devrait être définie comme suit:
a(n)=n(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...xₙ₌ᵢ)) = Card(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})) =
∑ n=1→n=∞: [ (1A(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇....xₙ₌ᵢ.)))i + ∑ n=1→n=∞: [ (1-1A(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇....xₙ₌ᵢ.)))i ] = ∑ n=1→n=∞: [ ⌈|xₙ|/(|xₙ|+1)⌉ ] + ∑ n=1→n=∞: [1- ⌈|xₙ|/(|xₙ|+1)⌉ ] (δ)
↔ Card(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})=∑ n=1→n=∞: [⌈|xₙ|/(|xₙ|+1)⌉ ] + ∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ] (δ')
1244,1244,1244,1244,1244,1244,1244,1244,57,138,250,12171,499) dans l'expression (β'), nous obtenons Card'(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃})=∑ n=1→n=23: [ ⌈ |xₙ|/(|xₙ|+1) ⌉ ] =23.
Toujours en remplaçant par les valeurs de SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})=(0,0,0,0,0,0,0,0,0,0,1244,1244,
1244,1244,1244,1244,1244,0,0,0,0,0,0) dans l'expression (β'), nous obtenons
Card'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=7; ainsi qu'en remplaçant toujours dans l'expression (β'), par les valeurs de SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})=(0,0,0,0,0,0,0,0,0,0,1244,1244,1244,1244,1244,1244,1244,
1244,0,0,0,0,0), nous obtenons Card'(SeqAᵢ(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}))=8.
Rappelons d'abord la définition de la position d'un élément dans une séquence, soit que l'indexe de position est "l'index auquel cette valeur apparaît correspondante au décalage de l'élément depuis le début de la séquence, avec l’élément de tête (c’est-à-dire le premier) de la séquence a l'indexe 0 ou 1, l’élément suivant a le rang 1 ou 2, et ainsi de suite, et s'il y a N éléments dans la séquence, alors les indices vont de 0 ou 1 à N-1 ou N (il n'y a pas de "trous" dans la séquence)", terme qu'il ne faut pas confondre avec le rang d'un élément dans une séquence c'est-à-dire le nombre d'éléments de la séquence dont les valeurs sont supérieures à la valeur de cet élément, car il est communément admis par erreur que dans une suite de nombres, le rang d’un terme est l’ordinal qui caractérise la position de ce terme. Ainsi, "Un entier naturel peut être utilisé dans deux buts: décrire la taille d'un ensemble, ou donner la position d'un élément dans une suite ordonnée". Ainsi, la fonction INDEX d'un élément d'une séquence renvoie une valeur ou une référence à une valeur provenant de la position de cet élément d'une suite d'un ensemble de nombres. La fonction RANG d'un élément d'une séquence renvoie une valeur correspondante au nombre d'éléments de la séquence dont les valeurs sont supérieures à la valeur de cet élément.
Puis, nous remarquerons que pour déterminer la valeur de l'indexe du dernier élément répété appartenant à la sous séquence SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}), et de notation séquentielle SeqAᵢ₌₁({xₙ₌₁₈})
↔ Card'(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}))=∑ n=1→n=∞: [ ⌈|xₙ|/(|xₙ|+1)⌉ ] (β').
Remarquons que si nous obtenons le cardinal des valeurs non nulles par les expressions précédentes () et (), nous pouvons obtenir inversement le cardinal des valeurs nulles de l'ensemble des éléments de SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...xₙ₌ᵢ), noté n''SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})) ↔ Card''(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})), et défini comme suit:
a(n)=n''(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...xₙ₌ᵢ)=Card''(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}))=∑ n=1→n=∞: [ (1-1A(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})))i] =∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ] (γ).
↔ Card''(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}))=∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ] (γ').
∴
Mais nous remarquons surtout que le cardinal d'une séquence de nombres comme définit ci-dessus, c'est à dire déterminé par notre expression (β) comme égal à la quantité de valeurs non nulles de cette séquence, est en fait non conforme à la définition standard du cardinal d'un ensemble de nombres, et de surcroit le cardinal d'une séquence qui est définie normalement comme la somme des valeurs nulles et non nulles de cette même séquence et dont l'expression serait alors ce qu'elle devrait être définie comme suit:
a(n)=n(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...xₙ₌ᵢ)) = Card(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})) =
∑ n=1→n=∞: [ (1A(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇....xₙ₌ᵢ.)))i + ∑ n=1→n=∞: [ (1-1A(SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇....xₙ₌ᵢ.)))i ] = ∑ n=1→n=∞: [ ⌈|xₙ|/(|xₙ|+1)⌉ ] + ∑ n=1→n=∞: [1- ⌈|xₙ|/(|xₙ|+1)⌉ ] (δ)
↔ Card(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})=∑ n=1→n=∞: [⌈|xₙ|/(|xₙ|+1)⌉ ] + ∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ] (δ')
∴
Nous reprenons notre exemple de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}) et nous considérons le cardinal séquentiel comme le cardinal spécial étant égal à la quantité de valeurs non nulles d'une séquence, et en remplaçant par les valeurs de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃})=(511,177,174,571,152,1228,959,60,555,199,1244,1244,1244,1244,1244,1244,1244,1244,57,138,250,12171,499) dans l'expression (β'), nous obtenons Card'(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃})=∑ n=1→n=23: [ ⌈ |xₙ|/(|xₙ|+1) ⌉ ] =23.
Toujours en remplaçant par les valeurs de SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})=(0,0,0,0,0,0,0,0,0,0,1244,1244,
1244,1244,1244,1244,1244,0,0,0,0,0,0) dans l'expression (β'), nous obtenons
Card'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=7; ainsi qu'en remplaçant toujours dans l'expression (β'), par les valeurs de SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})=(0,0,0,0,0,0,0,0,0,0,1244,1244,1244,1244,1244,1244,1244,
1244,0,0,0,0,0), nous obtenons Card'(SeqAᵢ(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}))=8.
∴
Ensuite grâce à l'expression de ce cardinal nous déterminerons l'index du premier élément répété appartenant à la sous séquence SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}), et de notation séquentielle SeqAᵢ₌₁({xₙ₌₁₁}) ↔ SeqAᵢ₌₁₁({xₙ₌₁→ₙ₌₁₁})=(0,0,0,0,0,0,0,0,0,0,1244,0,0,0,0,0,0,0,0,0,0,0,0), ainsi que la valeur de l'index du dernier élément répété appartenant à la sous-séquence SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}), et de notation séquentielle SeqAᵢ₌₁({xₙ₌₁₈})↔SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}) =(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1244,0,0,0,0,0).Rappelons d'abord la définition de la position d'un élément dans une séquence, soit que l'indexe de position est "l'index auquel cette valeur apparaît correspondante au décalage de l'élément depuis le début de la séquence, avec l’élément de tête (c’est-à-dire le premier) de la séquence a l'indexe 0 ou 1, l’élément suivant a le rang 1 ou 2, et ainsi de suite, et s'il y a N éléments dans la séquence, alors les indices vont de 0 ou 1 à N-1 ou N (il n'y a pas de "trous" dans la séquence)", terme qu'il ne faut pas confondre avec le rang d'un élément dans une séquence c'est-à-dire le nombre d'éléments de la séquence dont les valeurs sont supérieures à la valeur de cet élément, car il est communément admis par erreur que dans une suite de nombres, le rang d’un terme est l’ordinal qui caractérise la position de ce terme. Ainsi, "Un entier naturel peut être utilisé dans deux buts: décrire la taille d'un ensemble, ou donner la position d'un élément dans une suite ordonnée". Ainsi, la fonction INDEX d'un élément d'une séquence renvoie une valeur ou une référence à une valeur provenant de la position de cet élément d'une suite d'un ensemble de nombres. La fonction RANG d'un élément d'une séquence renvoie une valeur correspondante au nombre d'éléments de la séquence dont les valeurs sont supérieures à la valeur de cet élément.
Puis, nous remarquerons que pour déterminer la valeur de l'indexe du dernier élément répété appartenant à la sous séquence SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}), et de notation séquentielle SeqAᵢ₌₁({xₙ₌₁₈})
↔SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}) =(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1244,0,0,0,0,0), soit en remplaçant par les valeurs précédentes dans l'expression (δ') et non (β'), nous obtenons cette valeur de l'index recherché et noté Index(SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}))↔Ind(xₙ₌₁₈)=18. En effet, utiliser l'expression (β') omettant le nombre de valeurs 0 nous donnerait un index égal au cardinal des valeurs non nulles de l'ensemble des valeurs de xₙ₌₁=0 à xₙ₌₁₈=1244, soit la séquence notée SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈})=(0,0,0,0,0,0,0,0,0,0,0,0,0
,0,0,0,0,1244,0,0,0,0,0), et soit Card'(SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}))=1, valeur inférieure à la valeur réelle de l'index recherchée qui devrait en fait est égale à la somme du cardinal de la caractéristique des valeurs nulles et non nulles de l'ensemble des valeurs de xₙ₌₁=0 à xₙ₌₁₈=1244, noté SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}), soit Card''(SeqAᵢ₌₁₀({xₙ₌₁→ₙ₌₁₀})) =17, la quantité de valeurs nulles de l'ensemble des éléments de cette sous-séquence; soit Card'(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})=1, la quantité de valeurs non nulles de l'ensemble des éléments de cette sous-séquence. La somme de ces deux cardinaux correspond en général exactement à la somme des deux expressions (β') et (γ'), dans l'expression générale (δ') soit, avec SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈})=(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1244,0,0,0,0,0):
Card(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})=∑ n=1→n=∞: [⌈|xₙ|/(|xₙ|+1)⌉ ] + ∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ]; et en particulier dans notre exemple:
Card(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})=∑ n=1→n=∞: [⌈|xₙ|/(|xₙ|+1)⌉ ] + ∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ]; et en particulier dans notre exemple:
Card(SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈})) =Card''(SeqAᵢ₌₁₀({xₙ₌₁→ₙ₌₁₇})) + Card'(SeqAᵢ₌₁({ₙ₌₁₈})) =
∑ n=1→n=∞: [1-⌈|xₙ₌₁→ₙ₌₁₀|/(|xₙ₌₁→ₙ₌₁₀|+1)⌉ ] + ∑ n=1→n=∞: [ ⌈|xₙ₌₁₈|/(|xₙ₌₁₁→ₙ₌₁₈|+1)⌉ ] = 17+1=18 ↔ Index(SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}))↔Ind(xₙ₌₁₈)=18.
∴
soit la valeur de 1 inférieur à la valeur réelle de l'index recherché qui est égal à la somme du cardinal de la caractéristique des valeurs nulles et non nulles de l'ensemble des valeurs de xₙ₌₁=0 à xₙ₌₁₁=1244, noté SeqAᵢ₌₁₁({xₙ₌₁→ₙ₌₁₁})=(0,0,0,0,0,0,0,0,0,0,1244,0,0,0,0,0,0,0,0,0,0,0,0), soit Card''(SeqAᵢ₌₁₀({xₙ₌₁→ₙ₌₁₀})) =10, la quantité de valeurs nulles de l'ensemble des éléments de cette sous-séquence; soit Card'(SeqAᵢ₌₁({xₙ₌₁₁})=1, la quantité de valeurs non nulles de l'ensemble des éléments de cette sous-séquence. La somme de ces deux cardinaux correspond en général exactement à la somme des deux expressions (β') et (γ'), dans l'expression générale (δ') soit:
Card(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})=∑ n=1→n=∞: [⌈|xₙ|/(|xₙ|+1)⌉ ] + ∑ n=1→n=∞: [ 1-⌈|xₙ|/(|xₙ|+1)⌉ ] et en particulier dans notre exemple:
Card(SeqAᵢ₌₁₁({xₙ₌₁→ₙ₌₁₁}) = Card''(SeqAᵢ₌₁₀({xₙ₌₁→ₙ₌₁₀}))+Card'(SeqAᵢ₌₁({xₙ₌₁₁})=
∑ n=1→n=∞: [ 1-⌈ |xₙ₌₁→ₙ₌₁₀| / (|xₙ₌₁→ₙ₌₁₀|+1)⌉ ] + ∑ n=1→n=∞: [ ⌈|xₙ₌₁₁|/( |xₙ₌₁₁|+1)⌉ ]=10 +1=11 ↔ Index(SeqAᵢ₌₁₁({xₙ₌₁→ₙ₌₁₁})) ↔ Ind(xₙ₌₁₁)=11.
∴
Mais si nous n'avons fait précédemment que décrire ce qui correspond à la définition d'un algorithme, une suite d'étapes calculatoires permettant d'obtenir un résultat à partir d'éléments fournis en début de procédure, soit nullifier les éléments d'une suite de nombres, puis calculer la fonction caractéristique de la séquence modifiée, et enfin calculer la somme totale, des éléments de cette fonction caractéristique, il nous reste à déterminer l'expression systématique correspondant à cet algorithme, donc à ne plus choisir préalablement les éléments à nullifier en utilisant une expression pour les nullifier afin d'obtenir le résultat de la valeur d'index ou de cardinalité correspondant, mais à utiliser une expression systématique non redondante nous permettant d'obtenir ce même résultat. Nous commencerons donc par écrire intentionnellement cette expression de manière redondante puisque comprenant déjà dans sa formulation les valeurs recherchées pour ensuite éliminer toute redondance dans les applications de cette expression que nous illustrerons en théorie des nombres, au titre 28: 18'A VII'', intitulé "APPLICATIONS DE LA FONCTION DE TERMINAISON CARACTÉRISTIQUE SIMPLE AUX FONCTIONS ARITHMÉTIQUES DE LA DIVISIBILITÉ ET DE LA NON-DIVISIBILITÉ: n|a; n∤a.; b|a; b∤a; PGCD(a;b)."
∴
Ainsi, connaissant la valeur des cardinaux et des index précédemment calculés, nous pouvons donc maintenant écrire à nouveau, mais différemment des deux expressions (1) et (1') précédemment écrites de représentation respective Seq(1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=(0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0), et Seq(1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=(1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,1,1,1,1,1)
les expressions correspondantes aux suites de nombres qui sont les éléments des fonctions indicatrices de représentation Seq(1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})))=(1,1,1,1,1,1,1,1,1,1,0,0,0,0,,0,0,0,1,1,1,1,1),
et Seq(1-1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})))=(0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0), définies respectivement comme suit:
1A: E→ {0,1}:
- 1-1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}))=1, si SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}) ≠ 0;
- 1-1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})))=0, si SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}) = 0.
L'expression de cette fonction caractéristique de (1-1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})) )*n, est définie comme suit:
Soit, Index(SeqAᵢ₌₁₁({xₙ₌₁→ₙ₌₁₁})) ↔ Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}))
↔Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); ∀ n ∈ N*:
a(n)= 1-((⌈|n/(18+1)-1|⌉-⌈n/(18+1)⌉+1)-(⌈ |n/11-1| ⌉-⌈n/11⌉+1)) (2).
Puis pour la deuxième séquence de représentation, Seq(1-1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})))=(0,0,0,0,0,
0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0), nous obtenons l'expression de la fonction indicatrice correspondante comme suit:
1A: E→ {0,1}:
Soit, Index(SeqAᵢ₌₁₁({xₙ₌₁→ₙ₌₁₁})) ↔ Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}))
↔Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); ∀ n ∈ N*:
a(n)= 1-((⌈|n/(18+1)-1|⌉-⌈n/(18+1)⌉+1)-(⌈ |n/11-1| ⌉-⌈n/11⌉+1)) (2).
Puis pour la deuxième séquence de représentation, Seq(1-1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈})))=(0,0,0,0,0,
0,0,0,0,0,1,1,1,1,1,1,1,1,0,0,0,0,0), nous obtenons l'expression de la fonction indicatrice correspondante comme suit:
1A: E→ {0,1}:
- 1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}))=1, si SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}) = 0.
- 1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}))=0, si SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}) ≠ 0
L'expression de cette fonction caractéristique de 1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}), est définie comme suit:
Soit, Index(SeqAᵢ₌₁₁({xₙ₌₁→ₙ₌₁₁})) ↔ Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁₈({xₙ₌₁→ₙ₌₁₈}))
↔Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); ∀ n ∈ N*:
a(n)= (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) (2').
∴
Maintenant nous pouvons enfin réécrire en modifiant l'expression précédente (4')↔(1') de la fonction indicatrice notée 1-1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}) \ SeqAᵢ₌₁({xₙ₌₁₈})) ↔1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})),
soit a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉, avec xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}), et de représentation Seq(1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))) = (1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,1,1,1,1,1,1), en les définissants respectivement comme suit:
1A: E→ {0,1}:
1A: E→ {0,1}:
- 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=0, si SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})≠0.
- 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1, si SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=0
L'expression de cette fonction caractéristique de 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})) est définie comme suit:
Soit, Ind(SeqAᵢ₌₁({xₙ₌₁₁}))=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Ind(SeqAᵢ₌₁({xₙ₌₁₈}))=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); ∀ n ∈ N* et xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}):
a(n)=1-((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1)-(⌈ |n/11-1| ⌉-⌈n/11⌉+1)) (1'') ↔ (4') ↔ (1') ↔
a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉ .
Nous pouvons aussi réécrire en modifiant l'expression précédente (5) ↔ (1), de la fonction indicatrice, notée 1A(SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}) \ SeqAᵢ₌₁({xₙ₌₁₈})) ↔1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})), soit a(n)=1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1-⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉, avec xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}),
Soit, Ind(SeqAᵢ₌₁({xₙ₌₁₁}))=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Ind(SeqAᵢ₌₁({xₙ₌₁₈}))=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); ∀ n ∈ N* et xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}):
a(n)=1-((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1)-(⌈ |n/11-1| ⌉-⌈n/11⌉+1)) (1'') ↔ (4') ↔ (1') ↔
a(n)=1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉ .
∴
et de représentation Seq(1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))=(0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0),
1A: E→ {0,1}:
- 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=1 si SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})=0
- 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=0, si SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))≠0.
L'expression de cette fonction caractéristique 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})) est définie comme suit:
Soit, Ind(SeqAᵢ₌₁({xₙ₌₁₁}))=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Ind(SeqAᵢ₌₁({xₙ₌₁₈}))=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}); ∀ n ∈ N* et xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}):
a(n)=(⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1)-(⌈ | n/11-1|⌉-⌈n/11⌉+1) (1''') ↔ (5) ↔ (1) ↔
a(n)=1-⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉
Ensuite, nous ne généraliserons finalement à l'expression de toute fonction de terminaison simple, notre exemple particulier qu'après avoir avec les deux expressions précédentes écrit l'expression de la fonction de terminaison caractéristique simple notée 1ATₙ₌₁(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))↔
1'A(1A( SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))) de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃})=(511,177,174,571,152,1228,959,60,
555,199,1244,1244,1244,1244,1244,1244,1244,1244, 57,138, 250, 12171,499), par l'opération de soustraction deux segments de suites de nombres 1 correspondant à deux fonctions indicatrices différentes et dont la quantité d'éléments est exactement égale, ou exactement inférieure d'un, ou exactement supérieur d'un, à la valeur de la fonction Index donnant la position de l'unique élément de la sous séquence de SeqAᵢ₌₁({xₙ₌₁₈})) de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}), soit Index(SeqAᵢ₌₁({xₙ₌₁₈}))
↔ Ind(xₙ₌₁₈)=18.
Mais tout d'abord pour écrire l'expression de cette fonction de terminaison caractéristique simple
1ATₙ₌₁(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃})), nous effectuons l'opération de multiplication des nombres de la séquence des entiers naturels N*, notée SeqN*=(1,2,3,4,5, 6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
,21,22,23) d'expression a(n)=n, d'abord par les éléments de la fonction indicatrice inverse de la fonction indicatrice 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})), donc la fonction indicatrice inverse que nous avons noté 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=(1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,1,1,1,1,1,1), soit une opération
de multiplication que nous notons a(n)=(1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))*n=(1,2,3,4,5,6,7,8,9,10,0
,0,0,0,0,0,0,18,19,20,21,22,23); puis par les éléments de la fonction indicatrice notée
1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=(0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0), multiplié par n
et notée 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))*n=(0,0,0,0,0,0,0,0,0,0,11,12,13,14,15,16,17,0,0,0,0,0,0).
Soit, Ind(SeqAᵢ₌₁({xₙ₌₁₁}))=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}); soit Ind(SeqAᵢ₌₁({xₙ₌₁₈}))=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}); ∀ n ∈ N* et xₙ ∈ SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}):
a(n)=(⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1)-(⌈ | n/11-1|⌉-⌈n/11⌉+1) (1''') ↔ (5) ↔ (1) ↔
a(n)=1-⌈ ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) / ( ( ((⌈ |n/11-1|⌉-⌈n/11⌉+1))*xₙ+(1-((⌈ |n/18-1|⌉-⌈n/18⌉+1)))*xₙ ) +1)⌉
∴
Ensuite, nous ne généraliserons finalement à l'expression de toute fonction de terminaison simple, notre exemple particulier qu'après avoir avec les deux expressions précédentes écrit l'expression de la fonction de terminaison caractéristique simple notée 1ATₙ₌₁(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))↔
1'A(1A( SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}))) de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃})=(511,177,174,571,152,1228,959,60,
555,199,1244,1244,1244,1244,1244,1244,1244,1244, 57,138, 250, 12171,499), par l'opération de soustraction deux segments de suites de nombres 1 correspondant à deux fonctions indicatrices différentes et dont la quantité d'éléments est exactement égale, ou exactement inférieure d'un, ou exactement supérieur d'un, à la valeur de la fonction Index donnant la position de l'unique élément de la sous séquence de SeqAᵢ₌₁({xₙ₌₁₈})) de SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃}), soit Index(SeqAᵢ₌₁({xₙ₌₁₈}))
↔ Ind(xₙ₌₁₈)=18.
Mais tout d'abord pour écrire l'expression de cette fonction de terminaison caractéristique simple
1ATₙ₌₁(SeqAᵢ₌₂₃({xₙ₌₁→ₙ₌₂₃})), nous effectuons l'opération de multiplication des nombres de la séquence des entiers naturels N*, notée SeqN*=(1,2,3,4,5, 6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
,21,22,23) d'expression a(n)=n, d'abord par les éléments de la fonction indicatrice inverse de la fonction indicatrice 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})), donc la fonction indicatrice inverse que nous avons noté 1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=(1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,1,1,1,1,1,1), soit une opération
de multiplication que nous notons a(n)=(1-1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇})))*n=(1,2,3,4,5,6,7,8,9,10,0
,0,0,0,0,0,0,18,19,20,21,22,23); puis par les éléments de la fonction indicatrice notée
1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=(0,0,0,0,0,0,0,0,0,0,1,1,1,1,1,1,1,0,0,0,0,0,0), multiplié par n
et notée 1A(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))*n=(0,0,0,0,0,0,0,0,0,0,11,12,13,14,15,16,17,0,0,0,0,0,0).
∴
1A: E→ {0,1}:
- 1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇}))=1, si Index(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇})) <=Index(SeqAᵢ₌₁({xₙ₌₁₇}))=17
- 1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇}))=0, si Index(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇})) >Index(SeqAᵢ₌₁({xₙ₌₁₇}))=17
L'expression de cette fonction caractéristique de 1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇})) est définie comme suit:
Soit n'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=Card'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=7; soit, Index(SeqAᵢ₌₁({xₙ₌₁₁}))=
Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁({xₙ₌₁₈}))=Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}); ∀ n ∈ N*:
a(n)=1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇}))=( ⌈(7-( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) ) +(1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))) / (7-( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1 ) (3)
a(n)=1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇}))=⌈|n /(17+1)-1|⌉-⌈n/(17+1)⌉+1 (3')↔(3)
La représentation des expressions (3)↔(3'), correspondant à la fonction indicatrice dont les éléments sont caractéristiques des nombres dont les index sont inférieurs à l'index du dernier nombre de la sous séquence de nombre répété SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}) de la séquence
SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}),soit Index(SeqAᵢ₌₁({xₙ₌₁₇})=Ind(xₙ₌₁₇)=17, est1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇}))
=(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0).
Nous déduisons de la séquence précédente l'opération de soustraction qui nous permet d'obtenir la fonction indicatrice du dernier élément répétée de la séquence SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}), notée 1A(SeqAᵢ₌₁({xₙ₌₁₈})), c'est-à-dire la séquence soustraite d'éléments de l'ensemble des nombres de la fonction indicatrice caractéristique des nombres dont les index sont inférieurs à l'index du premier nombre suivant immédiatement après le dernier nombre de la sous séquence de nombre répété, SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) de la séquence SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}), et notée 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈})*n), dont la représentation est la suite de nombres de l'ensemble des éléments de la séquence Seq₂=(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0). Cette fonction caractéristique notée 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )*n) de représentation précédente est définie comme suit:
1A: E→ {0,1}:
Soit n'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=Card'(SeqAᵢ₌₇({xₙ₌₁₁→ₙ₌₁₇}))=7; soit, Index(SeqAᵢ₌₁({xₙ₌₁₁}))=
Ind(xₙ₌₁₁)=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁({xₙ₌₁₈}))=Ind(xₙ₌₁₈)=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}); ∀ n ∈ N*:
a(n)=1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇}))=( ⌈(7-( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) ) +(1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))) / (7-( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1 ) (3)
a(n)=1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇}))=⌈|n /(17+1)-1|⌉-⌈n/(17+1)⌉+1 (3')↔(3)
La représentation des expressions (3)↔(3'), correspondant à la fonction indicatrice dont les éléments sont caractéristiques des nombres dont les index sont inférieurs à l'index du dernier nombre de la sous séquence de nombre répété SeqAᵢ₌₈({xₙ₌₁₁→ₙ₌₁₈}) de la séquence
SeqAᵢ₌₂₃({xₙ→ₙ₌₂₃}),soit Index(SeqAᵢ₌₁({xₙ₌₁₇})=Ind(xₙ₌₁₇)=17, est1A(SeqAᵢ₌₁₇({xₙ₌₁→ₙ₌₁₇}))
=(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0).
∴
1A: E→ {0,1}:
- 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ))* n)=1, si (1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ))*n <1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )*n ∧ 1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )*n ≠ 0;
- 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ))*n)=0, si (1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ))*n >1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )*n ∧ 1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )*n ≠ 0.
L'expression de cette fonction caractéristique de n*(1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )), est définie comme suit:
Soit Ω'=Card(SeqAᵢ₌₇=({xₙ₌₁₁→ₙ₌₁₇}))=7; soit Ω=Card(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}))=8;
soit, Index(SeqAᵢ₌₁=({xₙ₌₁₁}))=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁=({xₙ₌₁₈}))=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}); ∀ n ∈ N*:
a(n)=1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ) )*n)=( ⌈(8-( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))) / (8-( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1 ) (4)
a(n)=1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ) )*n)=⌈ |n/(17+2)-1|⌉-⌈n/(17+2)⌉+1 (4') ↔ (4)
Ainsi la représentation des expressions obtenues ci-dessus (4)↔(4'), correspond exactement comme nous l'avons écrit à la fonction indicatrice dont les éléments de l'ensemble des nombres dont les index sont inférieurs à l'index du premier nombre suivant immédiatement après le dernier nombre de la sous séquence de nombre répété SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) de la séquence SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}), et notée 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )*n), soit comme précédemment la suite de nombres de l'ensemble des éléments de la séquence Seq₂=(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0).
1A: E→ {0,1}:
Soit Ω'=Card(SeqAᵢ₌₇=({xₙ₌₁₁→ₙ₌₁₇}))=7; soit Ω=Card(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}))=8;
soit, Index(SeqAᵢ₌₁=({xₙ₌₁₁}))=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}); soit Index(SeqAᵢ₌₁=({xₙ₌₁₈}))=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}); ∀ n ∈ N*:
a(n)=1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ) )*n)=( ⌈(8-( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))) / (8-( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1 ) (4)
a(n)=1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ) )*n)=⌈ |n/(17+2)-1|⌉-⌈n/(17+2)⌉+1 (4') ↔ (4)
Ainsi la représentation des expressions obtenues ci-dessus (4)↔(4'), correspond exactement comme nous l'avons écrit à la fonction indicatrice dont les éléments de l'ensemble des nombres dont les index sont inférieurs à l'index du premier nombre suivant immédiatement après le dernier nombre de la sous séquence de nombre répété SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) de la séquence SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}), et notée 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )*n), soit comme précédemment la suite de nombres de l'ensemble des éléments de la séquence Seq₂=(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,0,0,0,0,0).
∴
Ensuite, nous effectuons la soustraction des expressions (3) de (4) ou (3') de (4'), pour obtenir en finalité l'expression recherchée de la fonction indicatrice du dernier élément répété de la séquence SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}), notée 1A(SeqAᵢ₌₁=({xₙ₌₁₈})), soit une opération et son résultat, l'expression de cette fonction indicatrice définie comme suit:1A: E→ {0,1}:
- 1A(SeqAᵢ₌₁=({xₙ₌₁₈}))=1, si 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ))* n)=1 ∧ 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) \ SeqAᵢ₌₁=({xₙ₌₁₈})) )*n)=0
- 1A(SeqAᵢ₌₁=({xₙ₌₁₈}))=0, si 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ))* n)=1 ∧ 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) \ SeqAᵢ₌₁=({xₙ₌₁₈})) )*n)=1 ∨ 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ))*n)=0 ∧ 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) \ SeqAᵢ₌₁=({xₙ₌₁₈})))*n)=0
Soit Ω'=Card(SeqAᵢ₌₇=({xₙ₌₁₁→ₙ₌₁₇}))=7; soit Ω=Card(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) )=8;
soit, Index(SeqAᵢ₌₁=({xₙ₌₁₁}))=11, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃={xₙ→ₙ₌₂₃}; soit Index(SeqAᵢ₌₁=({xₙ₌₁₈}))=18, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ₌₂₃={xₙ→ₙ₌₂₃}; ∀ n ∈ N*:
a(n)=1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) ) )*n) - 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) \ SeqAᵢ₌₁=({xₙ₌₁₈})) )*n) = ( ⌈(8-( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))) / (8-( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(18+1)-1|⌉-⌈n/(18+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1 ) - ( ⌈(7-( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))) / (7-( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1) )i ] ) )+(1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ |n/11-1| ⌉-⌈n/11⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(17+1)-1|⌉-⌈n/(17+1)⌉+1) - (⌈ | n/11-1|⌉-⌈n/11⌉+1 ) (5)
a(n)=1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈})) )*n) - 1A((1-1A(SeqAᵢ₌₈=({xₙ₌₁₁→ₙ₌₁₈}) \ SeqAᵢ₌₁=({xₙ₌₁₈})) )*n) =⌈ |n/(17+2)-1|⌉-⌈n/(17+2)⌉+1 - ( ⌈|n /(17+1)-1|⌉-⌈n/(17+1)⌉+1) (5')
La représentation des expressions équivalentes (5) et (5'), de la fonction indicatrice du dernier élément répété de la séquence SeqAᵢ₌₂₃={xₙ→ₙ₌₂₃}, notée 1A(SeqAᵢ₌₁=({xₙ₌₁₈})), est la séquence Seq'{0;1}=(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0).
Avant même de continuer notre exemple précédent par la généralisation des expressions écrites pour cet exemple, il nous faut remarquer que la longueur de l'expression (3), (4) et (5) par rapport à l'expression (3'), (4') et (5'), semble ne pas justifier l'écriture et l'utilisation de trois premières expressions, mais leur utilité est avérée dans le cas ou nous ne connaissons pas la valeur de l'index de position de l'élément dans un ensemble dont nous cherchons l'expression de la fonction de terminaison caractéristique, une utilité donc que nous l'illustrerons après un exemple pour déterminer l'expression systématique du plus grand dénominateur commun de deux nombres, dans le sous-titre "1.3) La fonction de Terminaison caractéristique multiple équivalente à une composition de multiples fonctions indicatrices".
∴
Nous allons maintenant généraliser cette expression précédente de la fonction indicatrice du dernier élément répétée de la séquence SeqAᵢ₌₂₃=({xₙ₌₁→ₙ₌₂₃}), notée 1A(SeqAᵢ₌₁=({xₙ₌₁₈})) à n'importe quelle valeur de séquence de nombres, c'est-à-dire à la séquence de nombres appartenant à l'ensemble noté SeqAᵢ=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃, xₙ₊₄, xₙ₊₅, xₙ₊₆, xₙ₊₇...), ∀ n ∈ N*, ∀ x ∈ R, et soit la notation de SeqAᵢ, l'indice i correspondant à la quantité de variables de cet ensemble (n l'indice des variables de cet ensemble correspondant à la valeur de la position de ces variables dans la séquence de nombres de R).notée 1ATₙ(SeqAᵢ=({xₙ₌₁→ₙ₌ᵢ})) et définie comme la fonction indicatrice double, notée 1'A(1A(SeqAᵢ=({xₙ₌₁→ₙ₌ᵢ}))) ↔1ATₙ(SeqAᵢ=({xₙ₌₁→ₙ₌ᵢ})), dont les éléments sont les nombres appartenant à l'ensemble noté Seq'{0;1}=(a'ₙ , b'ₙ₊₁, c'ₙ₊₂, d'ₙ₊₃,e'ₙ₊₄, f'ₙ₊₅,...), ∀ n ∈ N*, avec a'=0 ∨ a'=1, b'=0 ∨ b'=1, c'=0 ∨ c'=1, d'=0 ∨ d'=1, e'=0 ∨ e'=1, f'=0 ∨ f'=1, qui sont caractéristiques de n'importe quelle autre fonction indicatrice notée 1A(SeqAᵢ=({xₙ₌₁→ₙ₌ᵢ})) dont les éléments sont les nombres appartenant à l'ensemble noté Seq{0;1}=(aₙ, bₙ₊₁, cₙ₊₂, dₙ₊₃, eₙ₊₄, fₙ₊₅,...), ∀ n ∈ N*, avec a=0 ∨ a=1, b=0 ∨ b=1, c=0 ∨ c=1, d=0 ∨ d=1, e=0 ∨ e=1, f=0 ∨ f=1, qui sont aussi caractéristiques d'une autre séquence de nombres appartenant à l'ensemble noté SeqAᵢ.La première expression qu'il est possible d'écrire correspond à l'expression de la fonction indicatrice de n'importe quel élément de l'ensemble SeqAᵢ elle-même correspondant effectivement à la fonction d'annulation caractéristique comme nous l'avons constaté avec l'expression (5') ci-dessus, et qui est donc aussi généralisable et reconnaissable comme l'expression correspondant à la fonction notée Nullval(xₙ₌ₚ) ↔1A(xₙ₌ₚ), et définie comme la fonction indicatrice de n'importe quelles suites de nombres et caractéristique de la valeur nulle de ces nombres, et définie comme suit:
1A: E→ {0,1}:
- 1A(xₙ)=1 si xₙ ≠xₙ₌ₚ
- 1A(xₙ)=0 si xₙ=xₙ₌ₚ
L'expression de cette fonction caractéristique de la suite de nombres S={xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃...}, est définie comme suit:
∀ x ∈ S=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃) ∈ R, ∀ n ∈ N*, et soit Nullval(xₙ₌ₚ) ↔ 1A(xₙ₌ₚ):
1A(xₙ₌ₚ)=1-⌈ ⌈ |n/p -1| ⌉/( ⌈ |n/p -1| ⌉+1) ⌉ (a₁).
Ou bien encore la fonction indicatrice inverse, soit:
1A: E→ {0,1}:
∀ x ∈ S=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃) ∈ R, ∀ n ∈ N*, et soit Nullval(xₙ₌ₚ) ↔ 1A(xₙ₌ₚ):
1A(xₙ₌ₚ)=1-⌈ ⌈ |n/p -1| ⌉/( ⌈ |n/p -1| ⌉+1) ⌉ (a₁).
Ou bien encore la fonction indicatrice inverse, soit:
1A: E→ {0,1}:
- 1A(xₙ)=0 si xₙ ≠xₙ₌ₚ
- 1A(xₙ)=1 si xₙ=xₙ₌ₚ
L'expression de cette fonction caractéristique de la suite de nombres S={xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃...}, est définie comme suit:
∀ x ∈ S=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃) ∈ R, ∀ n ∈ N*, et soit Nullval(xₙ≠ₚ) ↔ 1-1A(xₙ₌ₚ):
1-1A(xₙ₌ₚ)=⌈ ⌈ |n/p-1| ⌉/( ⌈ |n/p-1| ⌉+1) ⌉ (a₂).
Seule, l'expression (a₁) est celle de la fonction indicatrice d'annulation caractéristique qui est équivalente à l'expression (5') sous sa forme généralisée comme suit:
Soit Index(SeqAᵢ₌₁=({xₙ₌ₚ}))=p, la valeur de l'index de l'élément xₙ₌ₚ en dernière position dans une sous séquence choisie de la suite de nombres éléments de l'ensemble représenté par la séquence, SeqAᵢ=({xₙ→ₙ₌ᵢ}); et ∀ n ∈ N*:
∀ x ∈ S=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃) ∈ R, ∀ n ∈ N*, et soit Nullval(xₙ≠ₚ) ↔ 1-1A(xₙ₌ₚ):
1-1A(xₙ₌ₚ)=⌈ ⌈ |n/p-1| ⌉/( ⌈ |n/p-1| ⌉+1) ⌉ (a₂).
Seule, l'expression (a₁) est celle de la fonction indicatrice d'annulation caractéristique qui est équivalente à l'expression (5') sous sa forme généralisée comme suit:
Soit Index(SeqAᵢ₌₁=({xₙ₌ₚ}))=p, la valeur de l'index de l'élément xₙ₌ₚ en dernière position dans une sous séquence choisie de la suite de nombres éléments de l'ensemble représenté par la séquence, SeqAᵢ=({xₙ→ₙ₌ᵢ}); et ∀ n ∈ N*:
1'A(1A(SeqAₙ₌ₚ)) ↔ 1ATₙ₌₁(SeqAᵢ₌₁=({xₙ₌ₚ}))=1A(xₙ₌ₚ)=⌈|n/(p +1)-1|⌉-⌈n/(p+1)⌉+1-(⌈|n /p-1|⌉-⌈n/p⌉+1) (5') ↔ (a₁)
1'A(1A(SeqAₙ={xₙ₌ₚ})) ↔1ATₙ₌₁(SeqAᵢ₌₁={xₙ₌ₚ}))=1A(xₙ₌ₚ)=1-⌈⌈|n/p -1|⌉/(⌈|n/p-1|⌉+1)⌉ (a₁)↔(5').
∴
Nous généralisons maintenant les expressions de notre exemple (3), (4) et (5) utilisées dans les opérations de soustraction segmentale successive, et dont la première opération de soustraction correspond à l'expression de cette fonction caractéristique de n*(1-1A(SeqAᵢ₌ₚ=({xₙ₌₁→ₙ₌ₚ})\SeqAᵢ₌₁=({xₙ₌ₚ}))), qui est définie comme suit:Soit Card'(SeqAᵢ₌q-₁=({xₙ₌ₑ→ₙ₌ₚ₋₁}))=q-1; Soit, Index(SeqAᵢ₌₁=({xₙ₌ₑ}))=e, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ=({xₙ→ₙ₌ᵢ}); soit, Index(SeqAᵢ₌₁=({xₙ₌ₚ}))=p, la valeur de l'index du dernier élément sélectionné dans la suite de nombres éléments de SeqAᵢ=({xₙ₌₁→ₙ₌ᵢ}); ∀ x ∈ S=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃,...xₙ₌ₑ....xₙ₌ₚ₋₁, xₙ₌ₚ , xₙ₌∞) ⊆ R, ∀ n ∈ N*:
1A: E→ {0,1}:
- 1A((1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) \ SeqAᵢ₌₁=({xₙ₌ₚ}) ) )*n)=1, si (1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) \ SeqAᵢ₌₁=({xₙ₌ₚ}) ) )*n <1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) \ SeqAᵢ₌₁=({xₙ₌ₚ}) ) )*n ∧ 1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) \ SeqAᵢ₌₁=({xₙ₌ₚ})))*n ≠ 0;
- 1A((1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) \ SeqAᵢ₌₁={xₙ₌ₚ} ) )*n)=0, si (1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) \ SeqAᵢ₌₁=({xₙ₌ₚ})))*n >1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) \ SeqAᵢ₌₁=({xₙ₌ₚ})))*n ∧ 1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) \ SeqAᵢ₌₁=({xₙ₌ₚ})))*n ≠ 0;
L'expression de la fonction caractéristique 1A((1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ})) \ SeqAᵢ₌₁=({xₙ₌ₚ})) )*n), est définie comme suit:
a(n)=1A((1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ})) \ SeqAᵢ₌₁=({xₙ₌ₚ})) )*n)=( ⌈(q-1-( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))) / (q-1-( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1 ) (3)
La représentation des expressions généralisées (3)↔(3'), correspondant à la fonction indicatrice dont les éléments sont caractéristiques des nombres dont les index sont inférieurs à l'index du dernier nombre de la sous séquence du nombre sélectionné, SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) de la séquence SeqAᵢ=({xₙ₌₁→ₙ₌ᵢ}), et notée 1A((1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ})) \ SeqAᵢ₌₁=({xₙ₌ₚ})))*n), est la suite de nombres de l'ensemble des éléments de la séquence SeqX=(1,1,1,1,1,1,1,1,1,...1,1,1,1,1,1,1,1,..0,0,0,0,0,0...,0,0,0,0,0,0,0,0,0...)
a(n)=1A((1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ})) \ SeqAᵢ₌₁=({xₙ₌ₚ})) )*n)=( ⌈(q-1-( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))) / (q-1-( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1 ) (3)
La représentation des expressions généralisées (3)↔(3'), correspondant à la fonction indicatrice dont les éléments sont caractéristiques des nombres dont les index sont inférieurs à l'index du dernier nombre de la sous séquence du nombre sélectionné, SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) de la séquence SeqAᵢ=({xₙ₌₁→ₙ₌ᵢ}), et notée 1A((1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ})) \ SeqAᵢ₌₁=({xₙ₌ₚ})))*n), est la suite de nombres de l'ensemble des éléments de la séquence SeqX=(1,1,1,1,1,1,1,1,1,...1,1,1,1,1,1,1,1,..0,0,0,0,0,0...,0,0,0,0,0,0,0,0,0...)
avec, Ω=Card(SeqAᵢ₌ₑ=({xₙ₌₁→ₙ₌ₑ}))=e; Ω'=Card(SeqAᵢ₌q₋₁=({xₙ₌ₑ→ₙ₌ₚ₋₁})) =q-1; Ω+Ω'= Ω''=e+q-1; Card(SeqAᵢ₌ₚ₋₁=({xₙ₌₁→ₙ₌ₚ₋₁}))=e+q-2= Card(SeqX₁).
Nous déduisons de la séquence précédente l'opération de soustraction qui nous permet d'obtenir la fonction indicatrice du dernier élément sélectionné de la séquence SeqAᵢ=({xₙ→ₙ₌ᵢ}) notée 1A( SeqAᵢ₌₁=({xₙ₌ₚ})), c'est-à-dire la séquence soustraite d'éléments de l'ensemble des nombres de la fonction indicatrice caractéristique des nombres dont les index sont inférieurs à l'index du premier nombre suivant immédiatement après le dernier nombre de la sous séquence de nombre sélectionné, SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}) de la séquence SeqAᵢ=({xₙ→ₙ₌ᵢ}), et notée 1A((1-1A(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}))*n), dont la représentation est la suite de nombres de l'ensemble des éléments de la séquence SeqX₂=(1,1,1,1,1,1,1,1,1,.....1,1,1,1,1,1,1,1,1....0,0,0,0,0,0...,0,0,0,0,0,0,0,0,0....), avec,
Ω=Card(SeqAᵢ₌ₑ=({xₙ₌₁→ₙ₌ₑ}))=e ; Ω'''=Card(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}))=q ; Ω+Ω'''= Ω''''= e+q ;
Card(SeqAᵢ₌ₚ=({xₙ₌₁→ₙ₌ₚ})) )=p=e+q-1=Card(SeqX₂).
Cette fonction caractéristique notée 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))*n) de représentation précédente est définie comme suit:
1A: E→ {0,1}:
∴
Ω=Card(SeqAᵢ₌ₑ=({xₙ₌₁→ₙ₌ₑ}))=e ; Ω'''=Card(SeqAᵢ₌q=({xₙ₌ₑ→ₙ₌ₚ}))=q ; Ω+Ω'''= Ω''''= e+q ;
Card(SeqAᵢ₌ₚ=({xₙ₌₁→ₙ₌ₚ})) )=p=e+q-1=Card(SeqX₂).
Cette fonction caractéristique notée 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))*n) de représentation précédente est définie comme suit:
1A: E→ {0,1}:
- 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))* n)=1, si (1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))*n <1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ})*n ∧ 1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ})*n ≠ 0;
- 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))*n)=0, si (1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))*n >1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ})*n ∧ 1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ})*n ≠ 0.
L'expression de cette fonction caractéristique de n*(1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ})), est définie comme suit:
Soit Ω'=Card(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ₋₁})=q-1; soit Ω=Card(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ})=q ; soit,
Index(SeqAₙ={xₙ₌ₑ})=e, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ; soit Index(SeqAₙ={xₙ₌ₚ})=p, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ ∀ n ∈ N*:
a(n)=1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}) )*n)=( ⌈(q-( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))) / (q-( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1 ) (4)
1A: E→ {0,1}:
Soit Ω'=Card(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ₋₁})=q-1; soit Ω=Card(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ})=q ; soit,
Index(SeqAₙ={xₙ₌ₑ})=e, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ; soit Index(SeqAₙ={xₙ₌ₚ})=p, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ ∀ n ∈ N*:
a(n)=1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}) )*n)=( ⌈(q-( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))) / (q-( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1 ) (4)
∴
Ensuite, nous effectuons la soustraction des expressions (3) de (4) pour obtenir en finalité l'expression recherchée de la fonction indicatrice du dernier élément sélectionné de la séquence SeqAᵢ, notée 1A(SeqAₙ={xₙ₌ₚ}), soit une opération et son résultat, l'expression de cette fonction indicatrice définie comme suit:1A: E→ {0,1}:
- 1A(SeqAₙ={xₙ₌ₚ})=1, si 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))* n)=1 ∧ 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ} \ SeqAₙ={xₙ₌ₚ}) )*n)=0
- 1A(SeqAₙ={xₙ₌ₚ})=0, si 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))* n)=1 ∧ 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ} \ SeqAₙ={xₙ₌ₚ}) )*n)=1 ∨ 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}))* n)=0 ∧ 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ} \ SeqAₙ={xₙ₌ₚ}) )*n)=0
L'expression de cette fonction indicatrice 1A(SeqAₙ={xₙ₌ₚ}), est définie comme suit:
Soit Ω'=Card(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ₋₁})=q-1; soit Ω=Card(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ})=q ; soit,
Index(SeqAₙ={xₙ₌ₑ})=e, la valeur de l'index du premier élément répété dans la suite de nombres éléments de SeqAᵢ; soit Index(SeqAₙ={xₙ₌ₚ})=p, la valeur de l'index du dernier élément répété dans la suite de nombres éléments de SeqAᵢ ∀ n ∈ N*:
a(n)=1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ}) )*n) - 1A((1-1A(SeqAₙ={xₙ₌ₑ→ₙ₌ₚ} \ SeqAₙ={xₙ₌ₚ}) )*n) = ( ⌈(q-( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))) / (q-( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(p+1)-1|⌉-⌈n/(p+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1 ) - ( ⌈(q-1-( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))) / (q-1-( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )*(n-( ∑ n=1→n=∞: [ ( ((⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1) )i ] ) )+(1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )*(n-( ∑ n=1→n=∞: [ (1- ( (⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ |n/e-1| ⌉-⌈n/e⌉+1) ) )i ] ) ))+1)⌉ ) - ( ⌈ |n/(p-1+1)-1|⌉-⌈n/(p-1+1)⌉+1) - (⌈ | n/e-1|⌉-⌈n/e⌉+1 ) (5) ↔(4)-(3)
∴
1.3) La fonction de Terminaison caractéristique double équivalente à une composition de deux fonctions indicatrices: 1ATₙ₌₂(1A(SeqAᵢ=({xₙ→ₙ₌ᵢ})) ↔ 1'A(1A(SeqAᵢ=({xₙ→ₙ₌ᵢ}))) ∪ 1''A(1A(SeqAᵢ=({xₙ→ₙ₌ᵢ})))
∴
1.4) La fonction de Terminaison caractéristique multiple équivalente à une composition de multiples fonctions indicatrices: 1ATₙ₌ₓ(1A(SeqAᵢ=({xₙ→ₙ₌ᵢ})) ↔ 1'A(1A(SeqAᵢ=({xₙ→ₙ₌ᵢ}))) ∪ 1''A(1A(SeqAᵢ=({xₙ→ₙ₌ᵢ}))) ∪ 1'''A(1A(SeqAᵢ=({xₙ→ₙ₌ᵢ}))) ....
∴
∀∈⌊⌋⌈⌉; ₀₁₂₃₄₅₆₇₈₉ ₊ ₋ ₌ ₍ ₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ ⱼ
1A(SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}) \ SeqAᵢ₌₁=({xₙ₌₁₈}))=1-1A(SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}) \ SeqAᵢ₌₇=({xₙ₌₁₁→ₙ₌₁₇}))=
∀∈⌊⌋⌈⌉; ₀₁₂₃₄₅₆₇₈₉ ₊ ₋ ₌₍₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ ⱼ
→ₙ₌ₚ ₍ₙ→ₙ₌ₚ₎⌊⌋⌈⌉; ₀₁₂₃₄₅₆₇₈₉ ₊ ₋ ₌₍₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ ⱼ
(S={xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃...xₙ₌ₐ..xₙ₌ₚ} ⊆ R) avec la valeur de la variable p correspondant à la valeur de la quantité d'éléments de la séquence représentée par la suite de nombre xₙ ∈ S=(xₙ, xₙ₊₁, xₙ₊₂, xₙ₊₃...xₙ₌ₐ..xₙ₌ₚ).
∀∈⌊⌋⌈⌉; ₀₁₂₃₄₅₆₇₈₉ ₊ ₋ ₌₍₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ ⱼ ) a(n)=∑ n=1→n=∞: [ ()i ]=∑ n=1→n=∞: [ ( )i ] =∑ n=1→n=∞: [ ( )i ]
∀∈⌊⌋⌈⌉; ₀₁₂₃₄₅₆₇₈₉ ₊ ₋ ₌ ₍ ₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ ⱼ
1A(SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}) \ SeqAᵢ₌₁=({xₙ₌₁₈}))=1-1A(SeqAᵢ₌₂₃=({xₙ→ₙ₌₂₃}) \ SeqAᵢ₌₇=({xₙ₌₁₁→ₙ₌₁₇}))=
∴
SeqAᵢ₌₁₀({xₙ₌₁→ₙ₌₁₁})=(511,177,174,571,152,1228,959,60,555,199,1244),alors la terminaison première non nulle est définie comme étant le premier élément de cette première sous suite de nombres à valeurs dans 1,
soit le nombre zéro correspondant à la terminaison caractéristique de valeurs 1 et correspondant à la valeur de Seqᵢ₌₃₃=({xₙ₌₁→ₙ₌ᵢ₌₃₃}) égale à 241 tandis que pour la deuxième sous suite de nombres 0 et 1, la valeur de terminaison caractéristique n'est pas le nombre 0, mais le nombre 1 de la sous suite de nombres du sous-ensemble de la séquence de nombres Seq=(1,1,1,1,1,1,1,1,1,0), et correspondant à la valeur de la séquence notée Seqᵢ₌₃₃A=({xₙ₌₁→ₙ₌ᵢ₌₃₃}) égale à 381; pour la troisième sous suite de nombres 0 et 1, la valeur de terminaison caractéristique aussi est le nombre 1, de la sous suite de nombres du sous-ensemble de la séquence de nombres Seq=(1,1,1,1,1,1,1,1,1,1,0), et correspondant à la valeur de la séquence notée Seqᵢ₌₃₃A=({xₙ₌₁→ₙ₌ᵢ₌₃₃}) égale à et 861, (ce que nous entendions précédemment ci-dessus par un segment homogène dans la forme de sa répétition, de mêmes quantités ou non de mêmes valeurs 1 et 0, et caractérisé par le nombre 1 résultat de la fonction de terminaison caractéristique multiple en cette valeur); puis dans la quatrième sous suite la valeur de terminaison caractéristique est identique à la valeur de la terminaison de la séquence totale, et qui est encore le nombre 1, de la sous suite de nombres du sous-ensemble de la séquence de nombres Seq=(0,1,1,1).
{1; 2; 1; 2; 4} + {1; 1; 3; 3; 2} ↔
SeqAᵢ₌₂{xₙ₌₁→ₙ₌₃}={{1};{2}} + SeqAᵢ₌₃{xₙ₌₁→ₙ₌₃}={{1};{2};{4}} ↔ SeqAᵢ₌₂([xₙ₌₁; xₙ₌₃])=({1};{2}) +SeqAᵢ₌₃([xₙ₌₁; xₙ₌₃])=({1};{2};{4}) ↔ SeqAᵢ₌₂=(1;2) + SeqAᵢ₌₃=(1;2;4) ↔ .
↔ .
∀∈⌊⌋⌈⌉; ₀₁₂₃₄₅₆₇₈₉ ₊ ₋ ₌ ₍ ₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ ⱼ
A+B={a+b}| a ∈ A ∧ b ∈ B}
Quand 𝐴 et 𝐵 sont des sous-ensembles de R dans lequel + est défini pources éléments on écrit parfois
et {a,e,i,o,u}, alors A+B={b,c,d}
Seqᵢ₌₂₉({0})=(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0) ∪ Seqᵢ₌₄({1})=(1,1,1,1).
; ∀∈⌊⌋⌈⌉; ₀₁₂₃₄₅₆₇₈₉ ₊ ₋ ₌₍₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ ⱼ∴de séquence Seqᵢ₌₃₃({0;1}) pour montrer 1ATₙ₌₃₃( Seqᵢ₌₃₃A=({xₙ₌₁→ₙ₌₃₃}) ) ↔ 1'A(1A(Seqᵢ₌₃₃A=({xₙ₌₁→ₙ₌₃₃})))
1A(SeqAᵢ({xₙ₌₁→ₙ₌ᵢ})) dont les éléments sont les nombres appartenant à l'ensemble noté SeqX'ᵢ=(a'ₙ,b'ₙ₊₁,c'ₙ₊₂, d'ₙ₊₃,e'ₙ₊₄, f'ₙ₊₅,...), ∀ n ∈ N, avec a'=0 ∨ a'=1, b'=0 ∨ b'=1, c'=0 ∨ c'=1, d'=0 ∨ d'=1, e'=0 ∨ e'=1, f'=0 ∨ f'=1,.. et qui sont caractéristiques ou non des terminaisons de n'importe quelle autre séquence de nombres appartenant à l'ensemble noté SeqAᵢ=(xₙ, xₙ₊₁,xₙ₊₂, xₙ₊₃, xₙ₊₄,xₙ₊₅, xₙ₊₆, xₙ₊₇...) ↔ SeqAᵢ({xₙ₌₁→ₙ₌ᵢ}), ∀ n ∈ N*, ∀ x ∈ R.
∴
SeqAᵢ
∀∈⌊⌋⌈⌉; ₀₁₂₃₄₅₆₇₈₉ ₊ ₋ ₌ ₍ ₎ ₐ ₑ ₒ ₓ ₔ ₕ ₖ ₗ ₘ ₙ ₚ ₛ ₜ ⱼ
II) LA FONCTION DE DÉBUT CARACTÉRISTIQUE
∴
Début: Première partie d'un ensemble; moment, point initial de quelque chose relativement à l'espace. Antonyme de terminaison.