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. E

    Inner Product Proof: Proving Sums with Algebra and Inner Product Concepts

    Homework Statement Prove that (\sumajbj)2\leq\sumjaj2*\sum(bj)2/j with j from 1 to n. for all real numbers a1...an and b1...bn Homework Equations The Attempt at a Solution I can prove this using algebra, but how is it done using inner product concepts? If someone could start me up...
  2. F

    GR from generalized inner product?

    The kinetic energy of a free particle is sometimes viewed geometrically as the inner product of velocity with momentum, where velocity is seen as a vector in the tangent space to the configuration space of a particle, and momentum is viewed as a vector in the tangent space of the phase space of...
  3. D

    Inner Product of 0 vector, & Complex numbers

    Hello, Can someone help me understand why the Inner Product of a Null vector with itself can be non zero if complex numbers are involved? And why using the complex conjugate resolved this? I may have understood this wrong. It could be that an Inner Product of any non-Null vector with...
  4. T

    Relation for Inner Product with States from a Complete Set

    Hi. I've found the following relation (in a book about the qm 3-body scattering theory): <\Omega^{\pm}^{\dagger} \Psi_n|p>= ... = 0 where |p> is a momentum eigenstate. So it is shown, that the inner Product is zero. Then they conclude that \Omega^{\pm}^{\dagger}|\Psi_n> = 0 because the...
  5. P

    Linear Algebra, Adjoint of a Linear Operator and Inner Product Spaces

    Homework Statement For each of the following inner product spaces V (over F) and linear transformation g:=V \rightarrow F, find a vector y such that g(x) = <x,y> for all x element of V. The particular case I'm having trouble with is: V=P2(R), with <f,h>=\int_0^{1} f(t)h(t)dt ...
  6. L

    Inner product spaces of matrices (linear algebra)

    -------------------------------------------------------------------------------- I understand the concepts of the inner product in Rn as well as the vector space of C[a,b] as the integral operator, however i don't understand how to obtain or prove the inner product space of two 2x2 matrices...
  7. N

    Inner product of functions help

    Homework Statement Hi all. Say that I have two functions g(x) and h(y). Is it correct that their inner product is given by: <g,h> = \int\int {g(x)^*h(y)}dxdy, where the asterix denotes complex conjugation? Thanks in advance.Niles.
  8. C

    Question regarding n-space and inner product

    Homework Statement I have posted simular questions a couple of times but now I feel I have a better understanding(hopefully). Given a Vectorspace M which is defined as a sequence of realnumber \{r_n\} and where \sum_{r=1}^{\infty} r_n < \infty Show that M has an innerproduct given by...
  9. S

    Inner product on boson one-particle space

    Hi, I'm interested in constructive QFT and I'd like to pose a question about construction of the one-particle Hilbert space of states for bosons. For fermions satisfying the Dirac equation, the inner product is \langle \psi, \phi \rangle = \int d^3 x \; \psi^\dagger(x) \phi(x). The...
  10. N

    Inner product of two spherical functions

    Homework Statement Hi all. The inner product between two functions f(x) and g(x) is defined as: <f | g> = \int f^*(x)g(x) dx, where the * denotes the complex conjugate. Now if my functions f and g are functions of r, theta and phi (i.e. they are written in spherical coordinates), is the...
  11. S

    Inverse of inner product

    my question is: if a.b=c with a=any vector b=any vector .=inner product c=resulting scalar is there a way to describe a=f(b,c)? Thanks
  12. W

    Inner product of signals (or wavefunction)

    Dear All: Any idea for the following interesting question: As we know we can calculate inner product of two wave functions A and B as <A|B>. here both A and B are vector in hilbert space. here we may use fourier transform to get momentum representation of A and B, and get same...
  13. K

    Inner Product: Problem on Differentiability of f(x) = x

    I am working my lonely way through Spivack's "Calculus on Manifolds." (not a registered student anywhere, alas). On p. 23 is a set of problems involving the inner product. I believe I've got it up to d), which asks for a function f:R->R s.t. f is differentiable but |f| is not...
  14. N

    Inner Product Clarification

    Hi everyone, I need a clarification:I read in E. Butkov's book that an inner product may always be imposed on a finite dimensional linear vector space in a variety of ways...Butkov does not explain the point...Can anyone please clarify this? I wonder what it would be for an...
  15. R

    Understanding Inner Product on C[a,b] vs C(R)

    My apologies in advance for asking what (to me) looks like an extremely stupid question, but I just can't figure it out. 1. Homework Statement : Where is this an inner product: \int_{a}^{b}f(x)g(x) dx a) on C[a,b]? b) on C(R)? The answer is that it is an inner product on a), but not...
  16. turin

    Inner product space of matrices

    I want to consider the space of NxN real matrices as a vector space in which any given NxN matrix can be given as a real weighted sum of at most N^2 basis matrices. I already know how this works if I assume the form for the inner product (eg. (1/N)Tr(matrix product)). However, here's the...
  17. S

    Exploring Inner Product Spaces: Answers to Your Questions

    I have some questions about inner product sapces. 1. If V is a vector space over R and ( , ):VxV-->R is an inner product on V, then for v,w in V, is the value of (v,w) independent of my choice of basis for V used to compute (v,w)? 2. If V is an arbitrary n dimensional vector space over...
  18. P

    Dot, Scalar, Inner Product Question

    I have been searching for a way to relate known concepts (known to me) to the computation of the dot product in an effort to understand why it takes the form it does. I ran into a little snippet in a classical dynamics book that seems like it just may be the ticket. Here is what it says...
  19. N

    To find dual basis from the inner product Matrix?

    To find dual basis from the inner product Matrix!? Homework Statement WE know the inner product matrix (capital)Gamma and that's all. How do we "construct" a dual basis? Homework Equations The Attempt at a Solution I know that the orthonormal basis is nothing but a dual...
  20. C

    Proving the Inner Product Identity for Complex Numbers

    Homework Statement Prove that \left\langle\alpha x,y\right\rangle-\alpha\left\langle x,y\right\rangle=0 for \alpha=i where \left\langle x,y\right\rangle=\frac{1}{4}\left\{\left\|x+y\right\|^{2}-\left\|x-y\right\|^{2}+i\left\|x+iy\right\|^{2}-i\left\|x-iy\right\|^{2}\right\}...
  21. C

    Proof of an inner product space

    Homework Statement Prove that the normed linear space l_{\infty}^{2} is not an inner product space. Homework Equations parallelogram law; \left\|x+y\right\|^2+\left\|x-y\right\|^2=2\left\|x\right\|^2+2\left\|y\right\|^2 The Attempt at a Solution Well, I tried to apply...
  22. C

    Normed linear space and inner product space

    Homework Statement Not all normed linear spaces are inner product spaces. Give examples. Homework Equations all equations and conditions constructing inner and normed linear spaces. The Attempt at a Solution Well, I tried some of spaces like L space, but I didn't find any logical...
  23. C

    Inner product spaces: additivity

    Can someone explain the additivity property of inner product spaces to me please
  24. D

    Linear dependence and inner product space

    Homework Statement The following is from the book Linear Algebra 3rd Edn by Stephen Friedberg, et al: Here aj are scalars of field F and vj are vectors of inner product space V. Homework Equations Theorem 6.3: The Attempt at a Solution Now I don't understand why theorem 6.3...
  25. D

    Proving "<x,x>=0 if x=0" in an Inner Product Space

    Homework Statement Let V be an inner product space. Then for x,y,z \in V and c\inF, where F is a field denoting either R or C, prove that <x,x> = 0 if and only if x=0. Notes on notation: Here <x,y> denotes the inner product of vectors x and y on some vector space V. Homework...
  26. J

    Converging Inner Product Sequence in Hilbert Space

    Homework Statement Let H be a Hilbert space. Prove that if \left\{ x _{n} \right\} is a sequence such that lim_{n\rightarrow\infty}\left\langle x_{n},y\right\rangle exists for all y\in H, then there exists x\in H such that lim_{n\rightarrow\infty} \left\langle x_{n},y\right\rangle =...
  27. Peeter

    Reconciling Differential Forms Inner Product of Wedge with GA Dot

    My differential forms book (Flanders/Dover) defines an inner product on wedge products for vectors that have a defined inner product, and uses that to define the hodge dual. That wedge inner product definition was a determinant of inner products. I don't actually have that book on me right...
  28. S

    Simple, construct a basis of R2 with an inner product

    Homework Statement Construct an orthogonal basis of R2 equipped with the non-standard inner product defined for all X, Y belonging to R2, by <X,Y> = X^T AY with A = 2 1 1 3 The Attempt at a Solution So it seems pretty trivial, but I can't seem to get the answer. So my approach is 1)...
  29. S

    Non continuously differentiable but inner product finite

    Hello, I was trying to understand Green's function and I stumbled across the following statements which is confusing to me. I was referring to the following site http://www.math.ohio-state.edu/~gerlach/math/BVtypset/node79.html Here the author says the following "What if $ u$ is...
  30. J

    What is the inner product in state (ket/Hilbert) space.

    In Quantum mechanics books they usually first introduce a vector space called the ket-space and then associate using (Riesz representation theorem I believe) to each ket a corresponding element of the linear dual space. Then they write the inner product of |x\rangle and |y\rangle (say) by...
  31. kakarukeys

    Group averaging - Inner product

    Homework Statement Does anyone know how to show the inner product obtained from group averaging is positive definite? Show that \int_Gdg \langle\phi|\hat{U}^{-1}(g)|\phi\rangle \geq 0 \int_Gdg \langle\phi|\hat{U}^{-1}(g)|\phi\rangle = 0 \Rightarrow \int_Gdg \langle\phi|\hat{U}^{-1}(g) =...
  32. K

    Metric Spaces Not Based on Inner Product

    Can somebody give me an other metric space that is not dependent on the inner product i mean which is not derived from the inner product between two vectors.
  33. A

    What is the inner product of two piecewise-defined functions?

    Dear all: I have a problem about the inner product of a function. Give a function \begin{displaymath} f(x) = \left\{ \begin{array}{ll} x & \textrm{if $x \in [0,1]$}\\ -x+2 & \textrm{if $x \in (1, 2]$} \end{array} \end{displaymath} \{ What's the value of the inner product of...
  34. J

    Inner Product Space over Fnite Field

    I come over this in my coding theory but can't understand it. It says finite fields do not fulfil the definition of inner product space like other fields (R and C. Why? How is the proof? Thanks!
  35. MathematicalPhysicist

    Proving the Relationship Between Inner Products and Linear Transformations

    let V be a vector space with inner product, and T:V->V linear trans. then for V on R, prove that for every v in V, <v,T(v)>=0 iff T*=-T. now i got so far that: from <v,T(v)>=0 we have <v,(T+T*)(v)>=0 for every v, here I am stuck, i guess if it's for every v, if i were to write (T+T*)(v)=av...
  36. K

    Transforming inner product to another basis

    Homework Statement Given the Vectorspace V of the real polynoms and the sub space L(1, t, t^2). On V there's a inner product defined as follows: <u(t), w(t)> = integral(u(t)*w(t), dt, -3, 3) I have to find the inner product of the subspace in reference of the basis (1, t, t^2)...
  37. P

    Unlocking Mathematical Mysteries: Wave Mechanics & Inner Product Spaces

    Does it surprise you that the fundalmentals of wave mechanics fits so nicely into an inner product space. I assume this kind of algebra existed long ago but QM seem to fit perfectly into it. How amazing is that?
  38. Q

    Exploring the Properties of Inner Products in Vector Spaces

    Hello all, I have two questions that are fairly general, but slightly hazy to me still. o:) 1) Can we consider the inner product to be a bilinear function, or not? I would like to think of it as a mapping from an ordered pair of vectors of some vector space V (i.e. VxV) to the field (F)...
  39. U

    Calculating the Inner Product of <2011|0011>

    Homework Statement What s the inner product <2011|0011> Homework Equations C_{m_1m_2}=<l_1l_2m_1m_2|lml_1l_2> The Attempt at a Solution I'm not sure how to exactly solve this question. The first thing that came to my mind was the Clebsch-Gordan equation, since that's what it looks like...
  40. K

    Inner Product: Equation for x^p & x^q | 65 Chars

    Hello, I am working on an assignment were I have shown that a certain equation defines an inner product, which was simple enough. Te equation was: \left\langle {f,g} \right\rangle = \int\limits_0^1 {f\left( x \right)g\left( x \right)x^2 dx} My question then is: How do i state an equation for...
  41. N

    Polynomials and the Inner Product

    The question requires me to check whether the following formulae satisfy the properties of an inner product given the linear space of all real polynomials. f(1)g(1) \left(\int_{0}^{1}f(t)dt\right)\left(\int_{0}^{1}g(t)dt\right) The properties are satisfied in both cases (at least, that's my...
  42. W

    Linear Functionals Inner Product

    Assume that m<n and l_1,l_2,...,l_m are linear functionals on an n-dimensional vector space X . Prove there exists a nonzero vector x \epsilon X such that < x,l_j >=0 for 1 \leq j \leq m. What does this say about the solution of systems of linear equations?This implies l_j(x)...
  43. daniel_i_l

    Is Inner Product of C[-1,2] & V Defined?

    1) C[-1,2] is a space of all continues functions f: [-1,2] -> C (complex) Is: <f,g> = \int_{-1}^{2}|f(t) + g(t)|dt an inner product of C[-1,2]? I think that the answer is no because: <f+g, h> \neq <f,h> + <g,h> for some f and g. this can happen when all the functions are positive...
  44. M

    Inner product Pythagoras theorem

    Hey guys, I am studying atm and looking at this book: "Introduction to Hilbert Space" by N.Young. For those who have the book, I am referring to pg 32, theorem 4.4. Theorem If x1,...,xn is an orthogonal system in an inner product space then, ||Sum(j=1 to n) xj ||^2 = Sum(j=1 to...
  45. T

    An inequality about inner product

    If α,β,γ are vectors in the Euclid space V, please show that |α-β||γ|≤|α-γ||β|+|β-γ||α|,where |α|=√(α,α) and point out when the equal mark holds. Can someone help me out?
  46. H

    Inner Product for Vectors in Complex Space

    Very basic question but could someone briefly explain why the inner product for complex vector space involves the conjugate of the second vector. Of course if imaginary component is 0 then this reduces to dot product in real vector space. And I see that this definition makes sense to calculate...
  47. P

    Understanding the Adjoint of a Linear Transformation on an Inner Product Space

    Definition: Let f:V->V be a linear transformation on an inner product space V. The adjoint f* of f is a linear transformation f*:V->V satisfying <f(v),w>=<v,f*(w)> for all v,w in V. My question is would <f*(v),w>=<v,f(w)> be equivalent to the above formula in the definition? If so why...
  48. D

    Inner product vs. dot product

    Is there any difference between an inner product and a dot product?
  49. T

    Eigenvalues of an operator in an inner product space

    "Suppose V is a (real or complex) inner product space, and that T:V\rightarrow V is self adjoint. Suppose that there is a vector v with ||v||=1, a scalar \lambda\in F and a real \epsilon >0 such that ||T(v)-\lambda v||<\epsilon. Show that T has an eigenvalue \lambda ' such that |\lambda...
  50. cepheid

    Inconsistent Inner Product Definitions

    Hi, I'm looking at the definition of the inner product of two vectors in \mathbb{C}^n . One source is talking about how the definition of an inner product must be modified to account for vectors with complex components and says: He then goes on to say that we can rewrite conjugate...
Back
Top