.
Task. If A is subset of real number and b is a real number, then show that
inf(b+A)=b+inf(A).
Proof. By definition
x=inf(A)
if x≤a for every a∈A, and for every ε>0 there exists a∈A such that
a<x+ε.
Also notice that
b+A={b+a∣a∈A}.
It suffices to prove that
inf(b+A)≥b+inf(A).
Then applying this identity to A′=b+A and b′=−b we will obtain that
inf(b′+A′)≥b′+inf(A′),
that is
inf(−b+b+A)≥−b+inf(b+A)
inf(A)≥−b+inf(b+A),
inf(A)+b≥inf(b+A).
Which will imply that
inf(A)+b=inf(b+A).
Let x=inf(A) and y=inf(b+A). We should prove that
y≥b+x.
Suppose y<b+x. This means that there exist ε>0 such that
y<y+ε<b+x.
But then there exist z∈b+A such that
z<y+ε<b+x.
Notice that z has the fowm z=b+a for some a∈A, whence
b+a<b+x
and so
a<x
which contradicts to the assumption that x=inf(A)≤a.
Hence y≥b+x. And so
inf(A)+b=inf(b+A).