Contributions à l'étude de la classification spectrale et applications
Contributions à l'étude de la classification spectrale et applications
Contributions à l'étude de la classification spectrale et applications
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
3.1.1 Etu<strong>de</strong> dans le continu 85<br />
(a) Exemple <strong>de</strong> pavage (b) Partition <strong>de</strong> C1 (c) Cas impossible<br />
<strong>de</strong> partition <strong>de</strong> C1<br />
Figure 3.2 – Exemple <strong>de</strong> ω 1 1 RPC ω 1 2<br />
Proposition 3.2. Soit O = {Ok i , i ∈ [|1, n|], k ∈ [|1, ni|]} une famille <strong>de</strong> sous-ensembles Ok i <strong>de</strong><br />
Ω telle que Ok i ⊂ Ci, pour tout k ∈ [|1, ni|] (ni indiquant le nombre <strong>de</strong> sous-ensembles considérés<br />
dans chaque pavé Ci). On définit RO <strong>la</strong> re<strong>la</strong>tion suivante entre <strong>de</strong>ux sous-ensembles Ok i <strong>et</strong> Ol j<br />
respectivement aux <strong>de</strong>ux pavés Ci <strong>et</strong> Cj :<br />
O k i R O O l j ⇐⇒<br />
⎡<br />
⎢<br />
⎣<br />
∃r ∈ N, ∃{i1, .., ir} ⊂ [|1, n|], ∃(k1, .., kr) ∈ Π r t=1[|1, nit|]<br />
tel que ∀m{1, .., r − 1}, O km<br />
im<br />
∩ Okm+1<br />
im+1<br />
= ∅ avec<br />
<br />
O k1<br />
i1 = Ok i<br />
O kr<br />
ir = Ol j .<br />
⎤<br />
⎥<br />
⎦ (3.3)<br />
Alors R O est une re<strong>la</strong>tion d’équivalence sur O. On notera O/R O l’ensemble <strong>de</strong>s c<strong>la</strong>sses d’équivalence<br />
sur O.<br />
Démonstration. C<strong>et</strong>te re<strong>la</strong>tion est évi<strong>de</strong>mment réflexive <strong>et</strong> symétrique.<br />
Montrons <strong>la</strong> transitivité <strong>de</strong> R O c’est-<strong>à</strong>-dire montrons que si O k i RO O l j <strong>et</strong> Ol j RO O s r alors O k i RO O s r<br />
avec i = j <strong>et</strong> k = l. Soient O k i RO O l j <strong>et</strong> Ol j RO O s r alors il existe <strong>de</strong>ux entiers a1 <strong>et</strong> b1 tels que :<br />
O k i R O O l j ⇐⇒<br />
O l jR O O s r ⇐⇒<br />
<br />
∃a1 ∈ N, ∃{i1, .., ia1 } ⊂ [|1, n|], ∃(k1, .., ka1 ) ∈ Πa1 t=1 [|1, nit|] tel que ∀m ∈ [|1, a1 − 1|],<br />
O km<br />
im<br />
∩ Okm+1<br />
im+1<br />
= ∅ avec Ok1<br />
i1 = Ok i <strong>et</strong> Oka 1<br />
ia 1<br />
= O l j<br />
<br />
∃b1 ∈ N, ∃{j1, .., jb1 } ⊂ [|1, n|], ∃(l1, .., lb1 ) ∈ Πb1 t=1 [|1, njt |] tel que ∀m ′ ∈ [|1, b1 − 1|],<br />
O l m ′<br />
j m ′ ∩ Ol m ′ +1<br />
j m ′ +1 = ∅ avec O l1<br />
j1 = Ol j <strong>et</strong> Olb 1<br />
jb 1<br />
= O s r<br />
Soient les listes d’indices I <strong>et</strong> I ′ avec Card(I) = Card(I ′ ) = q = a1 + b1 − 1, définies par I =<br />
{i1, .., ia1−1, ia1 = j1, .., jb1 } := {I1, .., Iq} <strong>et</strong> I ′ = {k1, .., ka1−1, ia1 = l1, .., lb1 } := {I′ 1 , .., I′ q}. Alors<br />
∀m ∈ {1, .., q − 1}, O I′ m<br />
Im ∩ OI′ m+1<br />
Im+1 = ∅ avec OI′ 1<br />
I1 = Ok i <strong>et</strong> OI′ q<br />
Iq = Os r. Donc O k i RO O s r <strong>et</strong> <strong>la</strong> re<strong>la</strong>tion<br />
R O est transitive <strong>et</strong> est bien une re<strong>la</strong>tion d’équivalence.<br />
C<strong>et</strong>te définition est l’équivalent <strong>de</strong> <strong>la</strong> re<strong>la</strong>tion d’équivalence <strong>de</strong>s ɛ-chaînes [86]. Les ouverts Ωi<br />
qui sont <strong>à</strong> support sur plusieurs pavés Ci sont reconstitués <strong>à</strong> l’ai<strong>de</strong> <strong>de</strong> <strong>la</strong> proposition suivante.<br />
<br />
<br />
.<br />
.