Semi-inner-product
In mathematics, there are two different notions of semi-inner-product. The first, and more common, is that of an inner product which is not required to be strictly positive. This article will deal with the second, which is an inner product not required to be conjugate symmetric. It was formulated by Günter Lumer, for the purpose of extending Hilbert space type arguments to Banach spaces in functional analysis.[1] Fundamental properties were later explored by Giles.[2]
Definition
We mention again that the definition presented here is different from that of the "semi-inner product" in standard functional analysis textbooks,[3] where a "semi-inner product" satisfies all the properties of inner products (including conjugate symmetry) except that it is not required to be strictly positive.
A semi-inner-product for a linear vector space [math]\displaystyle{ V }[/math] over the field [math]\displaystyle{ \mathbb{C} }[/math] of complex numbers is a function from [math]\displaystyle{ V\times V }[/math] to [math]\displaystyle{ \mathbb{C} }[/math], usually denoted by [math]\displaystyle{ [\cdot,\cdot] }[/math], such that
- [math]\displaystyle{ [f+g,h]=[f,h]+[g,h]\quad \forall f,g,h\in V }[/math],
- [math]\displaystyle{ [\alpha f,g]=\alpha[f,g]\quad \forall \alpha\in\mathbb{C},\ \forall f,g\in V, }[/math]
- [math]\displaystyle{ [f,\alpha g]=\overline{\alpha}[f,g] \quad \forall \alpha\in\mathbb{C},\ \forall f,g\in V, }[/math]
- [math]\displaystyle{ [f,f]\ge 0, }[/math]
- [math]\displaystyle{ \left|[f,g]\right|\le [f,f]^{1/2}[g,g]^{1/2}\quad \forall f,g\in V. }[/math]
Difference from inner products
A semi-inner-product is different from inner products in that it is in general not conjugate symmetric, i.e.,
- [math]\displaystyle{ [f,g]\ne \overline{[g,f]} }[/math]
generally. This is equivalent to saying that [4]
- [math]\displaystyle{ [f,g+h]\ne [f,g]+[f,h]. \, }[/math]
In other words, semi-inner-products are generally nonlinear about its second variable.
Semi-inner-products for Banach spaces
- If [math]\displaystyle{ [\cdot,\cdot] }[/math] is a semi-inner-product for a linear vector space [math]\displaystyle{ V }[/math] then
- [math]\displaystyle{ \|f\|:=[f,f]^{1/2},\quad f\in V }[/math]
defines a norm on [math]\displaystyle{ V }[/math].
- Conversely, if [math]\displaystyle{ V }[/math] is a normed vector space with the norm [math]\displaystyle{ \|\cdot\| }[/math] then there always exists a (not necessarily unique) semi-inner-product on [math]\displaystyle{ V }[/math] that is consistent with the norm on [math]\displaystyle{ V }[/math] in the sense that
- [math]\displaystyle{ \|f\|=[f,f]^{1/2},\ \ \forall f\in V. }[/math]
Examples
- The Euclidean space [math]\displaystyle{ \mathbb{C}^n }[/math] with the [math]\displaystyle{ \ell^p }[/math] norm ([math]\displaystyle{ 1\le p\lt +\infty }[/math])
- [math]\displaystyle{ \|x\|_p:=\biggl(\sum_{j=1}^n |x_j|^p\biggr)^{1/p} }[/math]
has the consistent semi-inner-product:
- [math]\displaystyle{ [x,y]:=\frac{\sum_{j=1}^n x_j\overline{y_j}|y_j|^{p-2}}{\|y\|_p^{p-2}},\quad x,y\in\mathbb{C}^n\setminus\{0\},\ \ 1\lt p\lt +\infty, }[/math]
- [math]\displaystyle{ [x,y]:=\sum_{j=1}^nx_j\operatorname{sgn}(\overline{y_j}),\quad x,y\in\mathbb{C}^n,\ \ p=1, }[/math]
where
- [math]\displaystyle{ \operatorname{sgn}(t):=\left\{ \begin{array}{ll} \frac{t}{|t|},&t\in \mathbb{C}\setminus\{0\},\\ 0,&t=0. \end{array} \right. }[/math]
- In general, the space [math]\displaystyle{ L^p(\Omega,d\mu) }[/math] of [math]\displaystyle{ p }[/math]-integrable functions on a measure space [math]\displaystyle{ (\Omega,\mu) }[/math], where [math]\displaystyle{ 1\le p\lt +\infty }[/math], with the norm
- [math]\displaystyle{ \|f\|_p:=\left(\int_\Omega |f(t)|^pd\mu(t)\right)^{1/p} }[/math]
possesses the consistent semi-inner-product:
- [math]\displaystyle{ [f,g]:=\frac{\int_\Omega f(t)\overline{g(t)}|g(t)|^{p-2}d\mu(t)}{\|g\|_p^{p-2}},\ \ f,g\in L^p(\Omega,d\mu)\setminus\{0\},\ \ 1\lt p\lt +\infty, }[/math]
- [math]\displaystyle{ [f,g]:=\int_\Omega f(t)\operatorname{sgn}(\overline{g(t)})d\mu(t),\ \ f,g\in L^1(\Omega,d\mu). }[/math]
Applications
- Following the idea of Lumer, semi-inner-products were widely applied to study bounded linear operators on Banach spaces.[5][6][7]
- In 2007, Der and Lee applied semi-inner-products to develop large margin classification in Banach spaces.[8]
- Recently, semi-inner-products have been used as the main tool in establishing the concept of reproducing kernel Banach spaces for machine learning.[9]
- Semi-inner-products can also be used to establish the theory of frames, Riesz bases for Banach spaces.[10]
References
- ↑ "Semi-inner-product spaces", Transactions of the American Mathematical Society 100: 29–43, 1961, doi:10.2307/1993352.
- ↑ J. R. Giles, Classes of semi-inner-product spaces, Transactions of the American Mathematical Society 129 (1967), 436–446.
- ↑ J. B. Conway. A Course in Functional Analysis. 2nd Edition, Springer-Verlag, New York, 1990, page 1.
- ↑ S. V. Phadke and N. K. Thakare, When an s.i.p. space is a Hilbert space?, The Mathematics Student 42 (1974), 193–194.
- ↑ S. Dragomir, Semi-inner Products and Applications, Nova Science Publishers, Hauppauge, New York, 2004.
- ↑ D. O. Koehler, A note on some operator theory in certain semi-inner-product spaces, Proceedings of the American Mathematical Society 30 (1971), 363–366.
- ↑ E. Torrance, Strictly convex spaces via semi-inner-product space orthogonality, Proceedings of the American Mathematical Society 26 (1970), 108–110.
- ↑ R. Der and D. Lee, Large-margin classification in Banach spaces, JMLR Workshop and Conference Proceedings 2: AISTATS (2007), 91–98.
- ↑ Haizhang Zhang, Yuesheng Xu and Jun Zhang, Reproducing kernel Banach spaces for machine learning, Journal of Machine Learning Research 10 (2009), 2741–2775.
- ↑ Haizhang Zhang and Jun Zhang, Frames, Riesz bases, and sampling expansions in Banach spaces via semi-inner products, Applied and Computational Harmonic Analysis 31 (1) (2011), 1–25.
 |
