Statements (11)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:mathematical_concept
                                        
                                         | 
                            
| gptkbp:appliesTo | 
                                    
                                        
                                            gptkb:Hilbert_spaces
                                        
                                         | 
                            
| gptkbp:concerns | 
                                    
                                        
                                            
                                            basis in Hilbert space
                                        
                                        
                                         orthonormal systems  | 
                            
| gptkbp:field | 
                                    
                                        
                                            
                                            functional analysis
                                        
                                        
                                         | 
                            
| gptkbp:namedAfter | 
                                    
                                        
                                            gptkb:Nina_Bari
                                        
                                         | 
                            
| gptkbp:state | 
                                    
                                        
                                            
                                            A complete minimal system in a Hilbert space is a basis if and only if it is both a Bessel system and a total system.
                                        
                                        
                                         | 
                            
| gptkbp:yearProposed | 
                                    
                                        
                                            
                                            1951
                                        
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Soviet_school_of_topology
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            8
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Bari theorem
                                        
                                        
                                         |