Jump to content


  • Content Count

  • Joined

  • Last visited

Everything posted by Hamed.Begloo

  1. Actually I said I prefer that the answer not to be in the context of "Theory of differential forms" because I have no knowledge of the notion of "Differential forms". However as far as I know the approach used in the discipline is quite different from calculus: introducing new spaces, usage of different geometries, constructing some form of algebras for differentials,... it seems they are treating differentials as some different kind of mathematical objects rather than simply functions. Anyway considering more lower levels for answer is better. If you wanna consider a level to answer me, I can say for example much of "Calculus and Analytic Geometry, Thomas-Finney" are understandable to me. I'm still not convinced why it doesn't matter for single variable calculus. If it's just a notation then I think it's really bad to use Leibniz's notation in calculus. We should reformulate calculus using Lagrange's notation for both derivative and antiderivative operations so we get rid of this nonsense differential. Leibniz introduces symbols like "[latex]\int [/latex]" and "[latex]\mathrm{d} [/latex]" which seems to be insisting they must have separate standalone meanings and definitions. But when you talk about them everyone says these symbols has no meaning for themselves alone and we end up that "[latex]\int f(x) \mathrm{d} x[/latex]" and "[latex]\frac{\mathrm{d} f(x)}{\mathrm{d} x} [/latex]" are just mere notations for antiderivative and derivative respectively. Anyway I thought that widespread usage of Leibniz's notation must have an important reason. Not that just this makes them algebraically more flexible so students manipulate them easily... but from a more pure mathematical perspective. OK, let's see what I get: Here [latex]X[/latex] and [latex]Y[/latex] seem not to be simple numerical variables but rather [latex]n[/latex]-tuples consisting of numerical variables. So the arguments of [latex]f[/latex] are [latex]n[/latex]-tuples and this is why the domain is [latex]\mathbb{R}^{n}[/latex]. Since the [latex]f[/latex] is a Real-valued function the output must be a number and this also justifies why the range is [latex]\mathbb{R}[/latex]. On the other hand [latex]X_0[/latex] seems to be a determined known point in [latex]\mathbb{R}^{n}[/latex]. And here's what I don't get: Now this is where my inexperience and knowledgelessness ruins everything. Now I'm going to ask some very basic questions that pops into my mind right now: 1) I know what "Linear transformation" is: Any transformation that carries the properties of "Additivity" and "Homogeneity". But I always have a headache distincting notions such as "Transformation", "Mapping" and "Function". Could you first tell me what are their difference? 2) The definition says about "the differential of [latex]f[/latex] at [latex]X_0[/latex]", but then says about the value of the linear transformation at [latex]Y[/latex]. I'm not sure what is the argument of the function/transformation. [latex]X_0[/latex] or [latex]Y[/latex]? 3)It somehow reminds me of this relation about the differential of a multivariate function: [latex]\mathrm{d} f(x_1,x_2,\cdots ,x_n)=\mathrm{d}x_1 \frac{\partial }{\partial x_1}f(x_1,x_2,\cdots ,x_n) + \mathrm{d}x_2 \frac{\partial }{\partial x_2}f(x_1,x_2,\cdots ,x_n)+ \cdots + \mathrm{d}x_n \frac{\partial }{\partial x_n}f(x_1,x_2,\cdots ,x_n)[/latex] But the problem with this definition is again some other differentials([latex]\mathrm{d}x_1 [/latex], [latex]\mathrm{d}x_2 [/latex], [latex]\cdots [/latex] , [latex]\mathrm{d}x_n [/latex]) exists in the definition. However yours are in the form of [latex]y_1[/latex], [latex]y_2[/latex] , [latex]\cdots [/latex] , [latex]y_n[/latex]. So maybe it's different. Anyway are these related? I stop here so my basic issues would be resolved. Thank you for helping me.
  2. Yes, and... honestly I still don't know how I included the values of the functions in my question. I just wanted a definition for "Differential function" which haven't any other differentials in its definition as the definition of "Derivative function" doesn't contain any other derivative either. Sorry but I didn't find what you mean by "Derived function"(if it's not the derivative function). Again would you explain more about what you meant here? Now I guess I know what you mean. You're saying since "Difference of function" is tied to two values of the function, then necessarily "Differential of function" is defined by the values of the function(if I'm right). So does it mean there is nothing such as a "Differential function"? And it's only meaningful at some points? P.S. I would appreciate if you answer more descriptively and again consider the fact that... you know... I'm not a native English speaker .
  3. A function is a "Relation(which is a subset of a cartesian product of two sets)" where the second entries of the ordered pair elements of the resultant set aren't pairwisely equal. Yes but I'm not talking about the value of the functions or their differential at a point. Sure it's important but it's not everything. For example we may show the derivative of function [latex]f(x)[/latex] at some point like [latex]x_0[/latex] as follows: [latex]\frac{\mathrm{d} f(x)}{\mathrm{d} x}|_{x=x_0}={f}'(x_0)[/latex] But we define something else and name it "Derivative function" which renders derivative as a function -and not the value of [latex]{f}'[/latex] at [latex]x_0[/latex]- which its outcome is a function(and not a value) and we show it like this:: [latex]\frac{\mathrm{d} f(x)}{\mathrm{d} x}={f}'(x)[/latex] And I'm actually talking about "Differential function" -not the value of [latex]\mathrm{d} f(x)[/latex] at [latex]x_0[/latex]- and I think it should have a precise definition(as the Derivative function has a definition too). I didn't get what you meant here. Could you explain more?
  4. Actually in that statement "The change in the value of a function/variable" is previously defined: [latex]\Delta f(x)= f(x_2)-f(x_1)[/latex] or [latex]\Delta x= x_2-x_1[/latex] But how we defined [latex]\mathrm{d} f(x)[/latex] or [latex]\mathrm{d} x[/latex] is not precisely elaborated. One may say it's the same as a change in the variable/function when the change is small enough but what "small enough" means here again isn't precisely elaborated. I actually attempted to think of a definition for differential as like it's simply the limit of a difference as the difference approaches zero: [latex]\mathrm{d}x= \lim_{\Delta x \to 0}\Delta x[/latex] But because of the so called "Archimedean property" of the "Real number system", that makes a differential simply zero: [latex]\mathrm{d}x= 0[/latex] and it's not logical. Can we make this situation better?
  5. First of all I want to clarify that I posted this question on many forums and Q&A websites so the chances of getting an answer will be increased. So don't be surprised if you saw my post somewhere else. Now let's get started: When it comes to definitions, I will be very strict. Most textbooks tend to define differential of a function/variable in a way like this: -------------------------------------------------------------------------------- Let [latex]f(x)[/latex] be a differentiable function. By assuming that changes in [latex]x[/latex] are small, with a good approximation we can say: [latex]\Delta f(x)\approx {f}'(x)\Delta x[/latex] Where [latex]\Delta f(x)[/latex] is the changes in the value of function. Now if we consider that changes in [latex]f(x)[/latex] are small enough then we define differential of [latex]f(x)[/latex] as follows: [latex]\mathrm{d}f(x):= {f}'(x)\mathrm{d} x[/latex] Where [latex]\mathrm{d} f(x)[/latex] is the differential of [latex]f(x)[/latex] and [latex]\mathrm{d} x[/latex] is the differential of [latex]x[/latex]. -------------------------------------------------------------------------------- What bothers me is this definition is completely circular. I mean we are defining differential by differential itself. Although some say that here [latex]\mathrm{d} x[/latex] is another object independent of the meaning of differential but as we proceed it seems that's not the case: First of all we define differential as [latex]\mathrm{d} f(x)=f'(x)\mathrm{d} x[/latex] then we deceive ourselves that [latex]\mathrm{d} x[/latex] is nothing but another representation of [latex]\Delta x[/latex] and then without clarifying the reason, we indeed treat [latex]\mathrm{d} x[/latex] as the differential of the variable [latex]x[/latex] and then we write the derivative of [latex]f(x)[/latex] as the ratio of [latex]\mathrm{d} f(x)[/latex] to [latex]\mathrm{d} x[/latex]. So we literally (and also by stealthily screwing ourselves) defined "Differential" by another differential and it is circular. Secondly (at least I think) it could be possible to define differential without having any knowledge of the notion of derivative. So we can define "Derivative" and "Differential" independently and then deduce that the relation [latex]f'{(x)}=\frac{\mathrm{d} f(x)}{\mathrm{d} x}[/latex] is just a natural result of their definitions (using possibly the notion of limits) and is not related to the definition itself. Though I know many don't accept the concept of differential quotient([latex]\frac{\mathrm{d} f(x)}{\mathrm{d} x}[/latex]) and treat this notation merely as a derivative operator([latex]\frac{\mathrm{d} }{\mathrm{d} x}[/latex]) acting on the function([latex]f(x)[/latex]) but I think that it should be true that a "Derivative" could be represented as a "Differential quotient" for many reasons. For example think of how we represent derivatives with the ratio of differentials to show how chain rule works by cancelling out identical differentials. Or how we broke a differential into another differential in the [latex]u[/latex]-substitution method to solve integrals. And it's especially obvious when we want to solve differential equations where we freely take [latex]\mathrm{d} x[/latex] and [latex]\mathrm{d} y[/latex] from any side of a differential equation and move it to any other side to make a term in the form of [latex]\frac{\mathrm{d} y}{\mathrm{d} x}[/latex], then we call that term "Derivative of [latex]y[/latex]". It seems we are actually treating differentials as something like algebraic expressions. I know the relation [latex]\mathrm{d} f(x)=f'(x)\mathrm{d} x[/latex] always works and it will always give us a way to calculate differentials. But I (as an strictly axiomaticist person) couldn't accept it as a definition of Differential. So my question is: Can we define "Differential" more precisely and rigorously? Thank you in advance. P.S. I prefer the answer to be in the context of "Calculus" or "Analysis" rather than the "Theory of Differential forms". And again I don't want a circular definition. I think it is possible to define "Differential" with the use of "Limits" in some way(though it's just a feeling).
  6. I'm afraid starting another thread for the same subject being count as another infringement of the forum rules. If you don't mind, I prefer to wait for answers here. Thank you.
  7. Quite frankly now I'm very happy that you noticed you are talking with someone who have much less knowledge than yourself. I know that the outcome of the product of "Force" and "Distance/Position/Length" depends highly on either quantities being "Vector" or "Scalar" and also on either the operator acting between them being "Dot product" "Cross product" or simply just a "Multiplication of a vector and a scalar". I know the outcome of this product could have the dimension of [Energy] or [Torque] but the outcoming quantity could be either "Difference in Energy", "Work" or "Torque" Let me tell you what I know about Moment and Torque then you correct me if I'm wrong. I know many people use these words interchangeably. But in overall what I saw from most textbooks or on the web usually "Torque" is defined as "Cross product of Position vector and Force vector" while "Moment" usually defined as "Cross product of Position vector and any other quantity" Like: Angular momentum(moment of momentum) [latex]\vec{L}:=\vec{r}\times \vec{p}[/latex] Torque(moment of force) [latex]\vec{\tau}:=\vec{r}\times \vec{F}[/latex] etc. And this makes Torque a special case of Moment. As I mentioned earlier, yes I know there are two possibilities. Now this is my main problem: I agree about Moment/Torque but I know the dot product of "Force" and "Distance" gives you "Work". I know "Work" and "Energy" have the same dimensions but I think they are different quantities. They are other situations where two different quantities have same dimensions. For example "Translational kinetic energy" and "Rotational kinetic energy" have same dimensions but they are not describing one thing. I think If two quantities have same dimensions then not necessarily they describe one thing. Yes "Work" may represent the difference in energy but does not talk about "Energy itself". I hope I delivered my purpose.
  8. I'm sorry but I really didn't get what you mean. Maybe this problems arise because of me not being a native English speaker and not understanding you( or who knows being a total stupid ). Honestly, I still don't know what question you are talking about. Can you repeat it(by taking my stupidity into account)? Also: First you said: Then you said: Now again you say: It just seems to me you are negating your own words. As I already mentioned my stupidity let me review your first post: I didn't mean this but I was in a hurry and answered everybody shortly. However again I accept it was my fault and you are right to make this interpretation. I don't know What makes you think I want to discuss quantum mechanics. If this is what makes you think so, I can say I was told for example Potential energy of a particle is stored in field lines around that particle. Not in particle itself. Correct me if I'm wrong. And this is the main reason I'm here: Determining fundamental and derived concepts in classical mechanics which you said is an established structure. What I understood from this line is: We need minimum number of Primitive notions and Axioms therefore the theory is more simple(as all theories seek to be simple) while it covers a wide range of phenomena(which is a very good property for a theory despite its simplicity) and can be easily altered to give some ad-hoc explanations for the phenomena not in its range of validity(like describing Hydrogen with Bohr's atomic model or some non-relativistic cosmological phenomena). Again correct me if I'm wrong. This is the only quantitative statement you introduced which you yourself don't count as a definition of energy. Again I didn't find the quantitative statement.
  9. My Impression from the above sentence is that you said "Force times Distance" is not necessarily "Energy". So how could I take this as a definition? No. Infact The main problem is I have no way to define my terms. And as I mentioned in my "Post #29" I just think every theory should be formulated in an axiomatic way. For example think of "Classical electromagnetism". With just one primitive notion(Electric Charge) and a set of field equations(Maxwell's Equations) as axioms plus a description of electromagnetic force(Lorentz Force) every phenomena in classical electromagnetism are described. But classical mechanics although dating back to older ages, still seems to be not fully organized and axiomatized. I think now I know why you thought I did an infringement in the forums. But that post was not specifically written for you. I read all the posts before, thought they didn't get what I mean, summed up my words and then posted it for everybody. Listen when it comes to science, I confess I'm the most illiterate one. I'm here to learn something from you all, not to question your knowledge. The challenges that I make are just to (as you said) carry on the conversation. I hope the turbidity is removed. Correct. I agree in science as a whole we couldn't define an axiomatic system. Because the fundamentality of notions are always changing. For example I know in quantum mechanics the notion of "Rotational angular momentum(Spin)" have not the same meaning in the classical mechanics(such that a dot particle without any volume can have a non-zero spin) so we take it as an intrinsic quantity. But I'm talking about just one single theory(namely classical mechanics) which I expect to work completely in its own scope (not outside its range of validity).
  10. But doesn't theories supposed to be designed in an axiomatic way. I know Physics is not math but I know a physical theory is a mathematical framework that fits best with our descriptions of nature. On the other hand mathematics is always constructed in an "Axiom-Theorem" way for the propositions claimed and in a "Primitive notion-Well defined notion" way for the concepts introduced. So it's a real pain when you talk about a so important concept in a theory and have no precise definition of it. Yes I can talk about Work, Heat, Kinetic Energy, Potential Energy, Thermal Energy and so on but I know "Energy" as a whole concept should be defined. For example when we say "The energy of a system is conserved" we are talking about energy itself not its various forms. Maybe physicists are smart enough to conceptualise "Energy" without a rigorous definition but for a noob like me it doesn't work.
  11. Uh, oh... it seems it gone wrong ​ I never shout anything as I know here is a community of educated people and everyone must talk with each other with respect. I just wanted to show that what my main request is and reveal it distinctively. Anyway if it bothered you I apologize deeply. Edit: I searched the web and I understood it mean shouting. Again apologies. I read your previous post but I didn't catch your definition. However maybe it's just me who couldn't get the definition and it's my fault. I know it's not common but many places I see people use the "Colon Equal([latex]:=[/latex])" notation for defining new quantities. See here(Link below) http://mathworld.wolfram.com/Defined.html It's some how like the equivalent sign([latex]\equiv[/latex]) P.S. I know the "Colon Equal" operator is used for variable assignment in programming. Yes. But they could be defined by an equation(if they are not primitive). Plus as you see I also stated the language-based definitions of quantities. For example: Velocity: Rate of change of Spatial position (Lingual definition) or [latex]\vec{v}:=\frac{d\vec{r}}{dt}[/latex] (Mathematical definition) I still don't know How I did an infringement. But as stated early. If I did something wrong I'm so sorry.
  12. Now that discussion took here, let me put it this way: Assume Space([latex]\vec{r}[/latex]), Time([latex]t[/latex]), Mass([latex]m[/latex]) and Charge([latex]q[/latex]) as primitive notions in Classical Mechanics(I know you may say any concepts could be regarded as primitive but they are good reasons to take them as primitive: Space and Time are primitive in mathematics and Mass and Charge are localized simple properties we could assign to particles and/or bodies). Now we define new concepts based on previous ones: Velocity(Rate of change of Spatial position [latex]\vec{v}:=\frac{d\vec{r}}{dt}[/latex]), Momentum(Mass multiplied by velocity [latex]\vec{p}:=m\vec{v}[/latex]), Force(Rate of change of momentum [latex]\vec{F}:=\frac{d\vec{p}}{dt}[/latex]), Current Intensity(Rate of change of charge [latex]I:=\frac{dq}{dt}[/latex]), Angular momentum(Moment of momentum [latex]\vec{L}:=\vec{r}\times \vec{p}[/latex]), etc. But look at Energy. It have no rigouros quantitavie definition. What Finally I Want Is A Quantitative Definition Of Energy. I Mean Something Like: [latex]E := something[/latex]
  13. So what are those Axioms(or primitive concepts). Is energy itself primitive. I don't think so. There are many other "things" that are completely well defined like "Momentum", "Velocity", "Acceleration", "Force", etc. Even those which are undefined like "Mass", "Charge", etc could reasonably be imagined as what they really are. But energy... that is really hard to imagine. Your definition to me seems more like the definition of "Work". I know, but I think despite all of this energy must have a "quantitative definition" I just want to clarify what energy is for myself(in Classical physics of course) and I think it's only possible by defining it quantitatively By the way with your definition I can say with multiplications of many different quantities I can define energy. To my knowledge Energy is a quantity which can not be localized. It's like a wave and is distributed all over system. But you're considering a locality for it. No, I'm mostly naturalist. and I also think (nearly) everything must be describable by nature. Guys please see this definition(link below) offered by a person named "Marcel": http://physics.stackexchange.com/a/288811/126696 I wanted something like this. I mean a definition which literally defines something. But still, any other suggestions would be appreciated.
  14. So really doesn't someone aggregated these definitions to make one simple comprehensive definition? It seems really bad to have such a vague concept in a so formal field such as Physics.
  15. So if I don't want to take "Energy" as a primitive concept, Is there any "quantitative definition" of it? like:
  16. First of all I acknowledge you that I posted this Question on many other forums and Q&A Websites. So don't be surprised if you found my question somewhere else. I bet when the experts saw the title, many of them said: "...again another dumb guy seeking answers to useless questions...". But believe me I have a point. Let me say I'm not worried if our conversation lead beyond conventional physics and violates or disrupts our standard classical epistemological system of physical concepts. What I want to do is to mathematically and physically clarify the definition of an important concept in physics. Let's get started: "What is energy?" A High school teacher: Huh it's simple: "The Ability of a system to do work on another system". Cool. Then "What's work done by a gravitational field?" Same teacher: It is called "Gravitational potential energy". Then you mean "Energy" is defined by "Work" and "Work" is defined by "Energy". So it leads to a paradox of "Circular definition". The teacher: Oo Let us even go further and accept this definition. What about a system reached its maximum entropy(in terms of thermodynamics being in "Heat death" state). Can it still do work? The answer is of course no. But still the system contains energy. So the above definition is already busted. Another famous (and more acceptable) definition is "any quantity that is constant when laws of physics are invariant under time translations". That's right but this is a consequence of Noether's theorem which uses the concept of "Lagrangian" and "Hamiltonian" to do this. Two quantities that are already using the concept of energy in their definitions. So again it gets circular. Beside we can also define "Momentum" as "any quantity that is constant when laws of physics are invariant under space translations". But we don't. First of all we quantitatively define momentum as [latex]p := mv[/latex], then we deduce its conservation as a natural result of Noether's theorem or even when the scope is outside analytical mechanics, we consider it a principle or axiom. In both cases we first "Rigorously" and "Quantitatively" defined a concept then made a proposition using this concept. Now this is my point and this is what I'm seeking: "What is a quantitative definition of energy" that is both rigorous and comprehensive. I mean I will be satisfied If and only if someone says: [latex]E := something[/latex] Yes, I want a "Defining equation" for Energy. I hope I wasn't tiresome or stupid for you. But believe me I think it's very important. Because energy is one of the most significant concepts in physics but we haven't any rigorous definition of it yet. By the way, we can even define other forms and other types of energy using a universal general definition of it. I hope you understand the importance of this and give me a satisfying answer. Again I repeat I don't fear to go further than our standard conceptual framework of physics. Maybe it's time to redesign our epistemological conventions. Thank you in advance. P.S. Somewhere I saw someone said it can be defined as the "Negative time derivative of Action" which means: [latex]E := -\frac{dS}{dt}[/latex] Where [latex]S[/latex] is the action and [latex]t[/latex] is time. However since action is a concept based on Lagrangian and is already dependent on the concept of energy, I think, again it won't help. P.P.S Some people say consider energy as a "Primitive notion" or an "Undefinable Concept". But it's not a good idea too. First because it's not a "SI base quantity" from which they couldn't be defined by any previous well defined quantity and since Energy haven't a base dimension(the dimension is [latex][ML^{2}T^{-2}][/latex]) so it couldn't be a primitive notion. Second we often assume a quantity primitive or undefinable, when it's very trivial that it's almost understandable to everyone. At least to me the concept of energy is too vague and misty that when I work with it, I don't know what I'm actually doing. P.P.P.S And also please don't tell me "Energy is another form of mass". I assume we are talking about non-relativistic Newtonian mechanics and also don't forget the concept of energy has been used long before appearance of "Relativity theory".
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.