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

66
votes
4answers
13k views

Norms Induced by Inner Products and the Parallelogram Law

Let $ V $ be a normed vector space (over $\mathbb{R}$, say, for simplicity) with norm $ \lVert\cdot\rVert$. It's not hard to show that if $\lVert \cdot \rVert = \sqrt{\langle \cdot, \cdot \rangle}$ ...
30
votes
2answers
4k views

Connections between metrics, norms and scalar products (for understanding e.g. Banach and Hilbert spaces)

I am trying to understand the differences between $$ \begin{array}{|l|l|l|} \textbf{vector space} & \textbf{general} & \textbf{+ completeness}\\\hline \text{metric}& \text{metric ...
21
votes
3answers
1k views

Why are every structures I study based on Real number?

I've been studying basic concepts of inner product vector space, normed vector space and metric space. And all the inner products, norms and metrics are defined to be real-valued functions in my ...
17
votes
3answers
1k views

What is an inner product space?

As I've understood it, what I've learned is that the dot product is just one of many possible "inner product spaces". Can someone explain this concept? When is it useful to define it as something ...
17
votes
3answers
2k views

Inner Product Spaces over Finite Fields

Inner product spaces are defined over a field $\mathbb{F}$ which is either $\mathbb{R}$ or $\mathbb{C}$. I want to know what happens if we try to define them over some finite field. Here's an ...
16
votes
4answers
1k views

How to interpret the adjoint?

Let $V \neq \{\mathbf{0}\}$ be a inner product space, and let $f:V \to V$ be a linear transformation on $V$. I understand the definition1 of the adjoint of $f$ (denoted by $f^*$), but I can't say I ...
15
votes
3answers
819 views

Maximizing a sum of inner products

Someone asked this question on a French maths forum here and it caught my attention. The question is the following: let $(E, \langle \cdot, \cdot \rangle)$ be a Euclidean vector space. Find the ...
14
votes
4answers
4k views

How to understand dot product is the angle's cosine?

How can one see that a dot product gives the angle's cosine between two vectors. (assuming they are normalized) Thinking about how to prove this in the most intuitive way resulted in proving a ...
14
votes
1answer
595 views

Multiplicative norm on $\mathbb{R}[X]$.

How to prove that : there is no function $N\colon \mathbb{R}[X] \rightarrow \mathbb{R}$, such that : $N$ is a norm of $\mathbb{R}$-vector space and $N(PQ)=N(P)N(Q)$ for all $P,Q \in \mathbb{R}[X]$. ...
13
votes
2answers
5k views

Differentiating an Inner Product

If $(V, \langle \cdot, \cdot \rangle)$ is a finite-dimensional inner product space and $f,g : \mathbb{R} \longrightarrow V$ are differentiable functions, a straightforward calculation with components ...
12
votes
3answers
2k views

An orthonormal set cannot be a basis in an infinite dimension vector space?

I'm reading the Algebra book by Knapp and he mentions in passing that an orthonormal set in an infinite dimension vector space is "never large enough" to be a vector-space basis (i.e. that every ...
12
votes
1answer
285 views

Inner product on $C(\mathbb R)$

With Axiom of choice it is possible to construct an inner product on $C(\mathbb R)$. My question is, is it possible to explicitly construct an inner product on $C(\mathbb R)$? I.e. to give a closed ...
12
votes
3answers
645 views

What is a complex inner product space “really”?

To be clear on this, I know what is the definition of an inner product space and some properties and theorems about them. What I am asking for is an intuition for this definition in the complex case. ...
12
votes
1answer
398 views

What is “inner” about the inner product?

The inner product I am asking about is the one that generalizes the dot product for an arbitrary inner product space. Why is it called an "inner" product? Is there an outer product? Who named it ...
12
votes
1answer
178 views

In a real normed linear space if $||x||=||y||$ implies $\lim_{n \to \infty} ||x+ny||-||nx+y||=0$ , then the norm comes from an inner-product space?

$(V,\|\cdot|)$ be a real normed linear space such that $\|x\|=\|y\|$ implies $\lim\limits_{n\to\infty} \|x+ny\|-\|nx+y\|=0$, then is it true that the norm comes from an inner-product space ?
11
votes
4answers
2k views

Is Inner product continuous when one arg is fixed?

In a inner product space with inner product $\langle\ ,\ \rangle$ and real or complex line as its base field, for each point $x$ in the space, is $\langle x,-\rangle$ continuous function on the second ...
11
votes
2answers
4k views

Is a norm a continuous function?

Is a norm on a set a continuous function with respect to the topology induced by the norm? Is a topology on the set that can make the norm continuous (i.e. the topology that is compatible with the ...
11
votes
5answers
6k views

Why does cross product give a vector which is perpendicular to a plane

I was wondering if anyone could give me the intuition behind the cross product of two vectors $\textbf{a}$ and $\textbf{b}$. Why does their cross product $\textbf{n} = \textbf{a} \times \textbf{b}$ ...
11
votes
2answers
232 views

Motive for the definition of inner product

Mathematicians pride themselves on writing proofs of propositions in an elegant way, but frequently (maybe even usually?) neglect to formally write motivations of definitions with the same elegance, ...
11
votes
1answer
462 views

How to motivate the axioms for the inner product

Typically, one doesn't just write down lists of axioms and then sees if there are enough interesting examples that satisfy them; they evolve over time, usually from a couple of very ...
10
votes
4answers
1k views

Understanding the Musical Isomorphisms in Vector Spaces

I am trying to solidify my understanding of the muscial isomorphisms in the context of vector spaces. I believe I understand the definitions but would appreciate corrections if my understanding is not ...
9
votes
3answers
1k views

Is Cross Product Defined on Vector Space?

In Wikipedia, a cross product between two "vectors" is defined in terms of the angle between the vectors and their magnitudes. As I learned cross product in linear algebra, which I understand to be ...
8
votes
5answers
999 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 ...
8
votes
4answers
651 views

Show that if $T_1$, $T_2$ are normal operators that commutes then $T_1+T_2$ and $T_1T_2$ are normal.

Let $V$ be a finite dimensional inner-product space, and suppose that $T_1$, $T_2$ are normal operators on $V$ that commutes. How to show that $T_1+T_2$ and $T_1T_2$ are then normal? It is clear if ...
8
votes
1answer
1k views

Equivalent inner products on a Hilbert space

Take a Hilbert space $(\mathcal H,(\cdot,\cdot)_{\mathcal H})$ and two equivalent inner products $(\cdot,\cdot)_1$ and $(\cdot,\cdot)_2$ on $\mathcal H$, i.e. such that there are $a,b \in \mathbb R$ ...
8
votes
2answers
123 views

In a complex vector space, $\langle Tx,x \rangle=0 \implies T = 0$

Suppose $T$ is a linear operator on a complex inner product space. Is it a theorem that if $\langle Tx,x\rangle=0$ for all $x$ in the space then $T=0$. The theorem fails in the real case, as seen for ...
8
votes
3answers
1k views

Proofs of the Cauchy-Schwarz Inequality?

How many proofs of the Cauchy-Schwarz inequality are there? Is there some kind of reference that lists all of these proofs?
8
votes
1answer
123 views

Inner product space over $\mathbb{R}$

Definition of the problem I have to prove the following statement: Let $\left(E,\left\langle \cdot,\cdot\right\rangle \right)$ be an inner product space over $\mathbb{R}$. prove that for all $x,y\in ...
8
votes
2answers
247 views

Alternating two-form

Let $V$ be a real vector space of dimension $2$, and let $\langle\ \ ,\ \ \rangle$ be an inner product on $V$. Define $f:V^4 \to \mathbb{R}$ by $$f(x,y,z,w):=\langle x,y \rangle \langle z,w \rangle- ...
7
votes
1answer
1k views

An example of a norm which can't be generated by an inner product

I realize that every inner product defined on a vector space can give rise to a norm on that space. The converse, apparently is not true. I'd like an example of a norm which no inner product can ...
7
votes
3answers
85 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$ ...
7
votes
4answers
222 views

A specific type of orthogonal bases

In $\mathbb{R}^n$, can we find an orthogonal basis $v_1,v_2,\ldots,v_n$ with $\|v_i\|=1$ such that $$\|\bar{v}_1\|=\|\bar{v}_2\|= \cdots =\|\bar{v}_n\|$$ where $\bar{v}_i\in\mathbb{R}^m$ is the vector ...
7
votes
2answers
562 views

Is a bra the adjoint of a ket?

The instructor in my quantum computation course sometimes uses the equivalence $$(\left|a\right>)^\dagger\equiv\left<a\right|$$ I understand that this is true for the typical matrix ...
7
votes
2answers
123 views

Proving: $2n (\sum_{i=1}^{2n} a_i^2) \geq (\sum_{i=1}^{2n} a_i)^2+(\sum_{i=1}^{2n} a_i (-1)^i)^2$

Let $a_i\in \mathbb{R}$ and $n$ an integer. How do you prove: $$2n \left(\sum_{i=1}^{2n} a_i^2\right) \geq \left(\sum_{i=1}^{2n} a_i\right)^2+\left(\sum_{i=1}^{2n} a_i (-1)^i\right)^2?$$ This is ...
7
votes
2answers
725 views

A Banach Manifold with a Riemannian Metric?

Given an infinite dimensional manifold modeled on a Banach space, what does it mean for it to have a Riemannian metric? Does it necessarily mean that it is actually a Hilbert manifold? My ...
7
votes
1answer
230 views

Energy estimate of the differential equation $\dot{x}=Ax$

Conside the differential equation $$\dot{x}=Ax,\qquad x(t):{\bf R}\to{\mathcal H}$$ where $\mathcal{H}$ is a Hilbert space and $A$ is a bounded linear operator. With the initial condition, one can ...
7
votes
1answer
165 views

Does this inner product on $L^1([0,1])$ have a name?

Math people: For $f, g \in L^1([0,1])$, define $$\langle f,g \rangle = \int_0^1 \int_0^1 f(t)g(t')\exp(-|t-t'|)dt'\,dt.$$ Although we don't normally think of $L^1([0,1])$ as an inner product space, ...
6
votes
2answers
337 views

Determinant called Grammian

Famously, if functions $f_1,f_2,…,f_n$, each of which possesses a derivative of order $n-1$, are linearly independent on the interval $I$, if $$ \det\left( \begin{array}{ccccc} f_1 & f_2 & ...
6
votes
2answers
2k views

Is complex conjugation needed for valid inner product?

What are the benefits of using a conjugate linear inner product in a complex vector space vs a simple linear inner product? That is, why do we demand that $(y,x) = \overline{(x,y)}$ as opposed to ...
6
votes
1answer
23k views

Proof for triangle inequality for vectors

Generally,the length of the sum of two vectors is not equal to the sum of their lengths. To see this consider the vectors $u$ and $v$ as shown below. By considering $u$ and $v$ as two sides of a ...
6
votes
1answer
662 views

For complex matrices, if $\langle Ax,x\rangle=\langle Bx,x\rangle$ for all $x$, then $\langle Ax,y\rangle=\langle Bx,y\rangle$ for all $x$ and $y$?

Given $A$ and $B$, $n\times n$ complex matrices. If $\langle x,y\rangle =y^{*}x$ for all $x,y\in \mathbb C^{n}$, then the following are equivalent: (1) $\langle Ax,y\rangle=\langle Bx,y\rangle$, for ...
6
votes
2answers
456 views

Cauchy-Schwarz for metrics with arbitrary signatures

When the norm of a vector is always greater than or equal to zero, the Cauchy-Schwarz inequality holds, but what if we look at a metric with an arbitrary signature? Then the inner product of a vector ...
6
votes
2answers
77 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 ...
6
votes
1answer
144 views

Rotations and reflections in ${\bf R}^3$.

By a rotation in ${\bf R}^3$ I mean an orthogonal linear transformation $f:{\bf R}^3\to {\bf R}^3$ represented by a matrix $A$ (i.e. $fx=Ax$) with $\det A=1$. By a reflection (through $S$) I mean an ...
6
votes
3answers
343 views

Why isn't it a Hilbert space

Let $X$ be the vector space of all the continuous complex-valued functions on $[0,1]$. Then $X$ has an inner product $$(f,g) = \int_0^1 f(t)\overline{g(t)} dt$$ to make it an inner product space. But ...
6
votes
1answer
231 views

If the unit sphere of a normed space is homogeneous is the space an inner product space?

Consider a normed vector space $V$. Suppose that for every pair of unit vectors $v,w$ there exists a linear isometry which sends $v$ to $w$ (and leaves the subspace spanned by $v$ and $w$ invariant). ...
6
votes
3answers
268 views

On coverings of the complex sphere

Here, everything takes place in $\mathbb{C}^d$ for some $d$, and the sphere $\mathcal{S} = \{\mathbf{x}\in\mathbb{C}^d:\|\mathbf{x}\| = 1\}$. Given $\delta > 0$, consider a collection of vectors ...
6
votes
1answer
3k views

Double dot product vs double inner product

Anything involving tensors has 47 different names and notations, and I am having trouble getting any consistency out of it. This document (http://www.polymerprocessing.com/notes/root92a.pdf) clearly ...
6
votes
0answers
96 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
5answers
239 views

Show: $(x+y)^4 \leq 8(x^4 + y^4)$

I wish to show the following statement: $ \forall x,y \in \mathbb{R} $ $$ (x+y)^4 \leq 8(x^4 + y^4) $$ What is the scope for genralisaion? Edit: Apparently the above inequality can be shown ...