Talk:Gauss's lemma (Riemannian geometry)

From Wikipedia, the free encyclopedia

{{helpme}} request for help can be viewed at User talk:Zadigus. Pumpmeup 11:10, 4 February 2008 (UTC)

Contents

[hide]

[edit] Retitled

I have moved this page from "Lemme de Gauss" to the correct English title. JohnCD (talk) 16:48, 4 February 2008 (UTC)

[edit] Forcing PNG display

Some of the <math> formulae were displayed much smaller than others. It appears that by default the system displays simpler formulae in HTML and only uses PNG where it has to, giving rise to a very uneven appearance. However by adding a backslash followed by a space character at the end of the simpler expressions, just before </math>, one can force it to display PNG. I have made this change throughout: the display is not pretty, but it is at least consistent. I have checked the result both in Firefox and in IE6. JohnCD (talk) 21:21, 5 February 2008 (UTC)

[edit] Balls

My grasp of differential geometry is on a par with my grasp of French, but... I think Tp must be the tangent space at p (the set of all tangents/vectors/velocities at point p on M) - which should be stated. But then isn't the ball Bε(0) the set of all small velocities/tangent-vectors (at p), in which case it's a subset of Tp not TpM, so isn't T_pM\supset B_{\epsilon}(0) a bit wrong??? --catslash (talk) 22:31, 5 February 2008 (UTC)

TpM is the tangent space to M at p. Bε(0) is the ball in TpM of tangent vectors of length less than epsilon. What's the problem? Algebraist 18:07, 7 February 2008 (UTC)
OK fair enough, it's just that I was expecting something more ball-shaped - or am I confusing the tangent space and the tangent bundle? - yes I am. I thought Tp was the tangent space at p and so TpM was the tangent bundle.

--catslash (talk) 19:46, 7 February 2008 (UTC)

[edit] Draft of translation

User:JohnCD made a draft translatio to be found at User:JohnCD/Gauss.  Andreas  (T) 02:32, 15 February 2008 (UTC)

[edit] Translation moved into main article; maths could do with a more concise rewrite?

I have replaced the French version with my translation into English. The original French can be found in the early versions of 4 - 6 Feb. Comments so far have said little about the translation but have been discouraging about the maths:

  • No offense, but it reads like a cliche differential geometry textbook, too many formulas. WP:NOT#TEXTBOOK may be relevant. Arcfrk (talk) 03:49, 13 February 2008 (UTC)
  • I'm just a bit sceptical of the exclamation points. Those French can be so passionate :-) Pete St.John (talk) 22:54, 12 February 2008 (UTC)
  • I think it's probably worth rewriting rather than translating. The current article fails to state Gauss' lemma in plain terms. Rather it relies on far too many equations, and fancy gadgets like the double tangent bundle TTM. Furthermore, it reinvents the wheel with respect to the exponential map (which Wikipedia already has an article on). The proof is not at all transparent; it would be better to give a few lines summarizing the main ideas. Finally, the actual statement of the theorem is misleading at best (and completely wrong at worst): the exponential map is not an isometry, though the statement here attempts to present it as though it were. Personally, I think a stub with a clear statement of the theorem, perhaps a few lines summarizing the main points of the proof, and a description of the applications of the theorem (to geodesic convexity, for instance) is preferable to the current mess. Silly rabbit (talk) 02:26, 14 February 2008 (UTC)

It seems worth having this article (it was a redlink from the "Gauss's Lemma" DAB page), but there is clearly a more concise version to be written, and I am leaving this one here mainly in the hope that someone able to write that version (as I am not) will be inspired to do so. JohnCD (talk) 20:10, 19 February 2008 (UTC)