How would one show the following:
1. If , is a measure iff is continuous from above (i.e. if and then ).
( ) I managed this direction, it's the ( ) that I need help with.
2. If is semifinite and , for there exists with .
Ok, so by def of semifinite we know that ther exists an such that . Could I just set ?