690:, although the expositions on those pages could be strongly improved (for instance neither page seems to clarify that they're essentially identical results, as mathsci says). I don't plan on contributing to this page, just suggesting to consider two things: 1) consider improving or reformatting the individual topic pages so that it's easier to get whatever information one might need out of them (I think this is usually possible); 2) consider if there's any actual use to putting the results together. The current "Function theory in two variables" section is confusingly structured and unpleasant to read. This is because none of (a) mean value theorem, (b) Taylor's theorem, (c) the implicit and inverse function theorems, (d) the symmetry of second derivatives are particularly helpful for understanding one another. I can understand the use of a bulleted list of these results, linking to the individual pages, especially if it's a prelude to talking about calculus on manifolds. I just can't understand the use of the present morass of results on the page. Like I said, I don't plan to contribute to the page, do with it what you like
363:" article. Also, I don't think a differential form is typically a part of multivariable calculus; at least, textbooks on multivariable calculus I have used to teach (Stewart is one used in my school) do not cover differential forms; in particular, Stokes in terms of differential forms. I suppose it's a matter of the use of the term "multivariable calculus"; for me, "multivariable calculus" has an image of a typical undergraduate calculus in the universities in the united states. For me, those chapters in Rudin's text are *not* part of multivariable calculus. I do agree there will be a lot of overlaps; I don't think that's necessarily bad. It is usually more convenient for the readers if they didn't have to read several separate articles. As I see, Knowledge can have two types of math articles; a theory-type one and a topic-specific one. Both types of the articles are needed and are useful for the readers. --
397:
treatment here will be more concise. Itâs like this: it is standard to have an article on modern
European history in addition to articles on French history, German history etc. Sure there are overlaps; thatâs not necessary bad. Taylorâs theorem will have very detailed discussion (as it should), while the article like this one can focus on connections and relations between different topics; for example, a differential form is (by definition) a skew-multi-linear function on tangent vectors and so it will be convenient for the readers to see both definitions of tangent vectors and differential forms. â-
834:. Surely, it's more convenient if the readers didn't have to read all those separate articles. Like you I am not completely happy with the current presentation; I think we should emphasize the fact that "continuous" means approximately a constant function while "differentiable" means approximately a linear function. I mean, the definition of differentiability is precisely that a function approaches a linear function. This type of general idea is what needs to be emphasized; whether or how Taylor's theorem should be mentioned is just not an important question at all. --
84:
74:
53:
866:, which is also bog-standard "calculus on Euclidean space". These are central topics in Euclidean space, widely used in material science, yet oddly are absent in this article. By contrast, topics like weak derivatives are hugely important, but they've got approximately NOTHING AT ALL to do with Euclidean space. Weak derivatives aren't even "calculus"; they're a topic in analysis and Banach-space theory. Gauss-Bonnet is a high-importance/top-importance math topic, and its got more or less
854:
of the primary topics that one might see in multi-variate calculus. Knowledge is not a textbook. There are existing wikipedia articles for all of the subtopics. I suggest content here could be (should be) moved to those articles, perhaps into a section that says "Example of what this looks like in
Euclidean space". I mean, one of the coolest things about calculus is that it works so nicely in so many abstract spaces, as well as in engineering. For example, the
445:
the links to know the definitions, notations, statements of theorems etc. It is thus *encouraged* to have some degree of duplications. So I am not sure what is wrong with having a mention of Taylor's theorem here. To be clear, I am not planning to expand the discussion of Taylor expansion we already have here (initially written by
Mathsci). Rather I think the current section on functions of two variables is overly detailed and can be simplified. --
712:(Theorem 1.1.8). Readers of Hörmander's books will know that he often writes in a very condensed manner. The treatment of the two theorems here are now on wikipedia. (The appendix of Hitchin's notes on the inverse function theorem gives a similar treatment to that of Hörmander.) The equivalence of the inverse function theorem with the implicit function theorem is easy in the standard context. Gumshoe2 should feel free to add wiki content to
531:. Exactly as in the two variable case, it's proved by induction using integration by parts. The standard assumption is C. Hörmander is easy to follow, but the treatment for higher derivatives by the French school of Cartan, Dieudonné, Godement, Lang, et al, is probably too abstract. Even in Dieudonné's 1960 book, he assumes everything is going on in a Banach space. Hörmander does so, but in his case that there is no need. The results on
359:, I think the key difference is the use of more abstract point view. For example, in multivariable calculus, a tangent vector is introduced in a manner similar to that in one-variable calculus (i.e., as a derivative). But, in differential geometry, a tangent vector is defined in more intrinsic manner; i.e., a derivation on the germ of functions. Such an abstract point of view will be distracting in the "
22:
826:: you said "...confused by what purpose doing so does on this page". The point is not to state particular theorems but to give a *general ideal of consequence of differentiability*. This can be done in the form of Taylor's theorem or inverse function theorem, implicit function theorem, etc. By the way, there are also
396:
can/should redirect to this article; it seems natural to explain how ordinary calculus (of functions and forms) generalizes to calculus (of functions and forms) on manifolds. The benefit of having an article like this is that the readers need not read separate articles on individual articles and also
853:
This article is quite long, maybe in the top-1% of the longest math articles on
Knowledge, and contains a half-dozen or more sections with "this section needs expansion" templates. This seems wrong. Skimming what's written here, it seems to be an attempt to create a calculus textbook, hitting on all
444:
can be fairly nontrivial (follows the link) especially regarding on differentiability and remainder terms. The readers indeed prefer to read a single article instead of being asked to keep following links. In fact, many complains on math articles are that to read an article, you first have to follow
186:
Is this missing anything? It seems that there are already pages for each of these topics - all of which could be improved with better expositions and added content. So what exactly is the distinct purpose of this page? Even in terms of summaries, there is already a page for multivariable calculus,
870:
Its also not really "calculus", either; the honest label is to call it a topic in differential topology. This over-long article needs to be split into things that actually are important/central to
Euclidean space, and to actual calculus, instead of a catch-all for generic math topics.
377:
In my opinion itâd be much easier to justify an article on calculus on manifolds in
Euclidean space, as in Spivakâs book. Anyway, it might be helpful to be specific. Whatâs to be gained from discussing Taylorâs theorem here as opposed to on its own page?
210:
by copying the section on function in 2 variables. I do agree with other editors that some materials added recently by
Mathsci are not specific to surfaces and look out of place here. I think that article can be a better place for those materials. --
162:
Would it be correct to say that this article is meant to cover chapters 9 and 10 of Rudin "Principles of
Mathematical Analysis" and Spivak "Calculus on Manifolds"? If so, the intended topics would seem to be:
682:, even with a proof. Of course I have no problem with the idea of re-mentioning the statement of the theorem somewhere, but I'm confused by what purpose doing so does on this page. I feel the same about
411:
Sure, I understand the idea. But what would you say about Taylorâs theorem here that you couldnât easily say on its own page? French history is quite complex; I think Taylorâs theorem isnât!
140:
755:
to wikipedia. Michael E. Taylor gives GĂŒnther's proof in section 14 of PDEs III. As Taylor comments, the proof relies on his "ingenious" use of the inverse function theorem for C maps in a
606:
529:
247:
302:(Guillemin & Pollack), way beyond elementary calculus. It's quite unrealistic to write a low level article that combines both elementary calculus and differential topology.
662:
459:
I am also open to omitting the discussion of Taylor's theorem altogether. While I don't think it hurts, I also don't see that's an integral part of the article like this. --
502:
270:
899:
130:
664:(cf Dieudonné's Foundations of Analysis). The book of Krantz & Parks on the implicit function theorem covers the history of this. I hope this helps.
704:
Hörmander's book start with "1.1 Review of
Differential Calculus." It's pages 5-13. Apart from definitions the only non-trivial results are the
203:
106:
894:
272:. It's probably worth spelling out the two-dimensional Taylor expansion in detail. (For functions of 2 variables, there is the 1907 book of
784:
293:
are also on wikipedia (I inserted one); the implicit function theorem is a corollary. Most of the proofs have been taken from Hörmander.
872:
207:
97:
58:
855:
709:
532:
330:
286:
285:
I'll add now that I think Fubini's theorem in several variables is another topic. It's used anyway in one of the proofs of
33:
780:
766:
713:
687:
540:
307:
As I've written to Taku, his suggestion on calculus was a very idea and the skeleton he suggested is excellent.
751:
Parenthetic footmote: I noticed that in 2008 I added content about
Matthias GĂŒnther's 1989 proof of the smooth
716:. On wikipedia the implicit function theorem is deduced from the inverse function theorem by the trick of Lang.
705:
683:
536:
290:
321:
It seems that the current content in the draft could very easily and naturally be included in other articles.
546:
876:
839:
752:
464:
450:
402:
368:
360:
679:
539:
in wikipedia are worked out versions of Hörmander. Showing that the inverse function theorem implies the
831:
507:
393:
299:
225:
222:
dimensions should also be covered. Taylor series can be given in general, using the usual notations for
39:
83:
216:
I replied "Seems like a good idea, if it that content doesn't already exist on wikipedia. The case of
21:
863:
611:
105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
827:
695:
416:
383:
338:
192:
89:
608:. Conversely, the implicit function theorem implies the inverse function theorem: just consider
298:
Calculus is a fairly elementary topic. The other topics are of a different flavour, topics from
73:
52:
441:
333:
should be put - that page is almost certainly the wrong place to go into the proof of Fubini).
326:
835:
794:
669:
460:
446:
398:
364:
312:
277:
484:
252:
779:
can be used (usual definition with Fourier coefficients). The proof relies on applying the
880:
843:
798:
699:
673:
468:
454:
420:
406:
387:
372:
342:
316:
196:
859:
888:
821:
759:(page 90). The proof of the embedding theorem (pages 125-129) is first reduced to an
691:
412:
379:
354:
334:
188:
179:
integration of differential forms and the change of variable formula for integration
790:
776:
756:
665:
308:
273:
102:
79:
276:.) So far the draft you've proposed is quite close to the beginning pages of
783:. In this simplified version of the smooth embedding theorem, the proof of
862:. But we wouldn't want to jam that into this article, any more than
187:
which seems to me to be synonymous with calculus on Euclidean space
329:
which could be used (and is probably where some of the material in
280:'s "Analysis of Linear Partial Differential Operators", Vol.I."
15:
289:(and versions of the Stone-Weierstrass theorem). Proofs of
473:
As done in Hörmander's book (LPDO I, page 13), there is a
543:
is easy (cf Lang, Analysis 1), just consider the mapping
787:
allows 100 pages to be reduced to about 2 or 3 pages.
614:
549:
510:
487:
255:
228:
858:
is the "Calculus on Euclidean space" version of the
101:, a collaborative effort to improve the coverage of
656:
600:
523:
496:
264:
241:
323:There is, at present, no differential topology.
176:smooth embedded submanifolds of Euclidean space
678:It seems that what you say is already present
8:
769:to embed a manifold in a box and hence an
477:for Taylor's theorem This generalises to
47:
868:nothing at all to do with Euclidean space
613:
548:
515:
509:
486:
254:
233:
227:
601:{\displaystyle (x,y)\mapsto (x,F(x,y))}
170:Taylor's theorem in multiple dimensions
49:
19:
204:Talk:Differential geometry of surfaces
167:implicit and inverse function theorem
7:
95:This article is within the scope of
785:Nash-Moser inverse function theorem
524:{\displaystyle \partial ^{\alpha }}
325:There is also an existing page for
242:{\displaystyle \partial ^{\alpha }}
38:It is of interest to the following
900:High-priority mathematics articles
512:
230:
173:integration in multiple dimensions
14:
208:Draft:Calculus on Euclidean space
115:Knowledge:WikiProject Mathematics
206:. "I just want to say I started
182:Stokes theorem and its relatives
118:Template:WikiProject Mathematics
82:
72:
51:
20:
856:upper-convected time derivative
135:This article has been rated as
710:symmetry of second derivatives
645:
639:
630:
618:
595:
592:
580:
568:
565:
562:
550:
533:symmetry of second derivatives
481:dimensions using the notation
331:Symmetry of second derivatives
287:symmetry of second derivatives
1:
657:{\displaystyle F(x,y)=f(x)-y}
109:and see a list of open tasks.
895:C-Class mathematics articles
849:Knowledge is not a textbook!
844:01:54, 20 August 2020 (UTC)
799:08:55, 19 August 2020 (UTC)
781:contraction mapping theorem
775:torus. Instead of C norms,
700:05:36, 19 August 2020 (UTC)
674:02:12, 19 August 2020 (UTC)
469:00:14, 19 August 2020 (UTC)
455:00:01, 19 August 2020 (UTC)
421:23:03, 18 August 2020 (UTC)
407:22:43, 18 August 2020 (UTC)
388:04:26, 18 August 2020 (UTC)
373:04:14, 18 August 2020 (UTC)
343:15:39, 17 August 2020 (UTC)
317:13:19, 17 August 2020 (UTC)
197:09:26, 17 August 2020 (UTC)
916:
881:21:40, 21 March 2024 (UTC)
767:Whitney embedding theorem
765:torus, by using the easy
714:implicit function theorem
688:implicit function theorem
541:implicit function theorem
134:
67:
46:
708:(Theorem 1.1.7) and the
706:inverse function theorem
684:inverse function theorem
537:inverse function theorem
497:{\displaystyle \alpha !}
291:inverse function theorem
265:{\displaystyle \alpha !}
141:project's priority scale
98:WikiProject Mathematics
753:Nash embedding theorem
658:
602:
525:
498:
361:multivariable calculus
266:
243:
28:This article is rated
832:constant rank theorem
659:
603:
526:
499:
394:calculus on manifolds
300:differential topology
267:
244:
612:
547:
508:
485:
253:
226:
158:The intended content
121:mathematics articles
864:material derivative
828:submersion theorem
654:
598:
521:
494:
262:
239:
90:Mathematics portal
34:content assessment
789:
788:
155:
154:
151:
150:
147:
146:
907:
825:
818:The response to
774:
764:
750:
749:
663:
661:
660:
655:
607:
605:
604:
599:
530:
528:
527:
522:
520:
519:
503:
501:
500:
495:
442:Taylor's theorem
358:
327:Fubini's theorem
271:
269:
268:
263:
248:
246:
245:
240:
238:
237:
221:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
915:
914:
910:
909:
908:
906:
905:
904:
885:
884:
851:
819:
770:
760:
610:
609:
545:
544:
511:
506:
505:
483:
482:
475:precise formula
352:
251:
250:
229:
224:
223:
217:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
913:
911:
903:
902:
897:
887:
886:
860:Lie derivative
850:
847:
816:
815:
814:
813:
812:
811:
810:
809:
808:
807:
806:
805:
804:
803:
802:
801:
732:
731:
730:
729:
728:
727:
726:
725:
724:
723:
722:
721:
720:
719:
718:
717:
653:
650:
647:
644:
641:
638:
635:
632:
629:
626:
623:
620:
617:
597:
594:
591:
588:
585:
582:
579:
576:
573:
570:
567:
564:
561:
558:
555:
552:
518:
514:
493:
490:
457:
430:
429:
428:
427:
426:
425:
424:
423:
351:To respond to
348:
347:
346:
345:
324:
322:
304:
303:
295:
294:
282:
281:
278:Lars Hörmander
261:
258:
236:
232:
213:
212:
184:
183:
180:
177:
174:
171:
168:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
912:
901:
898:
896:
893:
892:
890:
883:
882:
878:
874:
869:
865:
861:
857:
848:
846:
845:
841:
837:
833:
829:
823:
800:
796:
792:
786:
782:
778:
777:Sobolev norms
773:
768:
763:
758:
754:
748:
747:
746:
745:
744:
743:
742:
741:
740:
739:
738:
737:
736:
735:
734:
733:
715:
711:
707:
703:
702:
701:
697:
693:
689:
685:
681:
677:
676:
675:
671:
667:
651:
648:
642:
636:
633:
627:
624:
621:
615:
589:
586:
583:
577:
574:
571:
559:
556:
553:
542:
538:
534:
516:
491:
488:
480:
476:
472:
471:
470:
466:
462:
458:
456:
452:
448:
443:
440:
439:
438:
437:
436:
435:
434:
433:
432:
431:
422:
418:
414:
410:
409:
408:
404:
400:
395:
391:
390:
389:
385:
381:
376:
375:
374:
370:
366:
362:
356:
350:
349:
344:
340:
336:
332:
328:
320:
319:
318:
314:
310:
306:
305:
301:
297:
296:
292:
288:
284:
283:
279:
275:
259:
256:
234:
220:
215:
214:
211:TakuyaMurata"
209:
205:
201:
200:
199:
198:
194:
190:
181:
178:
175:
172:
169:
166:
165:
164:
157:
142:
138:
137:High-priority
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
62:Highâpriority
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
873:67.198.37.16
867:
852:
817:
771:
761:
757:Banach space
478:
474:
274:E. W. Hobson
218:
185:
161:
136:
96:
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
889:Categories
822:Gumshoe2
692:Gumshoe2
413:Gumshoe2
392:I think
380:Gumshoe2
355:Gumshoe2
335:Gumshoe2
189:Gumshoe2
791:Mathsci
666:Mathsci
309:Mathsci
139:on the
30:C-class
36:scale.
202:From
877:talk
840:talk
836:Taku
830:and
795:talk
696:talk
686:and
680:here
670:talk
535:and
504:and
465:talk
461:Taku
451:talk
447:Taku
417:talk
403:talk
399:Taku
384:talk
369:talk
365:Taku
339:talk
313:talk
249:and
193:talk
131:High
891::
879:)
842:)
797:)
698:)
672:)
649:â
566:âŠ
517:α
513:â
489:α
467:)
453:)
419:)
405:)
386:)
371:)
341:)
315:)
257:α
235:α
231:â
195:)
875:(
838:(
824::
820:@
793:(
772:n
762:n
694:(
668:(
652:y
646:)
643:x
640:(
637:f
634:=
631:)
628:y
625:,
622:x
619:(
616:F
596:)
593:)
590:y
587:,
584:x
581:(
578:F
575:,
572:x
569:(
563:)
560:y
557:,
554:x
551:(
492:!
479:n
463:(
449:(
415:(
401:(
382:(
367:(
357::
353:@
337:(
311:(
260:!
219:n
191:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.