28.06.2013 Views

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

SHOW MORE
SHOW LESS

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 />

.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!