Conditions
let x be a nonempty set and let f: X->R have bounded range in R. if a element R, show that
sup(a+f(x):x element X)=a+sup(f(x):x element X)
and
inf(a+f(x):x element X)=a+inf(f(x):x element X)
Solution
X=∅,f:X→R,a∈R
Consider
s=sup({a+f(x)})↔s∈Sx∀y∈Sx:s≤y, where Sx={y∈M∣∀x∈X:x≤y}∀x∈X,a+f(x)≤s≤y∀x∈X,f(x)≤s−as−a is a supremum for {f(x),x∈X}
Consider
a+sup({f(x)})=s−a+a=s, which is sup({a+f(x)})
The same way is how to proof that
inf({a+f(x)})=a+inf({f(x)})inf({f(x)})=i,∀x∈X x≥i,∀x∈X x+a≥i+aSo, inf({a+f(x)})=i+a=a+inf({f(x)})