|
|
Line 1: |
Line 1: |
| The concept of a '''dual norm''' arises in [[functional analysis]], a branch of mathematics.
| | Wilber Berryhill is the title his mothers and fathers gave him and he totally digs that name. Her family lives in Alaska but her spouse wants them to move. Office supervising is exactly where her main earnings arrives from but she's already applied for another one. My spouse doesn't like [http://www.edmposts.com/build-a-beautiful-organic-garden-using-these-ideas/ love psychic] it the way I do but what I truly like doing is caving but I don't have the time lately.<br><br>my web blog best [http://www.onbizin.co.kr/xe/?document_srl=320614 telephone psychic] readings ([http://Bigpolis.com/blogs/post/6503 click the up coming website page]) |
| | |
| Let <math>X</math> be a [[normed space]] (or, in a special case, a [[Banach space]]) over a number field <math>{\mathbb F}</math> (i.e. <math>{\mathbb F}={\mathbb C}</math> or <math>{\mathbb F}={\mathbb R}</math>) with [[norm (mathematics)|norm]] <math>\|\cdot\|</math>. Then the [[dual space|''dual'']] (or ''conjugate'') ''normed'' space <math>X'</math> (another notation <math>X^*</math>) is defined as the set of all [[continuous function|continuous]] [[linear functional]]s from <math>X</math> into the base field <math>{\mathbb F}</math>. If <math>f:X\to{\mathbb F}</math> is such a linear functional, then the
| |
| ''dual norm''<ref>{{harvtxt|A.N.Kolmogorov, S.V.Fomin|1957|loc=III §23}}</ref> <math>\|\cdot\|'</math> of <math>f</math> is defined by
| |
| | |
| : <math> \|f\|'=\sup\{|f(x)|: x\in X, \|x\|\leq 1\}=\sup\left\{\frac{|f(x)|}{\|x\|}: x\in X, x\ne 0\right\}. </math>
| |
| | |
| With this norm, the [[dual space]] <math>X'</math> is also a [[normed space]], and moreover a [[Banach space]], since <math>X'</math> is always complete.
| |
| | |
| <ref>http://www.seas.ucla.edu/~vandenbe/236C/lectures/proxop.pdf</ref>
| |
| | |
| == Examples ==
| |
| | |
| 1). '''Dual Norm of Vectors'''
| |
| | |
| If ''p'', ''q'' ∈ <math>[1, \infty]</math> satisfy <math>1/p+1/q=1</math>, then the '''ℓ<sup>p</sup>''' and '''ℓ<sup>q</sup>''' norms are dual to each other.
| |
| | |
| In particular the [[L2 norm|Euclidean norm]] is self-dual (''p''=''q''=2). Similarly, the [[Matrix_norm|Schatten ''p''-norm]] on matrices is dual to the Schatten ''q''-norm.
| |
| | |
| For <math>\sqrt{x^TQx}</math>, the dual norm is <math>\sqrt{y^TQ^{-1}y}</math> with <math>Q</math> positive definite.
| |
| | |
| 2). '''Dual Norm of Matrices'''
| |
| | |
| ''Frobenius norm''
| |
| | |
| :<math>\|A\|_F=\sqrt{\sum_{i=1}^m\sum_{j=1}^n |a_{ij}|^2}=\sqrt{\operatorname{trace}(A^{{}^*}A)}=\sqrt{\sum_{i=1}^{\min\{m,\,n\}} \sigma_{i}^2}</math>
| |
| | |
| It is dual norm is <math>\|B\|_F</math>
| |
| | |
| ''Singular value norm''
| |
| :<math>\|A\|_2=\sigma_{max}(A)</math>
| |
| Dual norm <math>\sum_i \sigma_i(B)</math>
| |
| | |
| == Notes ==
| |
| | |
| {{reflist}}
| |
| | |
| == References ==
| |
| * {{citation
| |
| | authorlink = A.N.Kolmogorov; S.V.Fomin
| |
| | last1 = Kolmogorov
| |
| | first1 = A.N.
| |
| | last2 = Fomin
| |
| | first2 = S.V.
| |
| | year = 1957
| |
| | title = Elements of the Theory of Functions and Functional Analysis, Volume 1: Metric and Normed Spaces
| |
| | publisher = Graylock Press
| |
| | location = Rochester
| |
| | isbn =
| |
| }}
| |
| * {{citation|authorlink=Walter Rudin|first=Walter|last=Rudin|title=Functional analysis|publisher=McGraw-Hill Science|year=1991|isbn=978-0-07-054236-5}}
| |
| | |
| | |
| [[Category:Linear algebra]]
| |
| | |
| {{mathanalysis-stub}}
| |
Wilber Berryhill is the title his mothers and fathers gave him and he totally digs that name. Her family lives in Alaska but her spouse wants them to move. Office supervising is exactly where her main earnings arrives from but she's already applied for another one. My spouse doesn't like love psychic it the way I do but what I truly like doing is caving but I don't have the time lately.
my web blog best telephone psychic readings (click the up coming website page)