Dividing by m to make conclusions for m=0

[Dale]

I know that this thread is about the math, but we should look at the class of mathematical objects of interest to the physics, even if we don't specifically examine the physics itself.

The acceleration of a classical point object is a vector valued function of time a(t). The gravitational field experienced by a classical point object is also a vector valued function of time g(t). This does not place any restrictions on the continuity or differentiability of a or g.

The set of all vector valued functions of time, V, forms a vector space over the reals, F. The non-negative reals is a subset, S, of F which contains 1. Therefore, if $ma=mg, \forall m \in S$ then $a=g$ per the proof in 42 (which is just a generalization of Fredrik's proof).

Yes, there are some objects which are not part of a vector space and some quantities which are not subsets of a field on that vector space. Those would not be covered by the proof, but the case of physical interest is covered by the proof.

 

[Fredrik]

You mean the relationship between $x$ and $y$ depends on $m$ in the $R_2$ case? That is true, but is this ruled out by the preposition: $mx = my$ for all $m$ ?

If the relationship depends on m, then at least one of x and y depends on m. So I would say YES to that question, because if x and y depend on m in any way, it would be absurd to hide this dependence behind a notation like "mx=my". This notation suggests extremely strongly that the short "mx=my for all m" is a shortened version of a statement of the form

Let x,y,m be arbitrary. Suppose that $x,y\in\mathbb R$ and that the following implication holds: $m\in S\ \Rightarrow\ mx=my$.​

There's some ambiguity about what set S is, but we know that if it contains 1, then the assumption is strong enough to imply that x=y, as I've shown several times above.

So if the relationship between $x$ and $y$ depends on $m$, we can only prove $x=y$ for the $m > 0$ case.

Before we can prove anything, we have to take a different statement than "mx=my for all m" as the starting point, because I can't interpret "mx=my for all m" very differently from how I interpreted it above. So let's take "mx(m)=my(m) for all m" as the starting point. This would be a shortened version of the following statement.

Let x,y,m be arbitrary. Suppose that x and y are real-valued functions with domain S, and that the following implication holds $m\in S\ \Rightarrow\ mx(m)=my(m)$.​

This assumption implies that $x(m)=y(m)$ for all $m\in S-\{0\}$.

 

[A.T.]

You mean the relationship between $x$ and $y$ depends on $m$ in the $R_2$ case? That is true, but is this ruled out by the preposition: $mx = my$ for all $m$ ?

If the relationship depends on m, then at least one of x and y depends on m. So I would say YES to that question, because if x and y depend on m in any way, it would be absurd to hide this dependence behind a notation like "mx=my".

What do you mean by "hide the dependence"? We honestly don't know if the relationship between x and y depends on m or not, because we don't know what that relationship is. We are trying to derive that relationship, and at some point in that derivation we arrive at "mx=my for all m". Why should we assume that the relationship between x and y doesn't depend on m?

 

[pbuk]

Before we can prove anything, we have to take a different statement than "mx=my for all m" as the starting point, because I can't interpret "mx=my for all m" very differently from how I interpreted it above. So let's take "mx(m)=my(m) for all m" as the starting point. This would be a shortened version of the following statement.

Let x,y,m be arbitrary. Suppose that x and y are real-valued functions with domain S, and that the following implication holds $m\in S\ \Rightarrow\ mx(m)=my(m)$.​

This assumption implies that $x(m)=y(m)$ for all $m\in S-\{0\}$.

Yes, this is the essence of the problem. We cannot assume that x is independent of m because this is what DaleSpam is attempting to prove.

 

[Dale]

We cannot assume that x is independent of m because this is what DaleSpam is attempting to prove.

No, it isn't. I am only attempting to prove that if $mx=my,\forall m \in S$ then $x=y$. Fredrick did so in post 3 for x and y in the reals and S the positive reals and I rather trivially generalized it in post 42 for x and y in any vector space and S a subset of the field. What I wanted to prove is proven and I have no desire to prove independence.

 

[Fredrik]

Yes, this is the essence of the problem. We cannot assume that x is independent of m because this is what DaleSpam is attempting to prove.

Is it? I didn't get that impression, but I must admit that I haven't read all his posts in detail. Edit: OK, I see now that DaleSpam has explicitly denied this in the post above this one.

What do you mean by "hide the dependence"? We honestly don't know if the relationship between x and y depends on m or not, because we don't know what that relationship is. We are trying to derive that relationship, and at some point in that derivation we arrive at "mx=my for all m". Why should we assume that the relationship between x and y doesn't depend on m?

I thought you started this thread to ask about what can be derived from the statement "mx=my for all m". As I said in my previous post, there no way I can interpret this as allowing x to depend on m. It's possible that I have misunderstood what you meant to ask when you started this thread, so maybe your question is something else entirely, but the question about the consequences of that statement is trivial.

I am pretty confused by all this. You started this thread in a math forum (it was later moved here), and at some point the notation got changed from g and a to x and y, presumably to further distance the discussion from the physics discussion where the statement "mg=ma for all m" was first made. These things seem to support that the thread is about that statement. But apparently it's not.

So what is it about? About proving that the empirically determined constant g=9.81 m/s² doesn't depend on m? No, that can't be it. I'll tell you what it looks like to me. This thread is about the question "How do you find both the solution and the correct statement of a problem, when you only have a vague idea what the statement and the solution should be?"

 

[Dale]

Regarding independence. The dependence that A.T. and MrAnchovy are introducing makes it so that x and y are not elements of a vector space with m an element of the field (at least not in any way that I can tell). So the proof in 42 doesn't apply to those x, y, and m.

Fortunately, "vector spaces" is not too restrictive, and so, although the proof is not universal, it is useful for a broad category of practical problems. In particular, it is sufficiently broad to cover the physics that spawned the question.

That there exist x, y and m where it doesn't hold is fine, we at least know some of the places it does hold and we can use that relation in those cases.

 

[A.T.]

I have no desire to prove independence.

I had the impression that this was the whole point of your original derivation. After all, it is the conclusion that you state at the end:

$F=ma$

$GMm/r^2=ma$

$gm=ma$

$g=a$The acceleration is independent of mass, and is well defined.

The dependence that A.T. and MrAnchovy are introducing makes it so that x and y are not elements of a vector space with m an element of the field (at least not in any way that I can tell). So the proof in 42 doesn't apply to those x, y, and m.

So in order for your proof of x=y to work, you have to assume that such a dependence on m doesn't exist. And then you conclude from your x=y that in fact it doesn't exit.

 

[Fredrik]

It's been a long discussion. Two long discussions actually, but I have only partipated in one of them. None of us has been able to make it perfectly clear what we meant in every single post. It seems to me that what you're doing is to ignore the posts where DaleSpam made it perfectly clear what he meant, and focus only on the ones where he didn't.

I don't think it's unreasonable to describe the theorem

For all $g,a,S$ such that $g,a\in\mathbb R$ and $1\in S\subseteq \mathbb R$, if $mg=ma$ for all $m\in S$ then $g=a$.​

as "the acceleration is independent of mass". It's obviously not as clear a statement as the theorem, but it sounds like an attempt to summarize the content of the theorem.

Edit: Corrected $1\subseteq S$ to $1\in S$.

 

[Dale]

I had the impression that this was the whole point of your original derivation. After all, it is the conclusion that you state at the end:

Remember, you are trying to separate the math from the physics. The whole point of the math derivation is only to show that given $mx=my,\forall m \in S$ you do indeed get $x=y$. That was the point of the physics derivation where you objected to the math, and that is the step which is justified here.

Since we were not trying to separate them in the other thread, the independence I mentioned there is obtained not only from this mathematical step but also from other knowledge of the physics (specifically that g is independent of mass). If you are satisfied with the validity of the math in 42 then we can go back and talk about the physics and see if you agree that it is legitimate to apply 42 in the specific case of the physical question that spawned this mathematical discussion.

I would recommend a separate thread for that. One which takes the math as an agreed upon starting point and returns to the physics. Do you have any objections to the proof in 42? Do you agree with its validity as stated?

 

[pbuk]

I don't think it's unreasonable to describe the theorem

For all $g,a,S$ such that $g,a\in\mathbb R$ and $1\subseteq S\subseteq \mathbb R$, if $mg=ma$ for all $m\in S$ then $g=a$.​

as "the acceleration is independent of mass". It's obviously not as clear a statement as the theorem, but it sounds like an attempt to summarize the content of the theorem.

Are you saying that that theorem holds even where a = a(m) may depend on m?

 

[A.T.]

The whole point of the math derivation is only to show that given $mx=my,\forall m \in S$ you do indeed get $x=y$.

You get it only under the assumption of independence of m, as you explained in post #57.

Since we were not trying to separate them in the other thread, the independence I mentioned there is obtained not only from this mathematical step...

Why "not only"?. Shouldn't that be a simple "not"? A mathematical step that assumes independence from m, cannot be used at all to show the independence from m.

...but also from other knowledge of the physics (specifically that g is independent of mass).

So "acceleration is independent of mass" was a premise of your derivation, not its result?

 

[Dale]

Are you saying that that theorem holds even where a = a(m) may depend on m?

It obviously holds as long as a is a vector and m is an element of its field. Did you not understand post 42?

That said, I cannot think how to make a function a vector over its own domain. It seems like the equivalent operation of vector multiplication would convert a function to a real, an inconsistency in your approach that I have mentioned several times.

 

[Dale]

So "acceleration is independent of mass" was a premise of your derivation, not its result?

"g is independent of mass" was an unstated premise of my derivation. "a is independent of mass" was a conclusion, obtained through the fact that a=g.

A.T., in 42 I posted a solid proof of the mathematical topic under discussion for THIS thread. 22 posts later, you have never even acknowledged it even though it is central to the topic of this thread. Instead of commenting on that proof you have begun to reach back to a different discussion in a different thread that is (unsurprisingly) different from the one here. You point out the obvious differences in my comments in what seems like an attempt to discredit the proof in 42 by discrediting me (for the heinous crime of having different comments in different threads on different topics).

Instead of avoiding the issue, please directly examine the proof in 42 and directly respond to it. If the math in 42 is solid then it is solid regardless of my own inconsistencies. Do you agree with it or disagree with it? If you disagree, on what grounds do you do so? Address the proof on its own merits, regardless of what my personal inconsistencies and failings may be.

 

[Alien8]

In the physics section there is doubt, that a mathematician would object to deriving something by dividing an equation by a variable $m$, and then applying that derived result to all values of $m$ including $m = 0$:

F= G \frac {m1m2}{r^2} resulting in a number greater than zero when mass m1 or m2 is zero seems about as likely as F= k_e \frac {q1q2}{r^2} resulting in a number greater than zero when charge q1 or q2 is zero.

 

[Fredrik]

For all $g,a,S$ such that $g,a\in\mathbb R$ and $1\in S\subseteq \mathbb R$, if $mg=ma$ for all $m\in S$ then $g=a$.

Are you saying that that theorem holds even where a = a(m) may depend on m?

I find it difficult to process that question. If a depends on m, then we're not talking about that theorem. Apparently you want to change something in the assumptions, but it's not entirely clear what. So all I can say is that the following two statements are both theorems with trivial proofs.

For all $g,a,S$ such that $g,a\in\mathbb R$ and $1\in S\subseteq \mathbb R$, if $mg=ma$ for all $m\in S$ then $g=a$.​

For all $g,a,S$ such that $S\subseteq \mathbb R$ and $g,a:S\to\mathbb R$, if $mg(m)=ma(m)$ for all $m\in S$ then $g(m)=a(m)$ for all $m\in S-\{0\}$.​

Feel free to quote, copy, paste and edit if you want to ask about a different statement.

Edit: Corrected $1\subseteq S$ to $1\in S$.

 

[pbuk]

I find it difficult to process that question. If a depends on m, then we're not talking about that theorem. Apparently you want to change something in the assumptions, but it's not entirely clear what. So all I can say is that the following two statements are both theorems with trivial proofs.

For all $g,a,S$ such that $g,a\in\mathbb R$ and $1\subseteq S\subseteq \mathbb R$, if $mg=ma$ for all $m\in S$ then $g=a$.​

For all $g,a,S$ such that $S\subseteq \mathbb R$ and $g,a:S\to\mathbb R$, if $mg(m)=ma(m)$ for all $m\in S$ then $g(m)=a(m)$ for all $m\in S-\{0\}$.​

Feel free to quote, copy, paste and edit if you want to ask about a different statement.

Thank you, that's exactly what I wanted to clarify.

 

[Fredrik]

I see that I've been writing $1\subseteq S$ in a few places where I meant $1\in S$. I hope that hasn't caused any confusion. I have edited my recent posts above to correct this mistake.

 

[A.T.]

Instead of avoiding the issue, please directly examine the proof in 42 and directly respond to it.

I have no problem with the proof in #42, under the assumption you state in post #57: That the relationship between x and y doesn't depend on m.

"a is independent of mass" was a conclusion, obtained through the fact that a=g.

But you have derived that a=g by doing a step which assumes that the relationship between a and g doesn't depend on m. Aren't you just concluding your previous assumption?

 

[Dale]

I have no problem with the proof in #42, under the assumption you state in post #57: That the relationship between x and y doesn't depend on m.

If x and y could depend on m and still be elements of a vector space then the proof in 42 would still hold. It is the vector nature that is important to the proof, not the independence.

That said, if you agree with the proof in 42, then I think that the math discussion is complete, and the rest is necessarily a physics discussion.

 

[A.T.]

It is the vector nature that is important to the proof, not the independence.

Okay, it depends on the type of relationship. So your derivation doesn't show that "a is independent of m", but it rules out certain types of relationships.

That said, if you agree with the proof in 42, then I think that the math discussion is complete, and the rest is necessarily a physics discussion.

I have no problem with the physics part. A physicist can always state that the potential relationships not covered by the proof are "too weird to occur in nature", and discard them on that basis.

 

[Dale]

Okay, it depends on the type of relationship. So your derivation doesn't show that "a is independent of m", but it rules out certain types of relationships.

Yes. Or rather, it "rules in" certain types of relationships.

It says that if x and y are vectors*, then then you can factor out the m without any problem including for m=0. It does not say that you definitely cannot factor out m if they are not vectors*, it just says that you definitely can factor it out if they are.

*with all of the detailed requirements on x, y, and m explicitly spelled out in 42

I have no problem with the physics part. A physicist can always state that the potential relationships not covered by the proof are "too weird to occur in nature", and discard them on that basis.

OK, then I think it is done.

 

[A.T.]

OK, then I think it is done.

Yes, thanks for the patient explanations to everyone.