Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:field |
gptkb:general_relativity
differential geometry |
| gptkbp:formedBy |
1973
|
| https://www.w3.org/2000/01/rdf-schema#label |
Penrose inequality
|
| gptkbp:namedAfter |
gptkb:Roger_Penrose
|
| gptkbp:provenBy |
gptkb:Gerhard_Huisken
Hubert Bray Tom Ilmanen time-symmetric initial data |
| gptkbp:relatedTo |
gptkb:cosmic_censorship_conjecture
gptkb:ADM_mass black holes apparent horizon Riemannian Penrose inequality |
| gptkbp:state |
The total mass of a spacetime is at least as large as the mass of a black hole with the same area as the event horizon
|
| gptkbp:status |
partially proven
|
| gptkbp:bfsParent |
gptkb:positive_mass_theorem
|
| gptkbp:bfsLayer |
5
|