Origem: Wikipédia, a enciclopédia livre.
Intersecção Diagonal é um termo usado em matemática, especialmente na teoria dos conjuntos.
Se
é um número ordinal e
é uma sequência de subconjuntos de
, então a intersecção diagonal, indicada por
![{\displaystyle \displaystyle \Delta _{\alpha <\delta }X_{\alpha },}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a152bee379b0f39aa337c9ddf3e381b358b5531e)
é definida como sendo
![{\displaystyle \displaystyle \{\beta <\delta \mid \beta \in \bigcap _{\alpha <\beta }X_{\alpha }\}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57a59d34fc2745f9bf4c7c0096f5113afd671477)
Isto é, um ordinal
está na intersecção diagonal
se estiver contido nos primeiros membros
da sequência. Isto é o mesmo que
![{\displaystyle \displaystyle \bigcap _{\alpha <\delta }([0,\alpha ]\cup X_{\alpha }),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6316e249339d97a2d13066c9d9f1d66a7b5259f)
onde o intervalo fechado de 0 a
é utilizado para evitar restringir a gama de intersecção.[1] [2]
Referências
- ↑ diagonal intersection - PlanetMath [[1]]
- ↑ TEORIA DE CONJUNTOS por Prof.: Ruy Alexandre Generoso [[2]]