MacBook-Pro-de-Oscar.local 2026-3-28:2:48:13

désintégration audioactive.md

@@ -17,6 +17,23 @@ author:
 > $a^{\alpha}b^{\beta}c^{\gamma}d^{\delta}\cdots \longrightarrow \alpha a\beta b\gamma c\delta d\cdots$
 ^definition
 
+# Notations
+
+ - $L \to L'$ signifie que $L$ est dérivée en $L'$ par désintégration audioactive
+     - On note aussi $L \to L' \to L'' \to \cdots$ pour $L \to L'$ et $L' \to L''$ et $L'' \to \cdots$
+ - On utilise $[$ et $]$ pour dénoter la "véritable fin" des morceaux de termes (des sous-suites consécutives d'un terme)
+     - = $[11222$ correspond à $\cdots 11 222$
+ - On utilise les puissances pour la répétition
+     - = $3^{4}2^{1}1^{5} = 333211111$
+     - i on prends toujours la plus grande puissance possible (par exemple, $11111$ ne sera jamais noté comme $1^{2}1^{3}$)
+ - $X$ désigne un chiffre arbitraire (non nul)
+     - = $X^{0}a^{\alpha}b^{\beta}c^{\gamma}$ correspond à $[a^{\alpha}b^{\beta}c^{\gamma}$
+     - = $a^{\alpha}b^{\beta}c^{\gamma}X^{0}$ correspond à $a^{\alpha}b^{\beta}c^{\gamma}]$
+ - $\neq n$ désigne n'importe quel chiffre (éventuellement 0) autre que $n$
+     - = $a^{\alpha}b^{\beta}c^{\gamma}X^{\neq 0}$ signifie $a^{\alpha}b^{\beta}c^{\gamma}$ suivi d'au moins un autre chiffre
+     - = $a^{\alpha}b^{\beta}c^{\gamma} (\neq 2)^{\neq 0}$ signifie que ce dernier chiffre n'est pas un $2$
+
+
 # Propriétés
 
 > [!proposition]+ 
@@ -24,7 +41,7 @@ author:
 > $a^{\alpha}b^{\beta}c^{\gamma}d^{\delta}\cdots \longrightarrow \alpha a\beta b\gamma c\delta d\cdots$
 > Il est évident que :
 > $a\neq b,\quad b\neq c,\quad c\neq d,\dots$
->  - dem Cela découle directement du fait que l'on choisit, à chaque fois, les plus grands $\alpha, \beta, \gamma, \delta\dots$ possibles (par exemple, $[111]$ ne sera jamais découpée en $[21,11]$)
+>  - dem Cela découle directement du fait que l'on choisit, à chaque fois, les plus grands $\alpha, \beta, \gamma, \delta\dots$ possibles
 
 
 # Exemples