Talk:Pseudo-Riemannian manifold

WikiProject Mathematics (Rated Start-class, Mid-importance)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 Start Class
 Mid Importance
Field: Geometry
WikiProject Physics / Relativity  (Rated Start-class, Mid-importance)
This article is within the scope of WikiProject Physics, a collaborative effort to improve the coverage of Physics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Start  This article has been rated as Start-Class on the project's quality scale.
Mid  This article has been rated as Mid-importance on the project's importance scale.

I don't understand one bit of this stuff! —Preceding unsigned comment added by Graham P. (talkcontribs) 22:46, 20 February 2005

Holy crap

No kidding. Articles generally should start out with a simple explanation. This starts out with no explanation and is therefore a terrible article. The only person capable of understanding the article will already know the content. Meaning that someone who simply wants to begin understanding it has nowhere to go except away from Wikipedia. My lowest rating. 1 of 10 stars. —Preceding unsigned comment added by 192.103.41.201 (talk) 23:36, 15 January 2006

Comment on Context Tag

I added the context tag. I had followed the Lorentzian manifold link (redirected to here) on the General relativity page hoping the get a better understanding of the subject. However, this article is difficult to follow and could use improvement. Judging by the comments above I'm not the only one. Ryan Roos 22:40, 1 December 2006 (UTC)

Do you have a specific question you wish to ask? If you haven't studied Riemannina geometry, you won't magically grok this article no matter how much "context" is added to it. FWIW, this article is nt well written, but it says nothing that is actually complicated, this is pretty introductory material. linas 23:41, 1 December 2006 (UTC)
I suspect most of the complaints regarding this page are coming from people who arrive here from a general relativity article looking for a definition of a Lorentzian manifold when they don't even know what a manifold is, much less a Riemannian one. Calabi-Yau manifold gets similar complaints. Perhaps its necessary to fork off Lorentzian manifold to its own page and start the discussion at a much lower level. -- Fropuff 00:27, 2 December 2006 (UTC)
linas and Fropuff thank you for your thoughtful replies. I found the discussion on the Talk:Calabi-Yau manifold of the technical tag that had been used there helped to resolve some of my problems with the article. The main basis of my concern was result my lack of knowledge of manifolds. (On a side note linas I enjoyed following several of the links on your user page) Ryan Roos 02:04, 3 December 2006 (UTC)

WikiProject class rating

This article was automatically assessed because at least one WikiProject had rated the article as stub, and the rating on other projects was brought up to Stub class. BetacommandBot 10:01, 10 November 2007 (UTC)

Lorentzian Manifold

I'd like to separate out an article about Lorentzian manifolds. This could emphasise their use in physics and in general relativity. It would link to pseudo-Riemannian manifold. What do people think? SJ 17.00 5 December 2007. —Preceding comment was added at 17:13, 5 December 2007 (UTC)

Oxymoron

A manifold must be locally Euclidean. A Pseudo-Riemannian metric cannot be used to form a family of neighborhoods of a point. We are in the business of clear communication in an encyclopedia. Occational misnomers are an unavoidable part of human communication when people race ahead of their understanding using inadequate vocabulary. In Minkowski space we have a few of these like Minkowski metric which is not a real metric (mathematics). The metric tensor article has been nuanced to avoid claiming to establish a metric. So far, so good. But this article is where general relativity is given too much license with the use of an oxymoron. Certainly it is a term in common use (though no references are yet produced), but our article needs to help readers. Learning should not be a continuous torture watching abuse of intellectual designations. The article must be clear on how the space is a manifold, not rely on presumption.Rgdboer (talk) 22:56, 5 July 2009 (UTC)

• The page is correct: a pseudo-Riemannian manifold is a differentiable manifold with an additional structure, the pseudo-Riemannian metric. The manifold structure must be imposed prior to the choice of pseudometric. One might then wander if the topology is induced by the pseudo-Riemannian metric, and it is. For example, one can make the following construction in Minkowski space: Take the point about which you wish to construct a point, x. Construct two distinct null curves from the point. Pick two distinct points along the curves, y_1, y_2. The Lorentzian separation between x and and each of y_1 and y_2 is zero. The sets B(y_i,\epsilon), which consist of the points which have a separation less than \epsilon from y_i are open. Take the intersection of B(y_1,\epsilon_1) and B(y_2,\epsilon_2). This intersection is an open set containing x. Given any point z, there are values of \epsilon_1 and \epsilon_2 such that z is not in the intersection. The topology constructed this way is the standard one. 129.215.255.13 (talk) 20:24, 19 August 2009 (UTC)
In section two, one finds the definition that spells out the manifold hypothesis; section one apparently is necessary to lay the groundwork for the whole structure. Thank you computer 129.215.255.133 at Edinburgh University for pointing out the stipulation. As for your discussion of a topology generated by the pseudo-Riemannian metric, I'm not sure what you consider standard topology of spacetime.Rgdboer (talk) 20:47, 19 August 2009 (UTC)
Hi, you said on that page that you didn't understand what I meant by the standard topology. I'm not sure what the point of confusion is. If I start with things like second-countable and a base, would that make sense to you? —Preceding unsigned comment added by 129.215.255.13 (talk) 17:28, 20 August 2009 (UTC)
When you say, "Given any point z", you must mean "Given any event z with a non-zero separation from x". I note that such a topology does not separate events on the light-cone.
There is a significant alternative spacetime topology defined by Erik Christopher Zeeman in the journal Topology 6:161–170 (1966). The article is called "The topology of Minkowski space". Topology of spacetime continues to be an active investigative area; often writers just assume some Euclidean coordinates are around to make good. For pseudo-Euclidean metrics one often finds them built of a Euclidean metric with some minus signs thrown in, so the Euclidean metric is in the background. Zeeman's topology focuses on the important invariants in spacetime, so it contributes to an understanding of how the science of open sets can be applied in modern physics.
May I suggest, contributor in Edinburgh, that you log-on as a WP:User and gain the benefits including a User Talk, such as mine where you have been corresponding. I will respond here, since our focus is on the Pseudo-Riemannian manifold.Rgdboer (talk) 20:04, 20 August 2009 (UTC)
Hi, It's me again. Yes, registered user and talk page might make sense, but I prefer being anonymous. Sorry. You wrote: "When you say, 'Given any point z', you must mean 'Given any event z with a non-zero separation from x'." What I meant was take any event z which is distinct from x. There is no restriction on the separation between x and z. I will use the terms point (assumed to be in spacetime) and event interchangeably. Allow me to continue working in Minkowski space with the standard coordinates. I'm going to change the names of the points to P and Q so that I can use (t,x,y,z) as coordinates, and denote the separation between P1=(t1,x1,y1,z1) and P2=(t2,x2,y2,z2) by d(P1,P2) = -(t1-t2)^2 +(x1+x2)^2 +(y1-y2)^2 +(z1-z2)^2. With out loss of generality, I may assume that P is at the origin (Otherwise, I can translate the coordinates.) I may assume that Q lies in the t-x plane (Otherwise, I may rotate the axes until this is the case.). You were concerned about points on the light cone, so, to handle this case, let's assume the coordinates of P are (0,0,0,0) and for Q they are (a,a,0,0) for some positive number a. (P is at the origin. To get Q to have positive coordinates, I may apply reflections. This gives that the t and x coordinates are equal.)

To prove my claim it is sufficient that I construct an open set, defined by the separation, which contains P but not Q. The key point here is to construct the set about a different point. (I called such new points y_1 or y_2 previously. Now, I will call it R.) Let me introduce a new point R with coordinates (a,-a,0,0). Consider the new point R and the separation from P and Q. The separation from P is zero, but the separation from Q is 4a^2. Construct the set of points such that the separation from R is less than or equal to a^2, i.e. if Minkowskian separation is denoted d(M,N) for points M and N, the set is {S : d(S,R)<a^2}. This is an open set in the topology induced by the separation. This set contains P (since d(P,R)=0<a^2), but it does not contain Q (since d(Q,R)=4a^2 > a^2). Does that make sense? Does that convince you?

I'm not sure what the Zeeman paper says, but I'll try to look at it if I can. 86.177.228.248 (talk) 23:40, 3 September 2009 (UTC)

As stated above, now I see that you adequately define the concept since the manifold condition is specified in the second section. I retract the "oxymoron" label. There really is no convincing necessary.Rgdboer (talk) 21:25, 4 September 2009 (UTC)

This discussion comes to the point: For General Relativity we need the concept of a pseudo-Riemannian manifold. A reference to Euclidean spaces is inappropriate, since there is no Aether. So we need to define a manifold as something which is locally a (flat) real four-dimensional vector space (without every reference to a Euclidean structure thereupon). The structure, we must deal with, is the pseudo-Riemmannian one (i.e. the Minkowski-product locally). Any topology must be derived from there. Zeeman's topology fulfills this condition, but it is not known (to me) whether it is the only one. Perhaps there are other ones, equivalent or not in what sense whatsoever. Such a "Minkowkian"-topology should work inside, on and outside the null cone, giving an idea of neighborhood. Who has solved the problem, without which General Relativity is not well-based? — Preceding unsigned comment added by 141.89.80.203 (talk) 15:32, 4 October 2011 (UTC)

Special characters or symbols

There are a number of special characters or symbols that do not display correctly, or at all, in four different browsers I have tried:

• Internet Explorer shows some as " " [box symbol for non-display characters] and some as a " " [a blank space]
• Firefox and Safari show all as blank spaces, so it is not clear something is missing
• Opera shows all as empty boxes, so it is clear something is not showing

I have tried looking at the source code, editing the page within wikipedia, and copying the characters/symbols to a word processor. I cannot figure our what the writer intended. This requires the author of the text to fix this problem if it is desired to communicate completely with the reader. Colin.campbell.27 (talk) 21:08, 27 March 2011 (UTC)

copyvio?

This is odd. If I do a google search on '"locally non-decreasing" sylvester signature', http://www.google.com/#hl=en&sclient=psy-ab&q=%22locally+non-decreasing%22+sylvester+signature&oq=%22locally+non-decreasing%22+sylvester+signature&gs_l=hp.3...720.10192.0.10353.48.44.2.0.0.0.167.3998.30j14.44.0.les%3B..0.0...1c.1.W7Ns9Kjyc-0&pbx=1&bav=on.2,or.r_gc.r_pw.r_qf.&fp=a7217b4391070716&biw=1280&bih=905 , I get a hit from google books for a book by Sussman and Wisdom, which contains text from this article. When I saw this, I assumed the article was plagiarized from the book. But when I click through on the google books link, I get a link that claims to be to a *different* book, by Kleppner and Kolenkow. And even this is wrong. I have the book by K&K, and what's in google books in not that book -- it's a compilation of wikipedia articles. Very mysterious.--75.83.64.6 (talk) 00:00, 2 October 2012 (UTC)

I took 3/4 of an undergraduate physics major and the introduction made my head hurt!

Seriously, I'm a biologist now, but when I write WP articles, I pretend that my readers are morons--seriously, it's hard to teach people if they can't understand what you're saying. Furthermore, drawing on experience explaining evolution to undergrads (an experience roughly analogous to skateboarding into the same giant stack of rusty nails and CMUs three hundred times in a row), I can safely say that the simpler language you use to explain a complex topic (even if it takes 300x longer to explain it that way than you could with the proper jargon) the more people (even people conversant in said jargon) will understand the points which you are trying to make. Seriously, explaining a topic in plain English does not reflect poorly on your knowledge of a given topic. Quite the opposite, it shows that you have an intuitive understanding of it.--99.112.106.168 (talk) 18:27, 15 September 2013 (UTC)

Seriously, I just noticed that I used the interjection "seriously" three times in a row. I hope that underscores just how serious I am!--99.112.106.168 (talk) 18:28, 15 September 2013 (UTC)

topological obstructions...

...to a manifold for admitting a Lorentzian metric. There is a large body of literature on this. Will be nice to add a word or two about it. - Subh83 (talk | contribs) 07:01, 10 November 2013 (UTC)

Meanwhile…

While the talk page is cluttered with pettifogging, the article states that a flat space with the

$g = dx_1^2 + \cdots + dx_p^2 - dx_{p+1}^2 - \cdots - dx_{p+q}^2$

metric is called… the Minkowski space. Can I believe that nobody of you knows the correct name of this concept for general p and q? Incnis Mrsi (talk) 19:12, 19 February 2014 (UTC)

It does not seem to say that; perhaps you misread? My guess is that pseudo-Euclidean space is reserved for the indefinite cases, and is thus not general. Flat space? —Quondum 21:53, 19 February 2014 (UTC)