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

7
votes
0answers
79 views

In a finite dimensional inner product space with $T ∈ L(V)$, show that $\langle u,v\rangle = \langle T(u),T(v)\rangle$ implies $T$ is invertible.

Here is how I've tried to go about it, and I'm curious if it's true or if I'm way off base. T is invertible iff null$(T)=\{0\}$. Let $v∈V$ and suppose $T(v)=0$. If we can show that $v=0$, then $T$ is ...
6
votes
0answers
113 views

Geometric interpretation of $x_1^2y_1^2+x_2^2y_2^2+x_3^2y_3^2+\dots$

Say $x$ and $y$ are two $L_2$ unit vectors of size $n$. In that case the inner product: $$x_1y_1+x_2y_2+x_3y_3+\dots+x_ny_n$$ Is the cosine of the angle between them. For an application I was ...
5
votes
0answers
53 views

Progressed : Convergence problem in Hilbert Space and necessity of inner product

******** PROGRESS : so thanks to Ian's great comment I can get by the proof and that completeness is necessary but I need to know does this hold for general Banach spaces that are not Hilbert spaces? ...
5
votes
0answers
76 views

An inner product on the dual space of a non-complete inner product space?

As is well known, for any Hilbert space $V$, there is a natural inner product on the continuous dual. (the space of all continuous linear functionals). Is there a way to endow an inner product on ...
4
votes
0answers
39 views

scalar product for $\mathbb Q$-vector space in $\mathbb C$

In the texbooks I have for linear algebra, the scalar products are only introduce for $\mathbb R$ and $\mathbb C$ vector space, that lead me to following question: $W:=span(1,\sqrt{2}) \subset \...
4
votes
0answers
152 views

Inner product for dual space

Suppose we have a Hilbert space $H$. Is there any explicit expression for the inner product on $H^*$ without resorting to Riesz representation theorem? I am NOT looking for one that uses the ...
4
votes
0answers
46 views

A is positive definite implies Ker(A) = 0?

If $A$ is a positive definite matrix can it be concluded that the kernel of $A$ is $\{0\}$? pf: R.T.P $\ker(A) = 0$, Suppose not i.e there exists some $x$ in $\ker(A)$ s.t $x \neq 0$, then $$Ax = 0 \...
4
votes
0answers
44 views

Is it possible to define an inner product to an arbitrary field?

I've been trying to find the most general definition of an inner product space. Every definition I've found is either to $\mathbb{R}$ or to $\mathbb{C}$. Is it possible to define an inner product to ...
4
votes
0answers
129 views

Inner product space of measures

Let $(X,\Sigma)$ be measurable space and $\mu_1,\mu_2,\dots$ set of finite measures on $X$ such that $\mu_i \perp \mu_j$ for $i\neq j$. Now we can consider space of measures: $$ \mathcal{M} = \left\{ ...
4
votes
0answers
33 views

If for every operator represented by $A$ w.r.t to a basis $\mathcal{B}$, the matrix representation of $T^*$ is $A^*$, then $\mathcal{B}$ is orthogonal

Let $V$ be a finite-dimensional inner product space. Assume that for every linear operator $T$, represented by $A$ w.r.t to a basis $\mathcal{B}$, the matrix representation of the adjoint w.r.t to $\...
4
votes
0answers
85 views

Integral of a function with an exponentiated inner product

Let $f:\Bbb R^n\to \Bbb R^n$ be a continuous function such that $\int_{\Bbb R^n}|f(x)|dx\lt\infty$. Let $A$ be a real $n\times n$ invertible matrix and for $x,y\in\Bbb R^n$, let $\langle x,y\rangle$ ...
4
votes
0answers
132 views

Prob. 10, Sec. 3.2 in Erwine Kreyszig's “Introductory functional analysis with applications”

Here is Prob. 10 in the Problems after Sec. 3.2 in Introductory Functional Analysis With Applications by Erwine Kreyszig: ... Let $T \colon X \to X$ be a bounded linear operator on a complex ...
4
votes
0answers
187 views

Application of Cauchy-Schwarz with Sobolev norms

I'm working through the problems in the initial value formulation chapter in Wald's General Relativity. A short summary of the problem. I have to show that $$\sup_{x\in A}|f(x)|\le C||f||_{A,k}$$ ...
4
votes
0answers
60 views

Homework: Second derivative of $\langle Ax, x \rangle$

So let $A \in M_{n}$ and define $f: \mathbb{R}^n \to \mathbb{R}$ by $f(x) = \langle Ax, x \rangle $. Find f' and f''. After some work, I found the first derivative to be $f'(x)(v) = \langle Ax, v \...
4
votes
0answers
347 views

Inner Product as Weighted Average

Let $\zeta=e^{2\pi i/n}$, where $n\geq3$. Let $||\cdot||$ be the norm induced by the complex inner product $\langle\cdot,\cdot\rangle$. Then $$\langle x,y\rangle=\frac{1}{n}\sum_{k=1}^{n}||x+\zeta^...
3
votes
0answers
27 views

Estimating Lorentzian inner product

Let $\mathbb{L}^{n+1}$ be the Lorentz space, that is, the Euclidean space $\mathbb{R}^{n+1}$ equipped with the nondegenerate bilinear form $$ \langle x, y\rangle = x_1 y_1 + \cdots + x_n y_n - x_{n+1}...
3
votes
0answers
37 views

Square-root of $\iota\iota^\ast$, where $\iota$ is an isometric embedding between Hilbert spaces

Let $U$ and $H$ be Hilbert spaces and $\iota$ be an embedding of $U$ into $H$. Then, $$\pi x:=u\;\;\;\text{for }x\in H\text{ with }x=\iota u+y\text{ for some }u\in U\text{ and }y\in\left(\iota U\right)...
3
votes
0answers
47 views

A simple way to solve that inner product and functional question

Let $V$ be the polynomials space over $R$ of degree less than 3 with inner product $$\langle f,g\rangle= \int^{1}_{0} f(x)g(x) dx $$ if $x \in R$, compute $g_{x}$ such that $\langle f,g_{x}\rangle =...
3
votes
0answers
97 views

Is the inverse of a bijective connectedness preserving map , on a complete real inner product space , also connectedness preserving?

Let $X$ be a complete real inner-product space and $f:X \to X$ be a bijection which maps connected sets to connected sets ; then is it necessarily true that $f^{-1}$ also maps connected sets to ...
3
votes
0answers
74 views

Pureness of Vector States

How does one show that irreducibility is equivalent to a vector state being pure? In what follows I will fill in the details of the question: Let $\mathcal{H}$ denote a Hilbert space and let $\...
3
votes
0answers
49 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 ...
3
votes
0answers
172 views

Inner product exterior algebra

I have to prove that if $V$ is a real vector space ($\dim V=n$) with inner product $(.,.)$ then if we define $$ (v_{1}\wedge v_{2}\wedge\cdots\wedge v_{k},w_{1}\wedge w_{2}\wedge\cdots\wedge w_{k}) =...
3
votes
0answers
49 views

Shouldn't 'without loss of generality' be mentioned here?

Regarding the blocked portion my question is what if $x\ne z=y?$ Shouldn't without loss of generality be mentioned in the text?
3
votes
0answers
132 views

Inner spaces - A question about adjoints.

Question: Let $V$ be a complex vector space over $\mathbb{C}$ with inner product $\langle ,\rangle$. Let $E$ be an linear operator on $V$ such that $E^2=E$ with adjoint $E^*$. Show that $E$ is ...
3
votes
0answers
903 views

Existence of n distinct (real) roots of an orthogonal polynomial

I'm trying to get my head around the proof that an orthogonal polynomial ($P_n$ say) has at least n distinct roots. My understanding of the proof http://en.wikipedia.org/wiki/Orthogonal_polynomials#...
2
votes
0answers
30 views

Seemingly strange exercise on unitary Hermitian operator

Let $V$ be a finite dimensional inner product space. Let $T$ be a Hermitian unitary operator. Prove there's a subspace $W$ such that for each $v\in V$ we have $Tv=w-w^\prime$ where $w\in W,w^\...
2
votes
0answers
34 views

Inner-product on skew-hermitian matrices

Let $$\mathfrak{u}(n)=\{X\in M(n,\Bbb C):X+X^*=0\}$$ where $X^*$ is the conjugate transpose. Then, $\mathfrak{u}(n)$ is a real vector space. Problem. Show that $\langle X,Y\rangle=\...
2
votes
0answers
61 views

Given $Q:ℝ^d→(\text{Hilbert-Schmidt operators }U→ℝ^d)$, find a Hilbert-Schmidt operator $T:U→L^2(ℝ^d,ℝ^d)$ with $Q(x)u=(Tu)(x)$

Let$^1$ $U$ be a separable $\mathbb R$-Hilbert space $d\in\mathbb N$ $\lambda$ denote the Lebesgue measure on $\mathbb R^d$ $\Omega\subseteq\mathbb R^d$ be a bounded domain $H:=L^2(\Omega,\mathbb R^...
2
votes
0answers
34 views

Sobolev Space with partial inner product

In my work, I encountered the following problem. Consider the set of real-valued functions, which are ``balanced'', that is the set of bounded functions $f(x)$ such that $\lim_{x\rightarrow \pm \...
2
votes
0answers
58 views

I am trying to show an inequality involving the product of three inner product terms

Define the inner product $\langle\cdot,\cdot\rangle$ for continuous functions defined on $[0,1]$ as: $$\langle\,f\mid g\rangle=\int_{0}^{1}f(x)g(x)e^{\rho x}dx,$$ where $\rho$ is a real number. I ...
2
votes
0answers
58 views

How did Von Neumann think of the formula for scalar product?

My question is on the idea behind Von Neumann's formula for the scalar product induced from a norm that satisfies the parallelogram law. $\langle x,y\rangle=\frac 14(\|x+y\|^2-\|x-y\|^2)$. Was it by ...
2
votes
0answers
24 views

Inner product on quantized enveloping algebra

I have a question about a procedure, described in section $2.1.5$ of "Quantum bounded symmetric domains". Here the author describes how to introduce an inner product on $U_q(\mathfrak{g})$. Therefore ...
2
votes
0answers
44 views

Do I have the correct mental map for adjoint operators for inner product spaces?

Let $X$, $Y$ be finite dimensional inner product spaces, let $A: X \to Y$ be a linear operator, let $A^*: Y \to X$ be the adjoint operator to the linear operator, defined using $<y, Ax>_Y = <...
2
votes
0answers
55 views

Gradient of inner product in Hilbert space

Let $\mathcal{H}$ be a Hilbert space and \begin{align} f&\colon \mathcal{H} \to \mathbb{R}\\ f(x) &= ||x-c||_\mathcal{H} ^2 \end{align} from some constant $c \in \mathbb{H}$ Is the derivative ...
2
votes
0answers
34 views

Distribution of $\langle A,x\rangle\langle A,y\rangle + \langle B,x\rangle\langle B,y\rangle$ given $\langle x, y\rangle$

Let $A$ and $B$ be independent, normal distributed $N(0,1)$ normalized unit vectors, and let $x$ and $y$ be unit vectors with given inner product $\langle x, y\rangle=u$. Can we write the ...
2
votes
0answers
55 views

What's the advantage of using bra-ket notation over inner-product notation?

Both notations look pretty similar, and appear similar when undergo algebraic operations. Apart from personal taste (aesthetics) concerning commas ($\langle \phantom{\cdot},\phantom{\cdot} \rangle$) ...
2
votes
0answers
31 views

Extend $(\frac{1}{2}, \frac{i}{2} ,\frac{-1}{2},\frac{-i}{2} )$ to an orthonormal basis for $\mathbb{C}^4$.

Consider $\mathbb{C}^4$ with the standard inner-product$ < , >$. Extend $(\frac{1}{2}, \frac{i}{2} ,\frac{-1}{2},\frac{-i}{2} )$ to an orthonormal basis for $\mathbb{C}^4$. How is this possible ...
2
votes
0answers
81 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 ${(...
2
votes
0answers
84 views

Inner product issues

STATEMENT: Suppose V is a finite dimensional vector space with an inner product $\langle *,*\rangle$. And $\phi :V\rightarrow V^*$ is the isomorphism $\phi(v)=\langle v,*\rangle$ The inner product, ...
2
votes
0answers
46 views

Intuition behind complex inner product

Let $f_n : \mathbb C^n \to \mathbb R^{2n}$ be defined by $$(x_1 + iy_1, x_2 + iy_2, \dots) \mapsto (x_1, y_1, x_2, y_2, \dots )$$ I am having trouble believing that $$ \langle X, Y\rangle_{\mathbb ...
2
votes
0answers
21 views

The problem of support vector machine - How to minimize $||w||^{2}$ subject to constraints of the form $\alpha w_{1}+\beta w_{2}+b\geq\pm1$

I am studying the subject of support vector machines from an online course. I am given four points and their classification $$ x_{1}=((5,4),+),\, x_{2}=((8,3),+) $$ $$ x_{3}=((3,3),-),\, x_{4}=((7,...
2
votes
0answers
54 views

Show that $(Au,Bv)=(u,A^tBv)$

Let $ A, B $ be matrices of order $ n $, and $ \vec{u}, \vec{v} $ vectors from euclidean space $ \mathbb{R}^n $, then $ (Au,Bv) = (u,A^tBv) $ pd. $(\cdot ,\cdot)$ is my notation for inner product, ...
2
votes
0answers
68 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 ...
2
votes
0answers
33 views

Using derivatives at 0 to define an inner product

Can the following define an inner product on a subspace of the set of functions that are infinitely differentiable on $[-R,R]$. If so, do we get a Hilbert space? $$<f, g> = \sum_{n=0}^\infty \...
2
votes
0answers
48 views

Inner product space or Hilbert space of Quaternionic Functions

In what ways can you define an inner product, $<f,g>$, to create an inner product space or Hilbert space on the set of quaternionic functions $f:\mathbb{H} \rightarrow \mathbb{H}$?
2
votes
0answers
437 views

Duality pairing and difference with inner product in Hilbert spaces

My question is an extension to the post Acting of a dual pairing in Sobolev Spaces. Here duality pairings were discussed and even given explicit examples. Let $U$ and $V$ be Hilbert spaces such that ...
2
votes
0answers
296 views

Hermitian positive semi-definite matrix is a Gram matrix

I showed that every Gram matrix, i.e. a $n \times n$ matrix $A$ with $A_{ij} = <x_i,x_j>$ where $x_1,...,x_n$ are vectors in an inner product vector space $V$, is Hermitian and positive semi-...
2
votes
0answers
31 views

Linear group action over an hermitian space.

Let $\mathrm{h}$ be an non degenerate hermitian form on $\mathbb{C}^2$, and suppose $\mathrm{h}$ is of signature $(1,1)$. Let $A$ and $ B \in \mathrm{SL}(2,\mathbb{C})$ such that $G$ the group ...
2
votes
0answers
126 views

Weighted $L^p$ spaces and orthogonal families of polynomials

Let $I$ be a closed interval (bounded or not) of $\mathbb{R}$ and let $w\colon I \rightarrow \mathbb{R}$ be a continuous function that is positive inside $I$ and such that for every $n\in \mathbb{N}_0$...
2
votes
0answers
227 views

Is my formula for the change of basis of an inner product correct?

Suppose we have a real or complex finite dimensional vector space $V$ with an inner product $\langle \cdot , \cdot \rangle$ and a basis $B = \{v_1, \dots, v_n\}$. Define the matrix of the inner ...