Definition talk:Differential of Mapping

The previous version of the page utilized only concepts in a Calculus I curriculum. This new one is no longer accessible to students new to Calculus (and I don't know what a Frechet derivative is). --GFauxPas (talk) 18:53, 28 September 2012 (UTC)


 * Tried using Google? --prime mover (talk) 18:55, 28 September 2012 (UTC)


 * I did, and it utilizes concepts that are too advanced for me. The main point was the first part of my comment, that this page is no longer accessible to people new to Calculus. --GFauxPas (talk) 18:59, 28 September 2012 (UTC)


 * If by that you mean "by people who don't have the particular textbook that you had access to in college", I'm afraid it probably never was ... --prime mover (talk) 19:03, 28 September 2012 (UTC)


 * I don't think it's particular to my textbooks. The new definition utilizes open sets and bounded linear operators. --GFauxPas (talk) 19:10, 28 September 2012 (UTC)


 * Beg your pardon. I see what you mean now. It has indeed become seriously inaccessible. --prime mover (talk) 19:19, 28 September 2012 (UTC)


 * Agreed the Frechet derivative is post-undergraduate. It's the same thing as all the usual stuff in finite dimensions. I used it because Definition:Derivative only has one dimension, it wasn't really a good solution. --Linus44 (talk) 20:32, 28 September 2012 (UTC)


 * I'm an undergraduate. This page reminds me of Definition:Polynomial. I didn't know what it was talking about at first. But everything was linked and what was once cloudy very soon became clear.


 * I also want to say that on several pages (Definition:Integer and Definition:Sequence for example) you have an informal subsection for accessibility. If you can use this new definition here to prove results it should be preserved somehow. Just my 2 cents. --Jshflynn (talk) 20:50, 28 September 2012 (UTC)


 * It's hard to know where the line is between demanding the reader expects some opacity in the definitions, and just being more confusing than is necessary. Def::Polynomials is a good example; the definition is completely obscure, and only exists so we can say "all of that stuff we assumed we can do is fine", and from then on you can stop worrying.   As you say, an informal introduction before the more pedantic stuff is a good solution

In fact, there is a more general problem: at the undergraduate calculus (for me) was all done from $\R^n \to \R^m$. That is, it was done for vector spaces, but only identifying them all with $\R^n$. Generally it'd be nicer to have the results formulated without fixing a basis like this, and the translation of results doesn't mean anything more than fixing an identification with $\R^n$, but it would probably be unhelpful when trying to learn the stuff.

So should everything be done in just $\R^n$? Or just vector spaces? It'd get pretty messy doing it for both, and having a load of pages saying after fixing a basis the results are the same.

My opinion: calculus should all be done in $\R^n$. Then anything that might be put under Category:Differential Geometry should be done in vector spaces, rather than repeating everything, and having a load of somewhat-trivial-but-still-kind-of-necessary-for-rigor linking pages. --Linus44 (talk) 21:55, 28 September 2012 (UTC)


 * My opinion: Calculus should have a page (or suite of pages) doing it all in $\R$. Then there should be another series of pages where the results are generalised to $\R^n$. Then you can go into general vector algebra and algebraic topology as a set of results from there.


 * The base line is: if you've got a result in a book which approaches it from any particular (limited) context, then use it. We do not subsume the simple results into more general all-encompassing results if by so doing you obscure the details.


 * Having said that, I am not a fan (although I admit having used it) of an "informal introduction" as it then looks like Shitipedia as it should be possible to make a straightforward definition that applies to the "everyday" case.


 * As for "demanding the reader expects some opacity in the definitions", I hope you mean "transparency"? We are not into opacity, I had enough of that when I was an undergraduate, when certain mathematicians seemed to think that it was important to make things as difficult to follow as possible, on the grounds that it weeded out the slower students, leaving only the elite able to continue. That is exactly what ProofWiki is not about. --prime mover (talk) 22:22, 28 September 2012 (UTC)


 * As for the pages on Polynomials, it's in the plan to rewrite them again to make them once more accessible. --prime mover (talk) 22:23, 28 September 2012 (UTC)


 * Seconded; this is in the same line as the 'characteristic function of a relation' discussion a few days ago. I recognise the stuff about obscuring information to sift out the talented; this has caused some of the most frustrating (and, OTOH, delighting once I finally understood) moments in my brief mathematical career. Clarity is everything; even when skipping through trivial parts, mention that they are trivial: as such, the reader can be confident that nothing was glossed over in constructing the proof. --Lord_Farin (talk) 22:35, 28 September 2012 (UTC)


 * I didn't mean in saying that calculus should be done in $\R^n$ that it shouldn't be done over $\R$ too. I meant that it should be done up to $\R^n$. My personal preference would be for having, say, the mean value theorem from $\R \to \R$, $\R^n \to \R^n$ or between banach spaces tanscluded into one page (or with the second two versions as corollaries); I think it would be easier to navigate the site if the three results were transcluded into one page, since all three theorems are called the same thing, and each version contains the previous one as a special case. But this is just a matter of taste, I'm not especially raising an objection to using separate pages and then disambiguating or something.


 * I think it is right to ask that the definitions be given is a manner such that they are as transparent as possible. I don't in any way advocate omitting or obscuring details to sift out the talented; partly because I think this gives a poor description of talent, and more personally because this too often sifts me out as well. But I also think that having definitions that are as transparent as possible, one still has to expect some opacity.  I often find that the link between a mathematical definition and what it means  is provided only by a long-winded and entirely un-rigorous explanation by someone who understands it.  I don't think one can demand complete transparancy without engaging in a wikipedia-format prelude in these cases. In fact, a lot of the time I find that the wikipedia article doesn't shed any light on the matter either. --Linus44 (talk) 09:21, 29 September 2012 (UTC)


 * I'm more in favour of the transclusion/subpage technique to bundle these results. There is no problem with a long page IMO, and transclusion can be used to collect only the theorem statement, leaving the proofs to the "dedicated" (transcluded) page. For the intuition-like sections, I would like to see those at the bottom of the page. I prefer it when an object or notion is defined, and then its use for solving/describing the issues at hand be explained. An explanatory remark is necessary even if the purpose of a definition is made clear in advance (so as to ensure the reader that the notion behaves as it is claimed to do). If PW is intended to make every notion accessible to a sufficiently dedicated reader, then we need to provide that reader with some words pointing out the correct lines of thought. --Lord_Farin (talk) 09:45, 29 September 2012 (UTC)