A,B≠∅ sınırlı iki küme ve ;
A.B={z:z=x.y,x∈A,y∈B olsun .
infA>0 , infB>0 ise
sup(A.B)=supA.supB
inf(A.B)=infA.infB
Kanıtlayalım.
Düşüncem A.B=C olsun . Dolayısıyla c∈C vardır ki c=x.y denlemden dolayı sağlar ve c≤ supA.supB
c'nin bir üst sınırının oldugunu gosterır ve ;
SupC≤supA.supB
acaba nasıl devam ederım .