Statements (12)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            
                                            smooth functions
                                        
                                        
                                         | 
                            
| gptkbp:describes | 
                                    
                                        
                                            
                                            local behavior of non-degenerate critical points
                                        
                                        
                                         | 
                            
| gptkbp:field | 
                                    
                                        
                                            
                                            differential topology
                                        
                                        
                                         | 
                            
| gptkbp:introducedIn | 
                                    
                                        
                                            
                                            1930s
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Marston_Morse
                                        
                                         | 
                            
| gptkbp:publishedIn | 
                                    
                                        
                                            gptkb:Annals_of_Mathematics
                                        
                                         | 
                            
| gptkbp:state | 
                                    
                                        
                                            
                                            near a non-degenerate critical point, a smooth function is equivalent to a quadratic form
                                        
                                        
                                         | 
                            
| gptkbp:usedIn | 
                                    
                                        
                                            gptkb:Morse_theory
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Morse_theory
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            6
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Morse lemma
                                        
                                        
                                         |