Of course, you can define a (finite-dimensional) Euclidean space as a direct sum or a direct product since, they are equal for a finite number of summands/factors. I think the present definition is better, since in the infinite case, you can define an inner product on a direct sum, but not on a direct product.
OK.I hadn't seen that that way.RR^ is for a finite or non-finite number of dimensions. And EEhil is for the finite case. OK. -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/701a86a0-c1c7-40bc-bb2c-24c7ef1099a6%40googlegroups.com.
