|
|
| 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 ==
| | 炎症？ ！ '<br><br>直接魂、体と呼ばれる宿敵の魂を燃やすことができる心臓の炎症秋、それは目に見えない炎、手数料日間のアバターが突然叫んだ、彼の目は恐怖、Baotuiの身長のヒントをフラッシュし、彼の知識と、自然に知っているを参照してください。 [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-2.html 腕時計 casio] 。<br><br>「行ってみたい？ '<br>これを見<br>は、シャオヤン魂力Skyfireの法王で、彼の強さは、手数料日間のアバターよりも弱いされている、冷笑され、激しく、様指紋が変更され、火が激しいpythonの速度をジャンプし、最終的にサンダーなどコスト日間の体への影響 [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-2.html カシオ腕時計 g-shock]。<br><br>「強打！ [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-14.html casio 腕時計 phys] '<br><br>はそれPutui、目に見えない火のpythonを聞かせていない、火災パイソン、Leiguang上記料金日間のアバターが突然包ま体が消えたヒットだけでなく、再び深刻にヒット従います [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-6.html 腕時計 メンズ casio]。<br>「ああ [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-13.html カシオ腕時計 メンズ]！」<br><br>失われたLeiguangボディケア<br>、コスト日間のアバターが突然衝突された心臓の炎症の秋、瞬間が発行する |
| 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.
| | 相关的主题文章： |
| | <ul> |
| | |
| | <li>[http://zqno1.com/bbs/forum.php?mod=viewthread&tid=59260&extra= http://zqno1.com/bbs/forum.php?mod=viewthread&tid=59260&extra=]</li> |
| | |
| | <li>[http://sctjsb.com/plus/feedback.php?aid=18 http://sctjsb.com/plus/feedback.php?aid=18]</li> |
| | |
| | <li>[http://www.7cost.com/forum.php?mod=viewthread&tid=1438573 http://www.7cost.com/forum.php?mod=viewthread&tid=1438573]</li> |
| | |
| | </ul> |
|
| |
|
| 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,
| | == 薬「何をしたいあなたの谷Guzhu精錬とは == |
| :<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''.
| | ささやくこれらの人々のために、シャオヤン数分スキミングなどのタイトな赤い火長老で、聞いたことがないが、次第に名声を低下させ、前に赤いホールを上陸させた [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-13.html カシオ アナログ 腕時計]。<br><br>谷腹、赤Fenyanバレーシャトルに身を包んだ弟子たちがたくさんある建物の多くは、時折それがこの巨大な谷の出現は、より活力を約束したので盛は、鳴っ学ぶ。<br>多くの焚炎バレーの弟子ガードと現時点で<br>外側の赤いホールは、警察の目は絶えず周り総なめにした。<br><br>防衛」にも教祖 [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-13.html casio 腕時計 edifice] '薬'それはいくつかの他の精錬ようだが、「保護された会場を見て、赤い火長老たちがつぶやいた。<br><br>薬「何をしたいあなたの谷Guzhu精錬とは [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-3.html 電波時計 カシオ]？実際にそんなに精錬が必要」「先生 [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-0.html casio 腕時計]？「わずかにしわが寄っシャオヤンの眉、と述べた。<br>探し、医学 [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-4.html casio 腕時計 g-shock] '分裂'ああ、あなたがこれらの精錬から欲しいそんなに必要なのではなく、「<br> |
| | 相关的主题文章： |
| | <ul> |
| | |
| | <li>[http://www.hanindus.com/plus/feedback.php?aid=31 http://www.hanindus.com/plus/feedback.php?aid=31]</li> |
| | |
| | <li>[http://2rkj.tk/plus/view.php?aid=1790 http://2rkj.tk/plus/view.php?aid=1790]</li> |
| | |
| | <li>[http://www.52italiacina.com/home.php?mod=space&uid=115135 http://www.52italiacina.com/home.php?mod=space&uid=115135]</li> |
| | |
| | </ul> |
|
| |
|
| === 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>).
| | その後暁の少し再帰カラースケールのリードを手に入れた頭部、および、第1の色スケールを定住娘に言った。<br><br>「その後、知り合いに。 '<br>また、人と考えるhuanhangrn透明色スケールは、メンタリングが言うことを何かを持っていることを知って、シャオヤンの前の瞬間は、シャオシャオがゆっくりと後退さ取った後、そっと何かを言った [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-9.html カシオ 掛け時計]。<br>Xiaoxiaoは、ちょうどゆっくり古い目を回復する、 [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-12.html 腕時計 メンズ casio] '薬'をカラースケールを後退微笑んで言って<br>は先に見えた： [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-4.html カシオ 腕時計 バンド] '少年は、これは実際に良い娘を出産していますが、実際にはメドゥーサと行くでしょう本当に私を驚かせたにしています。 [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-5.html 時計 casio] '<br><br>シャオヤンは、彼とカラースケールは確かに複雑すぎるとの関係をあなたの手を投げた、誰もが、数年後を追いかける女王メデューサ、そして最後に、実際に彼の妻であるシャオヤンを殺すために、今年、想像できない [http://www.ispsc.edu.ph/nav/japandi/casio-rakuten-7.html casio 腕時計 説明書]。<br><br>'あなたはこの事は、私は聞いたことが、2リビアの過去、家の魂と十分なQiaochuを送ることができます |
| 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.
| | 相关的主题文章： |
| | | <ul> |
| * From the orthogonality restriction, '''u''' • '''v''' = 0.
| | |
| * From the unit length restriction on '''u''', ||'''u'''|| = 1.
| | <li>[http://ylrzdb.com/plus/feedback.php?aid=38 http://ylrzdb.com/plus/feedback.php?aid=38]</li> |
| * From the unit length restriction on '''v''', ||'''v'''|| = 1.
| | |
| | | <li>[http://www.qiaoclub.com/plus/feedback.php?aid=17 http://www.qiaoclub.com/plus/feedback.php?aid=17]</li> |
| Expanding these terms gives 3 equations:
| | |
| #<math>x_1 x_2 + y_1 y_2 = 0 \quad</math>
| | <li>[http://www.bibk.nu/cgi-bin/guestbook_f96/guestbook.cgi http://www.bibk.nu/cgi-bin/guestbook_f96/guestbook.cgi]</li> |
| #<math>\sqrt{{x_1}^2 + {y_1}^2} = 1</math>
| | |
| #<math>\sqrt{{x_2}^2 + {y_2}^2} = 1</math>
| | </ul> |
| | |
| 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]]
| |