Statements (13)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            gptkb:Riemannian_manifolds
                                        
                                         | 
                            
| gptkbp:concerns | 
                                    
                                        
                                            
                                            Ricci curvature
                                        
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            gptkb:Riemannian_geometry
                                        
                                         | 
                            
| gptkbp:implies | 
                                    
                                        
                                            
                                            compactness of manifold
                                        
                                        
                                         finite fundamental group  | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Sumner_Byron_Myers
                                        
                                         | 
                            
| gptkbp:publicationYear | 
                                    
                                        
                                            
                                            1941
                                        
                                        
                                         | 
                            
| gptkbp:publishedIn | 
                                    
                                        
                                            gptkb:Annals_of_Mathematics
                                        
                                         | 
                            
| gptkbp:sentence | 
                                    
                                        
                                            
                                            A complete Riemannian manifold with Ricci curvature bounded below by a positive constant is compact and has finite fundamental group.
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Sumner_Myers
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            7
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Myers's theorem
                                        
                                        
                                         |