Taken from sec. 1.4.1 of the book by Mary Hart, titled: Guide to Analysis.
Let $A, B$ be two non-empty sets of real numbers with supremums $\alpha, \beta$ respectively, and let the sets $A + B$ and $AB$ be defined by :
$A + B = {a + b: a\in A, b\in B}$,
$AB= {ab:a\in A, b\in B}$.
The first question in the sequence is stated here (and was found answered earlier).
- Give an example to show that AB need not have a supremum.
Prove also that even if AB has a supremum, this supremum need not be equal to $\alpha \beta$.
Show that if $A$ be set of positive reals with supremum $\alpha$, & let $Y = {x^2 : x\in X}$; then $\alpha^2$ is supremum of Y.
My attempts:
Q.#2 : The possible way seems not clear, as if sets $A, B$ do have valid supremum, then why their product cannot have. I hope that the only way to not have a valid supremum is to have an unbounded value ($+/- \infty$), which I hope cannot be formed by product of two valid values., i.e. if $a,b \lt \infty$, (or, $a,b \gt - \infty$) then $a.b$ is also $\lt \infty$ ($\gt - \infty$).
I am just elaborating by below the statement above, to substantiate it & is based on material here.
If take the sets $A,B$ as $A = \{1,2,3\}, B=\{4,5\}$;
then the set $AB= \{4,5,8,10,12,15\}$.
Q.#3 : There are two approaches by which the attempt is planned. First, theoretical one; & second using an example (as given in book as hint).
1st appr.: Unable to develop anything. Need help. Request help for providing minimum ground to develop upon.
2nd appr.: As per the book that gives hint by stating :
The set S is equal to ${x \in R: \frac13 \lt x \lt 3}$, since $3x^2 -10x +3 = (3x-1)(x-3) \lt 0$ if $\frac13 \lt x \lt 3$.
My understanding of the hint:
$3x^2-10x+3$ has roots $x=\frac13, 3$. The set of values taken by $x$ in $R$, in which the value of function is not - positive is in range ${x \in R: \frac13 < x < 3}$. So, the given function in bounded domain is having no maximum, but has supremum of $0$ apart from having minimum, infimum.
The individual linear components are: $(3x - 1), (x - 3)$, with supremum: $8,0$ respectively at $x=3$. While at the other end of the domain, $x=\frac13$, supremum are : $0, \frac{-2}3$.
Supremum of quadratic function is $0$, & linear factors' supremum product is also $0$ at both ends.
Q. 4: First, take an example of finite small set. If take the set $A$ as $A = \{1,2,3\}$ with supremum $3$, then $Y=\{1,2, 3,4, 6,9\}$; or alternately take set defined by a function, with domain limits specified to make it a bounded set. Let the set $A= 3x-1, 1 \le x \le 3$. The values in $A= \{0,1,2\}$. And similar multiplication can be done.
But, unable to develop theoretical basis.