Talk:Topological Product of Compact Spaces

From ProofWiki
Jump to navigation Jump to search

The reason why that statement is made on two lines: (1) "Suppose ..." (2) "Then ..." is because the supposition that is made applies to the entire section. The supposition having been made, keep it in mind for the whole of that section. The "If ... then ..." all on one line stands alone, and one is not certain that the statement has more to say than just the standalone statement. It is then less obvious how this holds together. --prime mover 16:34, 2 January 2012 (CST)

I would prefer it differently: If ... are all good, then ....(This is the statement that is being proved in step 1.) Suppose that for any i,... Then ... is covered ... (This is the proof.) --Cokaban 05:16, 3 January 2012 (CST)
I agree with p.m (this time at least). In many mathematical texts, the assumptions are somewhat littered throughout the text, leading to confusion and incorrect deductions. For this site aims to provide rigour and clarity, we should avoid to burden the readers by compressing the text too much. This is also the main justification for the 'short sentences' house style. --Lord_Farin 06:40, 3 January 2012 (CST)