|
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
|
|
gptkbp:includesMetric
|
induced metric
|
|
gptkbp:structure
|
gptkb:inner_product
|
|
gptkbp:studiedBy
|
gptkb:David_Hilbert
|
|
gptkbp:subclassOf
|
gptkb:Vector
|
|
gptkbp:used_in
|
functional analysis
linear algebra
|
|
gptkbp:bfsParent
|
gptkb:Cauchy-Schwarz_inequality
gptkb:Cauchy–Schwarz_inequality
|
|
gptkbp:bfsLayer
|
6
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
inner product spaces
|