orthonormalityRelation
P57348
predicate
Indicates that a set of vectors are mutually orthogonal and each has unit length with respect to a given inner product.
Observed surface forms (1)
- orthogonalityNormalization ×2
Sample triples (3)
| Subject | Object |
|---|---|
| Kronecker delta | e_i · e_j = δ_ij ⓘ |
| Chebyshev polynomials of the first kind | \int_{-1}^1 T_n(x)^2 (1-x^2)^{-1/2} dx = \pi for n=0 via predicate surface "orthogonalityNormalization" ⓘ |
| Chebyshev polynomials of the first kind | \int_{-1}^1 T_n(x)^2 (1-x^2)^{-1/2} dx = \pi/2 for n ≥ 1 via predicate surface "orthogonalityNormalization" ⓘ |