Definition:Orthonormal Set of Real Functions
Jump to navigation
Jump to search
Definition
Let $I$ be an indexing set.
Let $S := \family {\map {\phi_i} x}_{i \mathop \in I}$ be an indexed family of real functions all of which are integrable over the interval $\openint a b$.
Let $S$ have the property that:
- $\forall m, n \in I: \ds \int_a^b \map {\phi_m} x \map {\phi_n} x \rd x = \delta_{m n}$
where $\delta_{m n}$ denotes the Kronecker delta.
Then $S$ is defined as orthonormal.
Sources
- 1961: I.N. Sneddon: Fourier Series ... (previous) ... (next): Chapter One: $\S 8$. Orthonormal Sets of Functions: $(1)$