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

6
votes
0answers
68 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
112 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
52 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
74 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
146 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
42 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
43 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
121 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
76 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
115 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
180 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
53 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
338 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 ...
3
votes
0answers
43 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
95 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
72 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
155 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
883 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 ...
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
55 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
53 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
76 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
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
20 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),-),\, ...
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
65 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
31 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
47 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
387 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
272 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 ...
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
124 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 ...
2
votes
0answers
225 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 ...
2
votes
0answers
538 views

Gram-Schmidt Orthogonalization for subspace of $L^2$

I am a little stuck on the following problem: By using the Gram-Schmidt Orthogonalization, find an orthonormal basis for the subspace of $L^2[0,1]$ spanned by $1,x, x^2, x^3$. OK, so I have defined: ...
2
votes
0answers
185 views

Different topologies on a normed/inner product space

Given a normed vector space $X$. Let $\mathcal{T}$ represent the topology on $X$ induced by the norm. Define: $A$:={topologies that can make the norm continuous}, $B$:={topologies that can make the ...
1
vote
0answers
10 views

Find $\langle f,g \rangle$ w.r.t. $L_0 \perp L_1$.

Let $X=C[-1,1]$, and $L_k= \{ <t^{k+2i}, i=0,1,2,... > \} $. Define an inner product on $X$ with respect to $L_0 \perp L_1$. Then confirm that $L_0 \perp L_1 $ on your inner product. Can we ...
1
vote
0answers
11 views

Characterizing when kernels in Reproducing Kernel Hilbert Space (RKHS) are linearly independent

In my studies of RKHS i.e. Reproducing Kernel Hilbert Spaces stating the following Let $ \mathbb{H} $ be a RKHS on a set X. We are asked to characterize when the following set of kernels $ \{ ...
1
vote
0answers
19 views

Finding a maximal orthogonal basis from a set of functions

I have a set of functions $\{f_1,\ldots,f_n\}$ with an associated inner product $\langle f_j,f_k\rangle=\int d^2z f_1^*f_2$ . The functions are not linearly dependent; i.e. the rank $r<n$, where ...
1
vote
0answers
31 views

Is the adjoint of an isometry $S$ the inverse of $S$?

Let $S$ be an isometry with adjoint $S^\ast$. Prove that $S^\ast S=SS^\ast=I$. Here is what I have so far: Since $S$ is isometry, there is an orthonormal basis of $e_j$'s such that ...
1
vote
0answers
32 views

Inner Product Notation

I'm using a mathematics research paper to write code that calculates the minimum distance between two polygons. While I understand this isn't a code site, my questions is focused on how to read ...
1
vote
0answers
38 views

orthonormal basis in $L^2$ space

Let $\{\phi_i (x)\}_{i=1}^\infty$ be an orthonormal basis for $L^2 (S)$. Prove that $\{\psi_{ij} (x,y) = \phi_i (x) \phi_j (y)\}_{i,j=1}^\infty $ is an orthonormal basis for $L^2 (S \times S)$. Thanks ...