PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 17 of 'Gelfand-Tornheim theorem'
[ view 'Gelfand-Tornheim theorem' | back to history ]

Title of object: Gelfand-Tornheim theorem
Canonical Name: GelfandTornheimTheorem
Type: Theorem

Created on: 2004-02-26 04:37:19
Modified on: 2004-02-27 05:07:49

Creator: pahio
Modifier: pahio
Author: pahio

Classification: msc:12J05
Keywords: real numbers, complex numbers

Preamble:

% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here
Content:

Theorem: A normed field is isomorphic either to the field $\mathbb{R}$ of real numbers or to the field $\mathbb{C}$ of complex numbers.
Definition: The {\em normed field} means a field $K$ having as its subfield a field $R$ isomorphic to $\mathbb{R}$ and satisfying the following:
There is a mapping $\|\cdot\|$ from $K$ to the set of non-negative reals such that
\begin{itemize}
\item $\|a\| = 0$ iff $a = 0$
\item $\|ab\| \le \|a\|\cdot\|b\|$
\item $\|a+b\| \le \|a\|+\|b\|$
\item $\|ab\| = |a|\cdot\|b\|$ when $a \in R$ and $b \in K$
\end{itemize}