Necessity of Differential Forms












9












$begingroup$


All the undergraduate and graduate texts on analysis introduce Differential and integral calculus (I will assume this introduction of basic calculus/analysis).



Among them, some books also introduce differential forms. I then understand that knowledge of differential forms is not too necessary in (Real/complex) analysis.



On the other hand, the books, where differential forms are included, do not give any motivation for their consideration in the subsection in which they introduce it. They start the Definition like ...




...... this expression is called $1$-form; ......this expression is called 2 form .....




It is not mentioned in any book, for what purpose it is getting introduced? This really bothers me and gives a feeling like it is memorizing or copy-pasting from some old books, the definitions of differential forms and bombarding it on readers brains!
Even in many lectures, I heard that the concept of Differential forms is introduced just as a memorized definition and start games with it! No book explains what is their necessity in analysis?



I believe that almost all the mathematical concepts and especially differential forms have been introduced concerning at least some elementary problem or I feel using differential forms one can interpret some mathematical contexts in a better frame.



My question is




For the study of which elementary problems in analysis, differential forms are necessary?











share|cite|improve this question









$endgroup$








  • 3




    $begingroup$
    Not entirely an answer to your question (it doesn't answer the importance in analysis) but for a more intuitive explanation, Tao gives an introduction to differential forms here: math.ucla.edu/~tao/preprints/forms.pdf and argues the algebraic laws of the differential forms derive from a roughly speaking more intuitive, what I would describe as: "infinitesimal geometry".
    $endgroup$
    – Dair
    Apr 27 '16 at 8:36
















9












$begingroup$


All the undergraduate and graduate texts on analysis introduce Differential and integral calculus (I will assume this introduction of basic calculus/analysis).



Among them, some books also introduce differential forms. I then understand that knowledge of differential forms is not too necessary in (Real/complex) analysis.



On the other hand, the books, where differential forms are included, do not give any motivation for their consideration in the subsection in which they introduce it. They start the Definition like ...




...... this expression is called $1$-form; ......this expression is called 2 form .....




It is not mentioned in any book, for what purpose it is getting introduced? This really bothers me and gives a feeling like it is memorizing or copy-pasting from some old books, the definitions of differential forms and bombarding it on readers brains!
Even in many lectures, I heard that the concept of Differential forms is introduced just as a memorized definition and start games with it! No book explains what is their necessity in analysis?



I believe that almost all the mathematical concepts and especially differential forms have been introduced concerning at least some elementary problem or I feel using differential forms one can interpret some mathematical contexts in a better frame.



My question is




For the study of which elementary problems in analysis, differential forms are necessary?











share|cite|improve this question









$endgroup$








  • 3




    $begingroup$
    Not entirely an answer to your question (it doesn't answer the importance in analysis) but for a more intuitive explanation, Tao gives an introduction to differential forms here: math.ucla.edu/~tao/preprints/forms.pdf and argues the algebraic laws of the differential forms derive from a roughly speaking more intuitive, what I would describe as: "infinitesimal geometry".
    $endgroup$
    – Dair
    Apr 27 '16 at 8:36














9












9








9


1



$begingroup$


All the undergraduate and graduate texts on analysis introduce Differential and integral calculus (I will assume this introduction of basic calculus/analysis).



Among them, some books also introduce differential forms. I then understand that knowledge of differential forms is not too necessary in (Real/complex) analysis.



On the other hand, the books, where differential forms are included, do not give any motivation for their consideration in the subsection in which they introduce it. They start the Definition like ...




...... this expression is called $1$-form; ......this expression is called 2 form .....




It is not mentioned in any book, for what purpose it is getting introduced? This really bothers me and gives a feeling like it is memorizing or copy-pasting from some old books, the definitions of differential forms and bombarding it on readers brains!
Even in many lectures, I heard that the concept of Differential forms is introduced just as a memorized definition and start games with it! No book explains what is their necessity in analysis?



I believe that almost all the mathematical concepts and especially differential forms have been introduced concerning at least some elementary problem or I feel using differential forms one can interpret some mathematical contexts in a better frame.



My question is




For the study of which elementary problems in analysis, differential forms are necessary?











share|cite|improve this question









$endgroup$




All the undergraduate and graduate texts on analysis introduce Differential and integral calculus (I will assume this introduction of basic calculus/analysis).



Among them, some books also introduce differential forms. I then understand that knowledge of differential forms is not too necessary in (Real/complex) analysis.



On the other hand, the books, where differential forms are included, do not give any motivation for their consideration in the subsection in which they introduce it. They start the Definition like ...




...... this expression is called $1$-form; ......this expression is called 2 form .....




It is not mentioned in any book, for what purpose it is getting introduced? This really bothers me and gives a feeling like it is memorizing or copy-pasting from some old books, the definitions of differential forms and bombarding it on readers brains!
Even in many lectures, I heard that the concept of Differential forms is introduced just as a memorized definition and start games with it! No book explains what is their necessity in analysis?



I believe that almost all the mathematical concepts and especially differential forms have been introduced concerning at least some elementary problem or I feel using differential forms one can interpret some mathematical contexts in a better frame.



My question is




For the study of which elementary problems in analysis, differential forms are necessary?








real-analysis complex-analysis analysis soft-question






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Apr 27 '16 at 8:20









p Groupsp Groups

6,2831129




6,2831129








  • 3




    $begingroup$
    Not entirely an answer to your question (it doesn't answer the importance in analysis) but for a more intuitive explanation, Tao gives an introduction to differential forms here: math.ucla.edu/~tao/preprints/forms.pdf and argues the algebraic laws of the differential forms derive from a roughly speaking more intuitive, what I would describe as: "infinitesimal geometry".
    $endgroup$
    – Dair
    Apr 27 '16 at 8:36














  • 3




    $begingroup$
    Not entirely an answer to your question (it doesn't answer the importance in analysis) but for a more intuitive explanation, Tao gives an introduction to differential forms here: math.ucla.edu/~tao/preprints/forms.pdf and argues the algebraic laws of the differential forms derive from a roughly speaking more intuitive, what I would describe as: "infinitesimal geometry".
    $endgroup$
    – Dair
    Apr 27 '16 at 8:36








3




3




$begingroup$
Not entirely an answer to your question (it doesn't answer the importance in analysis) but for a more intuitive explanation, Tao gives an introduction to differential forms here: math.ucla.edu/~tao/preprints/forms.pdf and argues the algebraic laws of the differential forms derive from a roughly speaking more intuitive, what I would describe as: "infinitesimal geometry".
$endgroup$
– Dair
Apr 27 '16 at 8:36




$begingroup$
Not entirely an answer to your question (it doesn't answer the importance in analysis) but for a more intuitive explanation, Tao gives an introduction to differential forms here: math.ucla.edu/~tao/preprints/forms.pdf and argues the algebraic laws of the differential forms derive from a roughly speaking more intuitive, what I would describe as: "infinitesimal geometry".
$endgroup$
– Dair
Apr 27 '16 at 8:36










2 Answers
2






active

oldest

votes


















1












$begingroup$

Disclaimer: this is far from a complete answer and I'm hardly an expert on the topic



First one should say that differential forms certainly are not necessary for any problem the same way vector space are not necessary for any problem. They simply are a language which makes working with some problems easier.



I can give a few examples of "elementary" situations where differential forms can be used or are often used:





  • Stoke's theorem can be stated using differential forms generalizing several theorems from "classical" vector calculus (Gauß' theorem, Green's theorem, the classical Stoke's theorem, ...).

  • Brouwer's fixed-point theorem and the Hairy Ball theorem have quite elegant proofs using differential forms.

  • The Bochner-Martinelli integral formula generalizes Cauchy's integral formula in higher dimensions and uses differential forms to integrate over the $2n-1$ dimensional boundary of an open set in $mathbb{C}^n$.

  • Maxwell's equations in electrodynamics can be written down in a very natural way using differential forms.


You may not find these applications elementary and I guess they are not completely elementary. That is probably why differential forms are not usually taught in intrductory courses.






share|cite|improve this answer











$endgroup$





















    0












    $begingroup$

    If you want to extend calculus to the setting of manifolds, then you need differential forms. They are the natural kind of object to integrate over a manifold.



    The way that integration works is that you chop up the region that you're integrating over into tiny pieces, compute the contribution of each piece, then add up all those individual contributions.



    So how do we integrate over a $k$ dimensional manifold? Chop it up into tiny pieces, in such a way that the $i$th piece is approximately a parallelopiped spanned by vectors $v^i_1,ldots,v^i_k$. The contribution of the $i$th piece can be viewed as being a function of these $k$ vectors. Thus, to compute the contribution of each piece of the manifold, what we need is a gadget that will assign to each point $p$ on our manifold a real-valued function $f_p(v_1,ldots,v_k)$. You can argue that $f_p$ should be alternating and multilinear, because chopping up the manifold more finely should not change the value of the integral (and because degenerate parallelopipeds should contribute $0$). We have now discovered the concept of a differential form.






    share|cite|improve this answer











    $endgroup$














      Your Answer





      StackExchange.ifUsing("editor", function () {
      return StackExchange.using("mathjaxEditing", function () {
      StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
      StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
      });
      });
      }, "mathjax-editing");

      StackExchange.ready(function() {
      var channelOptions = {
      tags: "".split(" "),
      id: "69"
      };
      initTagRenderer("".split(" "), "".split(" "), channelOptions);

      StackExchange.using("externalEditor", function() {
      // Have to fire editor after snippets, if snippets enabled
      if (StackExchange.settings.snippets.snippetsEnabled) {
      StackExchange.using("snippets", function() {
      createEditor();
      });
      }
      else {
      createEditor();
      }
      });

      function createEditor() {
      StackExchange.prepareEditor({
      heartbeatType: 'answer',
      autoActivateHeartbeat: false,
      convertImagesToLinks: true,
      noModals: true,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      imageUploader: {
      brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
      contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
      allowUrls: true
      },
      noCode: true, onDemand: true,
      discardSelector: ".discard-answer"
      ,immediatelyShowMarkdownHelp:true
      });


      }
      });














      draft saved

      draft discarded


















      StackExchange.ready(
      function () {
      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1760778%2fnecessity-of-differential-forms%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      1












      $begingroup$

      Disclaimer: this is far from a complete answer and I'm hardly an expert on the topic



      First one should say that differential forms certainly are not necessary for any problem the same way vector space are not necessary for any problem. They simply are a language which makes working with some problems easier.



      I can give a few examples of "elementary" situations where differential forms can be used or are often used:





      • Stoke's theorem can be stated using differential forms generalizing several theorems from "classical" vector calculus (Gauß' theorem, Green's theorem, the classical Stoke's theorem, ...).

      • Brouwer's fixed-point theorem and the Hairy Ball theorem have quite elegant proofs using differential forms.

      • The Bochner-Martinelli integral formula generalizes Cauchy's integral formula in higher dimensions and uses differential forms to integrate over the $2n-1$ dimensional boundary of an open set in $mathbb{C}^n$.

      • Maxwell's equations in electrodynamics can be written down in a very natural way using differential forms.


      You may not find these applications elementary and I guess they are not completely elementary. That is probably why differential forms are not usually taught in intrductory courses.






      share|cite|improve this answer











      $endgroup$


















        1












        $begingroup$

        Disclaimer: this is far from a complete answer and I'm hardly an expert on the topic



        First one should say that differential forms certainly are not necessary for any problem the same way vector space are not necessary for any problem. They simply are a language which makes working with some problems easier.



        I can give a few examples of "elementary" situations where differential forms can be used or are often used:





        • Stoke's theorem can be stated using differential forms generalizing several theorems from "classical" vector calculus (Gauß' theorem, Green's theorem, the classical Stoke's theorem, ...).

        • Brouwer's fixed-point theorem and the Hairy Ball theorem have quite elegant proofs using differential forms.

        • The Bochner-Martinelli integral formula generalizes Cauchy's integral formula in higher dimensions and uses differential forms to integrate over the $2n-1$ dimensional boundary of an open set in $mathbb{C}^n$.

        • Maxwell's equations in electrodynamics can be written down in a very natural way using differential forms.


        You may not find these applications elementary and I guess they are not completely elementary. That is probably why differential forms are not usually taught in intrductory courses.






        share|cite|improve this answer











        $endgroup$
















          1












          1








          1





          $begingroup$

          Disclaimer: this is far from a complete answer and I'm hardly an expert on the topic



          First one should say that differential forms certainly are not necessary for any problem the same way vector space are not necessary for any problem. They simply are a language which makes working with some problems easier.



          I can give a few examples of "elementary" situations where differential forms can be used or are often used:





          • Stoke's theorem can be stated using differential forms generalizing several theorems from "classical" vector calculus (Gauß' theorem, Green's theorem, the classical Stoke's theorem, ...).

          • Brouwer's fixed-point theorem and the Hairy Ball theorem have quite elegant proofs using differential forms.

          • The Bochner-Martinelli integral formula generalizes Cauchy's integral formula in higher dimensions and uses differential forms to integrate over the $2n-1$ dimensional boundary of an open set in $mathbb{C}^n$.

          • Maxwell's equations in electrodynamics can be written down in a very natural way using differential forms.


          You may not find these applications elementary and I guess they are not completely elementary. That is probably why differential forms are not usually taught in intrductory courses.






          share|cite|improve this answer











          $endgroup$



          Disclaimer: this is far from a complete answer and I'm hardly an expert on the topic



          First one should say that differential forms certainly are not necessary for any problem the same way vector space are not necessary for any problem. They simply are a language which makes working with some problems easier.



          I can give a few examples of "elementary" situations where differential forms can be used or are often used:





          • Stoke's theorem can be stated using differential forms generalizing several theorems from "classical" vector calculus (Gauß' theorem, Green's theorem, the classical Stoke's theorem, ...).

          • Brouwer's fixed-point theorem and the Hairy Ball theorem have quite elegant proofs using differential forms.

          • The Bochner-Martinelli integral formula generalizes Cauchy's integral formula in higher dimensions and uses differential forms to integrate over the $2n-1$ dimensional boundary of an open set in $mathbb{C}^n$.

          • Maxwell's equations in electrodynamics can be written down in a very natural way using differential forms.


          You may not find these applications elementary and I guess they are not completely elementary. That is probably why differential forms are not usually taught in intrductory courses.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 5 at 17:15

























          answered Jan 5 at 17:08









          0x5390x539

          1,450518




          1,450518























              0












              $begingroup$

              If you want to extend calculus to the setting of manifolds, then you need differential forms. They are the natural kind of object to integrate over a manifold.



              The way that integration works is that you chop up the region that you're integrating over into tiny pieces, compute the contribution of each piece, then add up all those individual contributions.



              So how do we integrate over a $k$ dimensional manifold? Chop it up into tiny pieces, in such a way that the $i$th piece is approximately a parallelopiped spanned by vectors $v^i_1,ldots,v^i_k$. The contribution of the $i$th piece can be viewed as being a function of these $k$ vectors. Thus, to compute the contribution of each piece of the manifold, what we need is a gadget that will assign to each point $p$ on our manifold a real-valued function $f_p(v_1,ldots,v_k)$. You can argue that $f_p$ should be alternating and multilinear, because chopping up the manifold more finely should not change the value of the integral (and because degenerate parallelopipeds should contribute $0$). We have now discovered the concept of a differential form.






              share|cite|improve this answer











              $endgroup$


















                0












                $begingroup$

                If you want to extend calculus to the setting of manifolds, then you need differential forms. They are the natural kind of object to integrate over a manifold.



                The way that integration works is that you chop up the region that you're integrating over into tiny pieces, compute the contribution of each piece, then add up all those individual contributions.



                So how do we integrate over a $k$ dimensional manifold? Chop it up into tiny pieces, in such a way that the $i$th piece is approximately a parallelopiped spanned by vectors $v^i_1,ldots,v^i_k$. The contribution of the $i$th piece can be viewed as being a function of these $k$ vectors. Thus, to compute the contribution of each piece of the manifold, what we need is a gadget that will assign to each point $p$ on our manifold a real-valued function $f_p(v_1,ldots,v_k)$. You can argue that $f_p$ should be alternating and multilinear, because chopping up the manifold more finely should not change the value of the integral (and because degenerate parallelopipeds should contribute $0$). We have now discovered the concept of a differential form.






                share|cite|improve this answer











                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  If you want to extend calculus to the setting of manifolds, then you need differential forms. They are the natural kind of object to integrate over a manifold.



                  The way that integration works is that you chop up the region that you're integrating over into tiny pieces, compute the contribution of each piece, then add up all those individual contributions.



                  So how do we integrate over a $k$ dimensional manifold? Chop it up into tiny pieces, in such a way that the $i$th piece is approximately a parallelopiped spanned by vectors $v^i_1,ldots,v^i_k$. The contribution of the $i$th piece can be viewed as being a function of these $k$ vectors. Thus, to compute the contribution of each piece of the manifold, what we need is a gadget that will assign to each point $p$ on our manifold a real-valued function $f_p(v_1,ldots,v_k)$. You can argue that $f_p$ should be alternating and multilinear, because chopping up the manifold more finely should not change the value of the integral (and because degenerate parallelopipeds should contribute $0$). We have now discovered the concept of a differential form.






                  share|cite|improve this answer











                  $endgroup$



                  If you want to extend calculus to the setting of manifolds, then you need differential forms. They are the natural kind of object to integrate over a manifold.



                  The way that integration works is that you chop up the region that you're integrating over into tiny pieces, compute the contribution of each piece, then add up all those individual contributions.



                  So how do we integrate over a $k$ dimensional manifold? Chop it up into tiny pieces, in such a way that the $i$th piece is approximately a parallelopiped spanned by vectors $v^i_1,ldots,v^i_k$. The contribution of the $i$th piece can be viewed as being a function of these $k$ vectors. Thus, to compute the contribution of each piece of the manifold, what we need is a gadget that will assign to each point $p$ on our manifold a real-valued function $f_p(v_1,ldots,v_k)$. You can argue that $f_p$ should be alternating and multilinear, because chopping up the manifold more finely should not change the value of the integral (and because degenerate parallelopipeds should contribute $0$). We have now discovered the concept of a differential form.







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jan 5 at 17:37

























                  answered Jan 5 at 17:25









                  littleOlittleO

                  30.5k648111




                  30.5k648111






























                      draft saved

                      draft discarded




















































                      Thanks for contributing an answer to Mathematics Stack Exchange!


                      • Please be sure to answer the question. Provide details and share your research!

                      But avoid



                      • Asking for help, clarification, or responding to other answers.

                      • Making statements based on opinion; back them up with references or personal experience.


                      Use MathJax to format equations. MathJax reference.


                      To learn more, see our tips on writing great answers.




                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function () {
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1760778%2fnecessity-of-differential-forms%23new-answer', 'question_page');
                      }
                      );

                      Post as a guest















                      Required, but never shown





















































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown

































                      Required, but never shown














                      Required, but never shown












                      Required, but never shown







                      Required, but never shown







                      Popular posts from this blog

                      Wiesbaden

                      Marschland

                      Dieringhausen