42

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 example:

Let $\mathbb{F} = \{0,1,a,b\}$ be a finite field with + and * defined by the following Cayley tables:

Cayley table for some finite field

Now, define a very simple vector space $\mathcal{V} = \{O, V\}$ over $\mathbb{F}$ as follows:

  1. $\mathcal{V}$ is an Abelian group over addition, with identity $O$. Therefore, $O+O = V+V = O$, and $O+V = V+O =V$.
  2. The scalar multiplication is governed with these rules: For any $e \in \mathbb{F}$, we have $eO = O$. Define $0V = O$, and $1V=aV=bV=V$.

One can easily check that $\mathcal{V}$ is a vector space over $\mathbb{F}$.

Now, we define an inner product for $\mathcal{V}$:

  1. $\langle O,O \rangle = 0$ and $\langle V,V \rangle = 1$;
  2. $\langle V,O \rangle = \langle O,V \rangle = 0$.

It seems that the above example demonstrates an inner product space over a finite field.

Is the above notion ever studied? Does it have any applications?

We avoided "conjugate symmetry" in the definition above, by assuming the conjugate of each member of $\mathbb{F}$ is itself. Can we define conjugation for fields other than $\mathbb{C}$? (Well, I heard the name C*-algebra, but I don't know whether it relates to my question.)

For instance, let $\mathbb{Q}[\sqrt 3] = \{a+b\sqrt 3 \mid a,b \in \mathbb{Q} \}$ be $\mathbb{Q}$ adjoined with $\sqrt 3$. For any $e = a+b\sqrt 3$ in $\mathbb{Q}[\sqrt 3]$, can we define the conjugate of $e$ as $e^* = a-b\sqrt 3$? This satisfies the condition below: Both addition and multiplication of $e$ and $e^*$ are members of the underlying subfield.

M.S. Dousti
  • 3,091
  • 3
  • 27
  • 41
  • 1
    A (finite-dimension) vector space is a free module, that is $\mathbb F^n$. If your field has *four* elements your vector space must have $4^n$ for some $n\ge 0$ elements. – Asaf Karagila Jul 04 '11 at 06:23
  • The operation you define under 1. is not a group operation -- you can't have $O+O=O+V$ with $O\neq V$ in a group, nor is $O$ an identity if $O+V=O\neq V$. – joriki Jul 04 '11 at 06:28
  • @joriki: Thanks, corrected. @Jyrki: Fortunately, I got the chance to read your answer before you deleted it :) I believe the correction only affects your first point (and maybe the 2nd point), but the remainder of the answer are still very valuable. – M.S. Dousti Jul 04 '11 at 06:54
  • @Sadeq: I don't think that much harm was done. Now that you fixed the group operation my first point becomes valid, so I undelete and expose my answer to criticism. – Jyrki Lahtonen Jul 04 '11 at 07:07

3 Answers3

24

1) The action of $F$ on $\mathcal{V}$ that you defined does not turn $\mathcal{V}$ into a vector space. If it did, we would need to have $$ V=bV=(1+a)V=1V+aV=V+V=0. $$

2) We usually restrict the notion of an inner product to vector spaces over a field, where the elements of the field (=the scalars) can be ordered. Most notably we want to have a set of positive elements. You hopefully remember that one of the axioms of an inner-product demands that the inner product of a non-zero vector with itself should be positive. Well, what are the positive elements of a finite field? Here we have a problem. Normally we would want to declare $1$ as a positive element. But also we want the sum of two positives to be positive, so $1+1=2$ should be positive. But in the field of four elements $1+1=0$, so $0$ should be positive?? By a similar argument non-zero vectors in a vector space over a finite field often have zero 'inner product' with itself. Doesn't look too good, does it? [Edit] As Theo points out, the reason for this is that the inner product is used to define a length of a vector (and a metric in the space), so we need to be able to do square roots. As it happens, in your field all the elements do have square roots (all the finite fields of characteristic 2 share this property), but the problem with the positive elements persists.[/Edit]

3) The closest thing to an inner product on a vector space over a finite field (or other non-ordered field) is a bilinear symmetric form. It comes together with an associated quadratic form. These are well studied objects in algebra.

4) The kind of conjugations you seem to talk about are also well studied in algebra. Many number fields have several such symmetries, and they are called automorphisms of the field. Look up field theory (or Galois theory) to learn more. Even your field of 4 elements has a non-trivial one. The mapping $F:0\mapsto, 1\mapsto 1, a\mapsto b, b\mapsto a$ has the following nice properties:

$$ F(x+y)=F(x)+F(y)\qquad F(xy)=F(x)F(y) $$

for all $x,y$ in your field.

Jyrki Lahtonen
  • 123,594
  • 24
  • 249
  • 599
  • Concerning 2): Don't you also want a square root in order to have an associated metric? So it seems that we're essentially confined to $\mathbb{R}$ and $\mathbb{C}$ when speaking of inner products *and* draw upon the advantages of having a topology (Tim's answer notwithstanding). – t.b. Jul 04 '11 at 07:14
  • @Theo: True. Certain subfields of $\mathbf{R}$ would still work, like the algebraic numbers. Any kind of (metric) completeness then forces us to $\mathbf{R}$ or $\mathbf{C}$. – Jyrki Lahtonen Jul 04 '11 at 07:24
  • We readily have (1): By definition, V+V equals O. Am I wrong? – M.S. Dousti Jul 04 '11 at 07:45
  • @Sadeq: Point (1) says that if your action gives a vector space, then as a consequence we get $0=V$. This is because you defined $bV=V$, but in a vector space also $bV=(1+a)V=1V+aV$. These you defined to be $1V=V, aV=V$, so putting it all together we arrive at a contradiction $V=V+V=0$. – Jyrki Lahtonen Jul 04 '11 at 08:39
  • @Sadeq: Sorry about not making it clear that (1) was meant to show that your definition leads to a contradiction. – Jyrki Lahtonen Jul 04 '11 at 16:45
  • It is a subfield of the field that must be ordered obviously (complex numbers not ordered) – AnyAD May 30 '20 at 04:53
  • Would it make sense to use extensions of scalars such as we do when complexifying a vector space V ? So if we do a field extension from the Complexes C to other field F, we can go from V as a vector space over R to a vector space over C , if we extend C to F, can we extend an inner-product space over C into an inner-product space over its extension F? – MSIS Jan 18 '21 at 05:09
8

(I'll not address your concrete example, sorry!)

Actually you need $K$ to be a $*$-division ring in order to make sense of a generalization of inner product space. You can always equip every division ring with the trivial conjugation operation $*$ that maps every element to itself. (This is not very interesting, but it shows that the need for a conjugation operation does not exclude any division rings from consideration.)

But the notion of a $*$-division ring $K$ is enough to define a $K-$ vector space $H$ as a $K-$module, and also define what a nondegenerate hermitian form on $H$ should be.

I can't tell you if this notion has any applications. I can tell you instead that it does not have any applications in quantum mechanics (one major area of applications of Hilbert spaces), because there is a very strong theorem that states that assuming some basic axioms that are needed for quantum mechanics in infinite dimensions, K has to be the real numbers, the complex numbers or the quaternions.

For more details please visit this blog post: Soler's theorem, nCafe.

Tim van Beek
  • 5,022
  • 18
  • 22
7

There is a certain generalization of inner product spaces but it's not quite what you want: Hilbert C* modules are (essentially) Hilbert spaces (i.e. complete inner product spaces) over arbitrary C*-algebras. Finite fields are definitely not C*-algebras, but you can have (among other things) $\mathbb{C}^n$ (and in particular $\mathbb{C}$, the classical case), $\ell^2$, $L^2 [0,1]$, etc. The theory is quite well-developed. You have a Cauchy-Schwarz inequality, an induced norm and metric, and so on. You can read more about it in Wiki:

http://en.wikipedia.org/wiki/Hilbert_C*-module

t.b.
  • 74,358
  • 9
  • 254
  • 333
Mark
  • 5,488
  • 28
  • 30