An inner product space is a vector space equipped with an inner product. The inner product is a generalisation of the "dot" product often used in vector calculus.

learn more… | top users | synonyms

1
vote
2answers
31 views

How to find orthonormal basis for inner product space?

In $\mathbb{R}^3$ we declare an inner product as follows: $\langle v,u \rangle \:=\:v^t\begin{pmatrix}1 & 0 & 0 \\0 & 2 & 0 \\0 & 0 & 3\end{pmatrix}u$ How can I find an ...
1
vote
2answers
43 views

question about inner product and $f^*$

In $\mathbb{R}$3 we declare an inner product as follows: $\langle v,u \rangle \:=\:v^t\begin{pmatrix}1 & 0 & 0 \\0 & 2 & 0 \\0 & 0 & 3\end{pmatrix}u$ we have operator $f ...
1
vote
2answers
40 views

Fourier coefficients with respect to an orthonormal basis for an inner product space

$V = \operatorname{span}(S)$, where $S = \{(1, i, 0), (1 - i, 2, 4i)\}$, and $x = (3 + i, 4i, -4)$. Apply the Gram–Schmidt process to the given subset $S$ of the inner product space $V$ ...
1
vote
2answers
61 views

If $\|Tv\|=\|T^*v\|$ for all $v\in V$, then $T$ is a normal operator

I have solved a question but I am not sure the last step of the question. If someone can verify it that would be great. Let $V$ be a finite dimensional vector space with complex inner product. Let ...
0
votes
1answer
71 views

Project sin(x) onto orthonormal basis that span ${(1, x, x^2, x^3, x^4, x^5)}$ on domain $[-\pi, \pi]$

I am self-studying LA through Linear Algebra Done Right 2nd ed. I probably made a blatant error somewhere but I have been stuck for a whole day now. The book gave the answer $0.987862x − 0.155271x^3 ...
0
votes
1answer
34 views

How do the inner products on $L^2$ look like?

I was wondering whether all scalar products in $(L^2[0,1],\lambda)$ are given by $\langle f,g \rangle := \int f(x)g(x) \cdot w(x) d\lambda(x)$? If this is true, what are the exact conditions that we ...
0
votes
0answers
40 views

Defining an inner abstract vector space

Since an inner product space is an abstract vector space with an additional structure called an inner product, and this additional structure is a component wise operation that associates each pair of ...
1
vote
1answer
44 views

The inner product determines the structure of the space

The Hilbert space employs inner product to determine the geometric structure,e.x. the angle. But I couldn't understand how. For example, the key structure of Euclidean space $\mathbb{R}^2$ is that it ...
0
votes
0answers
64 views

Prove the inequality $\sum_{i,j = 1}^n {{A_{i,j}}({x_i}^2 - {x_i}{x_j})} \ge 0 $

A is a square matrix with positive elements and x is a real vector (both of them n>1 dimensional). Prove that for any such matrix and vector $$\sum\limits_{i,j = 1}^n {{A_{i,j}}({x_i}^2 - {x_i}{x_j})} ...
0
votes
1answer
20 views

weighted inner product of polynomials, can weight function be complex?

I am just learning about inner-products on polynomial space, where the coefficients of the polynomials may be complex: $P_m(\mathbf{F})$ The inner-product given by: $\langle p,q \rangle = \int_0^1 ...
2
votes
1answer
34 views

A question on linearity of inner product

The linearity of inner product on $(X,\langle.,.\rangle)$ is usually written as $$\langle x+\alpha y,z\rangle = \langle x,z\rangle + \alpha\langle y,z\rangle,\qquad \forall (\alpha,x,y,z)\in R\times ...
1
vote
2answers
56 views

Is a norm on $R^n$ linear?

I was reading the book Linear Algebra Done Right by Axler. In the chapter on inner product space (Ch.6), he defines the norm of x on $R^n$ space as: $||x|| = \sqrt{x_1^2 + ... + x_n^2}$ and says: ...
0
votes
1answer
55 views

Why $\langle a,x\rangle = \langle b,x\rangle,\forall x\in X\implies a=b$ [closed]

Let $X$ be (possibly infinite-dimensional) Hilbert space. How can we show that if $$\langle a,x\rangle = \langle b,x\rangle,\forall x\in X$$ then $a=b$?
0
votes
3answers
42 views

Rigid motion on $\mathbb{R}^2$ which fixes the origin is linear

Let $V=\mathbb{R}^2$ be an inner product space with the standard inner product, and let $T$ be a rigid motion of $V$. Suppose $T(0)=0$, prove that $T$ is linear. (A rigid motion of an inner product ...
5
votes
3answers
51 views

Area preserving transformation in a higher dimensional space is unitary.

In $\mathbb{R}^3$, a linear operator $Q:\mathbb{R}^3 \to \mathbb{R}^3$ preserves the area of parallelograms: that is, given $x,y\in \mathbb{R}^3$, the area of a parallelogram formed by $x$ and $y$ is ...
0
votes
0answers
20 views

Minimum in complex inner product vector space

I'm stuck at this problem, can someone give me a hint? Let $x_i$ and $y_i$ ($i=\overline{1,n}$) be vectors in an infinite dimensional vector space $V$ with inner product $(,)$ satisfy: ...
1
vote
2answers
61 views

Show that $\langle x, Ax \rangle + \langle b, x \rangle = c$ can be transformed to $\langle x', Ax' \rangle = 1$

Let $A$ be a real, regular, symmetric $n \times n$ matrix, $b \in \mathbb{R}^n$ and $c \in \mathbb{R}$ How can I show that $$\langle x, Ax \rangle + \langle b, x \rangle = c$$ can be transformed by ...
0
votes
2answers
29 views

Express Norm Using Inner Product

I'd like to know whether there's a way to express a norm using inner product, for example , is there any inner product we may use that is equal to $(||Ax-b||_2)^2$ ? Thanks in advance.
1
vote
0answers
17 views

Bessel-like inequality

Let $\{e_n\}$ be an orthonormal sequence in an inner product space E. Then I'm trying to show the following inequality: $$\sum_1^\infty| \langle x, e_n \rangle \langle y, e_n \rangle | \leq ...
0
votes
0answers
29 views

Transformation of a sum of dot products

I'm not quite sure about this, So I'd like if someone could help me. Can someone explain to me how they get from 2 to 3? \begin{align}\left<2u,u+v\right> &= 0\tag1\\ ...
0
votes
1answer
19 views

Inner product with the given property and vector distance problem

Is there an inner product in the $P_2$ ( polynomials, $deg(p)\leq 2$)inner product space so that $\{1,t,t^2\}$ is an orthonormal base? Also, how do you find a subspace for a given vector and a ...
1
vote
1answer
25 views

Why do we have $\Vert y_n\Vert^2=\langle x;y_n\rangle$

I can't see why the following equalities are valid: Let $X$ be an inner product space with an othonormal system $e_n, n\in\mathbb{N}$ and $x\in X$. Define $y_n=\sum_{i=1}^n\langle ...
0
votes
1answer
35 views

Few basic things unclear to me about inner product spaces and orthonormal basis

Few things unclear to me about inner product spaces: assume V is an inner product space with B orthonormal basis. Why is it true that: $$\langle x,y\rangle = \langle[x]_{B} , [y]_B \rangle{st}$$ ...
2
votes
1answer
63 views

Why is the Cauchy-Schwarz inequality considered to be so important?

I've read in the book "Linear Algebra done right" by Axler that the Cauchy-Schwarz inequality is one of the most important results in mathematics. However, in what the book covers and what we have ...
1
vote
2answers
24 views

Given a symmetric matrix A, find an orthogonal matrix S such that $S^TAS$ is a diagonal matrix

Given the symmetric matrix: $$A = \left( \begin{array}{ccc} 1 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \\ \end{array} \right)$$ find an orthogonal matrix $S$ such that $S^TAS$ is a ...
1
vote
1answer
38 views

Help with integral (inner product of stochastic and deterministic process)

i need to calculate an integral of the form $$ X = \int_0^T w(t) \sin (\omega t) dt $$ where $w(t)$ is a stochastic normal process (white noise), $\sin(\omega t)$ is deterministic. How do I do that? ...
0
votes
1answer
14 views

Give an example of a spanning set of $\ell^2(N)$ which is also a Bessel sequence but not a frame for $\ell^2(N)$

We know that in a finite dimensional Hilbert space, every spanning set is a frame, but this is not true for infinite dimensional space. It is easy to find an example which is a spanning set but not a ...
0
votes
1answer
33 views

Find the signature of $Q(x_1,\ldots,x_n)= \sum_{i,j=1}^{n} a_ia_jx_ix_j$

In $\mathbb{R}^n$ let $Q(x_1,\ldots,x_n)= \sum_{i,j=1}^{n} a_ia_jx_ix_j$ quadratic form. $a:=(a_1,\ldots,a_n)\neq0$ $\in \mathbb{R}^n$ find the signature of $Q$
0
votes
1answer
35 views

Linear algebra: determining if something is an inner product space

If I have a potential inner product space over P2, where $\left< p, q\right> = p(0)q(0)$ How do I determine whether or not it is an inner product space? Using the four axioms I have: ...
3
votes
1answer
37 views

Determinant (or positive definiteness) of a Hankel matrix

I need to prove that the Hankel matrix given by $a_{ij}=\frac{1}{i+j}$ is positive definite. It turns out that it is a special case of the Cauchy matrices, and the determinant is given by the Cauchy ...
0
votes
2answers
25 views

Proving the image of inner product map is whole subspace

I'm doing a specimen exam question and they often have typos and missed pieces of necessary information. I think the question I'm doing might be one such example, but am not sure: We're given that ...
4
votes
1answer
35 views

Is a function $f$ with $f(X)\perp (I-f)(X)$ necessarily linear?

Let $X$ be a real or complex inner-product space, and let $f : X\rightarrow X$ be a function such that every element of $f(X)$ is orthogonal to every element of $(I-f)(X)$. Prove or give a ...
5
votes
2answers
37 views

Show that $V = U^\perp \bigoplus U$

If $(V,\langle , \rangle)$ is a Euclidean vector space, $U \subseteq V$ is a subspace of V and $U^\perp := \{v \in V | \langle v,u \rangle = 0, \forall u \in U\}$. Show $V = U^\perp \bigoplus U$ In ...
0
votes
1answer
47 views

Orthogonal projection in Inner product space

Let V be $n$-Dimensional ($n\ge1$) inner product space . Let $T:V \rightarrow V$ be a linear map which maintains $ T^2=T$ , $\forall v \in V\ ||Tv||\le||v||$. Prove that there is exists a subspace ...
0
votes
1answer
76 views

Symmetric matrix over inner product space

I try really hard to prove this Question. let $A_{nXn}(\mathbb{R})$ Symmetric matrix $A=A^t$ let $\lambda$ be the greatest Eigenvalue of A. we will define over the field $\mathbb{R}$ with the ...
0
votes
1answer
41 views

Sufficient condition for two operators being identical on Hilbert space

Considering two bounded linear operators $S,T$ in $\mathcal{B}(X)$, where $X$ is a complex Hilbert space. If $\def\norm#1#2{\langle {#1},{#2}\rangle} \norm{Sx}{x} = \norm{Tx}{x}$ for all $x\in X$, do ...
-1
votes
3answers
57 views

Consider a set $S$ of unit vectors in $\mathbb R^2$ such that $\left<x,y\right>=-\frac12$ if $x,y\in S,x\ne y$.

This is a question from an entrance exam paper. Consider a set $S$ of unit vectors in $\mathbb R^2$ such that $\left<x,y\right>=-\frac12$ if $x,y\in S,x\ne y$.Then it is necessarily true that ...
0
votes
0answers
23 views

Apollonius’ Identity inner product space

$||z-x||^2+||z-y||^2=\frac{1}{2}||x-y||^2+2||z-\frac{x+y}{2}||^2$ I proved it by expanding both sides and i found both sides are equal. Are there any easy way to prove it?
3
votes
1answer
77 views

An inequality for inner product space: $\|x-z\|.\|y-t\|\leq \|x-y\|.\|z-t\|+\|y-z\|.\|x-t\|$

In a inner product space show that the following inequality holds. $\|x-z\|.\|y-t\|\leq \|x-y\|.\|z-t\|+\|y-z\|.\|x-t\|$ I am stuck in proving this inequality
1
vote
0answers
46 views

Showing an inner product space is complete

I'm working through Ward Cheneys Analysis for Applications and I'm a bit stuck on this exercise from Section 2.2: Prove that if $M=M^{\perp\perp}$ for every closed linear subspace $M$ in an inner ...
1
vote
1answer
29 views

Relationship between matrix 2-norm and orthogonal basis of eigenvectors

Given the following matrix: $$ A = \left( \begin{array}{cc} 3 & 4 \\ 0 & 5 \\ \end{array} \right)$$ calculate $\|A\|_2$, with $\|A\|_2 = max_{x \in \mathbb{R}^2 -\{0\}} \frac{\langle Ax,Ax ...
0
votes
1answer
41 views

Dot product in Curvilinear Coordinate Systems

I came across the dot product in polar, cylindrical, and spherical coordinates, today. After checking they were equivalent to the Cartesian versions, I started wondering how one would figure them out ...
2
votes
2answers
24 views

Calculate the angles between $(1,X),(X,X^2),(X^2,X^3),(X^3,X^4)$ given the inner product $\langle p(x),q(X) \rangle = \int_{-1}^{1} p(X)q(X)dX$

Let $V_4$ be the vector space of all polynomials of degree less than or equal to 4 with the inner product $$\langle p(x),q(X) \rangle = \int_{-1}^{1} p(X)q(X)dX$$ calculate the angles between ...
1
vote
1answer
30 views

Let $\langle x,y \rangle = x_1y_1 + 3x_2y_2 + 4x_3y_3 + x_1y_2 + x_2y_1 + x_1y_3 + x_3y_1 + x_2 y_3+x_3y_2$, prove pos. definiteness

Let $$\langle x,y \rangle = x_1y_1 + 3x_2y_2 + 4x_3y_3 + x_1y_2 + x_2y_1 + x_1y_3 + x_3y_1 + x_2 y_3+x_3y_2$$, prove that $\langle x,y \rangle$ is positive definite. I have simplified this to the ...
0
votes
2answers
32 views

Norm and InnerProduct Inequality

How can I show that this is true: Let $u,v \in \mathbb{R}^n$: \begin{align} \frac{\|u\|}{\|v\|} \leq \frac{(u,u-v)}{(v,u-v)}, \quad \hbox{if} \quad (v,u-v) > 0 \end{align} Where $\|\cdot\|$ is ...
4
votes
1answer
31 views

Using inner product property to determine if operator is an isomorphism.

Let $\varphi$ be an operator on a $k$-vector space $V$ with an inner product $\langle\cdot,\cdot\rangle$. Suppose that $\langle v,\varphi v\rangle = 0$ for every $v\in V$. If we take $k=\mathbb R$, is ...
0
votes
0answers
17 views

Let $G_1 = \{v_1 + \lambda w_1 | \lambda \in \mathbb{R}\}, G_2 = \{\{v_2 + \mu w_2 \}$ be two skew lines, derive a formula for $d(G_1,G_2)$

Let $G_1 = \{v_1 + \lambda w_1 | \lambda \in \mathbb{R}\} \subseteq \mathbb{R}^n, G_2 = \{\{v_2 + \mu w_2 |\mu \in \mathbb{R}\}\subseteq \mathbb{R}^n$, with $v_1, v_2, w_1, w_2 \in \mathbb{R}$ be two ...
1
vote
1answer
18 views

self adjoint transformations and inner product problem

Let $(V, <,>)$ be a finite dimensional vector space with an inner product, and let $f,g \in End(V)$ two self adjoint linear transformations. (a) Prove that if $f$ and $g$ commute, then, for ...
3
votes
1answer
36 views

Angle between two polynomials

Given the inner product of two polynomials $p(X), q(X) \in P(d)$, where $P(d)$ is the vector space of all polynomials of degree less than or equal to d, with real coefficients, and using the inner ...
0
votes
1answer
36 views

Isomorphism of inner product spaces

I want to use this in a proof, however I don't know how to prove it itself. I feel as though it's easy to prove by definition but I'm not quite sure.. A linear map V→W between two finite dimensional ...