Intereting Posts

Find the form of a second linear independent solution when the two roots of indicial equation are different by a integer
Dropping the “positive” and “decreasing” conditions in the integral test
Solving the general quadratic congruence mod $2^k$
Prove that $(a+1)(a+2)…(a+b)$ is divisible by $b!$
How to compute the gcd of $x+a$ and $x+b$, where $a\neq b$?
Prove that $\log _5 7 < \sqrt 2.$
How to derive the formula for the sum of the first $n$ odd numbers: $n^2=\sum_{k=1}^n(2k-1).$
Linear Diophantine Equations in Three Variables
Prove $f(S \cup T) = f(S) \cup f(T)$
Explicit example of a non-trivial zero of Riemann zeta function
Understanding the definition of dense sets
Lower bound for $\phi(n)$: Is $n/5 < \phi (n) < n$ for all $n > 1$?
Reference request: proof that the first hitting time of a Borel set is a stopping time
Trigonometric Uncertainty Propagation
Fluids Euler's Equation

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:

- Examples of compact sets that are infinite dimensional and not bounded
- Why isometric isomorphic between Banach spaces means we can identify them?
- Compact operators, injectivity and closed range
- Can the real vector space of all real sequences be normed so that it is complete ?
- If $X^\ast $ is separable $\Longrightarrow$ $S_{X^\ast}$ is also separable
- The space of Riemannian metrics on a given manifold.

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

Any ideas?

Thanks.

- Is it possible that every set can be specified?
- History of “Show that $44\dots 88 \dots 9$ is a perfect square”
- Looking for examples of Discrete / Continuous complementary approaches
- Topology needed for differential geometry
- What is a good book for a second “course” in group theory?
- Is computer science a branch of mathematics?
- Is Steinhaus theorem ever used in topological groups?
- Seeking more information regarding the function $\varphi(n) = \sum_{i=1}^n \left.$
- What are the prerequisites to Jech's Set theory text?
- Show that $\liminf_{n\to \infty}x_{n}\le\alpha(x)\le\limsup_{n\to\infty}x_{n}$ for $x=(x_{n})$ in $\ell^{\infty}$

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.

- Beginner: How to complete the induction case in a proof that all multiples are a product of the least common multiple
- If $(f\circ g)(x)=x$ does $(g\circ f)(x)=x$?
- $ W_0^{1,p}$ norm bounded by norm of Laplacian
- what is the name of this number? is it transcendental?
- Finite Index of Subgroup of Subgroup
- Overdetermined System Ax=b
- Very *mathematical* general physics book
- Yablo's paradox? a paradox without self-reference
- Are free products of finite groups virtually free?
- What is finite in a finite model
- Coin Tossing Game Optimal Strategy Part 2
- Divisor — line bundle correspondence in algebraic geometry
- Show that ${n \choose k}\leq n^k$
- How many solutions does this equation have $x^2 \equiv 1017 (\mod 2^k)$
- Hilbert's Nullstellensatz without Axiom of Choice