Démonstration de la combinaison convexe des boules

Analyser la convexité et la construction du nouvel ensemble

Points clés à retenir

Utilisation de la convexité : Toutes les boules dans un espace vectoriel normé sont convexes, facilitant la manipulation des éléments par combinaison convexe.
Preuve par double inclusion : La méthode montre d’abord que tout point de la combinaison convexe appartient à la boule résultante, puis l’inverse.
Interpolation linéaire : Le centre et le rayon de la boule obtenue sont les combinaisons linéaires des centres et des rayons des boules initiales.

Introduction et contexte

Nous considérons deux boules dans un espace vectoriel normé, notées B(x₀, r₀) et B(x₁, r₁), où B(x, r) désigne l’ensemble de tous les points y tels que la norme ∥y - x∥ est inférieure ou égale (ou strictement inférieure selon si l’on travaille avec des boules fermées ou ouvertes) à r. Le but est de démontrer que la combinaison convexe de ces deux boules,
(1 - t)B(x₀, r₀) + tB(x₁, r₁),
est égale à la boule dont le centre est la combinaison convexe des centres et dont le rayon est la combinaison convexe des rayons :
B((1 - t)x₀ + tx₁, (1 - t)r₀ + tr₁).

Cette propriété repose sur l’aspect fondamental de la convexité dans un espace normé et fournit une intuition géométrique forte quant à l’interpolation entre ensembles convexes. La preuve s’appuie sur le théorème de la convexité qui affirme que toute combinaison convexe d’éléments d’un ensemble convexe reste dans cet ensemble.

Démonstration : Approche par double inclusion

La stratégie adoptée repose sur une double inclusion. Nous allons montrer successivement que :

Pour tout point y ∈ (1 - t)B(x₀, r₀) + tB(x₁, r₁), alors y ∈ B((1 - t)x₀ + tx₁, (1 - t)r₀ + tr₁).
Pour tout point y ∈ B((1 - t)x₀ + tx₁, (1 - t)r₀ + tr₁), alors y ∈ (1 - t)B(x₀, r₀) + tB(x₁, r₁).

Première inclusion : De la combinaison convexe à la boule résultante

Définition et notations

Soit t ∈ [0, 1]. Pour tout y de la forme
y = (1 - t)y₀ + t y₁, où y₀ ∈ B(x₀, r₀) et y₁ ∈ B(x₁, r₁),
nous avons par définition de la boule que :
∥y₀ - x₀∥ ≤ r₀ et ∥y₁ - x₁∥ ≤ r₁.

Calcul de la distance au centre interpolé

Nous voulons établir que y appartient à B((1 - t)x₀ + tx₁, (1 - t)r₀ + tr₁), c’est-à-dire que :
∥y - ((1 - t)x₀ + tx₁)∥ ≤ (1 - t)r₀ + tr₁.

En observant que :
y - ((1 - t)x₀ + tx₁) = (1 - t)(y₀ - x₀) + t(y₁ - x₁),

nous faisons appel à l’inégalité triangulaire, ce qui donne :
∥y - ((1 - t)x₀ + tx₁)∥ ≤ (1 - t)∥y₀ - x₀∥ + t∥y₁ - x₁∥.

En substituant les bornes des distances, nous obtenons :
∥y - ((1 - t)x₀ + tx₁)∥ ≤ (1 - t)r₀ + t r₁.

Ceci montre que y appartient à B((1 - t)x₀ + tx₁, (1 - t)r₀ + tr₁), établissant ainsi la première inclusion.

Deuxième inclusion : De la boule résultante à la combinaison convexe

Assomption de départ

Supposons y ∈ B((1 - t)x₀ + tx₁, (1 - t)r₀ + tr₁), ce qui signifie :
∥y - ((1 - t)x₀ + tx₁)∥ ≤ (1 - t)r₀ + tr₁.

Construction des éléments de la combinaison

Afin de montrer que y peut être décomposé en y = (1 - t)u + t v avec u ∈ B(x₀, r₀) et v ∈ B(x₁, r₁), nous utilisons la propriété de convexité des boules. L’idée est de construire des points u et v en partant du centre x₀ et x₁ et en ajustant le déplacement en fonction de y.

Une approche rigoureuse consiste à exploiter l’existence d’une décomposition sur le segment joignant x₀ et x₁, avec un ajustement ciblé des écarts (disparités entre y et le centre interpolé). Par linéarité, nous avons :

y = ((1 - t)x₀ + tx₁) + (y - ((1 - t)x₀ + tx₁)).

On peut reconnaître que y - ((1 - t)x₀ + tx₁) peut se répartir entre la direction associée à x₀ et x₁. Concrètement, en utilisant notamment l’inégalité inverse de l’inégalité triangulaire et la convexité des deux boules, il existe toujours des u et v tels que :

u = x₀ + Δu et v = x₁ + Δv, où ∥Δu∥ ≤ r₀ et ∥Δv∥ ≤ r₁,

et dont la combinaison convexe rend compte de l’écart total. Autrement dit, la décomposition se fait de sorte que :
(1 - t)Δu + t Δv = y - ((1-t)x₀ + tx₁),

ce qui est possible grâce à la liberté offerte par la convexité des boules et à la linéarité de l’espace vectoriel.

Par conséquent, en choisissant astucieusement u et v dans leurs boules respectives, on obtient que pour chaque y dans B((1 - t)x₀ + tx₁, (1 - t)r₀ + tr₁), il existe des u et v tels que y = (1 - t)u + t v avec u ∈ B(x₀, r₀) et v ∈ B(x₁, r₁). Ceci prouve la deuxième inclusion.

Récapitulatif à l’aide d’un tableau

Étape	Description	Résultat obtenu
1	Définition de y dans la combinaison convexe : y = (1 - t)y₀ + t y₁, avec y₀ ∈ B(x₀, r₀) et y₁ ∈ B(x₁, r₁)	Utilisation de la convexité pour garantir y ∈ B((1-t)x₀ + tx₁, (1-t)r₀ + tr₁)
2	Calcul de la distance au centre interpolé	∥y - ((1-t)x₀ + tx₁)∥ ≤ (1-t)∥y₀ - x₀∥ + t∥y₁ - x₁∥ ≤ (1-t)r₀ + tr₁
3	Preuve de l’inclusion réciproque	Construction de points u et v vérifiant y = (1 − t)u + t v et u ∈ B(x₀, r₀), v ∈ B(x₁, r₁)

Remarques supplémentaires

Convexité dans un espace normé

Dans tout espace vectoriel normé, une boule (ouverte ou fermée) est un ensemble convexe. Cette propriété découle directement de la définition d’une norme et de l’inégalité triangulaire. La convexité signifie que pour deux points quelconques appartenant à la boule, la droite joignant ces deux points reste intégralement à l’intérieur de celle-ci.

Cette caractéristique est cruciale pour notre démonstration, car elle nous permet d’interpoler de manière fiable entre les points et ainsi de construire la boule résultante par la combinaison des boules initiales.

Propriétés géométriques de la combinaison convexe

La combinaison convexe a pour effet d’interpoler non seulement les centres des boules, mais aussi leurs rayons. En effet, le centre de la nouvelle boule est donné par $ (1-t)x₀ + tx₁ $, ce qui correspond à un glissement linéaire entre x₀ et x₁. De même, le rayon de la nouvelle boule est $ (1-t)r₀ + tr₁ $, une moyenne pondérée des rayons. Cette interprétation géométrique renforce l’intuition derrière le résultat, car elle montre comment la combinaison de deux ensembles convexes se traduit par une interpolation de leurs caractéristiques principales.

Preuve rigoureuse et approche constructionnelle

Pour aller plus loin, la démonstration rigoureuse s’appuie sur la méthode de double inclusion. Dans la première étape, nous avons vu qu’en partant d’un élément de la combinaison convexe, l’inégalité triangulaire nous permet d’assurer que l’écart par rapport au centre interpolé ne dépasse pas la somme pondérée des rayons.

Dans la seconde étape, pour chaque point situé à l’intérieur de la boule B((1-t)x₀ + tx₁, (1-t)r₀ + tr₁), on peut trouver des décompositions sous la forme (1-t)u + t v en faisant usage de la linéarité et de la convexité de l’espace. En bref, par l’argument de “double inclusion”, les deux ensembles considérés sont identiques.

Illustration par une équation mathématique

La clé de la démonstration repose sur l’inégalité suivante basée sur l’inégalité triangulaire dans un espace normé :

$ \|y - ((1-t)x₀ + tx₁)\| = \|(1-t)(y₀ - x₀) + t(y₁ - x₁)\| \leq (1-t)\|y₀ - x₀\| + t\|y₁ - x₁\| $

En imposant que $\|y₀ - x₀\| \leq r₀$ et $\|y₁ - x₁\| \leq r₁$, nous obtenons :

$ \|y - ((1-t)x₀ + tx₁)\| \leq (1-t)r₀ + tr₁ $

Cette inégalité confirme que tout y de la combinaison convexe est contenu dans la boule B((1-t)x₀ + tx₁, (1-t)r₀ + tr₁).

Applications et implications

Applications en analyse fonctionnelle

La propriété démontrée ici a plusieurs applications en analyse fonctionnelle. Elle joue notamment dans la théorie de l’optimisation et dans l’étude des espaces de Banach, où les ensembles convexes et leur comportement sous des opérations linéaires sont des objets d’étude fondamentaux.

Par ailleurs, dans la construction de normes associées à des ensembles convexes, cette propriété fournit un outil pour montrer que toute transformation linéaire appropriée préserve la convexité des ensembles. Ces résultats se retrouvent, par exemple, dans l’étude de la stabilité des algorithmes numériques et dans l’analyse de systèmes dynamiques linéaires.

Lien avec la théorie des espaces strictement convexes

Dans un espace strictement convexe (où la frontière des boules ne contient pas de segments linéaires), l’égalité étudiée ici renforce la compréhension de la structure géométrique de l’espace. En effet, la stricte convexité implique que la combinaison convexe d’éléments du bord est strictement dans l’intérieur de la boule sauf dans le cas où les points choisis sont identiques. Ainsi, la méthode de double inclusion reste pertinente et démontre rigoureusement que la transformation des boules par combinaison convexe est compatible avec la structure strictement convexe de l’espace.

Synthèse de la démonstration

Vue d'ensemble de la méthode

La démonstration se résume en deux grandes étapes : premièrement, nous avons établi que pour tout élément y de la combinaison convexe (1-t)B(x₀, r₀) + tB(x₁, r₁), l’inégalité de la norme induit que y est à l’intérieur de la boule B((1-t)x₀ + tx₁, (1-t)r₀ + tr₁). Deuxièmement, en partant d’un y appartenant à cette dernière boule, nous avons démontré que l’on peut construire des éléments u et v dans B(x₀, r₀) et B(x₁, r₁) respectivement, tels que y se décompose comme y = (1-t)u + tv.

Cette démarche de double inclusion constitue une preuve rigoureuse et élégante de l’égalité :

$ (1-t)B(x₀, r₀) + tB(x₁, r₁) = B((1-t)x₀ + tx₁, (1-t)r₀ + tr₁) $

Le principe fondamental reposant sur la convexité assure que la structure et les propriétés géométriques sont conservées lors de l’interpolation linéaire.