ensemble-de-smith-volterra-cantor : Mathématique

D	L	M	M	J	V	S
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30

20/11/2010

Ensemble de Smith-Volterra-Cantor

Après avoir retiré les intervalles noirs, les points ici en blanc forment un ensemble nulle part dense et de mesure de Lebesgue 1/2.

En mathematiques, l'ensemble de Smith–Volterra–Cantor est un exemple de points de la droite réelle qui n'est nulle part dense (en particulier qui ne contient aucun intervalle) et qui est pourtant de mesure de Lebesgue positive. L'ensemble de Smith-Volterra-Cantor est baptisé d'après les mathématiciens Henry John Stephen Smith, Vito Volterra et Georg Cantor.

Sommaire

[masquer]

Construction [modifier]

De construction similaire à l'ensemble de Cantor, l'ensemble de Smith-Volterra-Cantor est construit en retirant itérativement des intervalles à l'intervalle unité [0, 1].

Le processus commence en retirant le quart médian de l'intervalle [0, 1]. L'ensemble résultat est donc

$left[0, frac{3}{8}right] cup left[frac{5}{8}, 1right].$

Les étapes suivantes consistent à retirer des sous-intervalles de longueur 1/2²ⁿ du milieu des 2ⁿ⁻¹ intervalles restant. A la deuxième étape on retire donc (5/32, 7/32) and (25/32, 27/32) et l'ensemble résultat devient :

$left[0, frac{5}{32}right] cup left[frac{7}{32}, frac{3}{8}right] cup left[frac{5}{8}, frac{25}{32}right] cup left[frac{27}{32}, 1right].$

Itérant cette règle à l'infini, l'ensemble de Smith–Volterra–Cantor est l'ensemble des points qui ne seront jamais retirés. L'image suivante illustre l'ensemble initial et cinq itérations.

Propriétés [modifier]

Par construction l'ensemble de Smith-Volterra-Cantor ne contient aucun intervalle. Or, durant le processus, on retire :

$sum_{n=0}^{infty} 2^n(1/2^{2n + 2}) = frac{1}{4} + frac{1}{8} + frac{1}{16} + cdots = frac{1}{2} ,$

Prouvant que l'ensemble des points restants est de mesure non nulle et égale à 1/2.

Généralisation: En retirant r_n de chaque sous-intervalle restant à l'itération n, l'ensemble résiduel aura une mesure positive si et seulement si la somme des termes de la suite est inférieure à la mesure de l'intervalle initial.

En conséquence, et bien que d'aspect fractal, la dimension de Hausdorff d'un tel ensemble aura dans tous les cas pour valeur 1.
L'ensemble de Smith-Volterra-Cantor est utilisé dans la construction de la fonction de Volterra.
L'ensemble de Smith-Volterra-Cantor est un exemple d'ensemble compact qui n'est pas mesurable au sens de Jordan.
La fonction indicatrice de l'ensemble de Smith-Volterra-Cantor est un exemple de fonction bornée non intégrable au sens de Riemann sur (0,1). voir intégrale de Riemann.