|
|
|
Viewing Version
4
of
'eventual property'
|
[ view 'eventual property'
|
back to history
]
| Title of object: |
eventual property |
| Canonical Name: |
EventualProperty |
| Type: |
Definition |
| Created on: |
2007-01-15 14:57:23 |
| Modified on: |
2007-01-15 17:53:53 |
| Classification: |
msc:06A06 |
| Defines: |
eventually |
Preamble:
\usepackage{amssymb,amscd}
\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}
\usepackage{pst-plot}
\usepackage{psfrag}
% define commands here
|
Content:
Let $X$ be a set and $P$ a property on the elements of $X$. Let $(x_i)_{i\in D}$ be a net ($D$ a directed set). As each $x_i\in X$, $x_i$ either has or does not have property $P$. We say that the net $(x_i)$ has property $P$ \emph{above} $j\in D$ if $x_i$ has property $P$ for all $i\ge j$. Furthermore, we say that $(x_i)$ \emph{eventually} has property $P$ if it has property $P$ above some $j\in D$.
For example, let $A$ and $B$ be non-empty sets. Let $P$ be the property on elements of $A$ that $x\in B$. So $P$ is nothing more than the property of elements being in the intersection of $A$ and $B$. A net $(x_i)_{i\in D}$ eventually has $P$ means that for some $j\in D$, the set $\lbrace x_i\mid i\in A\mbox{, } i\ge j \rbrace \subseteq B$. If $D=\mathbb{Z}$, then we have that $A$ and $B$ eventually coincide. Now, suppose $A$ is a topological space, and $B$ is an open neighborhood of a point $x\in A$. Let $P_B$ be the property that a point of $A$ is in $B$. Then a net $(x_i)$ has $P_B$ eventually for every neighborhood $B$ of $x$ is a characterization of convergence (to the point $x$).
\textbf{Remark}. The eventual property is a property on the class of nets (on a given set $X$ and a given property $P$). We can write $\operatorname{Eventually}(P,X)$ to denote its dependence on $X$ and $P$. |
|
|
|
|
|
