Statements (31)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:definedIn |
gptkb:Field
|
| gptkbp:enables |
gptkb:Cauchy-Schwarz_inequality
gptkb:Gram-Schmidt_process gptkb:Parallelogram_law orthogonality orthonormal basis projection theorem definition of angle definition of length |
| gptkbp:example |
gptkb:Hilbert_space
gptkb:finite-dimensional_Euclidean_space space of square-integrable functions |
| gptkbp:generalizes |
gptkb:Euclidean_space
|
| gptkbp:has_norm |
induced norm
|
| gptkbp:hasApplication |
gptkb:machine_learning
gptkb:signal_processing quantum mechanics |
| gptkbp:hasAxiom |
conjugate symmetry
linearity in first argument positive-definiteness sesquilinearity |
| https://www.w3.org/2000/01/rdf-schema#label |
inner product spaces
|
| gptkbp:includesMetric |
induced metric
|
| gptkbp:structure |
inner product
|
| gptkbp:studiedBy |
gptkb:David_Hilbert
|
| gptkbp:subclassOf |
gptkb:Vector
|
| gptkbp:used_in |
functional analysis
linear algebra |
| gptkbp:bfsParent |
gptkb:Cauchy-Schwarz_inequality
|
| gptkbp:bfsLayer |
5
|