[Citat]
2. Fie A multime nevida inclusa in IR
si B = { -x | x apartine A }.
Atunci:
(a) sup(B) = -inf(A) ;
(b) inf(B) = -sup(A) .
|
Fie m(A) multimea minorantilor lui A.
Fie M(B) multimea majorantilor lui B.
Multimea m(A) este unul din intervalele ( -oo, inf(A) ) sau ( -oo , inf(A) ].
Multimea M(B) este unul din intervalele ( sup(B), +oo ) sau [ sup(B), +oo ).
Este clar ca daca x este minorant al lui A,
atunci -x este majorant al lui B si reciproc.
Definitia lui B!
De aici,
x se afla in ( -oo, inf(A) ) sau ( -oo , inf(A) ]
daca si numai daca
-x se afla in -( -oo, inf(A) ) = ( -inf(A), +oo ) sau in -( -oo , inf(A) ]
= [ -inf(A), +oo )
pe de o parte, dar si
daca si numai daca
-x se afla in ( sup(B), +oo ) sau [ sup(B), +oo )
din modul cum se corespund m(A) si M(B).
De aici deducem cele cerute, deoarece se pot compara foarte usor doua intervale (s, +oo) si (s',+oo), ele sunt egale daca si numai daca s=s'.
(La fel si cu cazul in care avem [s, +oo) si [s',+oo). )
Nota: Un alt mod de a demonstra este de a lua un sir de elemente (b(n)) din B ce tinde la sup(B), apoi aplicam pe el functia continua "minus" pentru a vedea ca sirul (a(n)) dat de a(n) = -b(n) devine un sir din A. Trecem la limita si obtinem o inegalitate. Pentru cealalta inegalitate plecam cu un sir din A care tinde la inf(A), facem acelasi lucru cu functia continua "minus".
Un an nou bun!