What is Orthonormal: Definition & Explanation

  • Thread starter Thread starter Greg Bernhardt
  • Start date Start date
Click For Summary
SUMMARY

An orthonormal set of vectors, denoted as {v^(i)}, consists of vectors that are both normalized to 1 and orthogonal to each other, satisfying the condition v^(i)·v^(j)=δ_{ij}, where δ_{ij} is the Kronecker delta function. Functions can also be treated as vectors with a defined dot product, such as f·g=∫_{-∞}^{∞} w(x) f^*(x) g(x)dx, where w(x) is a weighting function. The orthogonality of trigonometric functions is illustrated through specific integrals over a defined interval, confirming their orthonormal properties.

PREREQUISITES
  • Understanding of vector spaces and linear algebra concepts
  • Familiarity with the Kronecker delta function
  • Knowledge of dot products and their applications in functional analysis
  • Basic understanding of trigonometric functions and their properties
NEXT STEPS
  • Study the properties of Hilbert spaces and their relation to orthonormal sets
  • Learn about the application of orthonormal bases in Fourier series
  • Explore the concept of weighted inner products in functional spaces
  • Investigate the implications of orthogonality in signal processing
USEFUL FOR

Mathematicians, physicists, engineers, and students studying linear algebra or functional analysis who seek to deepen their understanding of orthonormal vectors and their applications.

Messages
19,864
Reaction score
10,852
Definition/Summary

A set of vectors
<br /> \left\{\mathbf{v}^{(i)}\right\}<br />
is called "orthonormal" if the vectors of the set are normalized to 1 and are orthogonal to each other.

<br /> \mathbf{v}^{(i)}\cdot\mathbf{v}^{(j)}=\delta_{ij}\;,<br />
where \delta_{ij} is the Kronecker delta function.

Equations



Extended explanation

Functions may also be considered as vectors with an appropriately defined dot-product. For example, the dot product for functions of a single variable could be defined as
<br /> \mathbf{f}\cdot\mathbf{g}\equiv \int_{-\infty}^{\infty} w(x) f^*(x) g(x)dx\;,<br />
where w(x) is an appropriate weighing function. An example where w(x) is a unitstep function on the interval 2p, and where f and g are trig functions is given below.

In what follow, the constants m and n are nonnegative real integers. The orthogonality properties of the trigonometric system are expressed by:

<br /> \begin{align*}<br /> \int_{ - p + x_0 }^{p + x_0 } {\sin {\frac{m\pi x}{p}}\cos {\frac{n\pi x}{p}} x} &amp;= 0 \quad \text{for all m and n} \\<br /> \int_{ - p + x_0 }^{p + x_0 } {\cos {\frac{m\pi x}{p}} \cos {\frac{n\pi x}{p}} dx} &amp;= <br /> \left\{<br /> \begin{array}{cll}<br /> 2p &amp; \text{for}&amp;m=n=0\\<br /> p &amp; \text{for} &amp;m=n&gt;0\\<br /> 0 &amp; \text{for} &amp;m\neq n<br /> \end{array}<br /> \right. \\<br /> \int_{ - p + x_0 }^{p + x_0 } {\sin {\frac{m\pi x}{p}} \sin {\frac{n\pi x}{p}} d x} &amp;= <br /> \left\{<br /> \begin{array}{cll}<br /> 0 &amp; \text{for}&amp;m=n=0\\<br /> p &amp; \text{for} &amp;m=n&gt;0\\<br /> 0 &amp; \text{for} &amp;m\neq n.<br /> \end{array}<br /> \right.<br /> \end{align*}<br />

Here 2p is the period, and x_0 is an arbitrary constant. We are allowed to add the constant x_0 to the limits, since we are integrating over a full period.

* This entry is from our old Library feature. If you know who wrote it, please let us know so we can attribute a writer. Thanks!
 
Physics news on Phys.org

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 24 ·
Replies
24
Views
2K
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
8
Views
2K