Statements (15)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:inequality
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            
                                            self-adjoint operators
                                        
                                        
                                         positive semidefinite matrices  | 
                            
| gptkbp:field | 
                                    
                                        
                                            
                                            functional analysis
                                        
                                        
                                         operator theory  | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Ernst_Heinz
                                        
                                         gptkb:Károly_Löwner  | 
                            
| gptkbp:publishedIn | 
                                    
                                        
                                            gptkb:Mathematische_Zeitschrift
                                        
                                         | 
                            
| gptkbp:relatedTo | 
                                    
                                        
                                            
                                            matrix monotone functions
                                        
                                        
                                         operator monotone functions  | 
                            
| gptkbp:sentence | 
                                    
                                        
                                            
                                            If 0 ≤ A ≤ B, then A^p ≤ B^p for 0 ≤ p ≤ 1, for positive semidefinite matrices or operators.
                                        
                                        
                                         | 
                            
| gptkbp:yearProved | 
                                    
                                        
                                            
                                            1951
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Karl_Löwner
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            7
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Löwner–Heinz inequality
                                        
                                        
                                         |