word looked up : home / archive

 Filter (mathematics) : Filter (topology) 

A filter F on a set S is a set of subsets of S with the following properties:

  1. S is in F.
  2. The empty set isn't in F.
  3. If A and B are in F, then so is their intersection.
  4. If A is in F and ABS, then B is in F.

A simple example of a filter is the set of all subsets of S that include a particular subset C of S. Such a filter is called the "principal filter" generated by C. The Fréchet filter[?] on an infinite set S is the set of all subsets of S that have finite complement.

Filters are useful in topology: they play the role of sequences in metric spaces. The set of all neighbourhoods of a point x in a topological space is a filter, called the neighbourhood filter of x. A filter which is a superset of the neighbourhood filter of x is said to converge to x. Note that in a non-Hausdorff space a filter can converge to more than one point.

Of particular importance are maximal filters, which are called ultrafilters. A standard application of Zorn's lemma shows that every filter is a subset of some ultrafilter.

For any filter F on a set S, the set function defined by

<math>
m(A)=\left\{ \begin{matrix} \,1 & \mbox{if }A\in F \\ \,0 & \mbox{if }S\setminus A\in F \\ \,\mbox{undefined} & \mbox{otherwise} \end{matrix} \right. </math> is finitely additive -- a "measure" if that term is construed rather loosely. Therefore the statement
<math>\left\{\,x\in S: \varphi(x)\,\right\}\in F</math>
can be considered somewhat analogous to the statement that φ holds "almost everywhere". That interpretation of membership in a filter is used (for motivation, although it isn't needed for actual proofs) in the theory of ultraproducts[?] in model theory, a branch of mathematical logic.

She at once floor, murmuring, 'Oh, the unhappy man.html">man, the unhappy man!'" "The unhappy woman, you mean." "No, sir.html">sir.html">sir.html">sir. She uttered the words I have just repeated. Evidently the tone, M. Daburon raised his eyes to the witness. The advocate.html">advocate lowered which he had taken a few notes. "Those words, sir, were the last spoken by Madame Gerdy. Assisted by since then, she has not recovered consciousness. The doctor--" "It is well," interrupted M. Daburon. "Let us leave that for the knowledge any one having the least interest in the death of this poor.html">poor fixed on Noel's, not wishing him to turn or lower his head. The advocate started, and seemed deeply moved. He was disconcerted; he one." "Is that really true?" asked the magistrate, looking at him more might benefit,--absolutely no one?" "I know only one thing, sir," replied Noel; "and that is, that, as far not betrayed poor old Tabaret. It would be too bad to cause the least injury to you, my dear sir? You will, I hope, explain yourself." Noel's embarrassment, of which he had already given some signs, truth, but the whole truth; but there are circumstances involved so Besides, it is very hard to be obliged to unveil such sad secrets, the Knowing, beforehand, what he was about to hear, he felt for the young for the tall clerk rose methodically, put his pen behind his ear, and strongest gratitude; his look returned thanks. "I am very much obliged to you, sir," he said with suppressed warmth, will be scarcely an effort to speak before you.

 On wordlookup.net  

All is still licensed under the GNU FDL.
It uses material from the wikipedia.



logo

navig stuff

home
archive