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 4 of 'uniform convergence'
[ view 'uniform convergence' | back to history ]

Title of object: uniform convergence
Canonical Name: UniformConvergence
Type: Definition

Created on: 2002-12-09 06:02:22.610554-05
Modified on: 2002-12-09 06:14:56.362042-05

Creator: Koro
Modifier: Koro
Author: Koro

Defines: uniformly convergent, pointwise
Synonyms: uniform convergence=pointwise convergence

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:

Let $X$ be any set, and let $(Y,d)$ be a metric space.
A sequence $f_1,f_2,\dots$ of functions mapping $X$ to $Y$ is said to be \textbf{pointwise convergent} (or simply convergent) to another function $f$, if the sequence $f_n(x)$ converges to $f(x)$ for each $x$; that is, if for each $x\in X$ and $\varepsilon>0$ there exists $N_x>0$ such that $d(f_n(x),f(x))<\varepsilon$ when $n>N_x$. This is usually denoted by $f_n\rightarrow f$.
The sequence of functions is said to be \textbf{uniformly convergent} if $N_x$ is independent of $x$; i.e. if for each $\varepsilon>0$ there exists $N$ such that, for all $x$ and all $n>N$, we have $d(f_n(x)-f(x))<\varepsilon$.
This is denoted by $f_n\xrightarrow[]{u} f$, or $f_n\rightarrow f$ uniformly or, less frequently, by $f_n\rightrightarrows f$.