- #51

- 3,507

- 26

lol, can't you recognize a joke?There is no such thing as an a-posterior assumption. If something follows from you assumptions it is a consequence not an assumption.

- Thread starter TrickyDicky
- Start date

- #51

- 3,507

- 26

lol, can't you recognize a joke?There is no such thing as an a-posterior assumption. If something follows from you assumptions it is a consequence not an assumption.

- #52

PAllen

Science Advisor

2019 Award

- 7,916

- 1,206

General theorems of this type typically do required a number of technical assumptions to prove anything. Such theorems don't assume anything about the metric, thus they typically need smoothness assumptions to constrain the problem enough to accomplish the proof.Here is an interesting discussion about analyticity in physics, one of the answers, by unknown even refers to GR (in this case it makes reference to the no-hair theorem that is also valid only for real analytic manifolds).

http://mathoverflow.net/questions/114555/does-physics-need-non-analytic-smooth-functions

Again, in the case of uniquness of KS geometry, such additional assumption is not needed because the existence and vanishing of the Einstein tensor everywhere is already requiring a sufficient degree of smoothness.

- #53

- 3,507

- 26

You are again conflating smoothness and analyticity.General theorems of this type typically do required a number of technical assumptions to prove anything. Such theorems don't assume anything about the metric, thus they typically need smoothness assumptions to constrain the problem enough to accomplish the proof.

Again, in the case of uniquness of KS geometry, such additional assumption is not needed because the existence and vanishing of the Einstein tensor everywhere is already requiring a sufficient degree of smoothness.

- #54

PAllen

Science Advisor

2019 Award

- 7,916

- 1,206

http://arxiv.org/abs/0910.5194

- #55

- 3,507

- 26

Finally, I was starting to suspect your account had been stolen by someone not very reasonable. ;-)I must issue a correction here. I've read too many mathematically sloppy treatments of Birkhoff. It turns out, that as strong as it is, you really do need additional assumptions to arrive uniquely at the KS geometry.

- Last Post

- Replies
- 1

- Views
- 3K

- Replies
- 0

- Views
- 442

- Last Post

- Replies
- 3

- Views
- 2K

- Last Post

- Replies
- 17

- Views
- 2K

- Last Post

- Replies
- 12

- Views
- 4K

- Last Post

- Replies
- 3

- Views
- 2K

- Replies
- 23

- Views
- 3K

- Replies
- 12

- Views
- 3K