The world has finite precision. dx isn't a limit towards zero, it is a limit towards the smallest numerical non-zero. For physics, that's Planck, for engineers it's the least significant bit/figure. All of calculus can be generalized to arbitrary precision, and it's called discrete math. So not even mathematicians agree on this topic.
Science Memes
Welcome to c/science_memes @ Mander.xyz!
A place for majestic STEMLORD peacocking, as well as memes about the realities of working in a lab.
Rules
- Don't throw mud. Behave like an intellectual and remember the human.
- Keep it rooted (on topic).
- No spam.
- Infographics welcome, get schooled.
This is a science community. We use the Dawkins definition of meme.
Research Committee
Other Mander Communities
Science and Research
Biology and Life Sciences
- !abiogenesis@mander.xyz
- !animal-behavior@mander.xyz
- !anthropology@mander.xyz
- !arachnology@mander.xyz
- !balconygardening@slrpnk.net
- !biodiversity@mander.xyz
- !biology@mander.xyz
- !biophysics@mander.xyz
- !botany@mander.xyz
- !ecology@mander.xyz
- !entomology@mander.xyz
- !fermentation@mander.xyz
- !herpetology@mander.xyz
- !houseplants@mander.xyz
- !medicine@mander.xyz
- !microscopy@mander.xyz
- !mycology@mander.xyz
- !nudibranchs@mander.xyz
- !nutrition@mander.xyz
- !palaeoecology@mander.xyz
- !palaeontology@mander.xyz
- !photosynthesis@mander.xyz
- !plantid@mander.xyz
- !plants@mander.xyz
- !reptiles and amphibians@mander.xyz
Physical Sciences
- !astronomy@mander.xyz
- !chemistry@mander.xyz
- !earthscience@mander.xyz
- !geography@mander.xyz
- !geospatial@mander.xyz
- !nuclear@mander.xyz
- !physics@mander.xyz
- !quantum-computing@mander.xyz
- !spectroscopy@mander.xyz
Humanities and Social Sciences
Practical and Applied Sciences
- !exercise-and sports-science@mander.xyz
- !gardening@mander.xyz
- !self sufficiency@mander.xyz
- !soilscience@slrpnk.net
- !terrariums@mander.xyz
- !timelapse@mander.xyz
Memes
Miscellaneous
The thing is that it's legit a fraction and d/dx actually explains what's going on under the hood. People interact with it as an operator because it's mostly looking up common derivatives and using the properties.
Take for example ∫f(x) dx
to mean "the sum (∫) of supersmall sections of x (dx) multiplied by the value of x at that point ( f(x) ). This is why there's dx at the end of all integrals.
The same way you can say that the slope at x is tiny f(x) divided by tiny x or d*f(x) / dx
or more traditionally (d/dx) * f(x)
.
The other thing is that it's legit not a fraction.
Software engineer: 🫦
1/2 <-- not a number. Two numbers and an operator. But also a number.
We teach kids the derive operator being '
or ·
. Then we switch to that writing which makes sense when you can use it properly enough it behaves like a fraction
If not fraction, why fraction shaped?
clearly, d/dx simplifies to 1/x
Having studied physics myself I'm sure physicists know what a derivative looks like.
Why does using it as a fraction work just fine then? Checkmate, Maths!
It doesn't. Only sometimes it does, because it can be seen as an operator involving a limit of a fraction and sometimes you can commute the limit when the expression is sufficiently regular
Added clarifying sentence I speak from a physicists point of view.
Mathematicians will in one breath tell you they aren't fractions, then in the next tell you dz/dx = dz/dy * dy/dx
Have you seen a mathematician claim that? Because there's entire algebra they created just so it becomes a fraction.
Brah, chain rule & function composition.
(d/dx)(x) = 1 = dx/dx
I still don't know how I made it through those math curses at uni.
Calling them 'curses' is apt
I found math in physics to have this really fun duality of "these are rigorous rules that must be followed" and "if we make a set of edge case assumptions, we can fit the square peg in the round hole"
Also I will always treat the derivative operator as a fraction
I always chafed at that.
"Here are these rigid rules you must use and follow."
"How did we get these rules?"
"By ignoring others."
2+2 = 5
…for sufficiently large values of 2
i was in a math class once where a physics major treated a particular variable as one because at csmic scale the value of the variable basically doesn't matter. the math professor both was and wasn't amused
Found the engineer
Engineer. 2+2=5+/-1
I mean as an engineer, this should actually be 2+2=4 +/-1.
Computer science: 2+2=4 (for integers at least; try this with floating point numbers at your own peril, you absolute fool)
Freshmen engineer: wow floating point numbers are great.
Senior engineer: actually the distribution of floating point errors is mindfuck.
Professional engineer: the mean error for all pairwaise 64 bit floating point operations is smaller than the Planck constant.
0.1 + 0.2 = 0.30000000000000004
Derivatives started making more sense to me after I started learning their practical applications in physics class. d/dx
was too abstract when learning it in precalc, but once physics introduced d/dt
(change with respect to time t), it made derivative formulas feel more intuitive, like "velocity is the change in position with respect to time, which the derivative of position" and "acceleration is the change in velocity with respect to time, which is the derivative of velocity"
Possibly you just had to hear it more than once.
I learned it the other way around since my physics teacher was speedrunning the math sections to get to the fun physics stuff and I really got it after hearing it the second time in math class.
But yeah: it often helps to have practical examples and it doesn't get any more applicable to real life than d/dt.
I always needed practical examples, which is why it was helpful to learn physics alongside calculus my senior year in high school. Knowing where the physics equations came from was easier than just blindly memorizing the formulas.
The specific example of things clicking for me was understanding where the "1/2" came from in distance = 1/2 (acceleration)(time)^2 (the simpler case of initial velocity being 0).
And then later on, complex numbers didn't make any sense to me until phase angles in AC circuits showed me a practical application, and vector calculus didn't make sense to me until I had to actually work out practical applications of Maxwell's equations.
It was a fraction in Leibniz’s original notation.
And it denotes an operation that gives you that fraction in operational algebra...
Instead of making it clear that d
is an operator, not a value, and thus the entire thing becomes an operator, physicists keep claiming that there's no fraction involved. I guess they like confusing people.
Except you can kinda treat it as a fraction when dealing with differential equations
Division is an operator
It's not even a fraction, you can just cancel out the two "d"s
"d"s nuts lmao
Look it is so simple, it just acts on an uncountably infinite dimensional vector space of differentiable functions.
fun fact: the vector space of differentiable functions (at least on compact domains) is actually of countable dimension.
still infinite though
Doesn't BCT imply that infinite dimensional Banach spaces cannot have a countable basis
Uhm, yeah, but there's two different definitions of basis iirc. And i'm using the analytical definition here; you're talking about the linear algebra definition.
So I call an infinite dimensional vector space of countable/uncountable dimensions if it has a countable and uncountable basis. What is the analytical definition? Or do you mean basis in the sense of topology?
Uhm, i remember there's two definitions for basis.
The basis in linear algebra says that you can compose every vector v as a finite sum v = sum over i from 1 to N of a_i * v_i, where a_i are arbitrary coefficients
The basis in analysis says that you can compose every vector v as an infinite sum v = sum over i from 1 to infinity of a_i * v_i. So that makes a convergent series. It requires that a topology is defined on the vector space fist, so convergence becomes well-defined. We call such a vector space of countably infinite dimension if such a basis (v_1, v_2, ...) exists that every vector v can be represented as a convergent series.
Ah that makes sense, regular definition of basis is not much of use in infinite dimension anyways as far as I recall. Wonder if differentiability is required for what you said since polynomials on compact domains (probably required for uniform convergence or sth) would also work for cont functions I think.
i just checked and there's official names for it:
- the term Hamel basis refers to basis in linear algebra
- the term Schauder basis is used to refer to the basis in analysis sense.
What is Phil Swift going to do with that chicken?
The will repair it with flex seal of course
To demonstrate the power of flex seal, I SAWED THIS CHICKEN IN HALF!