Ok j'ai regardé :we:
Je pense avoir compris ce qu'est la notion de miroir d'un mot. En fait si un mot s'écrit bbcdf alors le miroir de ce mot est fdcbb
L'équivalence qu'il faut démontrer consiste juste à dire que l'on peut indifféremment "inverser" un mot par la gauche ou par la droite.
Je ne comprend pas trop le
![](https://latex.ilemaths.net/ile_TEX.cgi?Si w=\in)
(en fait, je comprend que si le mot a une lettre alors son miroir est lui même)
Faisons un démonstration par récurrence la longueur n d'un mot.
- Le cas où le mot est de longueur 1 est évident.
- Hypothèse de récurrence : (HR) il existe un entier k supérieur ou égal à 1 tel que les deux définition sont équivalentes lorsque |w|=k.
- Soit M un mot de longueur k+1. Montrons que les deux définitions sont équivalentes.
On part de la première définition :
![](https://latex.ilemaths.net/ile_TEX.cgi?\exists W\in\sum*)
tel que
![](https://latex.ilemaths.net/ile_TEX.cgi?M=Wa)
et
![](https://latex.ilemaths.net/ile_TEX.cgi?M'=aW')
(1)
on va montrer que dans ce cas
![](https://latex.ilemaths.net/ile_TEX.cgi?\exists W\in\sum*)
tel que
![](https://latex.ilemaths.net/ile_TEX.cgi?M=bW)
et
![](https://latex.ilemaths.net/ile_TEX.cgi?M'=W'b)
il n'y aucune raison pour que ce
![](https://latex.ilemaths.net/ile_TEX.cgi?W)
soit le même que celui du dessus. Mais l'écriture
![](https://latex.ilemaths.net/ile_TEX.cgi?M=Wa)
implique que
![](https://latex.ilemaths.net/ile_TEX.cgi?W)
est de longueur k, donc il existe un mot
![](https://latex.ilemaths.net/ile_TEX.cgi?\omega)
tel que
![](https://latex.ilemaths.net/ile_TEX.cgi?W=b\omega)
et donc :
![](https://latex.ilemaths.net/ile_TEX.cgi?M=(b\omega)a=b(\omega a))
(on se retrouve bien avec une écriture du type
![](https://latex.ilemaths.net/ile_TEX.cgi?M=bW)
).
Gardons ces notations :
Donc :
![](https://latex.ilemaths.net/ile_TEX.cgi?\exists W\in\sum*)
tel que
![](https://latex.ilemaths.net/ile_TEX.cgi?M=bW)
(avec
![](https://latex.ilemaths.net/ile_TEX.cgi?W=\omega a)
)
Oui mais alors,
![](https://latex.ilemaths.net/ile_TEX.cgi?M=bW=b\omega a)
D'après (1) on conclut que :
![](https://latex.ilemaths.net/ile_TEX.cgi?M'=a(b\omega)')
D'après (HR) comme
![](https://latex.ilemaths.net/ile_TEX.cgi?b\omega)
est de longueur k, on peut écrire :
![](https://latex.ilemaths.net/ile_TEX.cgi?M'=a \omega' b)
![](https://latex.ilemaths.net/ile_TEX.cgi?M'= W'b)
(on reconnaît
![](https://latex.ilemaths.net/ile_TEX.cgi?W')
grâce à (HR))
Il me semble que l'on a écrit que des équivalences ici, et donc voilà la propriété démontrer au rang k+1.
On conclut que les définition sont équivalentes quelle que soit la longueur n du mot.