|
|
|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png)
proof of alternative characterization of ultrafilter
|
(Proof)
|
|
|
This entry is broken! Please report this to the author (rspuzio) by filing a correction. In the meantime, you can see if another rendering mode works.
|
|
(view preamble | get metadata)
Cross-references: pairwise disjoint, easy to see, unions, finite, proposition, strictly finer, contradiction, ultrafilter, finer, generate, filter subbasis, filter, implies, proof
This is version 13 of proof of alternative characterization of ultrafilter, born on 2004-10-08, modified 2008-02-10.
Object id is 6325, canonical name is ProofOfAlternativeCharacterizationOfUltrafilter.
Accessed 1307 times total.
Classification:
| AMS MSC: | 54A20 (General topology :: Generalities :: Convergence in general topology ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
