Subdivision plus fine qu’une autre

[ Definition ]
Considérons \(\tau\) et \(\tau'\) deux subdivisions d’un segment \(\left[a,b\right]\). On dit que \(\tau'\) est plus fine que \(\tau\) si et seulement si tout élément de la famille \(\tau\) est élément de la famille \(\tau'\).

Plus précisément, une subdivision est une famille. Une famille est une application. Il vaut mieux dire que l’image de \(\tau\) est incluse dans l’image de \(\tau'\)

En savoir plus