Tim77 said:
Yes you can hold functions "constant" and pull them out of the integral it is the key to evaluating multiple integrals, but you still have to integrate a function with respect to the variable of integration.
What does that this have to do with anything?
And yes this is very connected to differential forms they are key to analysis.
Maybe in multivariable differential geometry, but certainly not in integration of one variable which is what we are doing here.
That aside an integral requires a function as its argument.
Yes we know that. Why are you doing a brain-spew?
I will conceed in the second case of the OP's original post it is valid to pull out the zero but then you are no longer integrating zero with respect to x you are integrating 1 or k or what ever "function plays the role of f(x) in the integral.In case 1 you have Int(0) =C in case 2 you have 0*Int(1)=0 essentially those are two different integrals.
The co-domain of the indefinite integral is a quotient space. The two integrals in the OP are in the same equivalence class. This has been pointed out in this thread over and over. It doesn't matter if they are "essentially" different or not.
I stand corrected if you can show how you evaluate integrals of the form ##\int \omega## or how about ##\int3## without using a differential form and integrating with respect to some parameter
You clearly don't understand what I'm saying do you? In one dimensional calculus, there is no
inherent reason to write down dx for an indefinite integral. We do it because of historical reasons. If I write ##f: \mathbb{R}\to\mathbb{R}## and ##\int f## then it is clear I am interested in the anti-derivative of some one dimensional function f. I haven't declared a variable for f, but it is clear that I am integrating with respect to it because
that is the only choice. There is no need to write down the variable of a one dimensional constant function. Further, in one dimensional calculus, the "dx" is not part of a 1-form. It is part of the integral. That is, the indefinite integral is the map
##f \mapsto [\int f(x) \, dx]##
and not
##f(x) \, dx \mapsto [\int f(x) \, dx].##
In the multivariate case we need to worry about which variable to integrate with regard to, so differential forms are useful. You are arguing that differential forms are necessary in multivariable calculus therefore they are necessary in one-variable calculus. That is not true.
And I haven't even started to talk about the product measure where you see notation like:
"Let ##(X_1, \Sigma_1, \mu_1)## and ##(X_2, \Sigma_2, \mu_2)## be measure spaces and ##f: X_1\times X_2 \to\mathbb{R}##. Then ##\int_{X_1} f \, d\mu_1##..."
Some authors like to write down ##\int_{X_1} f \, d\mu_1(x_1)##, others drop it because it is obvious that ##\mu_1## is used to integrate with respect to ##x_1##.