Metrics on continuous functions question

[linda300]

Hey guys,

I have been working on the following question:

http://imageshack.us/a/img407/4890/81345604.jpg

For part a

f and g are continuous on I

=> there exists e > 0 and t_0 s.t.

0<|{f(t) - g(t)} - {f(t_0) - g(t_0)}| < e

using |a-b| >= |a| - |b|,

|{f(t) - g(t)} - {f(t_0) - g(t_0)}| >= |{f(t) - g(t)}| - |{f(t_0) - g(t_0)}|

and

|{f(t) - g(t)}| - |{f(t_0) - g(t_0)}| >= |{f(t) - g(t)}| - |f(t_0)| + |g(t_0)|

but I'm not sure where to go from here, I have tried a lot of different steps but I end up going in circles or getting back to the triangle inequality haha.

Does anyone have any ideas on how to do this? Is there some simple trick that I am just missing?

For part b,

Proving σ>=τ is pretty straight forward, just applying the Schwarz inequality but I'm having trouble showing that ρ>σ

How can you relate that sup to the integral expression σ?

Thanks in advance

 

[micromass]

For part (a): can you show that if F:[0,1]\rightarrow \mathbb{R} is continuous and if F(t_0)&gt;0 then there F(t)\geq \frac{1}{2} F(t_0) for all t in some neighborhood of t_0.

Use continuity.

For (b): apply that |f(t)-g(t)|\leq \rho(f,g) and use that inequality in the integral.

 

[linda300]

Hey micromass, thanks for replying!

So the continuity of F(t) gives you that (t_0 in [0,1])

For every ε>0 there exists a δ>0 such that |F(t) - F(t_0)|<ε for 0<|t-t_0|<δ

|F(t) - F(t_0)|≥|F(t)|-|F(t_0)|≥0

|F(t)|≥|F(t_0)|

I havn't been able to figure out how the 1/2 comes into it,

Is |F(t)|-|F(t_0)|≥0 not correct?

Is it just a matter of saying, then for t in [t_0 - d, t_0 + d] for some d it is possible that
|F(t)|-(1/2)|F(t_0)|≥0

 

[micromass]

Hey micromass, thanks for replying!

So the continuity of F(t) gives you that (t_0 in [0,1])

For every ε>0 there exists a δ>0 such that |F(t) - F(t_0)|<ε for 0<|t-t_0|<δ

|F(t) - F(t_0)|≥|F(t)|-|F(t_0)|≥0

|F(t)|≥|F(t_0)|

I havn't been able to figure out how the 1/2 comes into it,

Is |F(t)|-|F(t_0)|≥0 not correct?

It's not correct. Why should |F(t)|-|F(t_0)|\geq 0 hold? I agree that |F(t)-F(t_0)|\geq |F(t)|-|F(t_0)| and that |F(t)-F(t_0)|\geq 0. But I don't see how that follows.

 

[linda300]

Ah right

I'm really have trouble getting past this step

|F(t) - F(t_0)|≥|F(t)|-|F(t_0)|

Today I have been trying things like this,

|F(t)|-|F(t_0)|≥|F(t)|-2|F(t_0)|

|F(t)|-2|F(t_0)|≥(1/2)|F(t)|-2|F(t_0)|

|F(t)|-|F(t_0)|≥(1/2)|F(t)|-2|F(t_0)|

(1/2)|F(t)|-|F(t_0)|≥-2|F(t_0)|

|F(t)|≥-2|F(t_0)|

But keep getting unhelpful things like ^ haha

Is the next step something like what I did above?

 

[micromass]

You need to use continuity of F. Because F is continuous you know that: for each \varepsilon&gt;0, there exists an interval I such that t_0\in I and such that if t\in I, then |F(t)-F(t_0)|&lt;\varepsilon.

Now, choose a special value for \varepsilon.

 

[linda300]

I tried picking different ε before but I couldn't see how having

|F(t)| - |F(t_0)|≤|F(t) - F(t_0)|<ε

Could get to F(t)≥(1/2)F(t_0)

By saying F(t_0)>0 were you hinting that ε=F(t_0)?

 

[micromass]

I tried picking different ε before but I couldn't see how having

|F(t)| - |F(t_0)|≤|F(t) - F(t_0)|<ε

It will be easier if you start with

|F(t_0)|-|F(t)|\leq |F(t_0)-F(t)|&lt;\varepsilon
[/QUOTE]

Could get to F(t)≥(1/2)F(t_0)

By saying F(t_0)>0 were you hinting that ε=F(t_0)?[/QUOTE]

Something like that. What if you try \varepsilon=|F(t_0)|/2 ?

 

[linda300]

Ohhhhhhhh

|F(t_0)| - |F(t)|<F(t_0)/2

Which is only true if

|F(t)|≥(1/2)|F(t_0)| !

Thanks heaps!