Definition talk:Convergent Net/Cluster Point

From ProofWiki
Jump to navigation Jump to search

Again with my distaste for fragmentation.

This definition is in essence the same as a cluster point in other types of sequence. Hence I am not sure whether this should be defined as a separate instance of "cluster point".

Also we won't make this a subpage as it is not a convergent sequence, it is a concept different from a convergent sequence. We are trying to evolve the handling nesting of concepts by means of categorisation, not transclusion. We only want to transclude if the subpage is another (more specific, more general, whatever) variant of the same concept, otherwise it becomes difficult to manage. --prime mover (talk) 19:23, 19 June 2023 (UTC)

Also bear with me, I get cluster points and condensation points confused, I might have done so here. --prime mover (talk) 19:25, 19 June 2023 (UTC)
I made this a subpage because it was original a subheader of Definition:Convergent Moore-Smith Sequence. I would not have done it otherwise. Also, nets aren't covered in a standard undergraduate course (they were not mentioned at all in my undergrad, and in my masters they were mentioned probably once. They were apparently only mentioned in a Combinatorics class, oddly enough, and one that I didn't take), so I wouldn't want to introduce concepts in nets and then say "a sequence is a net indexed on $\N$" (or "countable set with appropriate ordering etc.") from a pedagogical perspective, if that's what you're getting at. Caliburn (talk) 22:40, 19 June 2023 (UTC)
Let me think about that in slow time because there's an idea here. --prime mover (talk) 22:49, 19 June 2023 (UTC)
Oh yes an early L_F contribution, I missed that. Still, as I say, we need to sort this out because it's awkward to maintain. --prime mover (talk) 22:48, 19 June 2023 (UTC)