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
110 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
49 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
66 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
37 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
109 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
31 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
72 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
104 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
170 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
52 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
315 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
40 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 ...
3
votes
0answers
93 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
66 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
46 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
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
129 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
842 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
51 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
42 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
46 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
49 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
71 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
126 views

Inner product exterior algebra

I have to prove that if V is a real vectorial space (dimV=n) with inner product (.,.) then if we define $$ (v_{1}\wedge v_{2}\wedge...\wedge v_{k},w_{1}\wedge w_{2}\wedge...\wedge w_{k}) ...
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
19 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
50 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
63 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
30 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
46 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
334 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
243 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
121 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
223 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
519 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
180 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
23 views

Extending the trace inner product to all matrix (real) inner products

In ${\bf R}^{n\times p}$ we have the trace inner product given by $$\langle A, B\rangle=\text{tr}(A^TB)$$ which can be interpreted as the Euclidean inner product on ${\bf R}^{np}$. All inner ...
1
vote
0answers
44 views

Orthogonality of vectors and its dependence on the inner product.

Consider a set of vectors, $\{{\bf e}_i\}$ in $\mathbb{R}^n$. I am thinking specifically of the standard orthonormal basis. I am having a very difficult time understanding what it means for vectors to ...
1
vote
0answers
30 views

Defining a Euclidean Structure on a real vector space.

This comes from a homework question: For $\bf x, \bf y$ $\in \mathbb{R}^n$, put $\langle {\bf x}, {\bf x} \rangle$ = $\sum_{i=1}^n 2x_i^2 - 2\sum_{i=1}^{n-1}x_ix_{i+1}$. Show that the corresponding ...
1
vote
0answers
14 views

Find in terms of f and g, the projection of h upon S, where S = span{f,g}

My attempt so far is: ai) $\operatorname{Proj}_S(x)= Px$, where $P = (w_1w_1^T+w_2w_2^T)$ and $\{w_1,w_2,\ldots,w_m\}$ is an orthogonal basis for $S$. Let $w_1 = f$ and $w_2 = ...
1
vote
0answers
37 views

inner product question for first property

does this equivalence show the conjugate symmetry property on a space of functions on same domain? Is this correct? $$\int_{-\infty}^{+\infty} e^{-x^2} f^*(x)g(x) \, dx = ...
1
vote
0answers
97 views

Characteristic polynomial of adjoint

I'm trying to show that the adjoint transformation $T^*$ of the endomorphism $T$ on a finite dimensional, real inner product space has the same characteristic polynomial as $T$ in a coordinate free ...
1
vote
0answers
24 views

The probability of measuring the control qubit in zero in a quantum circuit

I’m working on an assignment where I have to solve some questions about a quantum circuit. In particular, I have a quantum circuit with three qubits: $|0\rangle$(referenced to as the control qubit), ...
1
vote
0answers
25 views

The inner product spaces and linearity in probability

Consider a class of inner product spaces $$\langle \cdot,\cdot\rangle_{{\lambda}\in \Lambda}: R^n\times R^n\to R$$ parameterized by $\lambda \in \Lambda=\Delta(\{w_1,....,w_n\})$, the set of all ...
1
vote
0answers
39 views

How can we check that for a given norm, we can found an inner product?

Let $$\Bbb C^2=\{w=(z_1,z_2) : z_1,z_2\in\Bbb C\}$$ be the vector space of all ordered pairs of complex numbers. Can we obtain the norm defined on $\Bbb C^2$ by $$||w||=|z_1|+|z_2|$$ from an inner ...
1
vote
0answers
47 views

Eigenvalue for a conjugate operator.

$\newcommand{\lbrac}[1]{\left( #1 \right)}$ Let $V$ be a complex inner product space, and let $T:V\to V$ be a linear operator over $V$ and $T^*$ its adjoint. Suppose $\lambda$ is an eigenvalue of $T$. ...