Definition talk:Limit Point/Topology/Set

Some solution to the ugliness of the headings of this page needs to be invented. I am getting more motivated to really start developing a PW extension for MediaWiki, in order to achieve that transclusions are able to adapt heading levels... Now that would be great. --Lord_Farin 09:24, 24 February 2012 (EST)


 * What ugliness? --prime mover 16:12, 24 February 2012 (EST)


 * Unnecessary headings which deviate from house style to be able to transclude the page nicely. There might come instances where a workaround like this might not be feasible. I would ideally produce a structure such that one could do the following:

Pagename


 * which would transclude the proof (indicated by a custom 'proof' tag) of the page. More options could be added to the 'transclude' tag to allow for a flexible environment making transclusion more consistent and insightful (rather than littered 'onlyinclude' tags in pages, of which one has a hard time finding the use). --Lord_Farin 17:17, 24 February 2012 (EST)


 * Okay then, that would be of benefit. I admit to having had trouble in the past squeezing the information into the supported structures. --prime mover 17:37, 24 February 2012 (EST)

Incorrect definition?
I seriously doubt that the "definition from sequence" is actually equivalent to the other definitions. For example, let $\omega_1$ denote the smallest uncountable ordinal, i.e., the Hartogs number of $\omega = \left\{{0, 1, 2, \ldots}\right\}$. Consider its successor set $\omega_1^{+} = \omega_1 \cup \left\{{\omega_1}\right\}$ with its order topology. Then $\omega_1 \in \omega_1^{+}$ is a limit point of $\omega_1 \subseteq \omega_1^{+}$, but does not satisfy the "definition from sequence." --abcxyz (talk) 04:01, 12 October 2012 (UTC)


 * Okay so the context for that one needs to be amended. I'll check what my source work says, I probably misunderstood. The perpetrator of this mistake is to be fired. --prime mover (talk) 06:28, 12 October 2012 (UTC)

Possible duplication?
Unless I'm missing something, the "definition from open neighborhood" is merely a more symbolic way of writing exactly what is said in the "definition from open set." Could this be an accidental duplication, or is there some purpose for it? --abcxyz (talk) 05:11, 17 November 2012 (UTC)


 * Good call. Suggest though that somewhere in Definition:Open Neighborhood we emphasise the fact (it *is* true, isn't it?) that "an open neighborhood of (a set) $A$" is exactly the same thing as "an open set which has $A$ as a subset" (and similarly for points). The question remains: do we stick with the definition based on the added layer of technical detail that is "open neighborhood", or retain the definition as based on "open set containing $A$" which is easier to directly assimilate? Actually I think the best approach would be to use "open neighborhood" and then add a "that is" to explain that it means what we already have for Open Set. That would work. --prime mover (talk) 09:07, 17 November 2012 (UTC)


 * Your suggestion appears sound to me. It's probably best to expose people to definitions with explanation in (particularly) the definitions, so that we can be more confident about using the terminology in proofs (which is bound to happen, especially when and if more people show up to contribute). --Lord_Farin (talk) 09:11, 17 November 2012 (UTC)