Reprise du message précédent :

Bah, la même méthode marche, on subdivise l'ensemble considéré. Mais c'est vrai qu'autant faire coordonnée par coordonnée, je suppose.
 

 
 
Oui, enfin même ces deux définitions ne sont pas toujours exactes. Mais ça vous le savez

ça c'est vrai qu'en dimension finie, et il y a au moins les MP qui le savent

c'est plus chiant de faire comme sur IR, parce que tu ne peux plus utiliser directement le théorème des segments emboîtés. tu peux toujours bidouiller pour adapter, mais bon ça devient vite chiant autant utiliser directement le résultat sur IR et faire n extractions composées, ça te plie l'affaire vite fait

Je suis d'accord avec toi sur le fond, mais quand même c'est vite plié avec cette méthode aussi. Tu délimite ton ensemble avec un n-cube, que tu découpes en 2^n sous-cubes, et tu fais pareil; avec à la limite un coup de récurrence pour gérer la situation où on tombe sur une face.