Definition talk:Product Topology

From ProofWiki
Jump to navigation Jump to search

Why is an element of a cartesian product not an ordered tuple? --prime mover (talk) 15:21, 7 October 2012 (UTC)

Maybe it is in some sources, but here on ProofWiki the current definition of an ordered tuple is less general than that. --abcxyz (talk) 15:23, 7 October 2012 (UTC)
OK fair enough. But should it be more general than that? --prime mover (talk) 15:34, 7 October 2012 (UTC)
I don't see why it should be. In my opinion, it should not be as general as a sequence, let alone an indexed family; otherwise, I don't see any point in having a separate page for an ordered tuple. What's your opinion? --abcxyz (talk) 15:38, 7 October 2012 (UTC)
My opinion: I'm totally out of my depth. --prime mover (talk) 17:15, 7 October 2012 (UTC)
I think the biggest problem with ordered tuples for this purpose is that they're ordered. The index set of a product needn't be. Even if they were allowed to be infinite, they wouldn't be general enough. Dfeuer (talk) 21:34, 8 December 2012 (UTC)