Delta-v: Difference between revisions
en>Teapeat |
en>AKS.9955 Undid revision 590992605 by 82.9.32.157 (talk) Reverting GF & uncited edit. |
||
Line 1: | Line 1: | ||
In [[linear algebra]], two [[vector space|vectors]] in an [[inner product space]] are '''orthonormal''' if they are [[orthogonality|orthogonal]] and [[unit vector]]s. A set of vectors form an '''orthonormal set''' if all vectors in the set are mutually orthogonal and all of unit length. An orthonormal set which forms a [[basis (linear algebra)|basis]] is called an [[orthonormal basis]]. | |||
== Intuitive overview == | |||
The construction of [[orthogonality|orthogonality of vectors]] is motivated by a desire to extend the intuitive notion of perpendicular vectors to higher-dimensional spaces. In the [[Cartesian coordinate system#Cartesian coordinates in two dimensions|Cartesian plane]], two [[Vector (geometry)|vectors]] are said to be ''perpendicular'' if the angle between them is 90° (i.e. if they form a [[right angle]]). This definition can be formalized in Cartesian space by defining the [[dot product]] and specifying that two vectors in the plane are orthogonal if their dot product is zero. | |||
Similarly, the construction of the [[norm (mathematics)|norm]] of a vector is motivated by a desire to extend the intuitive notion of the [[Norm_%28mathematics%29#Euclidean_norm|length]] of a vector to higher-dimensional spaces. In Cartesian space, the ''norm'' of a vector is the square root of the vector dotted with itself. That is, | |||
:<math>\| \mathbf{x} \| = \sqrt{ \mathbf{x} \cdot \mathbf{x}}</math> | |||
Many important results in [[linear algebra]] deal with collections of two or more orthogonal vectors. But often, it is easier to deal with vectors of [[Unit vector|unit length]]. That is, it often simplifies things to only consider vectors whose norm equals 1. The notion of restricting orthogonal pairs of vectors to only those of unit length is important enough to be given a special name. Two vectors which are orthogonal and of length 1 are said to be ''orthonormal''. | |||
=== Simple example === | |||
What does a pair of orthonormal vectors in 2-D Euclidean space look like? | |||
Let '''u''' = (x<sub>1</sub>, y<sub>1</sub>) and '''v''' = (x<sub>2</sub>, y<sub>2</sub>). | |||
Consider the restrictions on x<sub>1</sub>, x<sub>2</sub>, y<sub>1</sub>, y<sub>2</sub> required to make '''u''' and '''v''' form an orthonormal pair. | |||
* From the orthogonality restriction, '''u''' • '''v''' = 0. | |||
* From the unit length restriction on '''u''', ||'''u'''|| = 1. | |||
* From the unit length restriction on '''v''', ||'''v'''|| = 1. | |||
Expanding these terms gives 3 equations: | |||
#<math>x_1 x_2 + y_1 y_2 = 0 \quad</math> | |||
#<math>\sqrt{{x_1}^2 + {y_1}^2} = 1</math> | |||
#<math>\sqrt{{x_2}^2 + {y_2}^2} = 1</math> | |||
Converting from Cartesian to [[polar coordinates]], and considering Equation <math>(2)</math> and Equation <math>(3)</math> immediately gives the result r<sub>1</sub> = r<sub>2</sub> = 1. In other words, requiring the vectors be of unit length restricts the vectors to lie on the [[unit circle]]. | |||
After substitution, Equation <math>(1)</math> becomes <math> \cos \theta _1 \cos \theta _2 + \sin \theta _1 \sin \theta _2 = 0</math>. Rearranging gives <math>\tan \theta _1 = - \cot \theta _2</math>. Using a [[List_of_trigonometric_identities#Shifts_and_periodicity|trigonometric identity]] to convert the [[cotangent]] term gives | |||
:<math> \tan ( \theta_1 ) = \tan \left( \theta_2 + \tfrac{\pi}{2} \right) </math> | |||
:<math> \Rightarrow \theta _1 = \theta _2 + \tfrac{\pi}{2} </math> | |||
It is clear that in the plane, orthonormal vectors are simply radii of the unit circle whose difference in angles equals 90°. | |||
== Definition == | |||
Let <math>\mathcal{V}</math> be an [[inner-product space]]. A set of vectors | |||
:<math> \left\{ u_1 , u_2 , \ldots , u_n , \ldots \right\} \in \mathcal{V} </math> | |||
is called '''orthonormal''' [[if and only if]] | |||
:<math> \forall i,j : \langle u_i , u_j \rangle = \delta_{ij} </math> | |||
where <math>\delta_{ij} \,</math> is the [[Kronecker delta]] and <math>\langle \cdot , \cdot \rangle </math> is the [[inner product]] defined over <math>\mathcal{V}</math>. | |||
== Significance == | |||
Orthonormal sets are not especially significant on their own. However, they display certain features that make them fundamental in exploring the notion of [[Diagonalizable matrix|diagonalizability]] of certain [[linear map|operators]] on vector spaces. | |||
=== Properties === | |||
Orthonormal sets have certain very appealing properties, which make them particularly easy to work with. | |||
*'''Theorem'''. If {'''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>} is an orthonormal list of vectors, then | |||
::<math>||a_1 e_1 + a_2 e_2 + \cdots + a_n e_n||^2 = |a_1|^2 + |a_2|^2 + \cdots + |a_n|^2</math> | |||
*'''Theorem'''. Every orthonormal list of vectors is [[linearly independent]]. | |||
=== Existence === | |||
*'''[[Gram-Schmidt theorem]]'''. If {'''v'''<sub>1</sub>, '''v'''<sub>2</sub>,...,'''v'''<sub>n</sub>} is a linearly independent list of vectors in an inner-product space <math>\mathcal{V}</math>, then there exists an orthonormal list {'''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>} of vectors in <math>\mathcal{V}</math> such that ''span''('''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>) = ''span''('''v'''<sub>1</sub>, '''v'''<sub>2</sub>,...,'''v'''<sub>n</sub>). | |||
Proof of the Gram-Schmidt theorem is [[Constructive proof|constructive]], and [[Gram-Schmidt process|discussed at length]] elsewhere. The Gram-Schmidt theorem, together with the [[axiom of choice]], guarantees that every vector space admits an orthonormal basis. This is possibly the most significant use of orthonormality, as this fact permits [[linear map|operators]] on inner-product spaces to be discussed in terms of their action on the space's orthonormal basis vectors. What results is a deep relationship between the diagonalizability of an operator and how it acts on the orthonormal basis vectors. This relationship is characterized by the [[Spectral theorem|Spectral Theorem]]. | |||
== Examples == | |||
=== Standard basis === | |||
The [[standard basis]] for the [[coordinate space]] '''F'''<sup>''n''</sup> is | |||
:{| | |||
|- | |||
|{'''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>} where | |||
| '''e'''<sub>1</sub> = (1, 0, ..., 0) | |||
|- | |||
| | |||
| '''e'''<sub>2</sub> = (0, 1, ..., 0) | |||
|- | |||
| | |||
|<center><math>\vdots</math></center> | |||
|- | |||
| | |||
| '''e'''<sub>n</sub> = (0, 0, ..., 1) | |||
|} | |||
Any two vectors '''e'''<sub>i</sub>, '''e'''<sub>j</sub> where i≠j are orthogonal, and all vectors are clearly of unit length. So {'''e'''<sub>1</sub>, '''e'''<sub>2</sub>,...,'''e'''<sub>n</sub>} forms an orthonormal basis. | |||
=== Real-valued functions === | |||
When referring to [[real number|real]]-valued [[function (mathematics)|function]]s, usually the [[Lp space|L²]] inner product is assumed unless otherwise stated. Two functions <math>\phi(x)</math> and <math>\psi(x)</math> are orthonormal over the [[interval (mathematics)|interval]] <math>[a,b]</math> if | |||
:<math>(1)\quad\langle\phi(x),\psi(x)\rangle = \int_a^b\phi(x)\psi(x)dx = 0,\quad{\rm and}</math> | |||
:<math>(2)\quad||\phi(x)||_2 = ||\psi(x)||_2 = \left[\int_a^b|\phi(x)|^2dx\right]^\frac{1}{2} = \left[\int_a^b|\psi(x)|^2dx\right]^\frac{1}{2} = 1.</math> | |||
=== Fourier series === | |||
The [[Fourier series]] is a method of expressing a periodic function in terms of sinusoidal [[Schauder basis|basis]] functions. | |||
Taking '''C'''[−π,π] to be the space of all real-valued functions continuous on the interval [−π,π] and taking the inner product to be | |||
:<math>\langle f, g \rangle = \int_{-\pi}^{\pi} f(x)g(x)dx</math> | |||
It can be shown that | |||
:<math>\left\{ \frac{1}{\sqrt{2\pi}}, \frac{\sin(x)}{\sqrt{\pi}}, \frac{\sin(2x)}{\sqrt{\pi}}, \ldots, \frac{\sin(nx)}{\sqrt{\pi}}, \frac{\cos(x)}{\sqrt{\pi}}, \frac{\cos(2x)}{\sqrt{\pi}}, \ldots, \frac{\cos(nx)}{\sqrt{\pi}} \right\}, \quad n \in \mathbb{N}</math> | |||
forms an orthonormal set. | |||
However, this is of little consequence, because '''C'''[−π,π] is infinite-dimensional, and a finite set of vectors cannot span it. But, removing the restriction that ''n'' be finite makes the set [[Dense subset|dense]] in '''C'''[−π,π] and therefore an orthonormal basis of '''C'''[−π,π]. | |||
==See also== | |||
*[[Orthogonalization]] | |||
== References == | |||
* {{Citation | last1=Axler | first1=Sheldon | title=Linear Algebra Done Right | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | isbn=978-0-387-98258-8 | year=1997}} | |||
[[Category:Linear algebra]] | |||
[[Category:Functional analysis]] |
Revision as of 18:23, 16 January 2014
In linear algebra, two vectors in an inner product space are orthonormal if they are orthogonal and unit vectors. A set of vectors form an orthonormal set if all vectors in the set are mutually orthogonal and all of unit length. An orthonormal set which forms a basis is called an orthonormal basis.
Intuitive overview
The construction of orthogonality of vectors is motivated by a desire to extend the intuitive notion of perpendicular vectors to higher-dimensional spaces. In the Cartesian plane, two vectors are said to be perpendicular if the angle between them is 90° (i.e. if they form a right angle). This definition can be formalized in Cartesian space by defining the dot product and specifying that two vectors in the plane are orthogonal if their dot product is zero.
Similarly, the construction of the norm of a vector is motivated by a desire to extend the intuitive notion of the length of a vector to higher-dimensional spaces. In Cartesian space, the norm of a vector is the square root of the vector dotted with itself. That is,
Many important results in linear algebra deal with collections of two or more orthogonal vectors. But often, it is easier to deal with vectors of unit length. That is, it often simplifies things to only consider vectors whose norm equals 1. The notion of restricting orthogonal pairs of vectors to only those of unit length is important enough to be given a special name. Two vectors which are orthogonal and of length 1 are said to be orthonormal.
Simple example
What does a pair of orthonormal vectors in 2-D Euclidean space look like?
Let u = (x1, y1) and v = (x2, y2). Consider the restrictions on x1, x2, y1, y2 required to make u and v form an orthonormal pair.
- From the orthogonality restriction, u • v = 0.
- From the unit length restriction on u, ||u|| = 1.
- From the unit length restriction on v, ||v|| = 1.
Expanding these terms gives 3 equations:
Converting from Cartesian to polar coordinates, and considering Equation and Equation immediately gives the result r1 = r2 = 1. In other words, requiring the vectors be of unit length restricts the vectors to lie on the unit circle.
After substitution, Equation becomes . Rearranging gives . Using a trigonometric identity to convert the cotangent term gives
It is clear that in the plane, orthonormal vectors are simply radii of the unit circle whose difference in angles equals 90°.
Definition
Let be an inner-product space. A set of vectors
is called orthonormal if and only if
where is the Kronecker delta and is the inner product defined over .
Significance
Orthonormal sets are not especially significant on their own. However, they display certain features that make them fundamental in exploring the notion of diagonalizability of certain operators on vector spaces.
Properties
Orthonormal sets have certain very appealing properties, which make them particularly easy to work with.
- Theorem. If {e1, e2,...,en} is an orthonormal list of vectors, then
- Theorem. Every orthonormal list of vectors is linearly independent.
Existence
- Gram-Schmidt theorem. If {v1, v2,...,vn} is a linearly independent list of vectors in an inner-product space , then there exists an orthonormal list {e1, e2,...,en} of vectors in such that span(e1, e2,...,en) = span(v1, v2,...,vn).
Proof of the Gram-Schmidt theorem is constructive, and discussed at length elsewhere. The Gram-Schmidt theorem, together with the axiom of choice, guarantees that every vector space admits an orthonormal basis. This is possibly the most significant use of orthonormality, as this fact permits operators on inner-product spaces to be discussed in terms of their action on the space's orthonormal basis vectors. What results is a deep relationship between the diagonalizability of an operator and how it acts on the orthonormal basis vectors. This relationship is characterized by the Spectral Theorem.
Examples
Standard basis
The standard basis for the coordinate space Fn is
Any two vectors ei, ej where i≠j are orthogonal, and all vectors are clearly of unit length. So {e1, e2,...,en} forms an orthonormal basis.
Real-valued functions
When referring to real-valued functions, usually the L² inner product is assumed unless otherwise stated. Two functions and are orthonormal over the interval if
Fourier series
The Fourier series is a method of expressing a periodic function in terms of sinusoidal basis functions. Taking C[−π,π] to be the space of all real-valued functions continuous on the interval [−π,π] and taking the inner product to be
It can be shown that
forms an orthonormal set.
However, this is of little consequence, because C[−π,π] is infinite-dimensional, and a finite set of vectors cannot span it. But, removing the restriction that n be finite makes the set dense in C[−π,π] and therefore an orthonormal basis of C[−π,π].
See also
References
- Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.
Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.
In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.
Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region
Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.
15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.
To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010