1
$\begingroup$

I have come across the term "ultra prefilter" which has two possible definitions (that I can think of). I tried googling this first I swear! (but google thinks I'm looking for filtered water or a water purifier)

The two most obvious meanings to assign to an ultra prefilter $F$ on a space $X$

  • $F$ is a prefilter on $X$ which is not properly contained in any other prefilter on $X$

  • $F$ is a prefilter on $X$ which is equivalent to any of its refinements

The first one is simply the definition of an ultra filter applied to a prefilter instead. However the second one seems more appropriate, but I wanted to confirm it before I trust it too deeply.

1 Answers 1

2

An ultra prefilter is a prefilter, such that all supersets of the prefilter form an ultrafilter. That is, it is a filter base of an ultrafilter. You can take a look at 5.2. in Pete L. Clark's notes on convergence.

  • 0
    It's funny, I know exactly what paragraph you are referring to when you mention the "conventions", I remember the paragraph exactly, yet I didn't make the connection..... Thanks for the answer!2012-05-23