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

0
votes
0answers
6 views

Characterise the set of inner products which are preserved by a given automorphism?

Let $V$ be a finite dimensional vector space. Let us call an automorphism $T:V\rightarrow V$ admissible if there exists an inner product $\langle , \rangle$ on $V$ making $T$ an isometry. (You can ...
0
votes
1answer
36 views

Prove that the following integrals are equivalent.

In my linear algebra course, we are looking into inner product spaces. The following came up with regards to an inner product on a subspace of the infinitely-differentiable real functions. Let ...
3
votes
1answer
33 views

How can I prove that $f$ is inner product function

We know the polarization identity in inner product space : $$\langle x,y\rangle= \frac{1}{4} (\|x+y\|^2-\|x-y\|^2) + \frac{i}{4} (\|x+iy\|^2-\|x-iy\|^2) $$ But the question is if we have ...
3
votes
2answers
32 views

Unitary Matrices and the Hermitian Adjoint

I saw in a definition for unitary matrices, that for a complex matrix being unitary if $M: \mathbb{C}^{n} \rightarrow \mathbb{C}^{n}$ is unitary, or: $\langle Mv, Mw \rangle = \langle v,w \rangle$ ...
7
votes
3answers
78 views

Then prove: $\vec{v} = \vec{0}$ if $\langle u,v\rangle = 0$

If $\vec{v} \in V$ such that $\langle u,v\rangle = 0$, $\forall \vec{u} \in V$. Then prove: $\vec{v} = \vec{0}$ I tired to solve by assuming that they are $\langle u,v\rangle \neq 0$ $\rightarrow$ ...
2
votes
2answers
39 views

Prove $ |\langle u,v\rangle| = \lVert u \rVert \cdot \lVert v \rVert$

If V is the finite dimensional inner product space, then prove the following: If $u, v \in V$ are linearly dependent, then $ |\langle u,v\rangle| = \lVert u \rVert \cdot \lVert v \rVert$ Thanks.
1
vote
1answer
41 views

Orthogonal in inner product space

Let $(X,<.>)$ is an inner product space prove that $x$ and $y$ are orthogonal if and only if $||x+αy|| \ge ||x||$ for any scalar $α$ . The first direction if $x$ and $y$ are orthogonal ...
0
votes
2answers
59 views

Cauchy-Schwarz Hermitian Inner Product Remainder

A couple weeks ago, someone showed me a proof of Cauchy-Schwarz where he ended up deriving something of the form $$|\langle a,b\rangle|^2=|\langle a,a\rangle||\langle b,b\rangle| +f(a,b)$$ Where ...
2
votes
2answers
52 views

Banach space it isn't Hilbert space [duplicate]

How can give me two or three examples about Banach spaces which it is not Hilbert spaces with proof ( I mean why it isn't Hilbert spaces ) ?
0
votes
1answer
26 views

$X$ is inner product space then its completion is Hilbert space?

I have trouble finding a way to prove that the completion of my innerproduct space $X$ is a Hilbert space. How do I know that the norm on the completion of $X$ is induced by an innerproduct? Thanks ...
1
vote
0answers
16 views

Subspace of $L^p(X,\Sigma,\lambda)$

Consider $R$-valued functions in $L^p(X,\Sigma,\lambda)$, where $X=X^1\times X^2$, $\Sigma=\Sigma^1\times \Sigma^2$ and $\lambda=\lambda^1\times \lambda^2$ For given $i$, does the subsapce $M=\{f\in ...
4
votes
4answers
69 views

Under what conditions is a linear automorphism an isometry of some inner product?

Assume $V$ is a finite-dimensional vector space over $\mathbb{R}$, and that $T: V \to V$ is a (linear) isomorphism. When is it possible to construct an inner product on $V$ making $T$ an ...
1
vote
0answers
15 views

Complex euclidean tensor products

Say you have Euclidean vectors $\mathbf{a}=a_i \mathbf{p}_i$ and $\mathbf{b}=b_j \mathbf{q}_j$ in $\mathbb{R}^3$, with bases $\mathbf{p}_i$ and $\mathbf{q}_j$. Then you could use a typical inner ...
1
vote
1answer
29 views

Proving a Matrix Inner Product

I am given a matrix inner product on square matrices defined as $\langle A,B\rangle=tr(AB^t)$, where $M^t$ denotes the transpose. I am asked to prove that this is indeed an inner product. We go by 3 ...
2
votes
2answers
57 views

When does equality hold in this case?

Give example of two vectors $x$ and $y$ such that $$||x+y||_2^2 = ||x||_2^2+||y||_2^2$$ and $$<x,y>\neq0$$ I can't seem to find any two vectors $x$ and $y$ that satisfied both conditions at ...
1
vote
2answers
37 views

What is the rigorous justification for using inner products as a function of similarity between two vectors?

In machine learning, it is a common thing to define similarity measures, specially using the so call Kernel function. Kernel functions are defined though through inner products of feature vectors: ...
1
vote
1answer
15 views

Parallelogram law using complex inner product not adding up

Does the parallelogram law still hold in the complex case? Using the following definitions: $\langle \textbf{x}, \textbf{y} + \textbf{z} \rangle = \langle \textbf{x}, \textbf{y} \rangle + \langle ...
0
votes
1answer
28 views

What does this assumption imply in case $X$ is a complex inner product space?

If $X$ is a real inner product space and $x,y\in X$ satisfy $\|x\|=\|y\|$, then $(x-y)\perp (x+y)$. What does this assumption imply in case $X$ is a complex inner product space? My Work: I proved ...
1
vote
1answer
16 views

Prove that a) $(span(M))^\bot=M^\bot$ b) $(\overline{M})^\bot=M^\bot$

Let $X$ be an inner product space.$M\subset X$. Prove that a) $(span(M))^\bot=M^\bot$ b) $(\overline{M})^\bot=M^\bot$ My Work and problems: a) Clearly $(span(M))^\bot\subset M^\bot$. Now let ...
0
votes
1answer
54 views

$x\perp y$ iff $\|x+\lambda y\|\geq \|x\|$ for all scalars $\lambda$

Show that in an inner product space $X$ a) $x\perp y$ iff $\|x+\lambda y\|=\|x-\lambda y\|$ for all scalars $\lambda$ b) $x\perp y$ iff $\|x+\lambda y\|\geq \|x\|$ for all scalars $\lambda$ My ...
0
votes
0answers
13 views

Is $\langle A,B \rangle = \text{trace}(A^{T}B)$ undefined in $\mathbb{R}^{n\times 1}$ and $\mathbb{R}^{1\times m}$?

$A^TB$ would be a $n\times 1$ or $1\times m$ vector in each case, no? How can we sum diagonal elements if they don't exist?
0
votes
1answer
42 views

Does $\langle f+h,g\rangle=\langle f,g\rangle+\langle h,g\rangle$ hold for all elements $f, g, h$ of an inner product space?

Are there any exceptions? I was thinking proof by contradiction i.e. define $\langle f,g\rangle\ \neq0$ for two orthogonal elements of the product space, but positive definiteness would require one ...
0
votes
0answers
28 views

Inner Product Spaces and Dual Spaces

Let $G$ be the matrix of the scalar product in a basis $(\mathbb{e_{1}}, ..., \mathbb{e_{n}})$ of a Euclidean space $V$. Find the matrix of the change of base to the dual one $(f_{1}, ..., f_{n})$ and ...
0
votes
2answers
36 views

How to show that $\langle A,B \rangle = a_{11}b_{11}+a_{12}b_{12}+a_{21}b_{21}+a_{22}b_{22}$ is an inner product on $M_{2x2}$?

Let $$\langle A,B \rangle = a_{11}b_{11}+a_{12}b_{12}+a_{21}b_{21}+a_{22}b_{22}.$$ Show that this in an inner product on the vector space $M_{2x2}$? I just do not get how to prove this with ...
1
vote
1answer
47 views

Closest Vector in a Inner Product Space

Let $V$ = $\mathbb{R}^n$ Note that $\langle -,-\rangle$ defines the Inner Product on $\mathbb{R}^n$ $$\|v\| = \sqrt{\langle v,v \rangle}$$ Consider the standard Distance Function $$d(x,y) = ...
1
vote
2answers
32 views

What would be a characterization of a definite operator?

Let $V$ be an $n$-dimensional inner product space and let's call $T\in \mathcal L (V)$ definite if $$\forall x \neq0: \langle Tx,x\rangle \neq 0. $$ An obvious sufficient condition for $T$ to be ...
0
votes
0answers
21 views

Multiplication of an inner product and its conjugate

While studying Inner Product Spaces, I'm seeing that $\langle{x, y}\rangle * \overline{\langle{x, y}\rangle} =|c|^2$, where $ c=\langle{x, y}\rangle $ and $c$ is a constant. The $inner$ $product$ ...
0
votes
2answers
22 views

Why does this work? Fourier coefs. of function with min energy in window is eigenvector of window coef. matrix.

Let me begin with saying I have never got a good handle on eigenvectors and eigenvalues. My best hunch is that the eigenvectors are the 'best' basis for a linear transform along which the transform ...
1
vote
2answers
132 views

Prove that the Eigenvalues of this Matrix are in [0,1 ]

Let $E,F \subset \mathbb{R^n}$ Note that $< . >$ defines the Inner product on $\mathbb{R^n}$ Let $(e_1,....,e_k)$ and $(f_1,.....f_l$) be Orthonormal bases of E and F respectively. Consider ...
0
votes
1answer
19 views

Orthonormal Basis of Two Subspaces

Let $S,T$ $\subset \mathbb{R^n}$ Prove that it is possible to choose an Orthonormal Basis W for S and W' for T such that $W = (s_1,....,s_k)$ $W' = (t_1,.....t_m)$ $<s_i,t_j>$ = 0 if $i \neq ...
4
votes
5answers
60 views

Find $f$ such that $\int_{-\pi}^{\pi}|f(x)-\sin(2x)|^2 \, dx$ is minimal

Fairly simple question that's been bothering me for a while. Supposedly it should be simple to solve from the properties of inner product but I can't seem to solve it. Find $f(x) \in ...
0
votes
0answers
36 views

Inner Product on Linear Space of Continuous Functions

Consider the linear space of continuous functions $C[-1,+1]$ defined over the interval $[-1,+1]$. We define an inner product $\langle\cdot , \cdot\rangle$ on $C[-1,+1]$ by $$\langle ...
0
votes
1answer
78 views

Gram-Schmidt and Inner Product Spaces

Consider the matrix $A=\begin{pmatrix}2&1\\1&2\end{pmatrix}$. We define a new inner product over $\mathbb{R}^2$ given by $\langle\vec{v},\vec{w}\rangle=\vec{v}^T\cdot A\cdot \vec{w}$. Find ...
2
votes
2answers
34 views

Does $\langle Fv_j, Fv_j \rangle = \langle F^*v_j, F^*v_j \rangle$ imply that $F$ is normal?

Let $\{v_1, \ldots, v_n\}$ be an orthonormal basis of an inner product space $V$ and a linear $F:V\to V$ s.t. for all $j$: $$\langle Fv_j, Fv_j \rangle = \langle F^*v_j, F^*v_j \rangle.$$ Does it ...
2
votes
1answer
28 views

$\max <x,q>$ when $x \in H$ Hilbert and $q \in A^\bot$

How can I find $\max \langle x,q \rangle$ where $x$ is fixed in a Hilbert space $H$ and $q$ runs over $ A^\bot$ with $\|q\|=1$, $A$ a proper nontrivial subspace? (Here we assume $x \notin A, A^\bot$.) ...
2
votes
0answers
57 views

Orthonormal basis of polynomials

I am trying to find an orthonormal basis of the vector space $P^{3}(t)$ with an inner product defined by $$\langle f, g \rangle = \int_0^1f(t)g(t)dt$$ by applying the gram schmit alogorotin to ...
0
votes
0answers
39 views

Which of these two is an inner product space

I have a simple question on which am seeking help clarifying. Am looking at two inner products, one which my text says is an inner product and I find it to be not, and another my text says it is but I ...
3
votes
0answers
33 views

Find all $ p \ge 1 $ for which the Hölder norm $\|\cdot\|_p $ is generated by a scalar product.

Find all $ p \ge 1 $for which the Hölder norm $$ \|x\|_p := \left(\sum^{n}_{i=1} |x_i|^p\right)^{\frac{1}{p}} $$ is generated by a scalar product. We know that norm is generated by a scalar product ...
0
votes
1answer
15 views

Linearity in first argument of $\langle X,Y\rangle =X^*MY $

In paper it says that the inner product of two $n$-dimensional vectors is equal to: $$\langle X,Y\rangle :=X^*MY $$ where $M$ is Hermitian and positive definite. It is easy to proof the conjugate ...
0
votes
1answer
25 views

Find the inner product under which is the following base orthonormal

This question is inspired by the following problem If we know that the basis $B=(\mathbf{u},\mathbf{v})$, where $$\mathbf{u}= \begin{pmatrix}1 \\ 2i\end{pmatrix},\;\;\mathbf{v}=\begin{pmatrix}-i ...
1
vote
1answer
71 views

Proof for $\mathbf{v}\cdot\mathbf{v} = \| \mathbf{v} \|^2$ [closed]

Anyone have a good link for proving $\mathbf{v}\cdot\mathbf{v} = \| \mathbf{v} \|^2$? I tried ProofWiki but the site doesn't seem to be responding right now.
1
vote
4answers
49 views

Question about inner product space and positive definite matrix

I was working on problems in a textbook for my intro linear algebra class, and one of the questions asked about showing that if we have some real positive definite matrix, A, then $\lt ...
1
vote
1answer
99 views

Inner product on $C[0,1]$

Let $V = \mathcal{C}[0,1]$ with inner product $\langle v,w\rangle =\int_{0}^1 v(x)w(x) \mathrm{d}x$. Find a functional $f\in V^*$ for which there does not exist a vector $v\in V$ satisfying $f(w) = ...
3
votes
1answer
77 views

Prove that the norm in an inner product space is $ \ge 0$

Macdonald Linear and Geometric Algebra defines an Inner Product Space in the following way (pg 57): "An inner product space is a vector space with a product called an inner product. The inner product ...
4
votes
0answers
127 views

Generalization of inner product spaces (analogue to uniform spaces/locally convex spaces)

In the following I am going to devise a chart of topological spaces that contains inner product spaces, normed vector spaces, metric spaces and other related spaces. In the end there will be a gap in ...
8
votes
5answers
969 views

What does orthogonality mean in function space?

The functions $x$ and $x^2 - {1\over2}$ are orthogonal with respect to their inner product on the interval [0, 1]. However, when you graph the two functions, they do not look orthogonal at all. So ...
2
votes
2answers
35 views

If $T^2=T$ then determine whether $\ker T=\operatorname{Range}\,(T)^\perp$.

Let $T$ be linear operator on a finite dimensional inner product space $V$ such that $T^2=T$. Determine whether $\ker T=\operatorname{Range}\,(T)^\perp$. I have proved that $\ker ...
2
votes
1answer
42 views

Inner product in Hilbert spaces

Considering a sequence $\{\boldsymbol{v}_k\}_{k=1}^\infty$ in a Hilbert space $\mathcal{H}$, and let $\{c_k\}_{k=1}^\infty \in \ell^2(\mathbb{N})$. Then for all $\boldsymbol{v}\in\mathcal{H}$ $$ ...
1
vote
1answer
14 views

Show that for every real-valued $L^2$ function $u$ on $S^1$ there is a real-valued $v$ in the same space such that $u + iv\in \widetilde{\mathbf H}^2$

For a homework exercise ($1.8$ in the book An Introduction to Operators on the Hardy-Hilbert Space) I am asked to show Let $u$ be a real-valued function in $L^2(S^1)$. Show that there exists a ...
1
vote
2answers
72 views

Proof of the Cauchy-Schwarz inequality in Axler's Linear Algebra Done Right

The proof of the Cauchy-Schwarz inequality in Axler's Linear Algebra Done Right (pg. 104) hinges on showing that $\|u\|^2 = \|\frac{\langle u,v\rangle}{||v||^2}v\|^2 + \|w\|^2 \tag{1}$ equals ...