Produto cartesiano: Diferenzas entre revisións

Contido eliminado Contido engadido
Etiqueta: edición de código 2017
 
Liña 52:
A observación de que a estrutura do produto cartesiano <math>X^n\,</math> ten unha [[teoría das categorías|estrutura]] semellante ao conxunto das funcións de dominio {1, 2, ..., n} e imaxe ''X'' suxire que o produto cartesiano pode ser xeneralizado para infinitas parcelas, como un conxunto de funcións.
 
Sexa <math>\Lambda\,</math> un conxunto (non-vacíobaleiro), chamado conxunto de índices. Sexa <math>X_{\lambda}\,</math> un conxunto definido para cada índice <math>\lambda \in \Lambda\,</math> (poden ser iguais ou non). Entón o '''produto''' destes conxuntos é definido por:
* <math>\prod_{\lambda \in \Lambda} X_{\lambda} = \{ f : \Lambda \rightarrow \bigcup_{\lambda \in \Lambda} X_{\lambda} \, \ f(a) \in X_a \} \, </math>