18.06.2013 Views

rezumat - Universitatea Babes - Bolyai, Cluj - Napoca

rezumat - Universitatea Babes - Bolyai, Cluj - Napoca

rezumat - Universitatea Babes - Bolyai, Cluj - Napoca

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Teoreme de punct fix pentru operatori multivoci 41<br />

Definit¸ia 4.2.1 (I.A. Rus-A. Petru¸sel [96], [97]) Fie (X, d) un spat¸iu metric, Y ⊆<br />

X ¸si T : Y → Pcl(X) un operator multivoc. Spunem că problema de punct fix este<br />

bine pusă în sens generalizat<br />

a) relativ la Dd: dacă F ix(T ) = ∅ ¸si oricare ar fi un ¸sir (xn)n∈N ⊂ Y a.î.<br />

Dd(xn, T (xn)) → 0, n → +∞, rezultă că xn d → x ∈ F ix(T ), n → +∞<br />

b) relativ la Hd: dacă SF ix(T ) = ∅ ¸si oricare ar fi un ¸sir (xn)n∈N ⊂ Y a.î.<br />

Hd(xn, T (xn)) → 0, n → +∞, rezultă că xn d → x ∈ SF ix(T ), n → +∞<br />

Teorema 4.2.7 (T.A. Lazăr, D. O’Regan ¸si A. Petru¸sel [64]) Fie X = ∅, x0 ∈ X<br />

¸si r > 0. Presupunem că d, d ′ sunt două metrici definite pe X iar T : B d<br />

d ′(x0, r) →<br />

P (X) un operator multivoc. Presupunem că:<br />

i) (X, d) este un spat¸iu metric complet;<br />

ii) ∃ c > 0 a.î. d(x, y) ≤ cd ′ (x, y), ∀ x, y ∈ X;<br />

iii) dacă d = d ′ atunci operatorul T : B d<br />

d ′(x0, r) → P (X d ) are graficul o<br />

mult¸ime închisă în X × X, în timp ce<br />

dacă d = d ′ atunci T : B d<br />

d(x0, r) → Pcl(X d );<br />

iv) ∃ α ∈ [0, 1[ a.î. Hd ′(T (x), T (y)) ≤ αM T d ′(x, y), ∀ x, y ∈ B d<br />

d ′(x0, r);<br />

v) Dd ′(x0, T (x0)) < (1 − α)r.<br />

Atunci:<br />

(A) există x ∗ ∈ B d<br />

d ′(x0, r) a.î. x ∗ ∈ T (x ∗ );<br />

(B) dacă SF ix(T ) = ∅ ¸si (xn)n∈N ⊂ B d<br />

d ′(x0, r) este a.î.<br />

Hd ′(xn, T (xn)) → 0 când n → +∞,<br />

atunci xn d′<br />

→ x ∈ SF ix(T ) când n → +∞ (adică problema de punc fix pentru<br />

operatorul T este bine pusă în sensul generalizat în raport cu Hd ′).<br />

Observat¸ia 4.2.1 (T.A. Lazăr, D. O’Regan ¸si A. Petru¸sel [64]) Teorema 4.2.7 are<br />

loc ¸si dacă înlocuim condit¸ia (ii) prin:

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

Saved successfully!

Ooh no, something went wrong!