Here is a hypothesis/ theorem/ problem/ whatever that I thought up a while ago:
If f(x) =/= g(x) on the interval [a,b] and are not piece wise functions, then f(x) =/= g(x) on the interval [c,d].
I am pretty sure it is true and I know it is true for polynomials, but I have not been able to thing of a proof. I have not even been able to think of how to approach it. What do you guys think?
Equivalency on Mutliple Intervals
Moderators: gmalivuk, Moderators General, Prelates

 Posts: 917
 Joined: Fri Feb 07, 2014 3:15 pm UTC
Equivalency on Mutliple Intervals
"You are not running off with CowSkull Man Dracula Skeletor!"
Socrates
Socrates
 doogly
 Dr. The Juggernaut of Touching Himself
 Posts: 5431
 Joined: Mon Oct 23, 2006 2:31 am UTC
 Location: Lexington, MA
 Contact:
Re: Equivalency on Mutliple Intervals
I don't think being piecewise is a property of the function.
LE4dGOLEM: What's a Doug?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.
Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.
Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?

 Posts: 318
 Joined: Sun Feb 22, 2015 2:40 pm UTC
Re: Equivalency on Mutliple Intervals
What are a,b,c and d? And what else is missing?
If [c,d] is not contained within [a,b], there's nothing you can really say anything about it, since the two functions could cross at an arbitrarily small distance from a or b.
But if it is, then you're just concluding a subset of the assumptions which doesn't say anything either?
If [c,d] is not contained within [a,b], there's nothing you can really say anything about it, since the two functions could cross at an arbitrarily small distance from a or b.
But if it is, then you're just concluding a subset of the assumptions which doesn't say anything either?
 doogly
 Dr. The Juggernaut of Touching Himself
 Posts: 5431
 Joined: Mon Oct 23, 2006 2:31 am UTC
 Location: Lexington, MA
 Contact:
Re: Equivalency on Mutliple Intervals
Here's what is true: if two functions are *analytic*, then if they agree on some measurable interval they must be identical.
I don't think "not piecewise" is even a category of functions, but even if so, it's not equivalent to being analytic. Analytic functions are a strict but rich and exciting area.
I don't think "not piecewise" is even a category of functions, but even if so, it's not equivalent to being analytic. Analytic functions are a strict but rich and exciting area.
LE4dGOLEM: What's a Doug?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.
Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.
Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?
Re: Equivalency on Mutliple Intervals
Step 1) write down the requirements in a precise, mathematical notation
Step 2) write the theorem down in a precise, mathematical notation
Step 3) be understood.
I think you're thinking about something that can be proven, but what you've written is ambiguous nonsense. The first step to tackle the problem is to understand it well enough to explain it. Then you can think about solving it.
/edit: and doogly has spoiled it. oh well.
Step 2) write the theorem down in a precise, mathematical notation
Step 3) be understood.
I think you're thinking about something that can be proven, but what you've written is ambiguous nonsense. The first step to tackle the problem is to understand it well enough to explain it. Then you can think about solving it.
/edit: and doogly has spoiled it. oh well.
 MartianInvader
 Posts: 795
 Joined: Sat Oct 27, 2007 5:51 pm UTC
Re: Equivalency on Mutliple Intervals
Is x considered a piecewise function? It's really just x^2 / x, right? If it's not, take f = x, g = x.
Is x^3/x^2 considered a different function from x because it's not defined at zero? If so, take [a,b] = [1,2] and [c,d] = [1,1].
How about the floor function? How about a function defined as a limit of other functions?
I agree that the biggest issue with the statement is that "piecewise" is not a property of a function, it's a property of how you write down a function. But the same function can be written down in many different ways. I suspect that for any definition of "piecewise" you come up with, someone can probably find a clever way to construct a counterexample in a way that doesn't fit your definition.
Is x^3/x^2 considered a different function from x because it's not defined at zero? If so, take [a,b] = [1,2] and [c,d] = [1,1].
How about the floor function? How about a function defined as a limit of other functions?
I agree that the biggest issue with the statement is that "piecewise" is not a property of a function, it's a property of how you write down a function. But the same function can be written down in many different ways. I suspect that for any definition of "piecewise" you come up with, someone can probably find a clever way to construct a counterexample in a way that doesn't fit your definition.
Let's have a fervent argument, mostly over semantics, where we all claim the burden of proof is on the other side!
 Eebster the Great
 Posts: 3081
 Joined: Mon Nov 10, 2008 12:58 am UTC
 Location: Cleveland, Ohio
Re: Equivalency on Mutliple Intervals
Yeah "piecewise" refers to a definition of a function, not the function itself. You can define a function piecewise. Separately, if a function can be cut up into pieces that each have some property, but the function as a whole doesn't necessarily have that property, you can say that it holds the property piecewise. For instance, the absolute value function is piecewise differentiable, as it consists of two pieces, each of which is differentiable on its own. Splines are piecewise polynomials, since each piece is a polynomial.
Given that, probably what you mean by "not piecewise" here is "analytic," because for a function to be analytic, it has to be equal to its Taylor series (i.e. it has an infinite polynomial representation) and therefore behaves sort of like a polynomial. It is certainly true that if two polynomials are identical over some nonempty interval, they are identical over all real numbers. This is also true of many other functions, including rational functions (if you ignore removable discontinuities), exponential and logarithmic functions, trigonometric functions, and indeed all functions called "elementary" in the theory of differential algebra. Again, we will have to have certain specific exceptions to ensure the functions are defined over their entire domains, but that's not hard. There are actually many more functions that are analytic than just those, but I think these are enough examples. Almost any functions you come across in practice will have the property you mentioned.
Given that, probably what you mean by "not piecewise" here is "analytic," because for a function to be analytic, it has to be equal to its Taylor series (i.e. it has an infinite polynomial representation) and therefore behaves sort of like a polynomial. It is certainly true that if two polynomials are identical over some nonempty interval, they are identical over all real numbers. This is also true of many other functions, including rational functions (if you ignore removable discontinuities), exponential and logarithmic functions, trigonometric functions, and indeed all functions called "elementary" in the theory of differential algebra. Again, we will have to have certain specific exceptions to ensure the functions are defined over their entire domains, but that's not hard. There are actually many more functions that are analytic than just those, but I think these are enough examples. Almost any functions you come across in practice will have the property you mentioned.

 Posts: 917
 Joined: Fri Feb 07, 2014 3:15 pm UTC
Re: Equivalency on Mutliple Intervals
I did mean that f(x) and g(x) are analytic functions. I have not heard of the term analytic functions before, so I did not know how to properly express my idea. Sorry for the confusion.
"You are not running off with CowSkull Man Dracula Skeletor!"
Socrates
Socrates
Re: Equivalency on Mutliple Intervals
Analytic functions are just about the most nicelybehaved functions you can find. If there's a property that "makes sense" for functions to do, then odds are that it will be true for analytic functions, but outside of them there will be some weird pathological example that breaks your property in the meanest way imaginable.
pollywog wrote:I want to learn this smile, perfect it, and then go around smiling at lesbians and freaking them out.Wikihow wrote:* Smile a lot! Give a gay girl a knowing "Hey, I'm a lesbian too!" smile.

 Posts: 34
 Joined: Fri Feb 05, 2016 3:39 pm UTC
Re: Equivalency on Mutliple Intervals
ConMan wrote:Analytic functions are just about the most nicelybehaved functions you can find. If there's a property that "makes sense" for functions to do, then odds are that it will be true for analytic functions, but outside of them there will be some weird pathological example that breaks your property in the meanest way imaginable.
In particular, in this case, even infinitely differentiable (smooth) is not enough  the "weird pathological example" is the bump function.
For analytic functions, however, your statement is essentially a special case of the identity theorem (or, rather, its contraposition).
Who is online
Users browsing this forum: No registered users and 8 guests