PeroK said:
In some of your posts, you are trying to make up maths on the fly.
It may seem that way at times. In fact, I'm trying to remember math on the fly. I need to find my old textbooks; pretty sure they're in the attic somewhere. However no doubt my math is usually right. Much bigger problem, I have to adjust to your language, which is often different from the way we used to do it.
But the biggest problem I'm having is adjusting to the fact that, sometime in the last 40 years, all the physicists morphed into pure mathematicians! And, predictably, you take these details more seriously than real mathematicians do.
Here's an analogy. Real mathematicians are like professional soldiers who might casually chuck a hand grenade to each other, since they know precisely when it's safe to do so. Whereas you're like reserves who've trained only on duds. When you have to deal with a real one you put on bomb-handling equipment before even looking at it.
Thus when I'm in a situation where a function like our example "g" above can't possibly occur (like, physics), I might casually assume the additive identity is unique, knowing that if the square of a physical function integrates to 0 it has to be 0 everywhere. But a week-end warrior has to first take equivalence classes (under the SI norm) - then invoke the Axiom of Choice to select a representative member - then carefully use the result, praying it won't blow up in his face.
My opinion is: when a physicist starts worrying about AC he's seriously off track! But if I'm wrong I want to be set straight.
Where in all of physics do you meet with a non-physical function like our example g, because you need infinite precision? And, tell me a real physical situation where you'll get the wrong answer if you assume - or, don't assume - AC. (By the way in most of math we simply assume it.)
Suppose I boil water, stick in a thermometer, and see the temperature is 100. Now, suppose I realize - with a shock - that AC is not implied by Zermelo–Fraenkel axioms! Oh no - better check that temperature again. So I re-boil the water, and look at the thermometer. Will it still read 100? What if I hold the thermometer at precisely pi inches (with infinite precision) below the surface - will it make a difference?
Actually I know the answers to those questions: "no".
But there must be
some physical situation where infinite precision and Axiom of Choice play a part, or else you wouldn't care about such minutiae. So, please tell me where that situation arises.
PeroK said:
A physics book would use the constant of integration and move on, without worrying about equivalence classes.
Now you're making sense
rubi said:
L2L2L^2 spaces are part of every undergraduate education in physics.
I hope, in the midst of all this abstract math, you find time to teach those poor undergraduates a little physics as well. But I can't help wondering, where in all of physics do you use, as a norm, the 5th root of the 5th powers? Or L3, or anything other than L1, L2, and L-infinity?
By the way, I didn't notice the difference between regular L and script L, so I probably said something incomprehensible. Sorry about that.
rubi said:
Mathematically rigorour is indispensable in modern research in physics.
Sure it is - within reason. Dirac was a great mathematician, and he was just as rigorous as he had to be - no more, no less. Please tell me what physical situation requires infinite precision, or Axiom of Choice, to analyze. No details needed, just a general description of where, and why, you'll get the wrong physical answer if you don't handle these details right.
Here's the type of answer I'd like to see:
"Well, the number of multiple universes, considering Guth's inflation and Everett's work, is clearly Aleph-2. And, in order to show that QM probabilities really come out to the (complex) square of the wave function, we have to integrate over all the infinite universes in which the different experimental outcomes occur. To select those universes from this (very large) set, we need the Axiom of Choice. See how obvious it is?"
Or,
"we know
exactly what conditions occur 10-33 meters from a Kerr BH ring singularity. But we need to see what happens at the singularity itself, whose coordinates are known with infinite precision (of course). If we don't exclude functions like g - we might get any answer at all, due to spurious functions in our solution space. We might calculate that the wormhole takes us back to August 12, 1066, at 10:30 in the morning. But when we actually go through the wormhole, it turns out to be 10:31! That's what can happen without rigorous mathematics."
Please provide a common-sense, real-world, 3-line example like these samples, with as much hand-waving as necessary. Please
don't tell me I'll understand these things when I'm older, now eat those veggies.