- #1

Math Amateur

Gold Member

MHB

- 3,998

- 48

I am reading D. J. H. Garling's book: "A Course in Mathematical Analysis: Volume II: Metric and Topological Spaces, Functions of a Vector Variable" ... ...

I am focused on Chapter 11: Metric Spaces and Normed Spaces ... ...

I need some help in order to understand some remarks by Garling on norm bounded sets made in Section 11.2 on page 311 ... ...

The remarks by Garling made in Section 11.2 on page 311 ... ... read as follows:

View attachment 8995

In the above text from Garling we read the following ...

" ... Arguing as in Proposition 11.1.11,

\(\displaystyle \| f \|_\infty = d_\infty ( f, 0 ) = \text{sup} \{ \| f(s) \| \ : \ s \in S \} \)

is a norm on \(\displaystyle B_E(S)\) ... ... "I am able to prove two of the conditions for a norm, but am unsure how to formally and rigorously demonstrate that

\(\displaystyle \| \lambda f \|_\infty = \mid \lambda \mid \| f \|_\infty\)

Can someone please help ...

My thoughts so far are as follows:

\(\displaystyle \| \lambda f \|_\infty = d_\infty ( \lambda f, 0 ) = \text{sup} \{ d ( ( \lambda f ) (s) , 0 ) \}\)

\(\displaystyle = \text{sup} \{ d ( \lambda f (s) , 0 ) \}\) ... ...

But where to from here ... and how do we justify the steps we take?

Hope someone can help ...

Peter

==========================================================================================

The above post mentions Proposition 11.1.11 ... so I am providing text of the same plus some relevant preceding remarks ... as follows ...

View attachment 8996

View attachment 8997

Hope that helps ...

Peter

I am focused on Chapter 11: Metric Spaces and Normed Spaces ... ...

I need some help in order to understand some remarks by Garling on norm bounded sets made in Section 11.2 on page 311 ... ...

The remarks by Garling made in Section 11.2 on page 311 ... ... read as follows:

View attachment 8995

In the above text from Garling we read the following ...

" ... Arguing as in Proposition 11.1.11,

\(\displaystyle \| f \|_\infty = d_\infty ( f, 0 ) = \text{sup} \{ \| f(s) \| \ : \ s \in S \} \)

is a norm on \(\displaystyle B_E(S)\) ... ... "I am able to prove two of the conditions for a norm, but am unsure how to formally and rigorously demonstrate that

\(\displaystyle \| \lambda f \|_\infty = \mid \lambda \mid \| f \|_\infty\)

Can someone please help ...

My thoughts so far are as follows:

\(\displaystyle \| \lambda f \|_\infty = d_\infty ( \lambda f, 0 ) = \text{sup} \{ d ( ( \lambda f ) (s) , 0 ) \}\)

\(\displaystyle = \text{sup} \{ d ( \lambda f (s) , 0 ) \}\) ... ...

But where to from here ... and how do we justify the steps we take?

Hope someone can help ...

Peter

==========================================================================================

The above post mentions Proposition 11.1.11 ... so I am providing text of the same plus some relevant preceding remarks ... as follows ...

View attachment 8996

View attachment 8997

Hope that helps ...

Peter