I understand this $\frac{d}{dx}f(x)=g(x)$, since $\frac{d}{dx}f(x)$ has precise definition (I guess you know the definition, so I skip it.)
but what is the definition of this $df=g(x)dx$. I can "somehow" understand what it means. but does it exist a precise definition for this notation?
Thank you.
Personally, I view $df = g(x) dx$ as a mnemonic: it's formally equivalent to $\frac{df}{dx} = g(x)$, but it's written in such a way as to allow you to perform substitution of variables when integrating, i.e. $$\int_{x=\dots}^{x=\dots} (\quad\dots\quad)\; \underline{g(x)\; dx} = \int_{f=\dots}^{f=\dots} (\quad\dots\quad)\;\; \underline{df},$$ and if you think of "df" and "dx" as "a small change in f" and "a small change in x" respectively, it helps you remember how the proof goes.