What is Inner product: Definition and 312 Discussions

In mathematics, an inner product space or a Hausdorff pre-Hilbert space is a vector space with a binary operation called an inner product. This operation associates each pair of vectors in the space with a scalar quantity known as the inner product of the vectors, often denoted using angle brackets (as in




a
,
b



{\displaystyle \langle a,b\rangle }
). Inner products allow the rigorous introduction of intuitive geometrical notions, such as the length of a vector or the angle between two vectors. They also provide the means of defining orthogonality between vectors (zero inner product). Inner product spaces generalize Euclidean spaces (in which the inner product is the dot product, also known as the scalar product) to vector spaces of any (possibly infinite) dimension, and are studied in functional analysis. Inner product spaces over the field of complex numbers are sometimes referred to as unitary spaces. The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898.An inner product naturally induces an associated norm, (




|

x

|



{\displaystyle |x|}
and




|

y

|



{\displaystyle |y|}
are the norms of



x


{\displaystyle x}
and



y


{\displaystyle y}
in the picture), which canonically makes every inner product space into a normed vector space. If this normed space is also a Banach space then the inner product space is called a Hilbert space. If an inner product space



(
H
,




,




)


{\displaystyle (H,\langle \,\cdot \,,\,\cdot \,\rangle )}
is not a Hilbert space then it can be "extended" to a Hilbert space




(



H
¯


,




,







H
¯




)

,


{\displaystyle \left({\overline {H}},\langle \,\cdot \,,\,\cdot \,\rangle _{\overline {H}}\right),}
called a completion. Explicitly, this means that



H


{\displaystyle H}
is linearly and isometrically embedded onto a dense vector subspace of





H
¯




{\displaystyle {\overline {H}}}
and that the inner product







,







H
¯





{\displaystyle \langle \,\cdot \,,\,\cdot \,\rangle _{\overline {H}}}
on





H
¯




{\displaystyle {\overline {H}}}
is the unique continuous extension of the original inner product







,






{\displaystyle \langle \,\cdot \,,\,\cdot \,\rangle }
.

View More On Wikipedia.org
  1. T

    Finding an Inner Product for Approximating Polynomials on a Set of Real Numbers

    Let S be a finite set of real numbers. What is a natural inner product to define on the space of all functions f:S->R? I want to approximate an arbitrary function with a polynomial of a fixed degree (both of which are defined only on S), and I want to use projections to do it, but I have no...
  2. T

    Is Conjugate Symmetry Enough for a Hermitian Inner Product?

    I'm getting some confusing information from different sources. If an inner product satisfies conjugate symmetry, it is called Hermitian. But the definition of a hermitian inner product says it must be antilinear in the second slot only. Doesn't conjugate symmetry imply that it's antilinear in...
  3. quasar987

    Verifying Inner Product Properties on a Circle Function

    Hi guys, there's a problem to which me and my pals just can't seem to get an answer that is congruent the answer on the back of the book. The homwork is due in two days and I just want to make sure the book is truly wrong. The question's simple enough: given f,g continuous on the circle...
  4. B

    When does the Cauchy-Schwartz inequality hold?

    Hi, I need to use the Cauchy-Schwartz inequality to prove the following inequality. \left( {a_1 + ... + a_n } \right)^2 \le n\left( {a_1 ^2 + ... + a_n ^2 } \right),\forall a_i \in R When does equality hold? The Cauchy-Schwartz inequality is \left| {\left\langle {\mathop...
  5. P

    Proving the Pythagorean Theorem for Inner Product Spaces

    A question reads: Let V be a vector in an inner product space V show that ||v|| >= ||proj(u) v|| holds for all finitie dimensional subspaces of U. Hint: Pythagorean Theorm. Okay... where on Earth do i begin? I thought perhaps I should expand the RIGHT side of the equation, but...
  6. P

    Solving Inner Product Equations: A Guide for Algebra Students

    Oh, its algebra time again! A Question reads: let ||u|| =1 ||v|| = 2 ||w|| = 3^0.5 (or root 3) <u,v>=-1 <u,w>=0 and <v,w>=3 Given this information, who that u + v = w I gave it my best show. i know that ||u|| (im going to write |u| for slimpicity) ... i know that |u|...
  7. B

    Solving Inner Product Questions with Eigenvalues

    Hi I'm stuck on the following question and I have little idea as to how to proceed. Note: I only know how to calculate eigenvalues of a matrix, I don't many applications of them(apart from finding powers of matrices). Also, I will denote the inner product by <a,b> rather than with circular...
  8. P

    Tensor Product of Inner Product Spaces V & W

    Hi, Say I have two inner product spaces, V and W. What is the definition of their tensor product? Is this product naturally always an inner product space? Thank! :smile:
  9. Z

    Defining an Inner Product on the Vector Space of Polynomials in x

    My question is: Let V = \mathbb{R}_1 [x] be the vector space of polynomials in x of degree at most 1. For f(x) \, , \, g(x) \in \mathbb{R}_1 [x], define: <f(x) \, , \, g(x)> \, = \int_0^1 x^2 f(x) g(x) dx Show that this defines an inner product on \mathbb{R}_1[x]. (You may assume...
  10. S

    What is the basis for the inner product of functions?

    What is the proof that the inner product of two functions f(x) and g(x) is \int_{a}^{b} f(x)g(x)dx Or is this actually a definition of the inner product for functions? If it is a definition, then what is it based on? Thank you
  11. Oxymoron

    Cauchy sequences in an inner product space

    Im in need of some guidance. No answers, just guidance. :smile: Question. Let (x_m) be a Cauchy sequence in an inner product space, show that \left\{\|x_n\|:n=1,\dots,\infty\right\} is bounded. proof From the definition we know that all convergent sequences are Cauchy...
  12. Oxymoron

    Proving Inner Product Spaces w/ (1+x^2) Defined on V

    Question) Define (f|g) = \int_0^2 (1+x^2)f(x)g(x)dx on V = C([0,2],\mathbb{R}). Then this is an inner product space because it obeys the four axioms 1. (f|f) = \int_0^2 (1+x^2)f^2(x)dx \geq 0 since f^2(x) \geq 0 for all x \in [0,2] 2. (f|g) = \int_0^2 (1+x^2)f(x)g(x)dx = \int_0^2...
Back
Top