Intereting Posts

Path to Basics in Algebraic Geometry from HS Algebra and Calculus?
Probability and Statistics, Penicillin is grown in a broth whose sugar content must be carefully controlled.
A+B is closed if one of them is compact
Showing $(\mathbb{Q},+)$ is not isomorphic to $(\mathbb{R},+)$
Why $\lim\limits_{n\to \infty}\left(1+\frac{1}{n}\right)^n$ doesn't evaluate to 1?
Union of preimages and preimage of union
How can we evaluate this $\prod_{k=1}^n(1+kx)$
Find splitting field of a cubic polynomial
Is $\lfloor n!/e\rfloor$ always even for $n\in\mathbb N$?
How do I calculate this limit: $\lim\limits_{n\to\infty}1+\sqrt{2+\sqrt{3+\dotsb+\sqrtn}}$?
How can we show that $(I-A)$ is invertible?
Swapping the order of limits in combinatoric?
Galois' theorem that $|F|=p^n$
find area of the region $x=a\cos^3\theta$ $y=a\sin^3\theta$
What is step by step logic of pinv (pseudoinverse)?

Sorry, this is a rather vague question. I was just wondering if there is any kind of theory about normed (if possible Banach) spaces over fields other than the real or complex numbers. I’m guessing that there must probably be some kind of topology or order on the field. More precisely, the question is if there is a conventional definition of normed space over an arbitrary field and if there has been any work done about the theory of these spaces. In particular, do any of the classical theorems (uniform boundedness, Hahn-Banach, etc) carry over?

After seeing http://en.wikipedia.org/wiki/Absolute_value_%28algebra%29 we could of course make the following rather naive definition:

Let $V$ be a vector space over $F$, and let $|\cdot|_F$ be a absolute value on $F$. Then a function $N:V \to \mathbb{R}$ is a norm if:

- Sum of closed spaces is not closed
- At most finitely many (Hamel) coordinate functionals are continuous - different proof
- The space $C$ with $\|f\|:=\int_a^b |f(x)|d(x)$ is a normed space but not a Banach space
- Homeomorphisms between infinite-dimensional Banach spaces and their spheres
- Subderivative of $ ||Au||_{L^{\infty}} $ to compute proximal operator
- Understanding the Frechet derivative

- $N(x) = 0$ iff $x = 0$
- $N(x + y) \le N(x) + N(y)$
- $N(cx) = |c|_F N(x)$

Any ideas?

Thanks.

- Mathematically rigorous text on classical electrodynamics.
- Texts on Principal Bundles, Characteristic Classes, Intro to 4-manifolds / Gauge Theory
- Book about the foundation of math?
- Integral of products of cosines
- Prove the normed space of bounded variation functions is complete
- C*-algebras as Banach lattices?
- Abstract algebra book recommendations for beginners.
- Category theory: Enough that polygonal diagrams commute
- Example of two norms on same space, non-equivalent, with one dominating the other
- Good problem books at a relatively advanced level?

Let me record my relatively superficial comments above as an answer. I think this might be of some use while we wait for Matt E to see and respond to the question.

Yes, the theory of Banach spaces over a complete ultrametric field has been extensively studied, for instance in the book by Schneider in Zev’s answer. There are important applications to modern number theory, especially the theory of p-adic families of modular forms. As Mariano has alluded to above, one of the major players in this game happens to be Professor M. Emerton.

If you want good analogues of the theorems of Hahn-Banach etc., you need to do something to circumvent the fact that there is no non-Archimedean field which is both locally compact and algebraically closed (unlike $\mathbb{C}$ in the Archimedean case). One way to do this is by studying **spherically complete** fields: for these one has the Hahn-Banach theorem verbatim. For other fields some modifications are necessary (and possible).

See these course notes of Kiran Kedlaya for a nice introductory treatment of the material in the above paragraph.

[Having just found this question, and seeing my name being brought up a couple of times, I feel I should say something!]

For me, the most familiar context for functional analysis concepts such as normed or Banach spaces, other than the classical case of coefficients in $\mathbb R$ or $\mathbb C$, is when the coefficient field is a $p$-adic field, i.e. a finite extension of $\mathbb Q_p$. (More generally, one can consider spherically complete completions of $\mathbb Q_p$, but finite extensions are the most concrete examples of these, and are good enough for many applications in number theory.)

The book by Schneider that Zev mentioned is a basic reference for this theory, and

the upshot is that all the standard theorems (Hahn–Banach, uniform boundedness, open mapping and closed graph, etc.) carry over. (Note also, in the definition of a norm that Zev quotes, that one asks for the ultrametric triangle inequality, which is stronger than the classical triangle inequality. This is natural when the coefficient field itself is non-archemedean, especially if you think about the basic examples: e.g. if $X$ is a compact topological space and you take your Banach space to be $\mathcal C(X,\mathbb Q_p)$ (the space of continuous $\mathbb Q_p$-valued functions on $X$), equipped with the sup norm, then this sup norm will indeed satisfy the ultrametric triangle inequality, since

that is true of the $p$-adic absolute value itself.)

As Pete mentioned in his answer, I (and others) have used this theory a lot in our investigations of the $p$-adic properties of automorphic forms. In general, in thinking about the $p$-adic numbers, there are times when it helps to be very algebraic in ones psychology, thinking of the $\mathbb Z_p$ as a projective limit of $\mathbb Z/p^n$ and so on, but there are other times when it is more helpful to think in analytic terms, and then functional analytic tools and view-points can be invaluable.

I haven’t read it, but the book Nonarchimedian Functional Analysis by Peter Schneider looks relevant. Over a non-archimedian field $K$, he defines a norm $q$ on a $K$-vector space $V$ to be a function $q:V\rightarrow\mathbb{R}$ for which

- $q(av)=|a|\cdot q(v)$ for any $a\in K$ and $v\in V$,
- $q(v+w)\leq\max\{q(v),q(w)\}$ for any $v,w\in V$, and
- $q(v)=0$ implies $v=0$.

Not my area, but a little google-ing came up with some Banach spaces for non-Archimedean fields. Some papers on the arxiv

http://arxiv.org/abs/0908.4381

http://arxiv.org/abs/1102.4302

which may or may not be of interest. Also

http://dx.doi.org/10.1017/S0305004100027353

suggesting the Hahn Banach theorem would not hold for arbitrary Banach fields.

Just from looking around, there seems to be a reasonable amount of papers studying non-Archimedean Banach spaces.

- relative size of most factors of semiprimes, close?
- Picturing the how the covariant derivative acts on vector fields
- Divergence of $\sum\limits_{n=1}^{\infty} \frac{\cos(\log(n))}{n}$
- Alternate proofs (other than diagonalization and topological nested sets) for uncountability of the reals?
- Irrationality of sum of two logarithms: $\log_2 5 +\log_3 5$
- How to compute $2^{\text{some huge power}}$
- nilpotent elements of $M_2(\mathbb{R})$, $M_2(\mathbb{Z}/4\mathbb{Z})$
- How can one change this recurrence relation to be in terms of the first value of a?
- I don't understand what a “free group” is!
- Lipschitz and uniform continuity
- Question concerning the GAP package qpa (find all ideals with a certain property)
- Inverse Laplace of $ \frac{1}{\sqrt{s} – 1} $?
- Is the class of subsets of integers countably infinite?
- How to find the determinant of this matrix?
- What kind of compactness does “expanding $\mathbb{R}$ by constants” have?