Is Equicontinuity Possible with Unbounded Slopes in Linear Functions?

  • Thread starter Thread starter robertdeniro
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary

Homework Help Overview

The discussion revolves around the concept of equicontinuity in the context of a family of linear functions defined on the interval [0, 1] with distinct slopes. The original poster attempts to show that if this family is equicontinuous, then the absolute values of the slopes must be bounded.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the definition of equicontinuity and its implications for the slopes of the linear functions. There is a discussion about isolating the slope |m| and its relationship to epsilon and delta in the context of continuity.

Discussion Status

Participants are actively engaging with the definitions and relationships involved in equicontinuity. Some have offered guidance on how to relate epsilon and delta, while others are questioning the implications of unbounded slopes on the ability to choose a suitable delta for equicontinuity.

Contextual Notes

There is an ongoing exploration of the relationship between epsilon and delta, particularly in the case where the slopes of the functions may be unbounded. This raises questions about the feasibility of maintaining equicontinuity under such conditions.

robertdeniro
Messages
37
Reaction score
0

Homework Statement



let A represent the family of linear functions (ie. mx+b) on [0, 1] with distinct slopes

show that if A is equicontinuous, then the absolute value of the slopes are bounded, that is |m|<=C, for all functions in A

Homework Equations


The Attempt at a Solution



equicontinuous means for given e>0, can find &>0 such that |f(x)-f(y)|<e for |x-y|<&

|f(x)-f(y)|=|m(x-y)|<e

if i divide through by |(x-y)| then I am in trouble, since x and y could be arbitrary close

any help?
 
Last edited:
Physics news on Phys.org
Why would you want to divide through by |x-y|? Divide both sides of the epsilon equation by |m|. Now how should epsilon be related to delta?
 
oh i was trying to isolate |m|

so if i do what u said i would get |x-y|<e/|m|, but we know |x-y|<&...

not sure what to do from here
 
robertdeniro said:
oh i was trying to isolate |m|

so if i do what u said i would get |x-y|<e/|m|, but we know |x-y|<&...

not sure what to do from here

What's the relation between epsilon and delta you get from that for that single function with slope m?
 
Dick said:
What's the relation between epsilon and delta you get from that for that single function with slope m?

sorry, i must be missing something really obvious here

i have |x-y|<e/|m| and |x-y|<&

but i cannot see a relationship between e and &
 
robertdeniro said:
sorry, i must be missing something really obvious here

i have |x-y|<e/|m| and |x-y|<&

but i cannot see a relationship between e and &

The definition of continuity says you are supposed to be able to choose a delta such that if |x-y|<delta then |f(x)-f(y)|<epsilon. Remember? You have that |f(x)-f(y)|<|m||x-y| which is then <|m|*delta, right? To make sure that's less than epsilon, you want to choose a delta such that |m|*delta<epsilon. Right, right? If you want to skip to the chase and equicontinuity, if you want to pick a single delta for all members of your family, what happens if |m| is unbounded? Can you pick such delta?
 
Dick said:
The definition of continuity says you are supposed to be able to choose a delta such that if |x-y|<delta then |f(x)-f(y)|<epsilon. Remember? You have that |f(x)-f(y)|<|m||x-y| which is then <|m|*delta, right? To make sure that's less than epsilon, you want to choose a delta such that |m|*delta<epsilon. Right, right? If you want to skip to the chase and equicontinuity, if you want to pick a single delta for all members of your family, what happens if |m| is unbounded? Can you pick such delta?

ohhhhh...

if |m| is unbounded then i can't pick such delta because |m|*delta would also be unbounded

right? right?
 
robertdeniro said:
ohhhhh...

if |m| is unbounded then i can't pick such delta because |m|*delta would also be unbounded

right? right?

Basically, right, right. If |m| is unbounded then given a fixed epsilon, the only delta that would satisfy |m|*delta<epsilon for all m is delta=0. But you want a delta>0.
 

Similar threads

Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K