Và al contegnud

Cungiunt transitiv

De Wikipedia
Portal Artícuj relazziunaa a matemàtica

Lombard Occidental

Quel articul chì l'è scrivüü in Lumbard, cun l'urtugrafia insübrica ünificada.

In la teuria assiumatega di insema, un insema X a l'è dii transitiv se e dumà se

ogni element ‘‘y’’ d’un element x de X a l'è sí istess element de X, el sia anca se ogni element x de X a l'è un sübinsema da X.

Esempi

I urdinai del John von Neumann hin di insema transitiv:

  • , , , , , , , etc.
  • Par esempi, par l’urdinaal sa gh'a e . In efet e .

El insema di insema minga vöj a l'è minga transitiv; malgraa quest insema E al esist e a l'è minga vöj sí istess (per esempi el insema minga vöj {0}, induve 0 l'è el prim nümar urdinal del von Neumann, a l'è un member, però a l'è minga cuntegnüü in E giamò che 'l sò ünich element 0 -el insema vöj- a l'è minga member de E in acordi a la sua propia definiziun ). De fat E a l'è minga ben fundaa.

Per cuntra el insema di insema a l'è transitiv (el cuntegn ben el insema vöj e ognidün di sò member a l'è un insema cuntegnüü in ), però a l'è minga ben fundaa (perchè 'l cuntegn sí istess)...

Referenz[Modifega | modifica 'l sorgent]

  • Jean-Luis Krivine, « Teuría di Cungjuunt », Paris, édition Cassini, collection Nouvelle Bibliotèque Mathématique, 1998, ISBN 2-84225-014-1