Definition talk:Limit Point/Filter

As reported by private email to the ProofWiki admin (corrected for grammar):
 * "The first definition is nonsense: the full set $S$ is an element of the filter $\mathcal F$, because filters are closed under superset.  Therefore, its complement relative to $S$ is the empty set.  If the empty set is one of the sets of the intersection, the intersection must be empty.  Therefore, there is NO element which is a limit point of a filter.


 * "The second definition is different, not equivalent, but it relies on the topological notion of a neighborhood." -- Scott Engles

This matter will be attended to in due course. --prime mover 22:35, 13 July 2012 (UTC)


 * Although the email may not have been the friendliest, it is correct. The first definition excludes absolutely everything, and therefore cannot possibly serve any purpose. --Dfeuer (talk) 18:26, 9 February 2013 (UTC)


 * Finally got round to sorting this out. Haven't a clue where I got that first definition from. It was cut from whole cloth at the same time the alternative definition was -- but I can find only that second one in the source work quoted. Deleted, with extreme prejudice. --prime mover (talk) 22:59, 7 January 2015 (UTC)

Limit point of a filter vs filter converges to a point
I've changed the definition and would like to explain why. The source used for the prior definition ("counterexamples in topology") uses the notions "filter F converges to a point x" and "x is a limit point of a filter F" interchangeably. However, in this wiki the latter has a different meaning which I tried to reflect. In particular, a filter $\mathcal F_A = \{F\mid A \subset F \}$ rarely converges (only if the set $A$ is a subset of any neighborhood of any point of $A$), but it always has any point of $A$ as its limit point, according to the usage on this wiki.

I don't have the sources using such definition so I just deleted the old one, disagreeing in notation. l3erdnik (talk) 09:31, 15 May 2019 (EDT)


 * I have problems with this approach. If the definition given in S&S is "wrong", then we should raise a page (or a series of pages) pointing out where and why it is wrong, with a view to clarifying the position. If it is not "wrong", but instead (as often happens in topology) is the result of differing terminological detail, then we most certainly do not delete it.


 * Your definition is (as you admit) unsourced, and there is no obvious course of direction to go to investigate the details. If you are particularly knowledgeable about this area of mathematics, and you are able to distinguish between the various definitions, pointing out where the differences lie, then go to it.


 * Furthermore, iff the definition you provided can be shown to be logically equivalent to the definition given here, then the approach is to add it as a second definition, and a page written to prove that equivalence.


 * I have reverted the edit, with a view to opening a dialogue on the subject, where you are invited to point out the specific motivation (rather than just the "in this wiki" comment -- where "in this wiki"?) for your change of definition. --prime mover (talk) 16:53, 15 May 2019 (EDT)