6
$\begingroup$

For context, I have done my undergrad in Physics and so am not as mathematically equipped.

From what I understand, a vector space over a field is defined by a scalar multiplication and vector addition. I also found this definition somewhere which helped my understanding;

operations over a vector space are such that;

A vector space over a field $F$ satisfies $V \times V \to V$ for addition and $F \times V \to V$ for multiplication.

Using this definition for the vector multiplication, we have a vector interacting with a scalar to produce another vector.

The inner product is a scalar product as it maps $ V \times V \to F$

If the inner product space is a vector space equiped with an inner product, how can it even be a vector space when its mapping to a scalar and not a vector?

$\endgroup$
2
  • 8
    $\begingroup$ The inner product is a different function that is distinct from both the addition and scalar multiplication functions. $\endgroup$ Commented Oct 7 at 20:56
  • 1
    $\begingroup$ You've got a complete answer, but let me point out that if you had said "how can it even be a vector space when its mapping to a scalar and not a vector" to me, I would have asked you to make it explicitly clear to me exactly what each of those "it"s referred to. $\endgroup$ Commented Oct 8 at 19:46

1 Answer 1

19
$\begingroup$

These things tend to get written in an imprecise way because writing things precisely is cumbersome and unnecessary once you know what's going on. But it's useful when learning to write things overly precisely so let's do that.

Most mathematical objects are actually a few pieces of information bundled together. We'll write the precise definition of the objects in question as a tuple:

Definition: A vector space over the field $F$ is a triple $(V,+,\:\cdot\:)$ where

  1. $V$ is a set,
  2. + is a function $V\times V\to V$, written $(v,w)\mapsto v+w$,
  3. $\:\cdot\:$ is a function $F\times V\to V$, written $(c,v)\mapsto c\cdot v$,

satisfying conditions [insert vector space axioms here].

It's important to realize that the addition and scalar multiplication functions are part of the data of a vector space $V$ itself. If you change the addition then you've changed the vector space, for instance.

Now let's define an inner product space overly precisely:

Definition: An inner product space over $F$ is a 4-tuple $(V,+,\:\cdot\:,\:\langle\:-\:,-\:\rangle\:)$ such that

  1. $V$ is a set,
  2. + is a function $V\times V\to V$, written $(v,w)\mapsto v+w$,
  3. $\:\cdot\:$ is a function $F\times V\to V$, written $(c,v)\mapsto c\cdot v$,
  4. $\langle-,-\rangle$ is a function $V\times V\to F$, written $(v,w)\mapsto\langle v,w\rangle\in F$,

satisfying conditions [insert vector space axioms and also the inner product axioms].

Notice the pieces 1-3 here are just the "data" of a vector space. So we can simplify the definition here as follows

Definition: An inner product space over $F$ is a 4-tuple $(V,+,\:\cdot\:,\:\langle\:-\:,-\:\rangle\:)$ such that

  1. $(V,+,\:\cdot\:)$ is a vector space,
  2. $\langle-,-\rangle$ is a function $V\times V\to F$ satisfying [the inner product axioms]

which I imagine is closer to the definition you've come across, but they probably just said something like "where $V$ is a vector space" instead of being precise about this being a tuple of objects.

So what you see here is that if we are careful about thinking about the functions defining a mathematical structure as pieces of data for the structure, then going from a vector space to an inner product space involves adding a piece of data, i.e. the data of the inner product function.

$\endgroup$
1
  • 3
    $\begingroup$ And if we were to be even more robotic, we’d have to use the same tuple-type description for the field as well, and remark that the $+,\cdot$ in the two cases aren’t the same necessarily :) Also, it’s good to note that the standard definition requires $F$ to be the field $\Bbb{R}$ or $\Bbb{C}$ to formulate the axioms for $\langle\cdot,\cdot\rangle$. $\endgroup$ Commented Oct 7 at 22:00

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.