Definition talk:Connected (Topology)/Set

Is there any particular reason why this is called a "connected subset" while we have Definition:Closed Set? --abcxyz (talk) 18:28, 16 December 2012 (UTC)
 * Good point. I think you're right. --Dfeuer (talk) 19:37, 16 December 2012 (UTC)


 * Because a closed subset of a topological space is called a "closed set of a topological space" but a connected subset is called a "connected subset of a topological space." --prime mover (talk) 22:07, 16 December 2012 (UTC)


 * "...is called": that is, by all (or some) of your source works? Even so, does anyone know why? By the way, at least one of my source works (Rudin) calls this a "connected set." --abcxyz (talk) 23:34, 16 December 2012 (UTC)


 * BTW, you should watch out with the name Rudin—there are two well-known mathematicians by that name, Mary Ellen Rudin and Walter Rudin. M.E. Rudin is mostly known for coming up with monstrous counterexamples to conjectures in topology, while Walter Rudin apparently focused on analysis. --Dfeuer (talk) 23:47, 16 December 2012 (UTC)


 * I meant Walter Rudin. So far, he's the only Rudin in Mathematicians. --abcxyz (talk) 23:53, 16 December 2012 (UTC)


 * AFAIK Mary Ellen Rudin has not written any texts, just a series of papers. Therefore it is perfectly appropriate to refer, when discussing texts, especially when the subject of conversation is the field of analysis, to "Rudin".


 * As for the naming convention of these various objects, I already spend a considerable percentage of what is laughably referred to as "free time" doing a considerable quantity of tedious refactoring, and I am thoroughly disinclined to arbitrarily rename stuff at the request of other contributors. Sometimes it makes sense to change the name of a page / concept, and sometimes I can't see the point. In the latter case I just find I've got other things I'd rather be doing. As I say, if this is an unacceptable attitude, then I can be voted out of my editing privileges with ease. --prime mover (talk) 06:58, 17 December 2012 (UTC)